分布式系统中的辩证对立统一概念与方法

1、分布式系统中的辩证对立统一概念与方法摘要：从分布式系统课程中归纳、总结出一些对立统 一的概念和方法，指出这些概念和方法是分布式系统课程的 精髓所在，它们对于学生理解、掌握分布式系统至关重要。 阐明学习分布式系统中辨证概念与方法的方法，通过有意识 地学习这些知识点和方法，能有效地锻炼学生的辨证思维能 力。关键词：分布式系统；网络工程；对立统一0.引言分布式系统作为网络工程专业的一门专业课，有着深厚 的历史背景。从计算机网络诞生以来，分布式系统作为计算 机网络资源共享的软件手段，一直伴随着网络技术一起成 长。从最初的文件共享，到现代的大规模分布式计算、高性 能并行计算，以及近年的云计算，无一不架构

2、在分布式系统 理论基石之上。近年来，国内各高校网络工程专业纷纷开设 这一原理性很强的课程。原理性强意味着枯燥、不好学，因 此探索学习该课程的有效方法，已成为分布式系统课程教学 研究的一个重要课题。不少学者就这一课程的教学方法和学 习方法进行了深入的研究。纵观分布式系统课程的知识体系，对立统一的概念贯穿 始终，几乎每一项大的知识点均包含对立统一概念，这说明 分布式系统本身就是客观综合事物。这些成对出现的对立统 一概念构成了分布式系统课程的概念体系，有些概念对甚至 在多个知识点中出现，并支撑这些知识点的逻辑推理方法。 例如“分布式”与“集中式”这一对概念，贯穿整个课程知 识体系，在时钟同步、互斥、

3、进程组织、故障处理、安全等 各个方面中都有所涉及。理解这一具有鲜明特点的概念体系 是学习分布式系统的关键。本文就课程中重要的对立统一概 念和方法进行详细讨论。.分布式与集中式分布式与集中式是两种对立统一的思维方式，是分布式 系统课程中最重要的对立统一概念。分布式方法是在组织分 布式系统的对象时，以“民主”的方式进行决策管理；而集 中式方法正好相反，以“集权”的方式对分布式系统进行决 策管理。以下结合几个重要的示例阐述这一对立统一概念。集中式物理时钟同步算法与分布式物理时钟同步算 法集中式物理时钟同步算法主要有Cristian算法和 Berkeley算法，这两种算法有个共同的特点，就是系统中都

4、有一台时钟服务器与标准UTC时间对时，所有工作站的时 钟都以该服务器为准。换言之，时钟服务器在系统中充当集 中式的决策者。例如Cristian算法同步过程如下：时间服务器接收UTC时间，其他机器必须与时间服务 器同步；每台机器以不大于b (2p )秒的频率向时间服务器发 送消息询问当前时间，其中p为时钟机器的时钟精度，b是 最小时钟误差；时间服务器收到消息后返回当前时间CUTC；发送者收到服务器消息后将时钟调整为CUTCo相反，分布式物理时钟同步算法中没有决策者，所有机 器对时以一种大家共同做决策的方式进行，典型算法是平均 值算法，其同步过程如下：将时间划分为固定长度的再同步间隔R;第i次同步

5、开始于TO+iR,结束于TO (i+l) R；每次同步间隔开始，每台机器广播自己的时间；对于某一具体的机器，当所有的同步广播都到达后，它 根据所有的时间执行某一平均算法得到新值，再根据新值调 整时钟。集中式互斥算法和分布式互斥算法集中式互斥算法中，所有进程进入临界区前都要向决策 进程申请，由决策进程决定其是否进入临界区。其过程如下:选举一个协调者；任何一个进程进入临界区前，向协调者发送申请消息；协调者根据临界区的使用情况同意或拒绝申请者的请求;协调者拒绝申请者的方式可以发送拒绝消息或者不应 答，但都将请求放人队列中。而分布式互斥算法中，没有决策进程，临界区的每次使 用都要通过所有进程共同决策，

6、其互斥过程如下：一个进程进入临界区前，先构造一个含有目标临界区名 字、本进程号和当前时间的消息，发给所有进程；一个进程收到另一个进程的请求消息时，根据自己与目 标临界区的状态关系反应：若接受者不在也不想进入临界 区，发送OK消息；接受者已经在临界区则不应答，只是把 请求放人队列；接受者亦欲进入临界区，则将收到的请求时 间戳与它发送的请求时间戳比较，时间靠前的获胜进入；发送者一直等待其他所有进程返回OK消息，之后进入 临界区，使用完毕向队列中的进程发送OK消息，删除自己 的任务。从这两个例子中我们不难看到，集中式方法的共同特点 是系统中有一个决策管理者，它决定所有系统的行为，而分 布式方法的特点

7、是系统中没有决策管理者，系统的所有决策 由大家共同做出。实际上分布式与集中式概念不仅仅体现在 这两个知识点中，在整个课程的知识点中，有很多知识点体 现了这一对立统一概念，表1简单列出了这些知识点，以及 它们包含的集中式与分布式方法。.平等结构与等级结构平等结构与等级结构是分布式系统中对象组织的两种 对立统一方式。平等结构中所有成员的地位是平等的，系统 的决策由大家共同确定，方法上对应分布式方法。而等级结 构中成员存在隶属关系或者上下级关系，形成某种层级结 构，方法上对应集中式方法，或者分层方法，特别是分层方 法，在复杂的、大规模的分布式系统中被广泛使用。下面以 进程组为例说明这一对概念。平等组

8、对应分布式概念，平等组中所有成员地位是相同 的，所有决定由所有成员共同作出，即当有进程需要加入或 退出进程组时，由组中成员投票表决。而等级组对应集中式 概念，组内有一个协调者进程，其他则是工作者，组内关系 和动作由协调者决定。图1显示了平等组与等级组的区别。 表2列出了课程中蕴含等级思想的知识点。.同步与异步同步与异步是分布式系统中另一对重要的对立统一概 念。同步概念是指调用者在执行调用之后，进人等待状态， 一直等到被调用者返回结果。而异步概念是指调用者调用之 后不进行等待，继续执行其他工作，当被调用者返回结果时， 调用者产生中断，处理结果。同步和异步模式在计算机系统 中广泛应用，分布式系统中

9、也有大量应用。下面以同步RPC 和异步RPC为例阐明这一对概念。如图2所示，（a） 为同步RPC, （b）为异步RPC。同步RPC调用者（客户端） 给远程服务器进程发送远程过程调用请求后，进入阻塞状 态，等待服务器返回的结果，直到服务器结果发送回来，客 户端才解除阻塞。而异步RPC中，客户端不需要等到结果返 回，只需要服务器返回接收请求消息的确认即可。从上面例子可以看出，同步就是客户端需要“等待”， 而异步则是客户端不需要“等待”或等待时间短。表3列出 了分布式系统课程中涉及同步与异步概念的知识点。.时间与空间性能分布式系统课程中，大量的知识点涉及算法的分析。往 往一个问题有多种算法解决方案，

10、而不同的算法有不同的特 点和不同的性能表现，课程要求学生不仅掌握算法的基本原 理，还需要对算法进行性能分析，通过这种算法的性能分析， 锻炼学生分析问题、解决问题的能力。在分布式系统各个问 题的算法解决方案中，充满了辩证的逻辑，往往一种算法具 有某一方面性能的优势，却丧失另一方面的优势。这一辩证 观点及基于该观点的分析方法，是课程的一个重要特点。时间和空间是计算机科学中一对永恒的矛盾。分布式系 统中同样充斥着效率（时间性能）与存储（空间性能）的矛 盾。一般来说，一种算法如果有较好的时间性能，往往以牺 牲部分空间性能为代价；相反，如果算法具有较好的空间性 能，则要牺牲一定的时间性能。因此，在进行算法分析的时候，首先要对算法的时间与空间性能进行辩证分析，分析算 法的时空优缺点，再针对具体问题进行合理的算法选择。.教学中的应用分布式系统课程中上述辩证概念和方法贯彻课程始终， 在教学中强调与利用这样的概念方法，将起到事半功倍的教 学效果。在课堂教学中强调辩证概念和方法，学生容易理解 和掌握课程的知识点，例如分布式和集中式概念，在多个知 识点的教学中强调后，学生就有意识地利用这一对辩证概念 去分析未知的分布式系统知识点，并在实践中应用这一对概 念分析和解决问题。另外，