Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569479239> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1569479239 endingPage "426" @default.
- W1569479239 startingPage "407" @default.
- W1569479239 abstract "The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That is, the execution may reach a state where each thread in a set waits for another thread in that set to release a lock or send a message. This paper proposes a modular verification technique that prevents deadlocks in programs that use both message passing and locking. The approach prevents deadlocks by enforcing two rules: (0) a blocking receive is allowed only if another thread holds an obligation to send and (1) each thread must perform acquire and receive operations in accordance with a global order. The approach is proven sound and has been implemented in the Chalice program verifier." @default.
- W1569479239 created "2016-06-24" @default.
- W1569479239 creator A5022437048 @default.
- W1569479239 creator A5073853337 @default.
- W1569479239 creator A5077941255 @default.
- W1569479239 date "2010-01-01" @default.
- W1569479239 modified "2023-10-17" @default.
- W1569479239 title "Deadlock-Free Channels and Locks" @default.
- W1569479239 cites W1487976902 @default.
- W1569479239 cites W1528322206 @default.
- W1569479239 cites W1555179958 @default.
- W1569479239 cites W1560340731 @default.
- W1569479239 cites W1569479239 @default.
- W1569479239 cites W1584342183 @default.
- W1569479239 cites W1587425253 @default.
- W1569479239 cites W1598565505 @default.
- W1569479239 cites W1606177908 @default.
- W1569479239 cites W1736097396 @default.
- W1569479239 cites W1819989006 @default.
- W1569479239 cites W1822136335 @default.
- W1569479239 cites W2009372148 @default.
- W1569479239 cites W2109121837 @default.
- W1569479239 cites W2120716072 @default.
- W1569479239 cites W2131296609 @default.
- W1569479239 cites W2132761501 @default.
- W1569479239 cites W2137186143 @default.
- W1569479239 cites W2155032935 @default.
- W1569479239 cites W2162989857 @default.
- W1569479239 cites W2172149339 @default.
- W1569479239 cites W4211008702 @default.
- W1569479239 cites W4245729501 @default.
- W1569479239 doi "https://doi.org/10.1007/978-3-642-11957-6_22" @default.
- W1569479239 hasPublicationYear "2010" @default.
- W1569479239 type Work @default.
- W1569479239 sameAs 1569479239 @default.
- W1569479239 citedByCount "54" @default.
- W1569479239 countsByYear W15694792392012 @default.
- W1569479239 countsByYear W15694792392013 @default.
- W1569479239 countsByYear W15694792392014 @default.
- W1569479239 countsByYear W15694792392015 @default.
- W1569479239 countsByYear W15694792392016 @default.
- W1569479239 countsByYear W15694792392017 @default.
- W1569479239 countsByYear W15694792392018 @default.
- W1569479239 countsByYear W15694792392019 @default.
- W1569479239 countsByYear W15694792392020 @default.
- W1569479239 countsByYear W15694792392021 @default.
- W1569479239 countsByYear W15694792392023 @default.
- W1569479239 crossrefType "book-chapter" @default.
- W1569479239 hasAuthorship W1569479239A5022437048 @default.
- W1569479239 hasAuthorship W1569479239A5073853337 @default.
- W1569479239 hasAuthorship W1569479239A5077941255 @default.
- W1569479239 hasBestOaLocation W15694792391 @default.
- W1569479239 hasConcept C101468663 @default.
- W1569479239 hasConcept C111919701 @default.
- W1569479239 hasConcept C113429609 @default.
- W1569479239 hasConcept C120314980 @default.
- W1569479239 hasConcept C138101251 @default.
- W1569479239 hasConcept C159023740 @default.
- W1569479239 hasConcept C173608175 @default.
- W1569479239 hasConcept C193702766 @default.
- W1569479239 hasConcept C199360897 @default.
- W1569479239 hasConcept C31258907 @default.
- W1569479239 hasConcept C41008148 @default.
- W1569479239 hasConcept C75949130 @default.
- W1569479239 hasConcept C84511453 @default.
- W1569479239 hasConceptScore W1569479239C101468663 @default.
- W1569479239 hasConceptScore W1569479239C111919701 @default.
- W1569479239 hasConceptScore W1569479239C113429609 @default.
- W1569479239 hasConceptScore W1569479239C120314980 @default.
- W1569479239 hasConceptScore W1569479239C138101251 @default.
- W1569479239 hasConceptScore W1569479239C159023740 @default.
- W1569479239 hasConceptScore W1569479239C173608175 @default.
- W1569479239 hasConceptScore W1569479239C193702766 @default.
- W1569479239 hasConceptScore W1569479239C199360897 @default.
- W1569479239 hasConceptScore W1569479239C31258907 @default.
- W1569479239 hasConceptScore W1569479239C41008148 @default.
- W1569479239 hasConceptScore W1569479239C75949130 @default.
- W1569479239 hasConceptScore W1569479239C84511453 @default.
- W1569479239 hasLocation W15694792391 @default.
- W1569479239 hasLocation W15694792392 @default.
- W1569479239 hasLocation W15694792393 @default.
- W1569479239 hasOpenAccess W1569479239 @default.
- W1569479239 hasPrimaryLocation W15694792391 @default.
- W1569479239 hasRelatedWork W1488276287 @default.
- W1569479239 hasRelatedWork W1964544323 @default.
- W1569479239 hasRelatedWork W1998362060 @default.
- W1569479239 hasRelatedWork W2084800560 @default.
- W1569479239 hasRelatedWork W2160785478 @default.
- W1569479239 hasRelatedWork W2371623873 @default.
- W1569479239 hasRelatedWork W2473945364 @default.
- W1569479239 hasRelatedWork W2998398829 @default.
- W1569479239 hasRelatedWork W4249758018 @default.
- W1569479239 hasRelatedWork W2340131066 @default.
- W1569479239 isParatext "false" @default.
- W1569479239 isRetracted "false" @default.
- W1569479239 magId "1569479239" @default.
- W1569479239 workType "book-chapter" @default.