Archives/papers-we-love_papers-we-love

mirror of https://github.com/papers-we-love/papers-we-love.git synced 2026-03-02 03:40:31 +00:00

Files

History

Marco Rietveld 159e8613f7 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/

2016-05-31 07:33:43 -04:00

..

experience-withprocesses-and-monitors-in-mesa.pdf

new nyc papers and such

2016-05-25 12:18:25 -04:00

README.md

Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms (#395 )

2016-05-31 07:33:43 -04:00

README.md

Concurrency

Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask
Time, Clocks, and the Ordering of Events in a Distributed System
Heap Architectures For Concurrent Languages Using Message Passing
Message Analysis for Concurrent Languages
Finding Race Conditions in Erlang with QuickCheck and PULSE
The Semantics of x86-CC Multiprocessor Machine Code

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(Higher Order Logic) proof assistant.
📜 Experience with Processes and Monitors in Mesa
Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms