Chapitre 2
Chapitre 2
Chapitre 2
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
5.1. Définition et principe des estampilles matricielles<br />
• Si toutes ces conditions sont vérifiées,le message est<br />
délivrable et l’horloge du site S i est mise à jour :<br />
1. HM i [ i,i ] ++ (incrémentation);<br />
2. HM i [ j,i ] ++ (incrémentation);<br />
3. pour le reste de la matrice : HM i [k,l] = max (HM i [k,l], EM m [k,l] )<br />
• Si les conditions ne sont pas toutes vérifiées, la délivrance<br />
du message est différée jusqu’à ce qu’elles le deviennent<br />
et l’horloge n’est pas mise à jour.<br />
• La délivrance d’un message pourra ainsi provoquer celle<br />
des messages arrivés prématurément.<br />
• Exemple : Cf. feuille d’exercices