Linearizability: A correctness condition for concurrent objects | Hacker News Reader