Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores

Detalhes bibliográficos
Ano de defesa: 2012
Autor(a) principal: Carminati, Andreu
Orientador(a): Oliveira, Rômulo Silva de
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: http://repositorio.ufsc.br/xmlui/handle/123456789/100456
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2012
id UFSC_2dcedd21d0bc302f102629fed2a2fe25
oai_identifier_str oai:repositorio.ufsc.br:123456789/100456
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaCarminati, AndreuOliveira, Rômulo Silva de2013-06-25T19:20:31Z2013-06-25T19:20:31Z20122012313378http://repositorio.ufsc.br/xmlui/handle/123456789/100456Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2012Sistemas computacionais de tempo real são identificados como aqueles sistemas computacionais submetidos a requisitos de natureza temporal. Nestes sistemas, os resultados devem estar corretos não somente do ponto de vista lógico, mas também devem ser gerados no momento correto. Em tais sistemas, quando existe o compartilhamento de recursos, a sincronização de tarefas no acesso a estes é fundamental para garantir tanto a exclusão mútua, quanto a limitação no tempo de espera (evitando inversões de prioridade descontroladas), visto que isto pode induzir as tarefas a gerarem seus resultados em momentos incorretos (perda de deadlines ou não atendimento de algum requisito temporal). O não atendimento de um requisito temporal pode resultar em consequências catastróficas tanto no sentido econômico quanto em vidas humanas, dependendo do tipo de sistema. Para sincronização em multiprocessadores, alguns protocolos para escalonamento particionado foram propostos, como o Multiprocessor Priority Ceiling Protocol (MPCP), Flexible Multiprocessor Locking Protocol (FMLP) e o Multiprocessor Stack Resource Policy (MSRP). Neste contexto, esta dissertação de mestrado propõe duas variações para o protocolo MPCP, com as devidas análises de escalonabilidade e fatores de bloqueios associados. No entanto, ambas as variações podem ser encaradas também como variações do FMLP, dependendo do ponto de vista, pois abrangem características comuns a ambos os protocolos. Tais variações são o MPCP não preemptivo e MPCP com enfileiramento FIFO. Esta dissertação também apresenta comparações empíricas entre as propostas apresentadas e os protocolos existentes. Como resultados gerais, as propostas apresentadas se mostraram competitivas tanto em escalonabilidade quanto em overhead de implementação. O MPCP com enfileiramento FIFO se posicionou muito bem em sua versão baseada em suspensão. O MPCP não preemptivo, em sua versão baseada em spin obteve resultados muito próximos ao FMLP short. Do ponto de vista prático, as variações propostas facilitam a utilização em sistemas reais, quando comparadas com as propostas originais.<br>Abstract : Real-time computational systems are identified as those systems subjected requirements of temporal nature. In these systems, the results should be correct not only from logical point of view, but also must be generated at the right time. In such systems, when there is resource sharing, tasks synchronization on access to these resources is essential to ensure both mutual exclusion and limitation of the waiting time (avoiding uncontrolled priority inversion), as this may induce the tasks to generate their results at wrong times (miss of deadlines or not meet a time requirement). A failure to meet a time requirement can result in catastrophic consequences both in the economic sense and in human lives, depending on the type of the system. For synchronization in multiprocessors, some protocols have been proposed for partitioned scheduling, as the Multiprocessor Priority Ceiling Protocol (MPCP), Flexible Multiprocessor Locking Protocol (FMLP) and Multiprocessor Stack Resource Policy (MSRP). In this context, this dissertation proposes two changes to the MPCP protocol, with appropriate schedulability analysis and blocking factors associated. However, both variants can also be viewed as variations of FMLP, depending on the point of view, because they cover features common to both protocols. Such variations are the nonpreemptive MPCP and the MPCP with FIFO queuing. This dissertation also presents empirical comparisons between the previously mentioned well-known protocols and the proposed variations. As general results, the proposals have showed to be competitive in both schedulability and implementation overhead. The MPCP with FIFO queuing was positioned very well in the suspension-based version. The nonpreemptive MPCP, in his spin-based version obtained results very close to the FMLP short. From a practical standpoint, the proposed changes facilitate the implementation in real systems, when compared to the original proposals.164 p.| il., grafs., tabs.porEngenharia de sistemasControle em tempo realSincronizacaoMultiprocessadoresSincronização de processos em sistemas de tempo real no contexto de multiprocessadoresinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL313378.pdfapplication/pdf967313https://repositorio.ufsc.br/bitstream/123456789/100456/1/313378.pdf012ab6f0cbb1ad0adcf9ee8e7b0f6036MD51123456789/1004562016-03-07 15:58:21.758oai:repositorio.ufsc.br:123456789/100456Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732016-03-07T18:58:21Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores
title Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores
spellingShingle Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores
Carminati, Andreu
Engenharia de sistemas
Controle em tempo real
Sincronizacao
Multiprocessadores
title_short Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores
title_full Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores
title_fullStr Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores
title_full_unstemmed Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores
title_sort Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores
author Carminati, Andreu
author_facet Carminati, Andreu
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Carminati, Andreu
dc.contributor.advisor1.fl_str_mv Oliveira, Rômulo Silva de
contributor_str_mv Oliveira, Rômulo Silva de
dc.subject.classification.pt_BR.fl_str_mv Engenharia de sistemas
Controle em tempo real
Sincronizacao
Multiprocessadores
topic Engenharia de sistemas
Controle em tempo real
Sincronizacao
Multiprocessadores
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2012
publishDate 2012
dc.date.submitted.pt_BR.fl_str_mv 2012
dc.date.issued.fl_str_mv 2012
dc.date.accessioned.fl_str_mv 2013-06-25T19:20:31Z
dc.date.available.fl_str_mv 2013-06-25T19:20:31Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufsc.br/xmlui/handle/123456789/100456
dc.identifier.other.pt_BR.fl_str_mv 313378
identifier_str_mv 313378
url http://repositorio.ufsc.br/xmlui/handle/123456789/100456
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 164 p.| il., grafs., tabs.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/100456/1/313378.pdf
bitstream.checksum.fl_str_mv 012ab6f0cbb1ad0adcf9ee8e7b0f6036
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851759075449110528

Registros relacionados