Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version).
Ori LahavBrijesh DongolHeike WehrheimPublished in: CoRR (2023)
Keyphrases
- shared memory
- message passing
- parallel algorithm
- distributed memory
- multi processor
- parallel computing
- parallel architecture
- parallel computation
- address space
- parallel programming
- parallel architectures
- shared memory multiprocessors
- data parallelism
- parallel tree search
- multithreading
- belief propagation
- operating system
- image processing
- parallel computers
- high performance computing
- memory access
- causal models
- commodity hardware
- real time