You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Marco Rietveld
159e8613f7
|
8 years ago | |
|---|---|---|
| .. | ||
| README.md | 8 years ago | |
| experience-withprocesses-and-monitors-in-mesa.pdf | 8 years ago | |
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
-
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.
-
Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms