| 【论文摘要】 |
分布式计算机系统近二十多年来获得了很大的发展,广泛地受到学术界的高度重视,它的应用也越来越引人注目。在未来,几乎绝大多数有效的计算机系统都将是一个分布式计算机系统,这就极大地促进了分布式计算理论、方法与技术的发展。同时,随着通信技术和计算机技术的飞速发展,网络带宽和CPU速度的不断提高,对分布式系统的性能要求也日益受到重视。于是,分布式系统的高性能成为人们追求的主要目标之一。根据不同的应用任务(问题)决定不同的软硬件系统结构可进一步提高系统性能,而所有这一切,都需要高质量的分布式算法作为支撑。
计算全局一致性快照是分布式系统和分布式计算面临的主要的基础问题之一。快照计算了所有进程的状态和通道的状态,它能从逻辑上反映出某一时刻各个进程及通道的情况,形成系统的一个形态(全局状态)。因此,我们可以利用快照算法的反复执行来检测稳定性质,常见的如终止性检测,死锁检测等。本文在通道为FIFO的前提下,讨论了一类特殊的快照,即无消息在传递途中(in_transit)的快照,并在快照的基础上进行终止性检测。这类特殊的算法不仅可以有效地解决了系统的终止性检测问题,还节省了存储空间。
容错计算是当前分布... |
