Linearizability a Correctness Condition For Concurrent Objects
A correctness condition for concurrent objects
This post is based on Maurice Herlihy and Jeannette Wing’s paper where they formalize linearizability.
I often confuse linearizability with strict serializability. This post hopefully clarifies this for myself and the readers. I will write a post later about serializability.
[Read More]