Now showing items 1-3 of 3
(Master thesis / Masteroppgave, 2016)
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2017)
A memory model dictates which values may be returned when reading from memory. In a parallel computing setting, the memory model affects how processes communicate through shared memory. The design of a proper memory model ...
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.