摘要:基于竞争的分布式互斥算法以请求集为基础.对称的请求集才能产生对称、公平的分布式互斥算法.本文首先证明了循环请求集与松弛循环差集具有等价性,并在此基础上提出了一种基于松弛循环差集的对称请求集生成算法.在提出动态令牌和请求集重构概念的基础上,本文将Maekawa类分布式互斥的同步时间降为T,节点容错能力达到N-1,一次临界区执行所需交换的消息数降为2m-3m,m是请求集大小.
关键词:松弛循环差集 分布式 互斥 算法
单位:电子科技大学计算机学院8010研究室; 四川成都610054
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社