Now showing items 1-2 of 2

  • 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 ...