An operational semantics for a weak memory model with buffered writes, message passing, and goroutines

dc.date.accessioned	2017-06-20T14:18:40Z
dc.date.available	2017-06-20T14:18:40Z
dc.date.created	2017-06-07T13:06:08Z
dc.date.issued	2017
dc.identifier.uri	http://hdl.handle.net/10852/55675
dc.description.abstract	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.	en_US
dc.language	EN
dc.publisher	Faculty of mathematics and natural sciences, University of Oslo
dc.relation.ispartof	Research report http://urn.nb.no/URN:NBN:no-35645
dc.relation.uri	http://urn.nb.no/URN:NBN:no-35645
dc.title	An operational semantics for a weak memory model with buffered writes, message passing, and goroutines	en_US
dc.type	Research report
dc.creator.author	Fava, Daniel Schnetzer
dc.creator.author	Steffen, Martin
dc.creator.author	Stolz, Volker
dc.creator.author	Valle, Stian
cristin.unitcode	185,15,5,32
cristin.unitname	Forskningsgruppen for presis modellering og analyse
cristin.ispublished	true
cristin.fulltext	original
dc.identifier.cristin	1474511
dc.identifier.pagecount	19
dc.identifier.urn	URN:NBN:no-58448
dc.type.document	Forskningsrapport
dc.source.isbn	978-82-7368-431-8
dc.identifier.fulltext	Fulltext https://www.duo.uio.no/bitstream/handle/10852/55675/1/main-rep.pdf

Browse