Sequential consistency and the lazy caching algorithm

摘要

I introduce and discuss sequential consistency, a relaxed memory model, and define what it means for a protocol to implement sequential consistency. Then, I intro- duce the lazy caching protocol of Afek, Brown and Mer- rit [ABM93] and formalize it as a labeled transition system