Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950538943> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2950538943 abstract "The celebrated emph{asynchronous computability theorem} provides a characterization of the class of decision tasks that can be solved in a wait-free manner by asynchronous processes that communicate by writing and taking atomic snapshots of a shared memory. Several variations of the model have been proposed (immediate snapshots and iterated immediate snapshots), all equivalent for wait-free solution of decision tasks, in spite of the fact that the protocol complexes that arise from the different models are structurally distinct. The topological and combinatorial properties of these snapshot protocol complexes have been studied in detail, providing explanations for why the asynchronous computability theorem holds in all the models. In reality concurrent systems do not provide processes with snapshot operations. Instead, snapshots are implemented (by a wait-free protocol) using operations that write and read individual shared memory locations. Thus, read/write protocols are also computationally equivalent to snapshot protocols. However, the structure of the read/write protocol complex has not been studied. In this paper we show that the read/write iterated protocol complex is collapsible (and hence contractible). Furthermore, we show that a distributed protocol that wait-free implements atomic snapshots in effect is performing the collapses." @default.
- W2950538943 created "2019-06-27" @default.
- W2950538943 creator A5005997085 @default.
- W2950538943 creator A5085253244 @default.
- W2950538943 date "2015-12-17" @default.
- W2950538943 modified "2023-10-01" @default.
- W2950538943 title "The read/write protocol complex is collapsible ?" @default.
- W2950538943 cites W1526652053 @default.
- W2950538943 cites W1538367796 @default.
- W2950538943 cites W1874740832 @default.
- W2950538943 cites W1965512937 @default.
- W2950538943 cites W1967858331 @default.
- W2950538943 cites W1975213343 @default.
- W2950538943 cites W1975658854 @default.
- W2950538943 cites W1983572666 @default.
- W2950538943 cites W1993805917 @default.
- W2950538943 cites W2001757616 @default.
- W2950538943 cites W2006283020 @default.
- W2950538943 cites W2015870852 @default.
- W2950538943 cites W2016108929 @default.
- W2950538943 cites W2024624176 @default.
- W2950538943 cites W2035362408 @default.
- W2950538943 cites W2039966494 @default.
- W2950538943 cites W2053113612 @default.
- W2950538943 cites W2093310293 @default.
- W2950538943 cites W2094221403 @default.
- W2950538943 cites W2149907923 @default.
- W2950538943 cites W2963052734 @default.
- W2950538943 cites W3157467707 @default.
- W2950538943 hasPublicationYear "2015" @default.
- W2950538943 type Work @default.
- W2950538943 sameAs 2950538943 @default.
- W2950538943 citedByCount "1" @default.
- W2950538943 countsByYear W29505389432015 @default.
- W2950538943 crossrefType "posted-content" @default.
- W2950538943 hasAuthorship W2950538943A5005997085 @default.
- W2950538943 hasAuthorship W2950538943A5085253244 @default.
- W2950538943 hasConcept C111919701 @default.
- W2950538943 hasConcept C120314980 @default.
- W2950538943 hasConcept C134306372 @default.
- W2950538943 hasConcept C140479938 @default.
- W2950538943 hasConcept C142724271 @default.
- W2950538943 hasConcept C151319957 @default.
- W2950538943 hasConcept C152062344 @default.
- W2950538943 hasConcept C173608175 @default.
- W2950538943 hasConcept C204787440 @default.
- W2950538943 hasConcept C2780385302 @default.
- W2950538943 hasConcept C31258907 @default.
- W2950538943 hasConcept C33923547 @default.
- W2950538943 hasConcept C41008148 @default.
- W2950538943 hasConcept C55282118 @default.
- W2950538943 hasConcept C71924100 @default.
- W2950538943 hasConcept C80444323 @default.
- W2950538943 hasConceptScore W2950538943C111919701 @default.
- W2950538943 hasConceptScore W2950538943C120314980 @default.
- W2950538943 hasConceptScore W2950538943C134306372 @default.
- W2950538943 hasConceptScore W2950538943C140479938 @default.
- W2950538943 hasConceptScore W2950538943C142724271 @default.
- W2950538943 hasConceptScore W2950538943C151319957 @default.
- W2950538943 hasConceptScore W2950538943C152062344 @default.
- W2950538943 hasConceptScore W2950538943C173608175 @default.
- W2950538943 hasConceptScore W2950538943C204787440 @default.
- W2950538943 hasConceptScore W2950538943C2780385302 @default.
- W2950538943 hasConceptScore W2950538943C31258907 @default.
- W2950538943 hasConceptScore W2950538943C33923547 @default.
- W2950538943 hasConceptScore W2950538943C41008148 @default.
- W2950538943 hasConceptScore W2950538943C55282118 @default.
- W2950538943 hasConceptScore W2950538943C71924100 @default.
- W2950538943 hasConceptScore W2950538943C80444323 @default.
- W2950538943 hasLocation W29505389431 @default.
- W2950538943 hasOpenAccess W2950538943 @default.
- W2950538943 hasPrimaryLocation W29505389431 @default.
- W2950538943 hasRelatedWork W1562297815 @default.
- W2950538943 hasRelatedWork W1967980352 @default.
- W2950538943 hasRelatedWork W2007397266 @default.
- W2950538943 hasRelatedWork W2030785908 @default.
- W2950538943 hasRelatedWork W2034515443 @default.
- W2950538943 hasRelatedWork W2036712892 @default.
- W2950538943 hasRelatedWork W2043295270 @default.
- W2950538943 hasRelatedWork W2052349306 @default.
- W2950538943 hasRelatedWork W2063992960 @default.
- W2950538943 hasRelatedWork W2080265388 @default.
- W2950538943 hasRelatedWork W2089615222 @default.
- W2950538943 hasRelatedWork W2096138267 @default.
- W2950538943 hasRelatedWork W2105336351 @default.
- W2950538943 hasRelatedWork W2114658430 @default.
- W2950538943 hasRelatedWork W2258148309 @default.
- W2950538943 hasRelatedWork W2476743753 @default.
- W2950538943 hasRelatedWork W2493949735 @default.
- W2950538943 hasRelatedWork W27825682 @default.
- W2950538943 hasRelatedWork W2890960634 @default.
- W2950538943 hasRelatedWork W3128673518 @default.
- W2950538943 isParatext "false" @default.
- W2950538943 isRetracted "false" @default.
- W2950538943 magId "2950538943" @default.
- W2950538943 workType "article" @default.