Optimizing memory transactions
Linearizability: a correctness condition for concurrent objects