SERIE DE TD N° 1 - Fateh LAYACHI
1. Utiliser les horloges linéaires de Lamport puis les horloges vectorielles pour dater l'ensemble des événements produits par l'exécution du calcul réparti ci- ...
Généralités sur les systèmes répartisHorloges logiques. La causalité, quand même, c'est important. Le probl`eme de réception causale de messages. On consid`ere plusieurs composants c1,c2,...cn qui ... Systèmes distribués : Rappel sur ordre et temps logique? Les 2 horloges de 2 processus différents permettent de déterminer l'ordonnancement des événements des 2 processus. ? Si égalité de la valeur de l'horloge ... Ordre, temps et état dans un système réparti (1)Horloges logiques - 2. 1) HL satisfait la condition de validité faible : e ! e' & HL(e) < HL(e'). Mais HL(e) < HL(e' & ¬ (e' ! e). Donc ou bien e' ! e, ou ...
Autres Cours:
