A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof

Niklas Ekström, Seif Haridi

We present the SC-ABD algorithm that implements sequentially consistent distributed shared memory (DSM). The algorithm tolerates that less than half of the processes are faulty (cr…