Chasing Away RAts: Semantics and evaluation for relaxed atomics on heterogeneous systems

An unambiguous and easy-to-understand memory consistency model is crucial for ensuring correct synchronization and guiding future design of heterogeneous systems. In a widely adopted approach, the memory model guarantees sequential consistency (SC) as long as programmers obey certain rules. The popu...

Full description

Saved in:
Bibliographic Details
Published in:2017 ACM/IEEE 44th Annual International Symposium on Computer Architecture (ISCA) pp. 161 - 174
Main Authors: Sinclair, Matthew D., Alsop, Johnathan, Adve, Sarita V.
Format: Conference Proceeding
Language:English
Published: ACM 01.06.2017
Subjects:
Benchmark testing
C++ languages
data-race-free models
GPGPU
Graphics processing units
Java
memory consistency
Optimization
relaxed atomics
Semantics
Synchronization
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract An unambiguous and easy-to-understand memory consistency model is crucial for ensuring correct synchronization and guiding future design of heterogeneous systems. In a widely adopted approach, the memory model guarantees sequential consistency (SC) as long as programmers obey certain rules. The popular data-race-free-0 (DRF0) model exemplifies this SC-centric approach by requiring programmers to avoid data races. Recent industry models, however, have extended such SC-centric models to incorporate relaxed atomics. These extensions can improve performance, but are difficult to specify formally and use correctly. This work addresses the impact of relaxed atomics on consistency models for heterogeneous systems in two ways. First, we introduce a new model, Data-Race-Free-Relaxed (DRFrlx), that extends DRF0 to provide SC-centric semantics for the common use cases of relaxed atomics. Second, we evaluate the performance of relaxed atomics in CPU-GPU systems for these use cases. We find mixed results - for most cases, relaxed atomics provide only a small benefit in execution time, but for some cases, they help significantly (e.g., up to 51% for DRFrlx over DRF0).
AbstractList An unambiguous and easy-to-understand memory consistency model is crucial for ensuring correct synchronization and guiding future design of heterogeneous systems. In a widely adopted approach, the memory model guarantees sequential consistency (SC) as long as programmers obey certain rules. The popular data-race-free-0 (DRF0) model exemplifies this SC-centric approach by requiring programmers to avoid data races. Recent industry models, however, have extended such SC-centric models to incorporate relaxed atomics. These extensions can improve performance, but are difficult to specify formally and use correctly. This work addresses the impact of relaxed atomics on consistency models for heterogeneous systems in two ways. First, we introduce a new model, Data-Race-Free-Relaxed (DRFrlx), that extends DRF0 to provide SC-centric semantics for the common use cases of relaxed atomics. Second, we evaluate the performance of relaxed atomics in CPU-GPU systems for these use cases. We find mixed results - for most cases, relaxed atomics provide only a small benefit in execution time, but for some cases, they help significantly (e.g., up to 51% for DRFrlx over DRF0).
Author Sinclair, Matthew D.
Adve, Sarita V.
Alsop, Johnathan
Author_xml – sequence: 1
  givenname: Matthew D.
  surname: Sinclair
  fullname: Sinclair, Matthew D.
  email: mdsincl2@illinois.edu
– sequence: 2
  givenname: Johnathan
  surname: Alsop
  fullname: Alsop, Johnathan
  email: alsop2@illinois.edu
– sequence: 3
  givenname: Sarita V.
  surname: Adve
  fullname: Adve, Sarita V.
  email: sadve@illinois.edu
BookMark eNotjEFLwzAYQCPowU3PHrzkD3TmS5M08VaKOmEg6A7extf261ZoE2kytf_eiZ4ePB5vwc598MTYDYgVgNJ3uSic1WaVCyukMGdscbIiV9ZJccneqwPG3u95-YUzfy1TvOdvNKJPfRM5-pbTJw5HTH3wvAsTn2jAb2o5pjD-Jid9oERT2JOncIw8zjHRGK_YRYdDpOt_Ltn28WFbrbPNy9NzVW4ylKpImTRKW9cogo5IFdQYWVthtawN6BoQkCxA0RowpjZYWOqUINcaDapVlC_Z7d-2J6Ldx9SPOM07C04q4_IfWKdNvQ
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1145/3079856.3080206
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library (IEL) (UW System Shared)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 1450348920
9781450348928
EndPage 174
ExternalDocumentID 8192469
Genre orig-research
GroupedDBID 6IE
6IH
CBEJK
RIE
RIO
ID FETCH-LOGICAL-a247t-264589c4e1fee47ec62b80852b615b1a1ae8117d6166b6a78ef40e9d6514d4e3
IEDL.DBID RIE
ISICitedReferencesCount 23
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000426483300013&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Thu Jun 29 18:37:40 EDT 2023
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a247t-264589c4e1fee47ec62b80852b615b1a1ae8117d6166b6a78ef40e9d6514d4e3
PageCount 14
ParticipantIDs ieee_primary_8192469
PublicationCentury 2000
PublicationDate 2017-June
PublicationDateYYYYMMDD 2017-06-01
PublicationDate_xml – month: 06
  year: 2017
  text: 2017-June
PublicationDecade 2010
PublicationTitle 2017 ACM/IEEE 44th Annual International Symposium on Computer Architecture (ISCA)
PublicationTitleAbbrev ISCA
PublicationYear 2017
Publisher ACM
Publisher_xml – name: ACM
Score 2.193791
Snippet An unambiguous and easy-to-understand memory consistency model is crucial for ensuring correct synchronization and guiding future design of heterogeneous...
SourceID ieee
SourceType Publisher
StartPage 161
SubjectTerms Benchmark testing
C++ languages
data-race-free models
GPGPU
Graphics processing units
Java
memory consistency
Optimization
relaxed atomics
Semantics
Synchronization
Title Chasing Away RAts: Semantics and evaluation for relaxed atomics on heterogeneous systems
URI https://ieeexplore.ieee.org/document/8192469
WOSCitedRecordID wos000426483300013&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09b8IwELUAdejUVlD1Wx46NoATx2d3Q6ioE0ItAxuy44tgIFQk9OPf9xwQ7dClm3WyZOls6d6d771j7D7XxnlwEPk--EgCqMhmWkQuBpSJF2CtrIdNwHisZzMzabCHAxcGEevmM-yGZf2X79fZNpTKekG8i9K5JmsCwI6rtVfrETLt0Ws1OlXdJNBHwwSjX-NS6mgxOvnfOaes80O745NDQDljDSzabDZc2JDP88GH_eIvg6p85K-4Iocss5LbwvMfwW5OCJQHdsonek7Z9CpsIfMi9Lys6akg5fl8J95cdth09DQdPkf7cQiRjSVUoRct1SaTKHJECZip2GlCTLEjVOKEFRYDa9QroZRTFjTmso_GK8JEXmJyzlrFusALxhMPVoGQGcVrqZx1OZq-IzAGKcEzYS5ZOzhl_rYTvJjv_XH1t_maHcch1tWliRvWqjZbvGVH2Xu1LDd39S19A9Dwlio
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEJ4gmuhJDRjf9uDRBbrb7cMbIRKMSIhy4Eba7WzwwGLYxce_t10IePDirZk0aTJtMt9M5_sG4DaVylhhRGBbwgZMCB7oRNLAhAJZZKnQmpXDJsRgIMdjNazA3YYLg4hl8xk2_LL8y7fzZOlLZU0v3uXSuR3YjRkL6YqttdbroSxuuveqZMwbkSeQ-hlGvwamlPGie_i_k46gviXekeEmpBxDBbMajDtT7TN60v7U3-SlXeT35BVnziVvSU50ZslWsps4DEo8P-ULLXH59Mxvceap73qZu8eCLtMnK_nmvA6j7sOo0wvWAxECHTJR-G60WKqEIU0RmcCEh0Y6zBQah0sM1VSj541aTjk3XAuJKWuhstyhIsswOoFqNs_wFEhkheaCssRFbMaNNimqlnFwTMQOoFF1BjXvlMn7SvJisvbH-d_mG9jvjZ77k_7j4OkCDkIf-cpCxSVUi8USr2Av-Sje8sV1eWM_zz6ZcQ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2017+ACM%2FIEEE+44th+Annual+International+Symposium+on+Computer+Architecture+%28ISCA%29&rft.atitle=Chasing+Away+RAts%3A+Semantics+and+evaluation+for+relaxed+atomics+on+heterogeneous+systems&rft.au=Sinclair%2C+Matthew+D.&rft.au=Alsop%2C+Johnathan&rft.au=Adve%2C+Sarita+V.&rft.date=2017-06-01&rft.pub=ACM&rft.spage=161&rft.epage=174&rft_id=info:doi/10.1145%2F3079856.3080206&rft.externalDocID=8192469