-
-
-
-
CENAPAD-MGCO
A seguir: Calendário
Acima: Informações
Anterior: Informações
- 1.
- Expressão e Implementação do Paralelismo
[Andrews and Schneider, 1983],[Bal et al., 1989].
- Expressão do paralelismo, conflitos no acesso a dados compartilhados,
ferramentas de sincronização e sua implementação;
- 2.
- Formulação e Prova de Propriedades de Programas Paralelos
[Keller, 1976], [Owick and Gries, 1976], [Shankar, 1993],
[Eswaran et al., 1976],[Kohler, 1981],[Gray and Reuter, 1993a].
-
Modelos de programas paralelos; métodos
formais para a expressão e prova de
propriedades como ``toda requisição será satisfeita num
tempo finito'', ou ``nunca teremos dois clientes utilizando um certo
recurso simultaneamente''
- 3.
- Programação Distribuída
[Lamport, 1978],[Ricart and Agrawala, 1981], [Carvalho and Roucairol, 1983],
[Chandy and Misra, 1984], [de Aguiar Campos and Carvalho, 1988],
[Barbara and Garcia-Molina, 1986].
-
Programação paralela com interação entre processos
restrita
à troca de mensagens, que sofrem atrasos de transmissão,
impossibilitando
consultas ao estado global.
Seminários:
- Ambientes de programação paralela
- Coerência de cache
- Sistemas de transações
- Arquiteturas cliente/servidor
- Programação por Agentes
- Hardware de Sincronização
Osvaldo Carvalho
-
Postscript -
Comentários?