Abstract
I introduce and discuss sequential consistency, a relaxed memory model, and define what it means for a protocol to implement sequential consistency. Then, I introduce the lazy caching protocol of Afek, Brown and Merrit [ABM93] and formalize it as a labeled transition system.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have