Sequential consistency

This is a consistency model that has the following rules:

  • Memory updates from different processors may be arbitrarily interleaved.
  • All processes will see the same interleaving.
  • Operations from the same process always appear in the order they were executed.