Beruflich Dokumente
Kultur Dokumente
CONCORRENTES E
DISTRIBUÍDOS
(PROGRAMAÇÃO
CONCORRENTE E
DISTRIBUÍDA)
Alexandre Mota
Motivação 1
Evolução constante das tecnologias de
hardware: arquiteturas variadas
Arquitetura inicial
Memória
Concorrência só surge
com multithreading, ou
Cache
seja, mais processos que
processadores…
CPU
Multiprocessadores com memória
compartilhada
automaticamente
¨ Possui biblioteca para Java (JCSP)
Jantar dos Filósofos em CSP
gCSP
ProBE (Animador de CSP)
FDR (Analisador de CSP)
FDR (Analisador de CSP)
Conceito de Refinamento
Projeto 1 Projeto 2
em memória compartilhada
Avaliação
¨ Presença em sala de aula
¨ Exercícios
¨ 1 prova
¨ 2 projetos
¤ Exercícios
e presença também serão levados em conta
na nota final
Referências
¨ Roscoe, A.W. The Theory and Practice of
Concurrency. Prentice-Hall, 1998.
¨ Andrews, G.R. Multithreaded, Parallel, and
Distributed Programming. Addison-Wesley,
2000.
¨ PDF’s no site da disciplina