Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084800560> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2084800560 endingPage "354" @default.
- W2084800560 startingPage "331" @default.
- W2084800560 abstract "Deadlocks are a common error in programs with lock-based concurrency and are hard to avoid or even to detect. One way for deadlock prevention is to statically analyze the program code to spot sources of potential deadlocks. Often static approaches try to confirm that the lock-taking adheres to a given order, or, better, to infer that such an order exists. Such an order precludes situations of cyclic waiting for each other’s resources, which constitute a deadlock. In contrast, we do not enforce or infer an explicit order on locks. Instead we use a behavioral type and effect system that, in a first stage, checks the behavior of each thread or process against the declared behavior, which captures potential interaction of the thread with the locks. In a second step on a global level, the state space of the behavior is explored to detect potential deadlocks. We define a notion of deadlock-sensitive simulation to prove the soundness of the abstraction inherent in the behavioral description. Soundness of the effect system is proven by subject reduction, formulated such that it captures deadlock-sensitive simulation. To render the state-space finite, we show two further abstractions of the behavior sound, namely restricting the upper bound on re-entrant lock counters, and similarly by abstracting the (in general context-free) behavioral effect into a coarser, tail-recursive description. We prove our analysis sound using a simple, concurrent calculus with re-entrant locks." @default.
- W2084800560 created "2016-06-24" @default.
- W2084800560 creator A5058725359 @default.
- W2084800560 creator A5077663474 @default.
- W2084800560 creator A5084401124 @default.
- W2084800560 date "2012-04-01" @default.
- W2084800560 modified "2023-09-28" @default.
- W2084800560 title "Deadlock checking by a behavioral effect system for lock handling" @default.
- W2084800560 cites W1984801861 @default.
- W2084800560 cites W1998215308 @default.
- W2084800560 cites W2081551198 @default.
- W2084800560 cites W2107978495 @default.
- W2084800560 cites W2123401374 @default.
- W2084800560 cites W2128948567 @default.
- W2084800560 cites W2148901852 @default.
- W2084800560 cites W2149984854 @default.
- W2084800560 cites W2294580796 @default.
- W2084800560 cites W2338001881 @default.
- W2084800560 cites W3023388704 @default.
- W2084800560 cites W4241124529 @default.
- W2084800560 doi "https://doi.org/10.1016/j.jlap.2011.11.001" @default.
- W2084800560 hasPublicationYear "2012" @default.
- W2084800560 type Work @default.
- W2084800560 sameAs 2084800560 @default.
- W2084800560 citedByCount "10" @default.
- W2084800560 countsByYear W20848005602013 @default.
- W2084800560 countsByYear W20848005602014 @default.
- W2084800560 countsByYear W20848005602016 @default.
- W2084800560 countsByYear W20848005602020 @default.
- W2084800560 crossrefType "journal-article" @default.
- W2084800560 hasAuthorship W2084800560A5058725359 @default.
- W2084800560 hasAuthorship W2084800560A5077663474 @default.
- W2084800560 hasAuthorship W2084800560A5084401124 @default.
- W2084800560 hasBestOaLocation W20848005601 @default.
- W2084800560 hasConcept C110251889 @default.
- W2084800560 hasConcept C111472728 @default.
- W2084800560 hasConcept C113429609 @default.
- W2084800560 hasConcept C11413529 @default.
- W2084800560 hasConcept C120314980 @default.
- W2084800560 hasConcept C124304363 @default.
- W2084800560 hasConcept C127413603 @default.
- W2084800560 hasConcept C138101251 @default.
- W2084800560 hasConcept C138885662 @default.
- W2084800560 hasConcept C154945302 @default.
- W2084800560 hasConcept C159023740 @default.
- W2084800560 hasConcept C174839445 @default.
- W2084800560 hasConcept C193702766 @default.
- W2084800560 hasConcept C199360897 @default.
- W2084800560 hasConcept C39920170 @default.
- W2084800560 hasConcept C41008148 @default.
- W2084800560 hasConcept C75949130 @default.
- W2084800560 hasConcept C78519656 @default.
- W2084800560 hasConcept C78639753 @default.
- W2084800560 hasConcept C80444323 @default.
- W2084800560 hasConcept C84511453 @default.
- W2084800560 hasConceptScore W2084800560C110251889 @default.
- W2084800560 hasConceptScore W2084800560C111472728 @default.
- W2084800560 hasConceptScore W2084800560C113429609 @default.
- W2084800560 hasConceptScore W2084800560C11413529 @default.
- W2084800560 hasConceptScore W2084800560C120314980 @default.
- W2084800560 hasConceptScore W2084800560C124304363 @default.
- W2084800560 hasConceptScore W2084800560C127413603 @default.
- W2084800560 hasConceptScore W2084800560C138101251 @default.
- W2084800560 hasConceptScore W2084800560C138885662 @default.
- W2084800560 hasConceptScore W2084800560C154945302 @default.
- W2084800560 hasConceptScore W2084800560C159023740 @default.
- W2084800560 hasConceptScore W2084800560C174839445 @default.
- W2084800560 hasConceptScore W2084800560C193702766 @default.
- W2084800560 hasConceptScore W2084800560C199360897 @default.
- W2084800560 hasConceptScore W2084800560C39920170 @default.
- W2084800560 hasConceptScore W2084800560C41008148 @default.
- W2084800560 hasConceptScore W2084800560C75949130 @default.
- W2084800560 hasConceptScore W2084800560C78519656 @default.
- W2084800560 hasConceptScore W2084800560C78639753 @default.
- W2084800560 hasConceptScore W2084800560C80444323 @default.
- W2084800560 hasConceptScore W2084800560C84511453 @default.
- W2084800560 hasIssue "3" @default.
- W2084800560 hasLocation W20848005601 @default.
- W2084800560 hasLocation W20848005602 @default.
- W2084800560 hasOpenAccess W2084800560 @default.
- W2084800560 hasPrimaryLocation W20848005601 @default.
- W2084800560 hasRelatedWork W132328680 @default.
- W2084800560 hasRelatedWork W1964544323 @default.
- W2084800560 hasRelatedWork W2065314458 @default.
- W2084800560 hasRelatedWork W2358822739 @default.
- W2084800560 hasRelatedWork W2371623873 @default.
- W2084800560 hasRelatedWork W2979797232 @default.
- W2084800560 hasRelatedWork W4231261802 @default.
- W2084800560 hasRelatedWork W4249758018 @default.
- W2084800560 hasRelatedWork W2340131066 @default.
- W2084800560 hasRelatedWork W2791570590 @default.
- W2084800560 hasVolume "81" @default.
- W2084800560 isParatext "false" @default.
- W2084800560 isRetracted "false" @default.
- W2084800560 magId "2084800560" @default.
- W2084800560 workType "article" @default.