Escalonamento baseado em intervalo de tempo

Abstract

Esta tese apresenta um novo modelo de tarefas para expressar requisitos temporais que não podem ser facilmente representados em termos de deadlines e períodos. Neste modelo, tarefas são divididas em segmentos A, B e C. O segmento A é responsável por realizar algumas computações e após seu término explicitar o intervalo de tempo dentro do qual o segmento B deve executar para cumprir alguns requisitos de aplicação. Finalmente, após a execução de B o segmento C é liberado para executar. A execução do segmento B é válida se realizada dentro daquele intervalo de tempo; caso contrário, sua contribuição pode ser considerada sem valor para sua tarefa. O modelo utiliza funções benefício para indicar quando a ação deve ser executada para obtenção do máximo benefício. Soluções da literatura de tempo real são adaptadas e integradas para produzir uma solução de escalonamento para este problema. Como resultado, foram criadas algumas abordagens (síncronas e assíncronas) desenvolvidas especificamente para o modelo. Testes de escalonabilidade offline foram desenvolvidos para cada abordagem. Estes testes, além de um resposta aceita/rejeita, fornecem um limite inferior e superior para a qualidade que será obtida pelo segmento B em tempo de execução. No decorrer do trabalho, foram realizadas diversas contribuições à área de tempo real, em específico na área de algoritmos de atribuição de prioridades, redução do pessimismo no tempo de resposta de segmentos não preemptivos e na análise de melhor momento de liberação para os segmentos B.