分布式移动代理系统的事务管理及死锁检测研究  

Transaction Management and Deadlock Detection Research in Distributed Mobile Agent System

作　　者：胡国玲[1] 

机构地区：[1]华东理工大学信息科学与工程学院,上海200237

出　　处：《微电子学与计算机》2007年第10期146-149,共4页Microelectronics & Computer

摘　　要：讨论了并发执行的移动代理间的一致性控制问题,给出了移动代理的形式模型及其交互执行的正确性准则,然后基于上述模型,提出了一种有效的分布式死锁检测算法,该算法具有独立于网络的拓扑结构,死锁的检测和事务代理的执行异步操作,不对代理的移动性施加任何限制等特点。In this paper, we firstly discussed the problem of consistency control among concurrently executed agents and presented a formal model of mobile agents and the criteria of enforcing correctness properties of the coordination and interaction among agents. Secondly, based on the model, an efficient deadlock detection algorithm was proposed. It has properties of topology independence, asynchronous operation and freedom of movement.

关 键 词：移动代理 分布式计算 事务处理 死锁检测 

分 类 号：TP338.6[自动化与计算机技术—计算机系统结构]