Cyril Rabat


Horloges logiques

   Les horloges logiques sont utilisées notamment pour tagguer des évènements dans un système réparti et permettre de les réordonner. Les horloges de Lamport peuvent être utilisées pour créer un ordre total mais il n'est pas possible de vérifier si des évènements sont indépendants ou non. Les horloges vectorielles le permettent, mais l'ordre total n'est plus possible. Enfin, les horloges matricielles permettent en plus des horloges vectorielles de comptabiliser les envois de messages. Il est ainsi possible de vérifier si un message a été retardé ou perdu.

Horloges de Lamport

Illustration du calcul des horloges logiques de Lamport.

Aller »

Horloges vectorielles

Illustration du calcul des horloges vectorielles.

Aller »

Horloges matricielles

Illustration du calcul des horloges matricielles.

Aller »


Version de cette page Vendredi 3 Juillet 2015

© Cyril Rabat 2018

Connexion

Mot de passe perdu

Dernières nouvelles

21/11/2019 Les IP des semestres pairs auront lieu de 13h00 à 14h00 le 21/11 pour les L3/L3P, les 25/11 et 26/11 pour les L1 et les 27/11 et 28/11 pour les L2. Consultez votre emploi du temps.
13/11/2019 Le calendrier des enseignements est maintenant accessible sur le site de la Licence.
19/09/2019 Cette année encore, la Licence INFO est partenaire du Coding Battle. Rendez-vous le 16 octobre !
18/09/2019 Les répartitions en groupes et les plannings sont en ligne.

Contact

Courriel :
cyril.rabat [at] univ-reims.fr

Téléphone :
+33-326-91-33-81

Facebook :
lien Facebook direct