文献类型：期刊文献

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

英文题名：Transaction Management and Deadlock Detection Research in Distributed Mobile Agent System

作者：胡国玲[1]

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

年份：2007

卷号：24

期号：10

起止页码：146

中文期刊名：微电子学与计算机

外文期刊名：Microelectronics & Computer

收录：CSTPCD;;北大核心:【北大核心2004】；CSCD:【CSCD_E2011_2012】；

语种：中文

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

外文关键词：mobile agent; distributed computing; transaction processing; deadlock detection

摘要：讨论了并发执行的移动代理间的一致性控制问题,给出了移动代理的形式模型及其交互执行的正确性准则,然后基于上述模型,提出了一种有效的分布式死锁检测算法,该算法具有独立于网络的拓扑结构,死锁的检测和事务代理的执行异步操作,不对代理的移动性施加任何限制等特点。
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.