Sökning: onr:"swepub:oai:DiVA.org:uu-299664" >
Pointer Race Freedom
-
Haziza, FrédéricUppsala universitet,Beräkningsbiologi och bioinformatik,Institutionen för informationsteknologi
(författare)
Pointer Race Freedom
- Artikel/kapitelEngelska2016
Förlag, utgivningsår, omfång ...
-
2015-12-25
-
Berlin, Heidelberg :Springer,2016
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:uu-299664
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-299664URI
-
https://doi.org/10.1007/978-3-662-49122-5_19DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
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 och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Holík, LukásUppsala universitet,Datorteknik,Brno Univ Technol, CS-61090 Brno, Czech Republic.(Swepub:uu)lukho205
(författare)
-
Meyer, RolandUniv Kaiserslautern, D-67663 Kaiserslautern, Germany.
(författare)
-
Wolff, SebastianUniv Kaiserslautern, D-67663 Kaiserslautern, Germany.
(författare)
-
Uppsala universitetBeräkningsbiologi och bioinformatik
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Verification, Model Checking, And Abstract Interpretation, VMCAI 2016Berlin, Heidelberg : Springer, s. 393-41297836624912259783662491218
Internetlänk
Hitta via bibliotek
Till lärosätets databas