Residential College | false |
Status | 已發表Published |
Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions | |
Yang Wang1; Min Li2; Hao Dai3; Kenneth B. Kent4; Kejiang Ye5; Chengzhong Xu6 | |
2022-09 | |
Source Publication | IEEE TRANSACTIONS ON COMPUTERS |
ISSN | 0018-9340 |
Volume | 71Issue:9Pages:2073-2087 |
Abstract | We present an extension of the bankers algorithm to resolve deadlock for programs whose resource-request graph can be modeled as a recursion tree for parallel execution. Our algorithm implements the bankers logic, with the key difference being that some properties of the tree are fully exploited to improve the resource utilization and safety check in deadlock avoidance. For an n-node tree modeled program making requests to m types of resources, our recursion-tree based algorithm can obtain a time complexity of O(mn loglogn) on average in safety check while reducing the conservativeness in resource utilization. We reap these benefits by proposing a concept of the resource critical tree and leverage it to localize the maximum claim associated with each node in the tree. To tackle the case when the tree model is not statically known, we relax the definition of a local maximum claim by sacrificing some resource utilization. With this trade-off, the algorithm can resolve the deadlock and achieve more efficient safety checks within time of O(m loglogn). Our empirical studies on a two-dimensional integration problem on sparse grids show that the proposed algorithms can reduce resource utilization conservativeness and improve avoidance performance by minimizing the number of safety checks. |
Keyword | Deadlock Avoidance Recursion-tree Model Resource Constraint Resource-request Graph Safety Check Task Scheduling |
DOI | 10.1109/TC.2021.3122843 |
URL | View the original |
Indexed By | SCIE |
Language | 英語English |
WOS Research Area | Computer Science ; Engineering |
WOS Subject | Computer Science, Hardware & Architecture ; Engineering, Electrical & Electronic |
WOS ID | WOS:000838669200007 |
Scopus ID | 2-s2.0-85118557750 |
Fulltext Access | |
Citation statistics | |
Document Type | Journal article |
Collection | Faculty of Science and Technology |
Corresponding Author | Kejiang Ye |
Affiliation | 1.Center for Cloud Computing, Shenzhen Institutes of Advanced Technology, 85411 Shenzhen, GD, China, 518055 (e-mail: [email protected]) 2.Research Center for Cloud Computing, Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences, 85411 Shenzhen, Guangdong, China, (e-mail: [email protected]) 3.Shenzhen Institutes of Advanced Technology, University of the Chinese Academy of Sciences, 74519 Beijing, Beijing, China, (e-mail: [email protected]) 4.Faculty of Computer Science, University of New Brunswick, Fredericton, New Brunswick, Canada, (e-mail: [email protected]) 5.Center for Cloud Computing Research, Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences, Shenzhen, Guangdong, China, 518055 (e-mail: [email protected]) 6.Faculty of Science and Technology, University of Macau, 59193 Taipa, Macau, China, (e-mail: [email protected]) |
Recommended Citation GB/T 7714 | Yang Wang,Min Li,Hao Dai,et al. Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions[J]. IEEE TRANSACTIONS ON COMPUTERS, 2022, 71(9), 2073-2087. |
APA | Yang Wang., Min Li., Hao Dai., Kenneth B. Kent., Kejiang Ye., & Chengzhong Xu (2022). Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions. IEEE TRANSACTIONS ON COMPUTERS, 71(9), 2073-2087. |
MLA | Yang Wang,et al."Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions".IEEE TRANSACTIONS ON COMPUTERS 71.9(2022):2073-2087. |
Files in This Item: | There are no files associated with this item. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment