Tasty » Adam Sampson's cmp202 bookmarks

Relaxed-Memory Concurrency edit / delete

"This page collects work by a group of people working to develop mathematically rigorous and usable semantics for multiprocessor programs." The gap between what the manual says, what the processor actually does, and what programmers can reason about -- lots of interesting stuff.

to architecture cmp202 concurrency cpu memory-models ... on 24 October 2018