Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300865861> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4300865861 abstract "Transactional memory allows the user to declare sequences of instructions as speculative emph{transactions} that can either emph{commit} or emph{abort}. If a transaction commits, it appears to be executed sequentially, so that the committed transactions constitute a correct sequential execution. If a transaction aborts, none of its instructions can affect other transactions. The popular criterion of emph{opacity} requires that the views of aborted transactions must also be consistent with the global sequential order constituted by committed ones. This is believed to be important, since inconsistencies observed by an aborted transaction may cause a fatal irrecoverable error or waste of the system in an infinite loop. Intuitively, an opaque implementation must ensure that no intermediate view a transaction obtains before it commits or aborts can be affected by a transaction that has not started committing yet, so called emph{deferred-update} semantics. In this paper, we intend to grasp this intuition formally. We propose a variant of opacity that explicitly requires the sequential order to respect the deferred-update semantics. We show that our criterion is a safety property, i.e., it is prefix- and limit-closed. Unlike opacity, our property also ensures that a serialization of a history implies serializations of its prefixes. Finally, we show that our property is equivalent to opacity if we assume that no two transactions commit identical values on the same variable, and present a counter-example for scenarios when the unique-write assumption does not hold." @default.
- W4300865861 created "2022-10-04" @default.
- W4300865861 creator A5029333678 @default.
- W4300865861 creator A5039554087 @default.
- W4300865861 creator A5046316788 @default.
- W4300865861 creator A5090605375 @default.
- W4300865861 date "2013-01-26" @default.
- W4300865861 modified "2023-09-25" @default.
- W4300865861 title "Safety of Deferred Update in Transactional Memory" @default.
- W4300865861 doi "https://doi.org/10.48550/arxiv.1301.6297" @default.
- W4300865861 hasPublicationYear "2013" @default.
- W4300865861 type Work @default.
- W4300865861 citedByCount "0" @default.
- W4300865861 crossrefType "posted-content" @default.
- W4300865861 hasAuthorship W4300865861A5029333678 @default.
- W4300865861 hasAuthorship W4300865861A5039554087 @default.
- W4300865861 hasAuthorship W4300865861A5046316788 @default.
- W4300865861 hasAuthorship W4300865861A5090605375 @default.
- W4300865861 hasBestOaLocation W43008658611 @default.
- W4300865861 hasConcept C111472728 @default.
- W4300865861 hasConcept C134277064 @default.
- W4300865861 hasConcept C138885662 @default.
- W4300865861 hasConcept C141603448 @default.
- W4300865861 hasConcept C153180980 @default.
- W4300865861 hasConcept C189950617 @default.
- W4300865861 hasConcept C199360897 @default.
- W4300865861 hasConcept C41008148 @default.
- W4300865861 hasConcept C41895202 @default.
- W4300865861 hasConcept C46681722 @default.
- W4300865861 hasConcept C52723943 @default.
- W4300865861 hasConcept C75949130 @default.
- W4300865861 hasConcept C77088390 @default.
- W4300865861 hasConcept C80444323 @default.
- W4300865861 hasConceptScore W4300865861C111472728 @default.
- W4300865861 hasConceptScore W4300865861C134277064 @default.
- W4300865861 hasConceptScore W4300865861C138885662 @default.
- W4300865861 hasConceptScore W4300865861C141603448 @default.
- W4300865861 hasConceptScore W4300865861C153180980 @default.
- W4300865861 hasConceptScore W4300865861C189950617 @default.
- W4300865861 hasConceptScore W4300865861C199360897 @default.
- W4300865861 hasConceptScore W4300865861C41008148 @default.
- W4300865861 hasConceptScore W4300865861C41895202 @default.
- W4300865861 hasConceptScore W4300865861C46681722 @default.
- W4300865861 hasConceptScore W4300865861C52723943 @default.
- W4300865861 hasConceptScore W4300865861C75949130 @default.
- W4300865861 hasConceptScore W4300865861C77088390 @default.
- W4300865861 hasConceptScore W4300865861C80444323 @default.
- W4300865861 hasLocation W43008658611 @default.
- W4300865861 hasLocation W43008658612 @default.
- W4300865861 hasOpenAccess W4300865861 @default.
- W4300865861 hasPrimaryLocation W43008658611 @default.
- W4300865861 hasRelatedWork W1502289629 @default.
- W4300865861 hasRelatedWork W1566614300 @default.
- W4300865861 hasRelatedWork W1754753007 @default.
- W4300865861 hasRelatedWork W1981246829 @default.
- W4300865861 hasRelatedWork W204696703 @default.
- W4300865861 hasRelatedWork W2301426996 @default.
- W4300865861 hasRelatedWork W2770392486 @default.
- W4300865861 hasRelatedWork W2949526992 @default.
- W4300865861 hasRelatedWork W4243252198 @default.
- W4300865861 hasRelatedWork W4300078970 @default.
- W4300865861 isParatext "false" @default.
- W4300865861 isRetracted "false" @default.
- W4300865861 workType "article" @default.