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
|