Resumo e Conclusões

1. O par produtor-consumidor
2. Regiões críticas e exclusão mútua
3. Espera ocupada e liberação do processador
4. Leitores e escritores
5. Deadlocks e starvation
6. Imposição de políticas de escalonamento: um servidor de impressora

• A exclusão mútua é essencial para o domínio do paralelismo
• A liberação do processador é interessante para evitar a espera ocupada
• A imposição de políticas de uso pode ser programada
• A correção de um programa paralelo envolve propriedades como a ausência de deadlocks e de starvation que não fazem sentido num programa sequencial