Browsing Øvrige samlinger by Author "Valle, Stian"
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian (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.
Fava, Daniel Schnetzer; Stolz, Volker; Valle, Stian (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 ...