Search
Now showing items 1-1 of 1
(Research report / Forskningsrapport, 2018)
A multitude of weak memory models exists supporting various types of relaxations and different synchronization primitives. On one hand, they must be lax enough to allow for hardware and compiler optimizations; on the other, ...