Linearizability [Herlihy & Wing '90] ConcurrentQueue behaves like a queue Concurrent behaviors of ConcurrentQueue are consistent with are consistent with a sequential specification of a queue Every operation appears to occur atomically at some point between the call and return
{"Image DocumentName": "Linearizability [Herlihy & Wing \u201890]", "Image ImageDescription": "ConcurrentQueue behaves like a queue. Concurrent behaviors of ConcurrentQueue. are. consistent. with. a sequential specification of a queue. Every operation appears to occur atomically at some point between the call and return.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}