Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)

Heike Wehrheim, Lara Bargmann, Brijesh Dongol

Modern processors such as ARMv8 and RISC-V allow executions in which independent instructions within a process may be reordered. To cope with such phenomena, so called promising se…