- - - - CENAPAD-MGCO

A seguir: Comandos de Entrada e Acima: Conceitos e Notações Anterior: Comandos de atribuição: Exemplos

Comandos de Entrada e de Saída: rendez-vous

<input command>  ::=      <source> ? <target variable>

<output command> ::= <destination> ! <expression>

<source>      ::= <process name>
<destination> ::= <process name>

<process name> ::= <identifier> |
                   <identifier> (<subscripts>)

<subscripts> ::= <integer expression> 
                   {,<integer expression>}

• ocorre comunicação entre dois processos paralelos quando:

  1.

  um comando de entrada num processo especifica o outro como fonte ;

  2.

  um comando de saída no outro processo especifica o primeiro como destino ;

  3.

  a variável alvo do comando de entrada casa-se com o valor da expressão de saída ;

• os comandos casados são executados simultaneamente, e o seu efeito combinado é o de um comando de atribuição da expressão de saída para a variável alvo .
• este tipo de sincronização é conhecido como rendez-vous - encontro, em francês.