Existe-t-il une différence entre la cohérence de l'ordre total et la linéarisabilité?

cs.stackexchange https://cs.stackexchange.com/questions/48419

  •  03-11-2019
  •  | 
  •  

Question

Par commande totale Je veux dire la définition suivante [0]:

Commande d'événements totaux: les répliques du contrôleur doivent traiter les événements dans le même ordre et par la suite toutes les instances d'application du contrôleur devraient atteindre le même état interne.

Si ma compréhension est correcte, il n'y a pas de différence et les deux mots peuvent être utilisés de manière interchangeable. Cependant, je voudrais m'assurer que je ne me trompe pas.

Dans le cas où les deux concepts sont différents, pourriez-vous souligner leurs différences et peut-être en fournir un exemple? Ce serait très apprécié!

Merci,

[0] - https://www.cs.princeton.edu/~jrex/papers/ravana15.pdf

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top