-
temps
-
chronométrique
-
dense
- définition seconde
-
synchro d'horloges
- ne jamais revenir en arrière
- NTP
- discret
-
logique
-
appli distribuée
-
modèles de calcul
- processus de Kahn
-
ensemble de services
-
estampilles de Lamport
- ordre partiel
- implique
- ordre estampilles
-
vecteurs de Lamport
- ordre partiel
- équivaut
- ordre estampilles
-
élection
-
trouver un extrémémum
- ou préférence + générale
-
algo du plus fort
- diffusion message de vote
-
si réception et + prioritaire
- diffusion prise de pouvoir
-
si pas de retour
- chef
-
algos à base de jetons
-
topologie virtuelle
- anneau
- arbre
-
exclusion mutuelle
-
critères
-
correction
- pas d'interblocage
- pas de famine
- équité
- tolérance aux pannes
-
performances
- # messages
- délai
- temps de réponse
- bande passante
-
comportements extrèmes
- charge
-
approche centralisée
- facile
- SPoF
-
tout distribué
-
contention
-
estampilles
- tous processus enregistrent toutes requètes
- sur tous messages
- accès si tous ack reçus et plus basse requète
- à la fin, relâche
-
vote
- + de tolérance aux pannes
- accès si reçu majorité votes
- réduction messages
- quorums
-
topologie virtuelle
- possession jeton nécessaire
-
anneau
- jeton doit toujours tourner
-
arbre
- équiv. FIFO distribuée
-
avantage
- jeton peut porter information
-
groupes
-
multicast
-
best effort
- une réponse
-
fiable
- réponse de tous les membres du groupe
-
sémantique
- FIFO
- conserver ordre de chaque source
- numéro de séquence
- causalité
- vecteurs de temps
- ordre total
- approche centralisée
- numéro de séquence global
- SPoF
- 2 phases
- 1
- émetteur envoi message
- récupère ACK avec estampilles
- 2
- émetteur envoi commit
- avec temps logique = max estampilles
- membres du groupe délivrent ou mettent en attente
-
plusieurs groupes
- arbre recouvrant
- coordinateurs pour chaque s/s groupe
- routage des messages le long des arêtes