Logo: to the web site of Uppsala University

uu.sePublications from Uppsala University
System disruptions
There are recurring service disruptions on some of the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Constructing a Weak Memory Model
MIT CSAIL.
MIT CSAIL.
MIT CSAIL.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (UART)ORCID iD: 0000-0001-9842-8715
Show others and affiliations
2018 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Weak memory models are a consequence of the desire on part of architects to preserve all the uniprocessor optimizations while building a shared memory multiprocessor. The efforts to formalize weak memory models of ARM and POWER over the last decades are mostly empirical - they try to capture empirically observed behaviors - and end up providing no insight into the inherent nature of weak memory models. This paper takes a constructive approach to find a common base for weak memory models: we explore what a weak memory would look like if we constructed it with the explicit goal of preserving all the uniprocessor optimizations. We will disallow some optimizations which break a programmer's intuition in highly unexpected ways. The constructed model, which we call General Atomic Memory Model (GAM), allows all four load/store reorderings. We give the construction procedure of GAM, and provide insights which are used to define its operational and axiomatic semantics. Though no attempt is made to match GAM to any existing weak memory model, we show by simulation that GAM has comparable performance with other models. No deep knowledge of memory models is needed to read this paper.

Place, publisher, year, edition, pages
New York: IEEE, 2018. p. 124-137
Series
ACM/IEEE Annual International Symposium on Computer Architecture (ISCA), E-ISSN 2575-713X
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-365900DOI: 10.1109/ISCA.2018.00021ISI: 000458810500010OAI: oai:DiVA.org:uu-365900DiVA, id: diva2:1263288
Conference
45th Annual International Symposium on Computer Architecture (ISCA), 1-6 June 2018
Available from: 2018-11-15 Created: 2018-11-15 Last updated: 2019-03-07Bibliographically approved

Open Access in DiVA

ISCA_18(3256 kB)410 downloads
File information
File name FULLTEXT01.pdfFile size 3256 kBChecksum SHA-512
0c398637d3d50812d258c5fc664d42dcb20b0fc16eb23b3d2b4f48582d573dc12278729e9aa0effa16ed4f68a1636dba4c498885197174909d52b2b029f61733
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records

Alipour, Mehdi

Search in DiVA

By author/editor
Alipour, Mehdi
By organisation
Computer Systems
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 411 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 208 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf