Resolving distributed deadlocks in the OR request model

机译：解决OR请求模型中的分布式死锁

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this work a new distributed deadlock resolution algorithm for the OR model is proposed. The algorithm verifies the correctness criteria: safety-false deadlocks are not resolved; and liveness-deadlocks are resolved in finite time.

机译：在这项工作中，提出了一种新的用于OR模型的分布式死锁解决算法。该算法验证正确性标准：安全错误假锁未得到解决;僵化的僵局在有限的时间内解决。

著录项

来源
《Reliable Distributed Systems, 1999. Proceedings of the 18th IEEE Symposium on》|1999年|P.288-289|共2页
会议地点
作者
Villadangos J.; Farina F.; Gonzalez de Mendivil J.R.; Garitagoitia J.R.; Bernabeu-Auban J.; Vossen G.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. An Optimized Deadlock Detection and Resolution Algorithm for Distributed One-resource Request Model [J] . CHENG, Xin, JIN, 电子学报：英文版 . 2006,第004期

机译：分布式单资源请求模型的优化死锁检测与解决算法
2. Requests network model for deadlock detection and avoidance in automated manufacturing systems [J] . S. LEE. Y. CHA, H. CHO, M. JUNG International Journal of Production Research . 2004,第16期

机译：请求网络模型以检测和避免自动化制造系统中的死锁
3. Avoiding request-request type message-dependent deadlocks in networks-on-chips [J] . Xiaohang Wang, Peng Liu, Mei Yang, Parallel Computing . 2013,第9期

机译：避免片上网络中的请求-请求类型消息相关的死锁
4. Resolving distributed deadlocks in the OR request model [C] . J. Villadangos, F. Farina, J. R. Gonzalez de Mendivil, IEEE Symposium on Reliable Distributed Systems . 1999

机译：解决或请求模型中的分布式死锁
5. Performance study of distributed deadlock detection algorithms for distributed database systems [D] . Min, Kyungoh. 1990

机译：分布式数据库系统中分布式死锁检测算法的性能研究
6. Accessing and distributing EMBL data using CORBA (common object request broker architecture) [O] . Lichun Wang, Patricia Rodriguez-Tomé, Nicole Redaschi, 2000

机译：使用CORBA（公共对象请求代理体系结构）访问和分发EMBL数据
7. Deadlocks in Distributed Systems: Request Models and Definitions [O] . Jerzy Brzezinski, Jean-michel Helary, Michel Raynal 2008

机译：分布式系统中的死锁：请求模型和定义
8. A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. [R] . Chandy, K. M., Misra, J. 1982

机译：分布式系统中资源死锁检测的分布式算法。

Resolving distributed deadlocks in the OR request model

摘要

著录项

相似文献

相关主题

期刊订阅