arrow
返回

Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions

delete2021-01-01
delete2
delete
OA
AI
Y
Yang Wang
李
李旻 (Min Li)
H
Hao Dai
K
Kenneth B. Kent
K
Kejiang Ye *
C
Chengzhong Xu
DOI:10.1109/TC.2021.3122843delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
We present an extension of the banker's algorithm to resolve deadlock for programs whose resource-request graph can be modeled as a recursion tree for parallel execution. Our algorithm implements the banker's 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(mnlog log n) 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(mlog log n). 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

期刊

IEEE Transactions on Computers 封面图
IEEE Transactions on Computers
IF:
3.8
论文数:
5.4K
被引数:
9.8K

机构

S
shenzhen institute of advanced technology, cas
学者数:
5.6K
论文数: 4.5K
被引数: 7
U
University of New Brunswick
学者数:
4.0K
论文数: 4.2K
被引数: 6.3K
C
chinese academy of sciences
学者数:
56.7W
论文数: 45.0W
被引数: 704
学者 查看更多机构
引用论文

引用论文

err分享
err收藏
An analytical formula for ring artefact suppression in X-ray tomography
err2010-12-01
err0
PREAI
errSofya Titarenko; Philip J. Withers; Anatoly Yagola
err分享
err收藏
Next-Generation Transparent Conducting Oxides for Photovoltaic Cells: an Overview
err2011-03-21
err0
PREAI
errDavid Ginley; Tim Coutts; John Perkins; David Young; Xiaonan Li; Phil Parilla
err分享
err收藏
Repetitive Passive Finger Movement Modulates Primary Somatosensory Cortex Excitability
err2018-08-20
err0
errOAAI
errRyoki Sasaki; Shota Tsuiki; Shota Miyaguchi; Sho Kojima; Kei Saito; Yasuto Inukai; Naofumi Otsuru; Hideaki Onishi
err分享
err收藏
学者 查看更多内容