Section outline

  • Concurrent objects, global state predicate evaluation, snapshot object, implementations of snapshots from r/w registers, correctness and termination, wait-freedom, linearizability, histories, locality, linearizable implementations, sequential consistency, the UnboundedSnapshot algorithm.