返回
Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions
DOI:10.1109/TC.2021.3122843.png)
摘要
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
期刊
IF:
3.8
论文数:
5.4K
被引数:
9.8K
机构
引用论文
The Relationship between Anxiety and the Social Judgements of Approachability And Trustworthiness
PLoS ONE
IF0
Intracellular synthesis of gold nanoparticles by
Gluconacetobacter liquefaciens
for delivery of peptide CopA3 and ginsenoside and anti-inflammatory effect on lipopolysaccharide-activated macrophages液化葡萄糖酸杆菌在细胞内合成纳米金,以递送肽CopA3和人参皂苷及对脂多糖激活的巨噬细胞的抗炎作用

