摘要
讨论了并发执行的移动代理间的一致性控制问题,给出了移动代理的形式模型及其交互执行的正确性准则,然后基于上述模型,提出了一种有效的分布式死锁检测算法,该算法具有独立于网络的拓扑结构,死锁的检测和事务代理的执行异步操作,不对代理的移动性施加任何限制等特点。
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.
出处
《微电子学与计算机》
CSCD
北大核心
2007年第10期146-149,共4页
Microelectronics & Computer
关键词
移动代理
分布式计算
事务处理
死锁检测
mobile agent
distributed computing
transaction processing
deadlock detection
