Publications
Detailed Information
Repairing sequential consistency in C/C++11
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lahav, O. | - |
dc.contributor.author | Vafeiadis, V. | - |
dc.contributor.author | Kang, J. | - |
dc.contributor.author | Hur, C.-K. | - |
dc.contributor.author | Dreyer, D. | - |
dc.date.accessioned | 2023-06-27T06:38:11Z | - |
dc.date.available | 2023-06-27T06:38:11Z | - |
dc.date.created | 2023-06-23 | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vol.Part F128414, pp.618-632 | - |
dc.identifier.issn | 0000-0000 | - |
dc.identifier.uri | https://hdl.handle.net/10371/192901 | - |
dc.description.abstract | The C/C++11 memory model defines the semantics of concurrent memory accesses in C/C++, and in particular supports racy atomic accesses at a range of different consistency levels, from very weak consistency (relaxed) to strong, sequential consistency (SC). Unfortunately, as we observe in this paper, the semantics of SC atomic accesses in C/C++11, as well as in all proposed strengthenings of the semantics, is flawed, in that (contrary to previously published results) both suggested compilation schemes to the Power architecture are unsound. We propose a model, called RC11 (for Repaired C11), with a better semantics for SC accesses that restores the soundness of the compilation schemes to Power, maintains the DRF-SC guarantee, and provides stronger, more useful, guarantees to SC fences. In addition, we formally prove, for the first time, the correctness of the proposed stronger compilation schemes to Power that preserve load-to-store ordering and avoid out-of-thin-air reads. © 2017 ACM. | - |
dc.language | 영어 | - |
dc.publisher | Association for Computing Machinery | - |
dc.title | Repairing sequential consistency in C/C++11 | - |
dc.type | Article | - |
dc.citation.journaltitle | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | - |
dc.identifier.scopusid | 2-s2.0-85025169678 | - |
dc.citation.endpage | 632 | - |
dc.citation.startpage | 618 | - |
dc.citation.volume | Part F128414 | - |
dc.description.isOpenAccess | N | - |
dc.contributor.affiliatedAuthor | Hur, C.-K. | - |
dc.description.journalClass | 1 | - |
- Appears in Collections:
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.