Simplifying ARM concurrency – Prof. Susmit Sarkar
ARM has a relaxed memory model, previously specified in informal prose for ARMv7 and ARMv8. Over time, and partly due to work building formal semantics for ARM concurrency, it has become clear that some of the complexity of the model is not justified by the potential benefits. In particular, the model was originally non-multicopy-atomic: writes … Simplifying ARM concurrency – Prof. Susmit Sarkar