Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137151792> ?p ?o ?g. }
- W2137151792 abstract "Deadlocked threads cannot make further progress, and frequently tie up resources requested by still other threads, causing more and more threads to come to a standstill. Thus, a deadlock should not remain undetected and uncorrected for a long time. If deadlock-detection processes are run too frequently, however, valuable system resources may be wasted. Therefore, it is important to choose the right interval between successive deadlock detections. Deadlock recovery must follow deadlock detection to release held resources in the cyclic wait. In addition to restarting the entire system, it is desirable that programmers be able to implement fine-grained recovery actions such as releasing a resource currently not in use. Such fine-grained recovery actions often require the knowledge of program contexts and deadlock states. Unfortunately, modern programming languages lack language-level support for signaling deadlock conditions and for structuring resolution code. My thesis is that, under the assumption that the time to the first deadlock in the system (after a system restart) follows an exponential distribution, a reinforcement-learning approach is effective in scheduling deadlock detection for a restart-oriented system, and that runtime exceptions are a programming abstraction that allows programmers to write fine-grained deadlock recovery code. My approach to deadlock-detection scheduling as reinforcement learning estimates the deadlock rate and then performs an optimization to find the detection interval that maximizes system utility. It is theoretically proved that this technique finds the best tradeoff, and experimental results suggest that it is a reasonable approximation to assume that the time to the first deadlock in the system (after a system restart) follows an exponential distribution. It is natural to consider deadlock occurrences as runtime exceptions because at runtime it is relatively easy to detect actual deadlock occurrences, which represent not only abnormal states but also fatal errors. Thus, exception handlers can be used to resolve deadlock occurrences based on deadlock states and program contexts. Furthermore, because exceptions are a widely used language concept, the technique of deadlock resolution via exceptions is intuitive and practical." @default.
- W2137151792 created "2016-06-24" @default.
- W2137151792 creator A5009722403 @default.
- W2137151792 creator A5041192608 @default.
- W2137151792 date "2007-01-01" @default.
- W2137151792 modified "2023-09-23" @default.
- W2137151792 title "Just-in-time and just-in-place deadlock resolution" @default.
- W2137151792 cites W1482736186 @default.
- W2137151792 cites W1541313361 @default.
- W2137151792 cites W1547327296 @default.
- W2137151792 cites W1563965851 @default.
- W2137151792 cites W1595593557 @default.
- W2137151792 cites W1604771615 @default.
- W2137151792 cites W1878792884 @default.
- W2137151792 cites W1964718922 @default.
- W2137151792 cites W1986081697 @default.
- W2137151792 cites W1986453394 @default.
- W2137151792 cites W1993836075 @default.
- W2137151792 cites W1999990926 @default.
- W2137151792 cites W2022185456 @default.
- W2137151792 cites W2033656974 @default.
- W2137151792 cites W2035907333 @default.
- W2137151792 cites W2038378248 @default.
- W2137151792 cites W2041902797 @default.
- W2137151792 cites W2042086798 @default.
- W2137151792 cites W2045082154 @default.
- W2137151792 cites W2058394666 @default.
- W2137151792 cites W2066775342 @default.
- W2137151792 cites W2071136304 @default.
- W2137151792 cites W2078548322 @default.
- W2137151792 cites W2079854889 @default.
- W2137151792 cites W2080698186 @default.
- W2137151792 cites W2094159214 @default.
- W2137151792 cites W2097138264 @default.
- W2137151792 cites W2098259808 @default.
- W2137151792 cites W2107635250 @default.
- W2137151792 cites W2107726111 @default.
- W2137151792 cites W2109052065 @default.
- W2137151792 cites W2113297897 @default.
- W2137151792 cites W2120607917 @default.
- W2137151792 cites W2121523780 @default.
- W2137151792 cites W2121863487 @default.
- W2137151792 cites W2126782441 @default.
- W2137151792 cites W2127849758 @default.
- W2137151792 cites W2133452779 @default.
- W2137151792 cites W2138210004 @default.
- W2137151792 cites W2143211847 @default.
- W2137151792 cites W2144984544 @default.
- W2137151792 cites W2151021286 @default.
- W2137151792 cites W2154774499 @default.
- W2137151792 cites W2160837838 @default.
- W2137151792 cites W2161436545 @default.
- W2137151792 cites W2167083307 @default.
- W2137151792 cites W2168359464 @default.
- W2137151792 cites W2171142397 @default.
- W2137151792 cites W2294580796 @default.
- W2137151792 cites W2312609093 @default.
- W2137151792 cites W2338001881 @default.
- W2137151792 cites W2340933440 @default.
- W2137151792 cites W2799002609 @default.
- W2137151792 cites W3093036 @default.
- W2137151792 doi "https://doi.org/10.7282/t3sx6dpr" @default.
- W2137151792 hasPublicationYear "2007" @default.
- W2137151792 type Work @default.
- W2137151792 sameAs 2137151792 @default.
- W2137151792 citedByCount "1" @default.
- W2137151792 countsByYear W21371517922016 @default.
- W2137151792 crossrefType "journal-article" @default.
- W2137151792 hasAuthorship W2137151792A5009722403 @default.
- W2137151792 hasAuthorship W2137151792A5041192608 @default.
- W2137151792 hasConcept C113429609 @default.
- W2137151792 hasConcept C120314980 @default.
- W2137151792 hasConcept C126255220 @default.
- W2137151792 hasConcept C159023740 @default.
- W2137151792 hasConcept C173608175 @default.
- W2137151792 hasConcept C206729178 @default.
- W2137151792 hasConcept C33923547 @default.
- W2137151792 hasConcept C41008148 @default.
- W2137151792 hasConceptScore W2137151792C113429609 @default.
- W2137151792 hasConceptScore W2137151792C120314980 @default.
- W2137151792 hasConceptScore W2137151792C126255220 @default.
- W2137151792 hasConceptScore W2137151792C159023740 @default.
- W2137151792 hasConceptScore W2137151792C173608175 @default.
- W2137151792 hasConceptScore W2137151792C206729178 @default.
- W2137151792 hasConceptScore W2137151792C33923547 @default.
- W2137151792 hasConceptScore W2137151792C41008148 @default.
- W2137151792 hasLocation W21371517921 @default.
- W2137151792 hasOpenAccess W2137151792 @default.
- W2137151792 hasPrimaryLocation W21371517921 @default.
- W2137151792 hasRelatedWork W1492135270 @default.
- W2137151792 hasRelatedWork W1970038164 @default.
- W2137151792 hasRelatedWork W2008483896 @default.
- W2137151792 hasRelatedWork W2013568275 @default.
- W2137151792 hasRelatedWork W2026461622 @default.
- W2137151792 hasRelatedWork W2069888793 @default.
- W2137151792 hasRelatedWork W2071451095 @default.
- W2137151792 hasRelatedWork W2100854698 @default.
- W2137151792 hasRelatedWork W2124317738 @default.
- W2137151792 hasRelatedWork W2189156434 @default.
- W2137151792 hasRelatedWork W2380314807 @default.