Research on efficient edge-chasing deadlock detection/resolution for distributed systems

来源 :高技术通讯(英文版) | 被引量 : 0次 | 上传用户:gyl722
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Numerous edge-chasing deadlock detection algorithms were developed for the cycle detection in distributed systems, but their detections had the n steps speed limitation and n(n-1) overhead limitation to detect a cycle of size n under the one-resource request model. Since fast deadlock detection is critical, this paper proposed a new algorithm to speed up the detection process. In our algorithm, when the running of a transaction node is blocked, the being requested resource nodes reply it with the waiting or being waited message simultaneously, so the blocked node knows both its predecessors and successors, which helps it detecting a cycle of size 2 directly and locally. For the cycle of size n (n>2), a special probe is produced which has the predecessors information of its originator, so the being detected nodes know their indirect predecessors and direct successors, and can detect the cycle within n-2 steps. The proposed algorithm is formally proved to be correct by the invariant verification method. Performance evaluation shows that the message overhead of our detection is (n2-n-2)/2, hence both the detection speed and message cost of the proposed algorithm are better than that of the existing algorithms.
其他文献
用三火球模型分析了核-核以AGS(the Alternating Gradient Synchrotron)和SPS(the Super Proton Synchrotron)能量碰撞中产生质子的快度分布.Monte Carlo方法计算的结果分别与
To investigate how acetamiprid, a new insecticide, affects the activity of superoxide dismutase (SOD),catalase (CAT), and ATPase and the SOD isozyme patterns in
Five fucoidan fractions from Laminaria japonica with different sulfate content and molecular weight were prepared by anion-exchange chromatography and mild acid
The pipe holdup measurement is very important for decommissioning nuclear facilities and nuclear-material control and accounting. The absolute detection efficie
The strict bounded real lemma for linear system with finite discrete jumps was considered. Especially,the case where D matrices in the system are not assumed to
A warehouse layout problem where the warehouse has more than one level and both the distance from the cell to the receive/exit bay and demand of item types are
The influence of direct current (DC) electric field on the thickness and mass of frost on a cold vertical plate was investigated. The photos of frost layer grow
Dynamic stress concentration and pore pressure concentration around an infinitely long cylindrical cavity of circular cross-section subjected to harmonic plane
Aiming at on-line controlling of Direct Methanol Fuel Cell (DMFC) stack, an adaptive neural fuzzy inference technology is adopted in the modeling and control of