Matches in SemOpenAlex for { <https://semopenalex.org/work/W4245311036> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4245311036 endingPage "231" @default.
- W4245311036 startingPage "221" @default.
- W4245311036 abstract "The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is an equivalent serial execution in which the actions performed by any thread while executing the atomic procedure are not interleaved with actions of other threads. Several existing tools verify atomicity by using commutativity of actions to show that every execution reduces to a corresponding serial execution. However, experiments with these tools have highlighted a number of interesting procedures that, while intuitively atomic, are not reducible.In this paper, we exploit the notion of pure code blocks to verify the atomicity of such irreducible procedures. If a pure block terminates normally, then its evaluation does not change the program state, and hence these evaluation steps can be removed from the program trace before reduction. We develop a static analysis for atomicity based on this insight, and we illustrate this analysis on a number of interesting examples that could not be verified using earlier tools based purely on reduction. The techniques developed in this paper may also be applicable in other approaches for verifying atomicity, such as model checking and dynamic analysis." @default.
- W4245311036 created "2022-05-12" @default.
- W4245311036 creator A5018139743 @default.
- W4245311036 creator A5052993755 @default.
- W4245311036 creator A5072464909 @default.
- W4245311036 date "2004-07-01" @default.
- W4245311036 modified "2023-10-18" @default.
- W4245311036 title "Exploiting purity for atomicity" @default.
- W4245311036 cites W1523442991 @default.
- W4245311036 cites W1570482200 @default.
- W4245311036 cites W1993836075 @default.
- W4245311036 cites W2072062729 @default.
- W4245311036 cites W2082766667 @default.
- W4245311036 cites W2097687957 @default.
- W4245311036 cites W2101939036 @default.
- W4245311036 cites W2103957752 @default.
- W4245311036 cites W2109875364 @default.
- W4245311036 cites W2125165081 @default.
- W4245311036 cites W2138338745 @default.
- W4245311036 cites W2145764100 @default.
- W4245311036 cites W2147351452 @default.
- W4245311036 cites W2163285366 @default.
- W4245311036 cites W2164063418 @default.
- W4245311036 cites W2164496154 @default.
- W4245311036 cites W2165825461 @default.
- W4245311036 cites W2172255864 @default.
- W4245311036 cites W4213369217 @default.
- W4245311036 cites W4231495260 @default.
- W4245311036 cites W4235116491 @default.
- W4245311036 cites W4242949098 @default.
- W4245311036 cites W4249800674 @default.
- W4245311036 doi "https://doi.org/10.1145/1013886.1007543" @default.
- W4245311036 hasPublicationYear "2004" @default.
- W4245311036 type Work @default.
- W4245311036 citedByCount "0" @default.
- W4245311036 crossrefType "journal-article" @default.
- W4245311036 hasAuthorship W4245311036A5018139743 @default.
- W4245311036 hasAuthorship W4245311036A5052993755 @default.
- W4245311036 hasAuthorship W4245311036A5072464909 @default.
- W4245311036 hasConcept C138101251 @default.
- W4245311036 hasConcept C138885662 @default.
- W4245311036 hasConcept C173608175 @default.
- W4245311036 hasConcept C177264268 @default.
- W4245311036 hasConcept C188045909 @default.
- W4245311036 hasConcept C193702766 @default.
- W4245311036 hasConcept C199360897 @default.
- W4245311036 hasConcept C2776760102 @default.
- W4245311036 hasConcept C41008148 @default.
- W4245311036 hasConcept C41895202 @default.
- W4245311036 hasConcept C55439883 @default.
- W4245311036 hasConcept C75291252 @default.
- W4245311036 hasConcept C75949130 @default.
- W4245311036 hasConcept C80444323 @default.
- W4245311036 hasConcept C97686452 @default.
- W4245311036 hasConceptScore W4245311036C138101251 @default.
- W4245311036 hasConceptScore W4245311036C138885662 @default.
- W4245311036 hasConceptScore W4245311036C173608175 @default.
- W4245311036 hasConceptScore W4245311036C177264268 @default.
- W4245311036 hasConceptScore W4245311036C188045909 @default.
- W4245311036 hasConceptScore W4245311036C193702766 @default.
- W4245311036 hasConceptScore W4245311036C199360897 @default.
- W4245311036 hasConceptScore W4245311036C2776760102 @default.
- W4245311036 hasConceptScore W4245311036C41008148 @default.
- W4245311036 hasConceptScore W4245311036C41895202 @default.
- W4245311036 hasConceptScore W4245311036C55439883 @default.
- W4245311036 hasConceptScore W4245311036C75291252 @default.
- W4245311036 hasConceptScore W4245311036C75949130 @default.
- W4245311036 hasConceptScore W4245311036C80444323 @default.
- W4245311036 hasConceptScore W4245311036C97686452 @default.
- W4245311036 hasIssue "4" @default.
- W4245311036 hasLocation W42453110361 @default.
- W4245311036 hasOpenAccess W4245311036 @default.
- W4245311036 hasPrimaryLocation W42453110361 @default.
- W4245311036 hasRelatedWork W1492961245 @default.
- W4245311036 hasRelatedWork W2035382792 @default.
- W4245311036 hasRelatedWork W2112401557 @default.
- W4245311036 hasRelatedWork W2115732097 @default.
- W4245311036 hasRelatedWork W2234667902 @default.
- W4245311036 hasRelatedWork W2614427934 @default.
- W4245311036 hasRelatedWork W2791028228 @default.
- W4245311036 hasRelatedWork W2998398829 @default.
- W4245311036 hasRelatedWork W3014769903 @default.
- W4245311036 hasRelatedWork W321339674 @default.
- W4245311036 hasVolume "29" @default.
- W4245311036 isParatext "false" @default.
- W4245311036 isRetracted "false" @default.
- W4245311036 workType "article" @default.