UFMG - Pós-graduação em Ciência da
Computação -
Programação Paralela
A seguir: Comentários
Acima: Aula 1 - Apresentação
Anterior: Apresentação
- 1.
- Sincronização de processos e núcleos de
multiprogramação
[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.
- Propriedades de programas paralelos
[Keller, 1976], [Owick and Gries, 1976], [Shankar, 1993].
-
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.
- 4.
- Ambientes de programação paralela
- Ambientes disponíveis no DCC e no CENAPAD
- 5.
- Processamento de transações
[Eswaran et al., 1976],[Kohler, 1981],[Gray and Reuter, 1993]
-
Como tornar ``atômicas'' operações sobre estruturas de dados
compartilhadas de grande porte, como um banco de dados.
- 6.
- Seminários:
- Ambientes de programação paralela
- Coerência de cache
- Sistemas de transações
- Arquiteturas cliente/servidor
Osvaldo Carvalho