Modèles de synchronie et pannes
Progression
#Modèles de synchronie et pannes
Entre synchronie parfaite et asynchronie totale, des modèles réalistes supposent des bornes approximatives sur les délais, ou des détecteurs de défaillance imparfaits. Les pannes typiques sont les crashs, les omissions et les pannes byzantines. Chaque choix de modèle ouvre et ferme des portes: certains algorithmes exigent des bornes sur les délais ou des détecteurs suffisamment « complets » et « exacts » pour trancher.
Un design robuste explicite ses hypothèses: délais attendus, tolérance aux partitions, et stratégie de récupération. Les détecteurs de pannes ne sont jamais parfaits; on traite leur incertitude avec des timeouts, des réessais idempotents et des protocoles qui convergent malgré des soupçons erronés. Le budget de délais mêle latence de réseau, congestion et pauses liées aux GC; négliger ces effets conduit à des cascades de faux positifs.