Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154709372> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2154709372 endingPage "135" @default.
- W2154709372 startingPage "116" @default.
- W2154709372 abstract "Enabling applications to execute various tasks in parallel is difficult if those tasks exhibit read and write conflicts. We recently developed a programming model based on concurrent revisions that addresses this challenge in a novel way: each forked task gets a conceptual copy of all the shared state, and state changes are integrated only when tasks are joined, at which time write-write conflicts are deterministically resolved. In this paper, we study the precise semantics of this model, in particular its guarantees for determinacy and consistency. First, we introduce a revision calculus that concisely captures the programming model. Despite allowing concurrent execution and locally nondeterministic scheduling, we prove that the calculus is confluent and guarantees determinacy. We show that the consistency guarantees of our calculus are a logical extension of snapshot isolation with support for conflict resolution and nesting. Moreover, we discuss how custom merge functions can provide stronger guarantees for particular data types that are tailored to the needs of the application. Finally, we show we can visualize the nonlinear history of state in our computations using revision diagrams that clarify the synchronization between tasks and allow local reasoning about state updates." @default.
- W2154709372 created "2016-06-24" @default.
- W2154709372 creator A5045088961 @default.
- W2154709372 creator A5086447301 @default.
- W2154709372 date "2011-01-01" @default.
- W2154709372 modified "2023-09-24" @default.
- W2154709372 title "Semantics of Concurrent Revisions" @default.
- W2154709372 cites W1494665534 @default.
- W2154709372 cites W1965122136 @default.
- W2154709372 cites W1979101142 @default.
- W2154709372 cites W1995288535 @default.
- W2154709372 cites W1996952974 @default.
- W2154709372 cites W2007130930 @default.
- W2154709372 cites W2023168372 @default.
- W2154709372 cites W2054739713 @default.
- W2154709372 cites W2097717378 @default.
- W2154709372 cites W2101939036 @default.
- W2154709372 cites W2129458440 @default.
- W2154709372 cites W2130374657 @default.
- W2154709372 cites W2141222493 @default.
- W2154709372 cites W2163074247 @default.
- W2154709372 cites W2172013743 @default.
- W2154709372 cites W2435606122 @default.
- W2154709372 cites W2998259715 @default.
- W2154709372 cites W3000476312 @default.
- W2154709372 cites W3004616691 @default.
- W2154709372 cites W3005208138 @default.
- W2154709372 cites W3005952541 @default.
- W2154709372 cites W3045210524 @default.
- W2154709372 cites W4234858060 @default.
- W2154709372 cites W4244157805 @default.
- W2154709372 cites W4249224771 @default.
- W2154709372 cites W4312825855 @default.
- W2154709372 doi "https://doi.org/10.1007/978-3-642-19718-5_7" @default.
- W2154709372 hasPublicationYear "2011" @default.
- W2154709372 type Work @default.
- W2154709372 sameAs 2154709372 @default.
- W2154709372 citedByCount "21" @default.
- W2154709372 countsByYear W21547093722012 @default.
- W2154709372 countsByYear W21547093722014 @default.
- W2154709372 countsByYear W21547093722015 @default.
- W2154709372 countsByYear W21547093722016 @default.
- W2154709372 countsByYear W21547093722017 @default.
- W2154709372 countsByYear W21547093722018 @default.
- W2154709372 countsByYear W21547093722019 @default.
- W2154709372 countsByYear W21547093722020 @default.
- W2154709372 countsByYear W21547093722021 @default.
- W2154709372 crossrefType "book-chapter" @default.
- W2154709372 hasAuthorship W2154709372A5045088961 @default.
- W2154709372 hasAuthorship W2154709372A5086447301 @default.
- W2154709372 hasBestOaLocation W21547093721 @default.
- W2154709372 hasConcept C120314980 @default.
- W2154709372 hasConcept C134306372 @default.
- W2154709372 hasConcept C176181172 @default.
- W2154709372 hasConcept C193702766 @default.
- W2154709372 hasConcept C199360897 @default.
- W2154709372 hasConcept C20528329 @default.
- W2154709372 hasConcept C33923547 @default.
- W2154709372 hasConcept C37279795 @default.
- W2154709372 hasConcept C41008148 @default.
- W2154709372 hasConcept C55439883 @default.
- W2154709372 hasConcept C58468513 @default.
- W2154709372 hasConcept C80444323 @default.
- W2154709372 hasConceptScore W2154709372C120314980 @default.
- W2154709372 hasConceptScore W2154709372C134306372 @default.
- W2154709372 hasConceptScore W2154709372C176181172 @default.
- W2154709372 hasConceptScore W2154709372C193702766 @default.
- W2154709372 hasConceptScore W2154709372C199360897 @default.
- W2154709372 hasConceptScore W2154709372C20528329 @default.
- W2154709372 hasConceptScore W2154709372C33923547 @default.
- W2154709372 hasConceptScore W2154709372C37279795 @default.
- W2154709372 hasConceptScore W2154709372C41008148 @default.
- W2154709372 hasConceptScore W2154709372C55439883 @default.
- W2154709372 hasConceptScore W2154709372C58468513 @default.
- W2154709372 hasConceptScore W2154709372C80444323 @default.
- W2154709372 hasLocation W21547093721 @default.
- W2154709372 hasOpenAccess W2154709372 @default.
- W2154709372 hasPrimaryLocation W21547093721 @default.
- W2154709372 hasRelatedWork W1489053114 @default.
- W2154709372 hasRelatedWork W1561964073 @default.
- W2154709372 hasRelatedWork W2033757118 @default.
- W2154709372 hasRelatedWork W2053450113 @default.
- W2154709372 hasRelatedWork W2139533136 @default.
- W2154709372 hasRelatedWork W2154709372 @default.
- W2154709372 hasRelatedWork W2542626346 @default.
- W2154709372 hasRelatedWork W2884787095 @default.
- W2154709372 hasRelatedWork W2898350964 @default.
- W2154709372 hasRelatedWork W4301346958 @default.
- W2154709372 isParatext "false" @default.
- W2154709372 isRetracted "false" @default.
- W2154709372 magId "2154709372" @default.
- W2154709372 workType "book-chapter" @default.