Matches in SemOpenAlex for { <https://semopenalex.org/work/W2194501203> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2194501203 endingPage "199" @default.
- W2194501203 startingPage "179" @default.
- W2194501203 abstract "We study the problem of determining whether from a run of a concurrent program, we can predict alternate deadlocking executions of it. We show that if a concurrent program adopts nested locking, the problem of predicting deadlocks is efficiently solvable without exploring all interleavings. In this work we present a fundamentally new predictive approach to detect deadlocks in concurrent programs, not based on cycle detection in lock-graphs [1]. The idea is to monitor an arbitrary run of a concurrent program, use it to predict alternate runs that could be deadlocking, and reschedule them accurately. We implement our prediction algorithm in a tool called PickLock, which is a modular extension of the Penelope framework [32]. We show experimentally that PickLock scales well and is effective in predicting deadlocks. In particular, we evaluate it over 13 benchmark concurrent programs and find about 11 deadlocks by using only a single test run as the prediction seed for each benchmark." @default.
- W2194501203 created "2016-06-24" @default.
- W2194501203 creator A5034065247 @default.
- W2194501203 date "2015-01-01" @default.
- W2194501203 modified "2023-09-26" @default.
- W2194501203 title "PickLock: A Deadlock Prediction Approach under Nested Locking" @default.
- W2194501203 cites W1541313361 @default.
- W2194501203 cites W1544441750 @default.
- W2194501203 cites W1587449012 @default.
- W2194501203 cites W1600422503 @default.
- W2194501203 cites W1862182621 @default.
- W2194501203 cites W1974042116 @default.
- W2194501203 cites W2039528863 @default.
- W2194501203 cites W2040060046 @default.
- W2194501203 cites W2047260020 @default.
- W2194501203 cites W2051539487 @default.
- W2194501203 cites W2059224852 @default.
- W2194501203 cites W2067406339 @default.
- W2194501203 cites W2076195478 @default.
- W2194501203 cites W2112521545 @default.
- W2194501203 cites W2116128461 @default.
- W2194501203 cites W2132800423 @default.
- W2194501203 cites W2149984854 @default.
- W2194501203 cites W2159812975 @default.
- W2194501203 cites W2164022236 @default.
- W2194501203 cites W2164726526 @default.
- W2194501203 cites W2171480813 @default.
- W2194501203 cites W3017218903 @default.
- W2194501203 cites W3023364199 @default.
- W2194501203 cites W3151416809 @default.
- W2194501203 cites W4243016075 @default.
- W2194501203 cites W4247660350 @default.
- W2194501203 doi "https://doi.org/10.1007/978-3-319-23404-5_13" @default.
- W2194501203 hasPublicationYear "2015" @default.
- W2194501203 type Work @default.
- W2194501203 sameAs 2194501203 @default.
- W2194501203 citedByCount "10" @default.
- W2194501203 countsByYear W21945012032014 @default.
- W2194501203 countsByYear W21945012032016 @default.
- W2194501203 countsByYear W21945012032018 @default.
- W2194501203 countsByYear W21945012032019 @default.
- W2194501203 countsByYear W21945012032020 @default.
- W2194501203 countsByYear W21945012032022 @default.
- W2194501203 countsByYear W21945012032023 @default.
- W2194501203 crossrefType "book-chapter" @default.
- W2194501203 hasAuthorship W2194501203A5034065247 @default.
- W2194501203 hasConcept C101468663 @default.
- W2194501203 hasConcept C113429609 @default.
- W2194501203 hasConcept C120314980 @default.
- W2194501203 hasConcept C127413603 @default.
- W2194501203 hasConcept C13280743 @default.
- W2194501203 hasConcept C159023740 @default.
- W2194501203 hasConcept C173608175 @default.
- W2194501203 hasConcept C174839445 @default.
- W2194501203 hasConcept C185798385 @default.
- W2194501203 hasConcept C193702766 @default.
- W2194501203 hasConcept C199360897 @default.
- W2194501203 hasConcept C205649164 @default.
- W2194501203 hasConcept C2778029271 @default.
- W2194501203 hasConcept C41008148 @default.
- W2194501203 hasConcept C78519656 @default.
- W2194501203 hasConcept C80444323 @default.
- W2194501203 hasConceptScore W2194501203C101468663 @default.
- W2194501203 hasConceptScore W2194501203C113429609 @default.
- W2194501203 hasConceptScore W2194501203C120314980 @default.
- W2194501203 hasConceptScore W2194501203C127413603 @default.
- W2194501203 hasConceptScore W2194501203C13280743 @default.
- W2194501203 hasConceptScore W2194501203C159023740 @default.
- W2194501203 hasConceptScore W2194501203C173608175 @default.
- W2194501203 hasConceptScore W2194501203C174839445 @default.
- W2194501203 hasConceptScore W2194501203C185798385 @default.
- W2194501203 hasConceptScore W2194501203C193702766 @default.
- W2194501203 hasConceptScore W2194501203C199360897 @default.
- W2194501203 hasConceptScore W2194501203C205649164 @default.
- W2194501203 hasConceptScore W2194501203C2778029271 @default.
- W2194501203 hasConceptScore W2194501203C41008148 @default.
- W2194501203 hasConceptScore W2194501203C78519656 @default.
- W2194501203 hasConceptScore W2194501203C80444323 @default.
- W2194501203 hasLocation W21945012031 @default.
- W2194501203 hasOpenAccess W2194501203 @default.
- W2194501203 hasPrimaryLocation W21945012031 @default.
- W2194501203 hasRelatedWork W132328680 @default.
- W2194501203 hasRelatedWork W1488276287 @default.
- W2194501203 hasRelatedWork W1964544323 @default.
- W2194501203 hasRelatedWork W2065314458 @default.
- W2194501203 hasRelatedWork W2194501203 @default.
- W2194501203 hasRelatedWork W2358822739 @default.
- W2194501203 hasRelatedWork W2371623873 @default.
- W2194501203 hasRelatedWork W4249758018 @default.
- W2194501203 hasRelatedWork W2340131066 @default.
- W2194501203 hasRelatedWork W2791570590 @default.
- W2194501203 isParatext "false" @default.
- W2194501203 isRetracted "false" @default.
- W2194501203 magId "2194501203" @default.
- W2194501203 workType "book-chapter" @default.