Linearizability: A correctness condition for concurrent objects | Heykuki News