la communication

Propriété de synchronisation

Synchronisation inter-sites

C’est une synchronisation asynchrone. Il n’est pas nécessaire d’avoir le retour du premier message pour envoyer le second message.

Synchronisation Local

C’est une synchronisation synchrone caractérisé par une synchronisation sur l’API. On ne peut envoyer un message sans avoir le retour du premier message.
Lors de la primitive d’envoi on distingue plusieurs cas :

• L’émetteur reste bloqué tant que le message n’a pas été envoyé
• L’émetteur reste bloqué tant que le message n’a pas été recopié dans une file d’attente du prestataire.
• l’émetteur reprend la main alors que le prestataire utilise le tampon

Lors de la primitive de réception on distingue plusieurs cas :

• Recevoir bloquant
• Recevoir non bloquant + attente
• Recevoir non bloquant + primitive de test de message
• Réception conditionnelle

Activation

L’activation peux se faire de 2 manières différente :

• Activation en parallèle : Lors de la réception d’un message, le processus principale lance un processus fils pour le traitement de la tache. Le processus principale, n’est pas bloquer et peux continuer à traiter la réception des messages.
• Branchement inconditionnel : c’est le processus principale qui traite le message reçu.

Échange de données

Le mode message permet de réaliser une opération d’affectation à distance d’une variable en considérant le sémantique suivante :

• Émettre(M)=écrire(M) vers le destinataire
• Recevoir(M)=lire(M) depuis l’émetteur

Modélisation à l’aide d’automates

L’objectif est de modéliser de manière séquentielle le comportement d’un site du système distribué.

les États

L’état représente un point d’avancement, il est défini par un ensemble significatif de varibles locales de chaque processus.Un état se compose de :
– un identifiant
– un commentaire
– un prédicat sur létat de certaines variables
les états sont représenté par des cercles

image

Les transitions : la garde

Les transitions se décompose en 2 mentions :

1. un cause qui déclenche la transition
2. une action à réaliser lorsque la transition est réalisé
   Les transitions sont représenté par des arcs
   La garde est ouverte si la transition est validé.

Les messages
notation d’un envoi : destinataire ! message
notation d’une réception : source ? message
ex P1 envoi à P2 le message M1 : P2 ! M1
ex : P1 reçoit le message M2 de P2 : P2 ? M2

sémantique en cas d’attente
Si aune garde n’est franchissable mais qu’il existe des gardes avec condition de réception pouvant être satisfaite par une émission d’un site distant alors il faut attendre que l’une d’elles soit satisfaite
Si aucune garde n’est franchissable et qu’elles sont toutes booléennes alors on sait que le programme comporte une erreur.
Si aucune garde ne pourra plus jamais être franchie (certaines sont attentes de message) alors le programme est en interblocage.