论文部分内容阅读
基于竞争的分布式互斥算法以请求集为基础．对称的请求集才能产生对称、公平的分布式互斥算法．本文首先证明了循环请求集与松弛循环差集具有等价性，并在此基础上提出了一种基于松弛循环差集的对称请求集生成算法．在提出动态令牌和请求集重构概念的基础上，本文将Maekawa类分布式互斥的同步时间降为T，节点容错能力达到N-1，一次临界区执行所需交换的消息数降为2m-3m，m是请求集大小．