Open jberryman opened 3 years ago
If we can ensure we never allocate between the counter increment and the array write/read, then we get effectively a wait-free queue, can remove the "blocks at most one reader/writer" language.
(also, apropos of nothing: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/paper-18.pdf )
If we can ensure we never allocate between the counter increment and the array write/read, then we get effectively a wait-free queue, can remove the "blocks at most one reader/writer" language.
(also, apropos of nothing: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/paper-18.pdf )