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

20/07/2020 Vous pouvez consulter la page "prérentrée" pour avoir les informations sur les journées de prérentrées en Licence INFO.
16/07/2020 La première phase des inscriptions se termine le 21 juillet. La période pour la deuxième phase est du 19 au 31 août.
25/06/2020 La période pour la phase complémentaire pour la procédure VES est fixée du 10 juillet 2020 au 24 août 2021.
29/05/2020 Le jury de fin d'année aura lieu le jeudi 11 juin, les examens de deuxième session du 22 juin au 3 juillet et le jury de deuxième session le jeudi 16 juillet.

Contact

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

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

Facebook :
lien Facebook direct