Herlihy–Wing queue

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf concurrent data structure
gptkbp:citation Herlihy, M., & Wing, P. (1990). Linearizability: A correctness condition for concurrent objects.
gptkbp:designedBy gptkb:Maurice_Herlihy
gptkb:Paul_Wing
gptkbp:heldBy linearizable
lock-free
https://www.w3.org/2000/01/rdf-schema#label Herlihy–Wing queue
gptkbp:implementedIn queue
gptkbp:introducedIn 1990
gptkbp:operator dequeue
enqueue
gptkbp:publishedIn gptkb:Proceedings_of_the_1990_ACM_Symposium_on_Principles_of_Distributed_Computing
gptkbp:usedIn concurrent programming
gptkbp:bfsParent gptkb:Maurice_Herlihy
gptkbp:bfsLayer 5