Distributed Systems - rFronteddu/general_wiki GitHub Wiki

  • Strict Serializability: This is the combination of Serializability (transactions appear to execute in some sequential order) and Linearizability (that order must respect real-time precedence). If transaction A finishes before transaction B starts, B must see the effects of A.
  • Linearizability: order must respect real-time precedence
  • Serializability: transactions appear to execute in some sequential order