Reference

OCaml atomics on real hardware

Eleven litmus shapes and five storage kinds run through Atomic on amd64, POWER, RISC-V, AArch64 and z/Architecture, recording what the compiler and runtime actually deliver rather than what the architecture permits. Includes the case where a float array element loses the fence that an int array element gets.