|
Sistemas de Tempo Real
|
Abaixo estão os assuntos que são cobertos nesse livro:
- Introdução sobre o tempo real
- Os sistemas de tempo real
- O tempo: diferentes interpretações
- Conceituação básica e caracterização de um sistema de tempo real
- A previsibilidade nos sistemas de tempo real
- Classificação dos sistemas de tempo real
- O problema tempo real e abordagens para a sua solução
- O escalonamento de tempo real
- Introdução
- Modelo de tarefas
- Restrições temporais
- Relações de precedência e de exclusão
- Escalonamento de tempo real
- Principais conceitos
- Abordagens de escalonamento
- Teste de escalonabilidade
- Escalonamento de tarefas periódicas
- Escalonamento taxa monotônica
- Escalonamento Earliest Deadline First (EDF)
- Escalonamento Deadline monotônico
- Testes de escalonabilidade em modelos estendidos
- Deadline igual ao período
- Deadline menor que o período
- Deadline arbitrário
- Tarefas dependentes: compartilhamento de recursos
- Protocolo herança de prioridade
- Protocolo de prioridade teto (Priority Ceiling Protocol)
- Tarefas dependentes: relações de precedência
- Escalonamento de tarefas aperiódicas
- Servidores de prioridade fixa
- Considerações sobre as técnicas de servidores
- Conclusão
- Suportes para aplicações de tempo real
- Introdução
- Aspectos funcionais de um sistema operacional tempo real
- Tarefas e threads
- Comunicação entre tarefas e threads
- Instalação de tratadores de dispositivos
- Temporizadores
- Aspectos temporais de um sistema operacional tempo real
- Limitações dos sistemas operacionais de propósito geral
- Chaveamento de contexto e latência de interrupção
- Relação entre métricas e tempo de resposta
- Tempo de execução das chamadas de sistema
- Outras métricas
- Abordagens de escalonamento e o sistema operacional
- Tipos de suportes para tempo real
- Suporte na linguagem
- Microkernel
- Escolha de um suporte de tempo real
- Exemplos de suportes para tempo real
- Posix para tempo real
- Escalonamento no Unix SVR4
- Escalonamento no Solaris 2.x
- ChorusOS
- Neutrino e QNX
- Linux para tempo real
- Conclusão
- O modelo de programação síncrona para os sistemas de tempo real
- Introdução
- Princípios básicos do modelo de programação síncrono da linguagem Esterel
- O estilo de programação da linguagem Esterel
- Programando num estilo imperativo
- Declaração de interface
- Declaração de variáveis
- Os diferentes tipos de preempção
- Mecanismo de exceção
- Testes de presença
- Módulo
- O conceito de tempo no modelo de programação
- Um exemplo ilustrativo do estilo de programação
- A assincronia na linguagem Esterel: a execução de tarefas externas
- O ambiente de ferramentas Esterel
- Implementações de programas em Esterel
- Discussão sobre o modelo e a linguagem
- Conclusão
- Aplicação das abordagens assíncrona e síncrona
- Aplicação com abordagem assíncrona
- Descrição do problema
- Definição das tarefas
- Modelo de tarefas
- Teste de escalonabilidade
- Programação usando RT-Linux
- Aplicação com abordagem síncrona
- Abordagem assíncrona versus abordagem síncrona: elementos para uma comparação
- Conclusão
- Tendências atuais em sistemas de tempo real
- Abordagem síncrona
- Abordagem assíncrona
- Extensões em esquemas de prioridade dinâmica
- Testes para escalonamentos com prioridades dinâmicas
- Deadline igual ao período
- Deadlines arbitrários
- Compartilhamento de recursos em políticas de prioridade dinâmica
- Política de pilha (Stack Resource Policy)
- Escalonamento de tarefas aperiódicas com políticas de prioridade dinâmica
- Servidores de prioridade dinâmica
- Sistemas operacionais de tempo real na Internet
- Sintaxe e semântica da linguagem Esterel
- Módulos e submódulos
- Declaração de interface
- Dados
- Sinais e sensores
- Variáveis
- Expressões
- Construções do corpo
- Instanciação de módulo
- A execução de tarefa externa
Pagina anterior