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

A seguir: CSP: Sumário Acima: Programação Paralela Anterior: Equidade forte e fraca:

(postscript)

Aula 13 - CSP - Communicating Sequential Processes

Observação: tópico fora de contexto, para dar um descanso do formalismo...

• Pseudo-linguagem proposta por Hoare em 1978; aqui seguimos fielmente o artigo Communicating Sequential Processes [Hoare, 1978]
• Proposta de estudo e estruturação de construções linguísticas para:
  • entrada e saída
  • expressão de paralelismo;
  • sincronização de processos.
• Uso de comandos guardados da forma condição $\rightarrow$ ação, para controle sequencial e expressão de não-determinismo;
• Comando paralelo baseado em cobegin ... coend; processos paralelos não compartilham variáveis;
• A comunicação entre processos concorrentes é feita por comandos simples de entrada e saída;
• Comandos de entrada e saída devem se casar: o valor de saída é copiado de um processo para o outro;
• Um comando de entrada ou de saída é atrasado até que o outro processo esteja pronto para a execução do comando de saída ou de entrada correspondente;
• Comandos de entrada podem aparecer em guardas;
• Não é uma linguagem completa: faltam regras para definição de dados, recursividade, etc.