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...
Uloženo v:
| Vydáno v: | 2017 ACM/IEEE 44th Annual International Symposium on Computer Architecture (ISCA) s. 161 - 174 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
ACM
01.06.2017
|
| Témata: | |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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 Electronic Library (IEL) 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.193609 |
| 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/eLvHCXMwlV09b8IwELUAdejUVlD1Wx46NkASxx_dECrqhFDLwIbs-CIYCBUJtP33vUsQdOjSLbIiWTqfdO_Z994x9pgA1lUZ6sCazAcilmFgMZkD4wzWHwdeyXrYhBqP9WxmJg32dNDCAEDVfAZd-qze8v063dJVWY_Mu5DONVlTKVVrtfZuPaFIepitRieyG5N8lCYY_RqXUlWL0dn_9jlnnaPsjk8OBeWCNSBvs9lwYYnP88Gn_eZvg7J45u-wwoAs04Lb3POjYTdHBMpJnfIFniObXtEvuLygnpc1pgogz-e1eXPRYdPRy3T4GuzHIQQ2EqqkXrREm1RAmAEIBamMnEbEFDlEJS60oQVSjXoZSumkVRoy0QfjJWIiLyC-ZK18ncMV414jCsvIS90gO9OZiXwkfT8GJVysXHrN2hSU-UdteDHfx-Pm7-VbdhpRrauuJu5Yq9xs4Z6dpLtyWWweqlP6AVZDlYA |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEG0QTfSkBozf9uDRBbrb7bbeCJFgREKUAzfSbmcDBxbCLn78e6e7BDx48bZpNmkynWTea-e9IeQ-BKyrgklPq8R6PBDM05jMnjIK648BG4ly2EQ0GMjxWA0r5GGrhQGAovkMGu6zeMu3i3jtrsqazrwL6dwe2Q8591mp1tr49TAeNjFflQxFI3ACUjfD6NfAlKJedI__t9MJqe-Ed3S4LSmnpAJpjYw7U-0YPW1_6m_61s6zR_oOcwzJLM6oTi3dWXZTxKDU6VO-wFLk03P3Cy5PXdfLApMFkOnT0r45q5NR92nU6XmbgQie9nmUu260UKqYA0sAeASx8I1EzOQbxCWGaabB6UatYEIYoSMJCW-BsgJRkeUQnJFqukjhnFArEYclzk1dIT-TifKtL2wrgIibIDLxBam5oEyWpeXFZBOPy7-X78hhb_Tan_SfBy9X5Mh3la-4qLgm1Xy1hhtyEH_ks2x1W5zYD0spmMc |
| 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 |