Banca de DEFESA: RICARDO BRASIL TEIXEIRA
Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : RICARDO BRASIL TEIXEIRA
DATA : 20/12/2019
HORA: 14:00
LOCAL: Sala 12 -- Instituto de Matemática e Estatística
TÍTULO:
Recursos Compartilhados em Sistemas de Tempo Real Multiprocessados Escalonados por RUN
PALAVRAS-CHAVES:
Sistemas de tempo real críticos, escalonamento de tarefas, compartilhamento de recursos, RUN, MrsP, Litmux
PÁGINAS: 72
RESUMO:
Um sistema de tempo real crítico é aquele para o qual todas as suas tarefas devem cumprir seus prazos de execução (deadlines) enquanto o sistema estiver executando. Este requisito faz do algoritmo de escalonamento um elemento chave para a correção do sistema. Idealmente, o algoritmo de escalonamento deve ser efciente, para não causar sobrecargas adicionais, e ótimo, garantindo que nenhum deadline de suas tarefas seja perdido sempre que isso puder ser assegurado por algum algoritmo de escalonamento. RUN (Reduction to Uniprocessor) é um algoritmo capaz de escalonar efcientemente e de maneira ótima um conjunto de tarefas periódicas em uma plataforma com múltiplos processadores, quando as tarefas não compartilham outros recursos que não os processadores. Embora já tenha sido demonstrado que o RUN é compatível com o compartilhamento de recursos, a única solução existente impede preempções no acesso aos recursos compartilhados. Ao contrário desta abordagem, que pode ser considerada muito restritiva devido à sua baixa escalonabilidade, utilizamos o MrsP (Multiprocessor resource sharing Protocol) como um mecanismo de compartilhamento de recursos mais fexível. Fazer as regras do RUN e MrsP compatíveis entre si foi, portanto, nosso principal objetivo. A solução derivada foi implementada no Linux Textbed for Multiprocessor scheduling in Real-Time systems (LitmusRT), um sistema operacional de tempo real baseado em Linux. Propusemos uma nova heurística para empacotamento das tarefas e realizamos avaliações experimentais comparando nossa solução com a existente. Os resultados obtidos mostraram que a solução proposta apresentou melhores resultados em escalonabilidade e no número de migrações e preempções.
MEMBROS DA BANCA:
Presidente - 2215121 - GEORGE MARCONI DE ARAUJO LIMA
Externo ao Programa - 4554528 - PAUL DENIS ETIENNE REGNIER
Externo ao Programa - 3444822 - ALIRIO SANTOS DE SA
Externo à Instituição - ERNESTO DE SOUZA MASSA NETO - UNEB