Art of Multiprocessor Programming© Herlihy-Shavit 2007 142 Linearizability Un-eliminated calls –linearized as before Eliminated calls: –linearize pop() immediately after matching push() Combination is a linearizable stack
{}