From 159e8613f7ee73775b8a2a7bf798ec2a9d90a4f5 Mon Sep 17 00:00:00 2001 From: Marco Rietveld Date: Tue, 31 May 2016 13:33:43 +0200 Subject: [PATCH] Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms (#395) Presented on May 25th, 2016 in Amsterdam http://www.meetup.com/papers-we-love-amsterdam/events/230722227/ --- concurrency/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/concurrency/README.md b/concurrency/README.md index a4e589d..e9beea1 100644 --- a/concurrency/README.md +++ b/concurrency/README.md @@ -15,3 +15,5 @@ *Note: This contribution here is the focus on the rigorous semantics for x86 multiprocessor programs and an axiomatic definition of the memory model. Their definitions and proofs are backed by the [HOL](http://en.wikipedia.org/wiki/HOL_(proof_assistant))(Higher Order Logic) proof assistant.* * :scroll: [Experience with Processes and Monitors in Mesa](https://people.eecs.berkeley.edu/~brewer/cs262/Mesa.pdf) + +* [Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms](http://www.cs.rochester.edu/~scott/papers/1996_PODC_queues.pdf)