Les messages

Les primitives de communication inter-processus sont en général :

• emettre(message, destinataire)
• recevoir(message, source).

Les messages permettent de synchroniser des processus distants.

Il existe des variantes en fonction des sémantiques :

• emettre(message, destinataire) bloquant ou non.
• recevoir(message, source) synchrone ou non.

Exemple : Le protocole du bit alterné.

Processus Emetteur
begin
parite := true;
while true do 
     begin
     recevoir(message); /* producteur */
     repeat
           emettre(message,parite);
           recevoir(ack,ackParite);
     until parite == ackParite;
     parite := not parite;
     end;
end

Processus Recepteur
begin
ackParite := true;
while true do 
     begin
     repeat
           recevoir(message,parite);
           emettre(ack,parite);
     until parite == ackParite;
     emettre(message); /* consommateur */
     ackParite := not ackParite;
     end;
end