Spezifikation f. Concurrent Stacks

Stack-spezifisch:

• correct set semantics

allgemein:

• linearizability
• lock-free (lebendig), wait-free (fair)

vgl. Hendler, Shavit, Yerushalmi: A Scalable Lock-free Stack Algorithm (Sect. 5) (16th ACM Symp. on Parallelism in Algorithms and Architectures) http://www.cs.bgu.ac.il/~hendlerd/papers/scalable-stack.pdf