|
Nome do aluno
|
João Victor Alves Barreto
|
|
Título do trabalho
|
PSSA: Um algoritmo semi-particionado com server shadowing para o escalonamento de tarefas de tempo real periódicas em múltiplos processadores
|
|
Resumo do trabalho
|
Os sistemas de tempo real estão presentes em diversas aplicações, desde aplicações críticas como a automotiva e aviação até as não críticas como multimídia e jogos on-line. Para que os sistemas de tempo real críticos funcionem corretamente, é necessário garantir que todas as suas tarefas executem dentro de prazos (deadlines) pré-definidos. Para tanto, o escalonador de tarefas do sistema tem papel fundamental, pois determina a cada instante qual tarefa deve executar para que todas possam cumprir seus prazos. Em sistemas com um processador, o escalonador EDF é uma das melhores opções, pois garante que todas as tarefas cumprem seus deadlines sempre que isso é possível. Em sistemas com mais de um processador, o mesmo não é verdade. Este trabalho propõe o algoritmo escalonador Partitioning and Server Shadowing Algorithm (PSSA) para sistemas multiprocessados compostos de tarefas periódicas e independentes. A ideia do algoritmo é particionar as tarefas entre os processadores para então utilizar o escalonamento EDF em cada processador. Quando tal particionamento não é encontrado, alguma tarefa deve executar em mais de um processador, enquanto alguns processadores são deixados com capacidades ociosas. A fim de gerenciar execução de tarefas que executam em mais de um processador, o PSSA utiliza uma nova abordagem, denominada server shadowing, de acordo com a qual as partes ociosas dos processadores reais são utilizadas para criar processadores lógicos. Quando uma tarefa executa em um processador lógico, na verdade ela executa em algum dos processadores reais que forneceram sua capacidade ociosa ao processador lógico onde a tarefa está alocada. Os conceitos de server shadowing e processadores lógicos deram ao PSSA a capacidade de obter resultados similares aos melhores resultados publicados até hoje em termos de quantidade de migrações e preempções geradas para tarefas periódicas, como demonstrado através de extensivas simulações. No entanto, o mecanismo proposto não funciona quando as tarefas não são periódicas. Os futuros passos de pesquisa pretendem investigar melhor possíveis extensões do PSSA.
|
|
Orientador
|
George Marconi de Araújo Lima
|
|
Co-orientador
|
Ernesto de Souza Massa Neto
|
|
Membro Titular 1
|
Maycon Leone Maciel Peixoto
|
|
Link para o curriculum lattes
|
http://lattes.cnpq.br/
|
|
Membro Titular 2
|
Konstantinos Bletsas
|
|
Link para o curriculum lattes
|
http://www.cister.isep.ipp.pt/
|
|
Suplente 1
|
Ernesto de Souza Massa Neto
|
|
Link para o curriculum lattes
|
http://lattes.cnpq.br/
|
|
Data do exame
|
18 Dec, 2023
|
|
Horário do exame
|
1:00 PM
|