Matches in SemOpenAlex for { <https://semopenalex.org/work/W2466844719> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2466844719 abstract "Guerraoui and Kapalka defined opacity as a safety criterion for transactional memory algorithms in 2008. Researchers have shown how to prove opacity, while little is known about pitfalls that can lead to non-opacity. In this paper, we identify two problems that lead to non-opacity and we prove an impossibility result. We first show that the well-known TM algorithms DSTM and McRT don’t satisfy opacity. DSTM suffers from a write-skew anomaly, while McRT suffers from a write-exposure anomaly. We then prove that for direct-update TM algorithms, opacity is incompatible with a liveness criterion called local progress, even for fault-free systems. Our result implies that if TM algorithm designers want both opacity and local progress, they should avoid direct-update algorithms." @default.
- W2466844719 created "2016-07-22" @default.
- W2466844719 creator A5011356414 @default.
- W2466844719 creator A5088825348 @default.
- W2466844719 date "2012-01-01" @default.
- W2466844719 modified "2023-09-27" @default.
- W2466844719 title "Proving Non-opacity (General Track)" @default.
- W2466844719 cites W1492674724 @default.
- W2466844719 cites W1542975293 @default.
- W2466844719 cites W1823360320 @default.
- W2466844719 cites W1983572666 @default.
- W2466844719 cites W1986913310 @default.
- W2466844719 cites W1993179651 @default.
- W2466844719 cites W1996952974 @default.
- W2466844719 cites W2020864277 @default.
- W2466844719 cites W2023304911 @default.
- W2466844719 cites W2035134754 @default.
- W2466844719 cites W2053935034 @default.
- W2466844719 cites W2064214512 @default.
- W2466844719 cites W2077571050 @default.
- W2466844719 cites W2086512828 @default.
- W2466844719 cites W2091067283 @default.
- W2466844719 cites W2092911542 @default.
- W2466844719 cites W2094222793 @default.
- W2466844719 cites W2097279136 @default.
- W2466844719 cites W2099537990 @default.
- W2466844719 cites W2101545021 @default.
- W2466844719 cites W2105055683 @default.
- W2466844719 cites W2111134484 @default.
- W2466844719 cites W2113751407 @default.
- W2466844719 cites W2120297309 @default.
- W2466844719 cites W2128585185 @default.
- W2466844719 cites W2129990308 @default.
- W2466844719 cites W2152988224 @default.
- W2466844719 cites W2158947256 @default.
- W2466844719 cites W2182103346 @default.
- W2466844719 cites W2340530615 @default.
- W2466844719 cites W3741743 @default.
- W2466844719 cites W68674173 @default.
- W2466844719 cites W91716996 @default.
- W2466844719 hasPublicationYear "2012" @default.
- W2466844719 type Work @default.
- W2466844719 sameAs 2466844719 @default.
- W2466844719 citedByCount "0" @default.
- W2466844719 crossrefType "journal-article" @default.
- W2466844719 hasAuthorship W2466844719A5011356414 @default.
- W2466844719 hasAuthorship W2466844719A5088825348 @default.
- W2466844719 hasConcept C11413529 @default.
- W2466844719 hasConcept C120665830 @default.
- W2466844719 hasConcept C121332964 @default.
- W2466844719 hasConcept C15569618 @default.
- W2466844719 hasConcept C17744445 @default.
- W2466844719 hasConcept C199539241 @default.
- W2466844719 hasConcept C2776261394 @default.
- W2466844719 hasConcept C41008148 @default.
- W2466844719 hasConcept C43711488 @default.
- W2466844719 hasConcept C60056205 @default.
- W2466844719 hasConcept C76155785 @default.
- W2466844719 hasConcept C80444323 @default.
- W2466844719 hasConceptScore W2466844719C11413529 @default.
- W2466844719 hasConceptScore W2466844719C120665830 @default.
- W2466844719 hasConceptScore W2466844719C121332964 @default.
- W2466844719 hasConceptScore W2466844719C15569618 @default.
- W2466844719 hasConceptScore W2466844719C17744445 @default.
- W2466844719 hasConceptScore W2466844719C199539241 @default.
- W2466844719 hasConceptScore W2466844719C2776261394 @default.
- W2466844719 hasConceptScore W2466844719C41008148 @default.
- W2466844719 hasConceptScore W2466844719C43711488 @default.
- W2466844719 hasConceptScore W2466844719C60056205 @default.
- W2466844719 hasConceptScore W2466844719C76155785 @default.
- W2466844719 hasConceptScore W2466844719C80444323 @default.
- W2466844719 hasLocation W24668447191 @default.
- W2466844719 hasOpenAccess W2466844719 @default.
- W2466844719 hasPrimaryLocation W24668447191 @default.
- W2466844719 hasRelatedWork W107054272 @default.
- W2466844719 hasRelatedWork W1511044862 @default.
- W2466844719 hasRelatedWork W1782461346 @default.
- W2466844719 hasRelatedWork W1852882392 @default.
- W2466844719 hasRelatedWork W1941318215 @default.
- W2466844719 hasRelatedWork W2122491152 @default.
- W2466844719 hasRelatedWork W2151689074 @default.
- W2466844719 hasRelatedWork W2163963293 @default.
- W2466844719 hasRelatedWork W2166064672 @default.
- W2466844719 hasRelatedWork W2217099143 @default.
- W2466844719 hasRelatedWork W2749733048 @default.
- W2466844719 hasRelatedWork W2898012076 @default.
- W2466844719 hasRelatedWork W2898895592 @default.
- W2466844719 hasRelatedWork W2901368154 @default.
- W2466844719 hasRelatedWork W2946320426 @default.
- W2466844719 hasRelatedWork W2950123107 @default.
- W2466844719 hasRelatedWork W3160493260 @default.
- W2466844719 hasRelatedWork W3174732583 @default.
- W2466844719 hasRelatedWork W3213851608 @default.
- W2466844719 hasRelatedWork W81877109 @default.
- W2466844719 isParatext "false" @default.
- W2466844719 isRetracted "false" @default.
- W2466844719 magId "2466844719" @default.
- W2466844719 workType "article" @default.