UM  > Faculty of Science and Technology
Residential Collegefalse
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 PublicationIEEE TRANSACTIONS ON COMPUTERS
ISSN0018-9340
Volume71Issue: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.

KeywordDeadlock Avoidance Recursion-tree Model Resource Constraint Resource-request Graph Safety Check Task Scheduling
DOI10.1109/TC.2021.3122843
URLView the original
Indexed BySCIE
Language英語English
WOS Research AreaComputer Science ; Engineering
WOS SubjectComputer Science, Hardware & Architecture ; Engineering, Electrical & Electronic
WOS IDWOS:000838669200007
Scopus ID2-s2.0-85118557750
Fulltext Access
Citation statistics
Document TypeJournal article
CollectionFaculty of Science and Technology
Corresponding AuthorKejiang Ye
Affiliation1.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.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Yang Wang]'s Articles
[Min Li]'s Articles
[Hao Dai]'s Articles
Baidu academic
Similar articles in Baidu academic
[Yang Wang]'s Articles
[Min Li]'s Articles
[Hao Dai]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Yang Wang]'s Articles
[Min Li]'s Articles
[Hao Dai]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.