Now showing items 1-2 of 2
(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, ...
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines
(Research report / Forskningsrapport, 2017)
In this paper, we formalize an operational semantics of a weak memory model similar to the one in Go, concentrating on buffered writes, i.e., ignoring the possibility of buffered reads.