Linearizability testing S2 with deterministic simulation | Dark Hacker News