分布式程序设计理论与实践

A.Udaya+Shankar

分布式程序由若干个可独立执行的程序模块组成。这些程序模块分布于一个分布式计算机系统的几台计算机上同时执行。分布在各台计算机上的程序模块是相互关联的，它们在执行中需要交换数据，即通信。只有通过通信，各程序模块才能协调地完成一个共同的计算任务。分布式程序原本只存在于操作系统之中，如今已随处可见，从数码相机到计算机网络，几乎每一个互动式数字系统都可以看做一个分布式程序。本书介绍了编写正确的分布式程序的实用和严格的方法。

作者A.Udaya Shankar博士是德克萨斯大学奥斯汀分校的教授，主要从事分布式系统和网络协议的设计与分析。

全书共21章：1.引言；2.简单锁，简单的锁程序的代码，简单锁的执行条件及简单锁的应用；3.有界缓冲区，定义一个有界缓冲区的服务和实现该服务的几个程序；4.消息传递服务，定义各种不同类型的消息传递服务；5.不确定管道中的Fifo管道，数据传输协议，用于实现连接两个地址之间的不确定Fifo通道；6.程序，语义和有效性原子，包括程序，服务程序和正确性结论的结构及语义，及正确性结论的证明规则；7.实现与组合，定义了SESF理论的核心；8.时间约束程序的服务和系统框架，SESF理论，即声明受到时间约束的程序；9.Petersons算法锁，基于Petersons算法的中央锁的实现；10.Bakery算法锁，基于Bakery算法的中央锁的实现；11.分布式锁服务，一个适合于分布式环境的锁服务；12.利用时间戳的分布式锁，提出了实现分布式锁服务的分布式程序；13.具有终止检测服务的管道，在分布式环境中定义一个终止检测服务；14.采用扩散计算的终止检测；15.对象传输服务，定义一个分布式对象传输服务，允许用户在不同地点共享对象；16.采用反向路径的对象传输；17.分布式共享存储服务；18.单拷贝分布式共享内存，给出了用于实现第17章的分布式共享存储器的服务的程序；19.多副本分布式共享内存；20.可靠性传输服务；21.可靠性传输协议：用于实现上一章中介绍的传输服务。

本书介绍了对于解决分布式计算和网络问题的大量SESF应用，适合计算机科学、网络计算等相关专业硕士研究生阅读和参考，亦可作为对分布式计算研究感兴趣的相关教师、工程师、研究人员以及其他专业学生的参考书。

李亚宁，硕士研究生

endprint