next up previous contents
Next: L'expression du non-déterminisme Up: Les modes de communication/synchronisation Previous: Les variables partagées

Les messages

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

Les messages permettent de synchroniser des processus distants.

Il existe des variantes en fonction des sémantiques :

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



Alain GRIFFAULT
2002-02-11