Heterogeneous concurrency -- a new frontier for weak memory
summary
Claims a compound memory model that composes x86 and PTX semantics, gives both an axiomatic formulation and a POP‑style operational model, and proves the usual compiler mappings from scoped C++ still hold. Implements the operational model and runs gem5 simulations with an x86 CPU + GCN3 GPU under an S‑SWMR coherence protocol; results match an Alloy encoding and theorem‑proved axiomatic predictions, showing refinement between models. References PDI'23 paper and open questions about compositionality and language interactions.
AI-written summary · about