Matches in SemOpenAlex for { <https://semopenalex.org/work/W2628830147> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2628830147 abstract "Compilers often use escape analysis to elide locking operations on thread-local data. Similarly, dynamic race detectors may use escape analysis to elide race checks on thread-local data. In this paper, we study the correctness of these two related optimizations when using a partial escape analysis, which identifies objects that are currently thread-local but that may later become thread-shared.We show that lock elision based on partial escape analysis is unsound for the Java memory model. We also show that race check elision based on a partial escape analysis weakens the precision of dynamic race detectors. Finally, we prove that race check elision based on a partial escape analysis is sound with respect to this weakened, but still useful, notion of precision." @default.
- W2628830147 created "2017-06-30" @default.
- W2628830147 creator A5008625385 @default.
- W2628830147 creator A5018139743 @default.
- W2628830147 creator A5052993755 @default.
- W2628830147 date "2017-06-18" @default.
- W2628830147 modified "2023-09-23" @default.
- W2628830147 title "Correctness of Partial Escape Analysis for Multithreading Optimization" @default.
- W2628830147 cites W1482397304 @default.
- W2628830147 cites W1512985475 @default.
- W2628830147 cites W1972544179 @default.
- W2628830147 cites W2002179840 @default.
- W2628830147 cites W2004420781 @default.
- W2628830147 cites W2014530617 @default.
- W2628830147 cites W2029601347 @default.
- W2628830147 cites W2036719919 @default.
- W2628830147 cites W2077850509 @default.
- W2628830147 cites W2091085450 @default.
- W2628830147 cites W2127163775 @default.
- W2628830147 cites W2152885346 @default.
- W2628830147 cites W2154557525 @default.
- W2628830147 cites W2157432684 @default.
- W2628830147 cites W4236519034 @default.
- W2628830147 cites W4300810260 @default.
- W2628830147 doi "https://doi.org/10.1145/3103111.3104039" @default.
- W2628830147 hasPublicationYear "2017" @default.
- W2628830147 type Work @default.
- W2628830147 sameAs 2628830147 @default.
- W2628830147 citedByCount "0" @default.
- W2628830147 crossrefType "proceedings-article" @default.
- W2628830147 hasAuthorship W2628830147A5008625385 @default.
- W2628830147 hasAuthorship W2628830147A5018139743 @default.
- W2628830147 hasAuthorship W2628830147A5052993755 @default.
- W2628830147 hasConcept C11413529 @default.
- W2628830147 hasConcept C138101251 @default.
- W2628830147 hasConcept C173608175 @default.
- W2628830147 hasConcept C199360897 @default.
- W2628830147 hasConcept C201410400 @default.
- W2628830147 hasConcept C41008148 @default.
- W2628830147 hasConcept C55439883 @default.
- W2628830147 hasConceptScore W2628830147C11413529 @default.
- W2628830147 hasConceptScore W2628830147C138101251 @default.
- W2628830147 hasConceptScore W2628830147C173608175 @default.
- W2628830147 hasConceptScore W2628830147C199360897 @default.
- W2628830147 hasConceptScore W2628830147C201410400 @default.
- W2628830147 hasConceptScore W2628830147C41008148 @default.
- W2628830147 hasConceptScore W2628830147C55439883 @default.
- W2628830147 hasLocation W26288301471 @default.
- W2628830147 hasOpenAccess W2628830147 @default.
- W2628830147 hasPrimaryLocation W26288301471 @default.
- W2628830147 hasRelatedWork W1525693705 @default.
- W2628830147 hasRelatedWork W1567437828 @default.
- W2628830147 hasRelatedWork W1571984808 @default.
- W2628830147 hasRelatedWork W1869243490 @default.
- W2628830147 hasRelatedWork W2000490092 @default.
- W2628830147 hasRelatedWork W2020582711 @default.
- W2628830147 hasRelatedWork W2071078342 @default.
- W2628830147 hasRelatedWork W2117014006 @default.
- W2628830147 hasRelatedWork W2618316446 @default.
- W2628830147 hasRelatedWork W2908634196 @default.
- W2628830147 isParatext "false" @default.
- W2628830147 isRetracted "false" @default.
- W2628830147 magId "2628830147" @default.
- W2628830147 workType "article" @default.