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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to cmp202

- cmp202
1 + architecture
1 + concurrency
1 + cpu
1 + memory-models