在分布式系统中,分布在不同计算机上的多个并发进程访问临界资源的时候经常会产生资源竞争问题,有可能导致临界资源被错误的改写或不当的使用,破坏临界资源的正确性和完整性。正因如此,必须实现分布式的并发进程之间的同步与互斥,协调各并发进程访问临界资源,保证临界资源的正确性和系统的一致性。 本文对分布式同步与互斥问题进行了分析和研究,在评价了一些现有的分布式互斥算法之后,对一种基于令牌的算法——Goscinski算法的进行了改进。为了证明改进算法具有较好的性能,本文对改进算法的性能进行了详细的分析与计算,并且与Goscinski算法及其他算法进行了对比。 分布式互斥算法旨在解决分布式系统的同步与互斥问题,应该具备在真实系统中的容错能力,本文针对系统中可能出现的错误与故障为改进算法设计了相应的容错方案。 本文最后应用改进算法及几个其他算法分别模拟了分布式并发进程同步访问临界资源的过程,通过实验证实了改进算法具有较好的性能。