UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Aula 1 - Apresentação

Programação Paralela

Osvaldo Carvalho - DCC/UFMG

2 $^{\underline{{\rm o}}}$ Semestre - 1997

Aula 1 - Apresentação (postscript)
- Programação Paralela
- Motivação
- Apresentação
- Ementa
- Comentários
- Calendário
- Avaliação
- LINKS
Aula 2 - Introdução à Programação Paralela Assíncrona (postscript)
- Motivação
- Paralelismo $\times$ Programação Paralela
- Programação Paralela Assíncrona
- Expressão do Paralelismo
- Exemplos de Programas Paralelos
- Semântica de Programas Paralelos
- Atomicidade em Linguagens de Alto Nível
- Resumo
Aula 3 - Regiões Críticas (postscript)
- Regiões Críticas
- Exclusão Mútua
- Liberação do Processador
- Produtor/Consumidor em Java
Aula 4 - Leitores e Escritores: starvation (postscript)
- O Problema dos Leitores e Escritores
Exercícios: 1 $^{\underline{{\rm a}}}$ Lista (postscript)
- Quicksort paralelo
- Comparação e Troca em paralelo
- Transações
- Escalonamento SJF de uma impressora
- Escalonamento com aging
- Árvore-B
Aula 5 - Núcleos de Multiprogramação (postscript)
- Introdução
- Interrupções em PCs
- Co-rotinas
- Multiplexação do Processador
- Chaves e Camas
- Resumo e Conclusões
Aula 6 - Notações para Programação Concorrente
- Conteúdo
- Especificação de Execução em Paralelo
- Sincronização com Memória Compartilhada
- Mensagens
- Conclusões
Aula 7 - Exercícios (postscript )
- Quicksort Paralelo - Algoritmo
- Exercício 2
- Transações
- Escalonamento de uma impressora
Aula 8 - Exercícios (postscript )
- Sleep
- Mensagens
- Cobegin-Coend generalizado
- Fork-Join
- Controle da Multiplexação
- Uso de Semáforos
Aula 9 - 1 $^{\underline{{\rm a}}}$ Prova
- Questão 1
- Questão 2
- Questão 3
Aula 10 - 1 $^{\underline{{\rm a}}}$ Prova - Gabarito (postscript)
- Questão 1 - 9 pontos
- Questão 2 - 9 pontos
- Questão 3 - 7 pontos
Aula 11 - Modelos Formais: Invariância (postscript)
- Propriedades de invariância e de progresso
- Motivação
- O Buffer Compartilhado
- Invariantes
- Variáveis Auxiliares
- Atingibilidade: o mais forte invariante
Trabalho Prático: Uma Aplicação Cliente-Servidor
Aula 12 - Modelos Formais: Progresso (postscript)
- Equidade fraca e equidade forte
- Exemplo: Inteiro Oscilante
- Sistemas de Transições de Estados: alterações para prova de propriedades de progresso
- Técnicas de Prova de $P \ensuremath{ \; leads\!{\small -}\!to\;}Q$
Aula 13 - CSP - Communicating Sequential Processes (postscript)
- CSP: Sumário
- Conceitos e Notações
- Exemplos de Uso
- Conclusões
Aula 14: Programação Distribuída (postscript)
- Modelos Formais - Continuação
- Programação Distribuída
The Drinking Philosophers Problem[#!Drinking!#]
- Introdução
- Grafos de Conflitos e de Precedências
- Grafo de Precedências
- O Problema dos Filósofos Sedentos
- O Problema dos Filósofos Famintos
- A Solução Higiênica: Preliminares
- A Solução Higiênica: Regras
- A Solução Higiênica: Condições Iniciais
- Filósofos Sedentos: o Grafo de Precedências
- Algoritmo para Filósofos Sedentos
- Conclusão
Aula 15 - Exclusão Mútua Distribuída (postscript)
- Relógios Lógicos e Timestamps
- Algoritmo de Ricart e Agrawala (1981)
- Carvalho e Roucairol (1983) - 1
Aula 16 - Exclusão Mútua Distribuída (postscript)
- O Algoritmo de Maekawa (1985)
- Algoritmo de Carvalho e Campos (1991) - 1
Aula 17 - O Algoritmo de Naimi-Trehel (postscript)
- The Algorithm: State Variables and Initial Values
- Proof of Mutual Exclusion
- Progress: the $\ensuremath{\leftrightarrow}$ Graph
Aula 18 - O Algoritmo de Naimi-Trehel - Progresso (postscript)
- Visited nodes invariant
- Progress Properties
Aula 19 - Transações e o Protocolo 2-fases
Aula 20 - 2 $^{\underline{{\rm a}}}$ Prova
- Questão 1
- Questão 2
- Questão 3
References
About this document ...

Osvaldo Carvalho