On Composition and Implementation of Sequential Consistency (Extended Version)

Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui +1

It has been proved that to implement a linearizable shared memory in synchronous message-passing systems it is necessary to wait for a time proportional to the uncertainty in the l…