Don’t sit on the fence: A static analysis approach to automatic fence insertion
Modern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences’ semantics may be subtle, the automation of their placement is highly desirable. But precise methods for restoring consistency do not scale to deployed systems code. We choose to trade som...
| Asıl Yazarlar: | , , , |
|---|---|
| Materyal Türü: | Journal article |
| Baskı/Yayın Bilgisi: |
Association for Computing Machinery
2017
|
| _version_ | 1826304156562882560 |
|---|---|
| author | Kroening, D Alglave, J Nimal, V Poetzl, D |
| author_facet | Kroening, D Alglave, J Nimal, V Poetzl, D |
| author_sort | Kroening, D |
| collection | OXFORD |
| description | Modern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences’ semantics may be subtle, the automation of their placement is highly desirable. But precise methods for restoring consistency do not scale to deployed systems code. We choose to trade some precision for genuine scalability: our technique is suitable for large code bases. We implement it in our new musketeer tool, and report experiments on more than 700 executables from packages found in Debian GNU/Linux 7.1, including memcached with about 10,000 LoC. |
| first_indexed | 2024-03-07T06:13:31Z |
| format | Journal article |
| id | oxford-uuid:f0563159-16db-407b-b98c-0a3beef10b6f |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:13:31Z |
| publishDate | 2017 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:f0563159-16db-407b-b98c-0a3beef10b6f2022-03-27T11:47:02ZDon’t sit on the fence: A static analysis approach to automatic fence insertionJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:f0563159-16db-407b-b98c-0a3beef10b6fSymplectic Elements at OxfordAssociation for Computing Machinery2017Kroening, DAlglave, JNimal, VPoetzl, DModern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences’ semantics may be subtle, the automation of their placement is highly desirable. But precise methods for restoring consistency do not scale to deployed systems code. We choose to trade some precision for genuine scalability: our technique is suitable for large code bases. We implement it in our new musketeer tool, and report experiments on more than 700 executables from packages found in Debian GNU/Linux 7.1, including memcached with about 10,000 LoC. |
| spellingShingle | Kroening, D Alglave, J Nimal, V Poetzl, D Don’t sit on the fence: A static analysis approach to automatic fence insertion |
| title | Don’t sit on the fence: A static analysis approach to automatic fence insertion |
| title_full | Don’t sit on the fence: A static analysis approach to automatic fence insertion |
| title_fullStr | Don’t sit on the fence: A static analysis approach to automatic fence insertion |
| title_full_unstemmed | Don’t sit on the fence: A static analysis approach to automatic fence insertion |
| title_short | Don’t sit on the fence: A static analysis approach to automatic fence insertion |
| title_sort | don t sit on the fence a static analysis approach to automatic fence insertion |
| work_keys_str_mv | AT kroeningd dontsitonthefenceastaticanalysisapproachtoautomaticfenceinsertion AT alglavej dontsitonthefenceastaticanalysisapproachtoautomaticfenceinsertion AT nimalv dontsitonthefenceastaticanalysisapproachtoautomaticfenceinsertion AT poetzld dontsitonthefenceastaticanalysisapproachtoautomaticfenceinsertion |