Sökning: onr:"swepub:oai:DiVA.org:uu-299664" >
Pointer Race Freedom
Pointer Race Freedom
-
- Haziza, Frédéric (författare)
- Uppsala universitet,Beräkningsbiologi och bioinformatik,Institutionen för informationsteknologi
-
- Holík, Lukás (författare)
- Uppsala universitet,Datorteknik,Brno Univ Technol, CS-61090 Brno, Czech Republic.
-
- Meyer, Roland (författare)
- Univ Kaiserslautern, D-67663 Kaiserslautern, Germany.
-
visa fler...
-
- Wolff, Sebastian (författare)
- Univ Kaiserslautern, D-67663 Kaiserslautern, Germany.
-
visa färre...
-
(creator_code:org_t)
- 2015-12-25
- 2016
- Engelska.
-
Ingår i: Verification, Model Checking, And Abstract Interpretation, VMCAI 2016. - Berlin, Heidelberg : Springer. - 9783662491225 - 9783662491218 ; , s. 393-412
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the accessor's control whether or not the cell has been re-allocated. We establish two results. (1) Under the assumption of pointer race freedom, it is sound to verify a program running under explicit memory management as if it was running with garbage collection. (2) Even the requirement of pointer race freedom itself can be verified under the garbage-collected semantics. We then prove analogues of the theorems for a stronger notion of pointer race needed to cope with performance-critical code purposely using racy comparisons and even racy dereferences of pointers. As a practical contribution, we apply our results to optimize a thread-modular analysis under explicit memory management. Our experiments confirm a speedup of up to two orders of magnitude.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datorteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Engineering (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas