分布式系统中进程的同步方法.docx

分布式系统中进程的同步方法

【摘要】在分布式操作系统中，为了实现进程的同步，首先要对系统中发生的事件进行排序，还要有良好的分布式同步算法。本文对分布式操作系统中的一些常见算法进行了分析，从而解析才能使进程在分布式操作系统中更加正确有效地协同工作。

【关键字】分布式操作系统，进程，同步，算法。

【Abstract】Inthedistributedoperatingsystem，inordertoachievetheprocessofsynchronization,First,youwanttosortofeventsthatoccurinthesystem,butyoualsodistributedsynchronizationalgorithm.Thisarticleanalyzessomecommonalgorithmsinthedistributedoperatingsystem,toresolvetomaketheprocessmorecorrectlyandeffectivelyworktogetherinadistributedoperatingsystem.

【Keywords】Distributedoperatingsystem,Process,Synchronous,Algorithm.

在分布式系统中，处于不同物理位置的若干进程通过传递消息相互通信，进行协同工作完成同一任务。工作过程中，进程产生了大量的事件和消息，这些事件和消息在时间上的先后顺序对工作正确有效的完成往往是有影响的。由于进程所处的物理位置不同带来的时钟差异如各地时钟值的差异和时钟运行精度的差异等）和网络传输延时等方面的原因，一个进程所看到的系统内事件和消息的先后顺序很可能与它们的实际顺序是不一致的，这样就带来了问题，如图1所示。

Rq(120)PjPkRq(130)

Rq(120)

Pj

Pk

Rq(130)

Pi

Pk

100

150

300

350

物理时间

图1 分布式进程通信示例

在一个先来先服务的分布式系统中，X地的进程Pi在时刻100时向Z滴的进程Pk发出了请求服务的消息Rq，并盖上了本地的时间戳130，随后Y地的进程Pj也向Pk发出了请求服务消息，并盖上了本地的时间戳120。Pj的消息在时刻300到达Pk，而Pi的消息在时刻350才到达Pk。这样，对Pk而言，不管到达的顺序还是按照时间戳的大小都应该先对Pj进行服务，这显然是不公平的。因此，在分布式系统中必须采取一定的同步机制来保证工作的顺利进行和结果正确。

进程同步大致有两种程度：一种是局部的松散同步，即事件和消息产生的逻辑顺序上简单同步；一种是全局的精确同步，即各进程的本地时钟基于现实世界物理时间标准同步。前一种同步能由Lamport算法和RicartandAgrawla算法等算法实现。在这种同步机制中，各进程利用逻辑时钟产生时间戳，能保证按序发送消息，同样接收进程也能按序接收。或者说，接受进程能按序从各个不同进程接收消息，而且从同一进程接收的消息也是顺序的。但这种同步仅仅保证了事件和消息的顺序一致性，而不能反映它们产生的真实时间，因为同步机制中所采用的时间戳只能看作是一个数字编号，并没有和物理时钟精确对应起来。这种同步机制在分布式系统的实际应用中有着很大的局限，因为很多现实的分

布式系统都要求系统内的事件和消息的产生时间是精确的，甚至有些系统的任务结果是否正确直接有赖于这些精确的时间值，比如大型分布式数据库系统、电子商务和证券交易等金融业服务系统、分布式文件系统等。在这些系统中，各进程间的同步就必须达到基于物理时钟同步的程度。以证券系统为例，如果客户机的时钟与服务器的时钟不同步，那么客户按照自己的时钟所提出的服务请求将会被服务器提早或推迟执行，这可能会给客户带来巨大的损失。这时，客户的服务请求是否被顺序公平的响应已失去了意义。

在单机条件下，诸进程运行于同一个处理机和内存环境中，进程通信十分简单。进程之间可以借助于“共享存储器”进行直接通信。而在多机条件下，相互合作的进程可能在不同的处理机上运行，进程间的通信涉及处理机的通信问题。在松散耦合系统中，进程间通信还可能要通过较长的通信信道，甚至网络。因此，在多机条件下，广泛采用间接通信方式，即进程间是通过消息进行通信的。在分布式操作系统中，为了实现进程的同步，首先要对系统中发生的事件进行排序，还要有良好的分布式同步算法。

首先，看事件排序问题。在单处理机系统及紧密耦合的多处理机系统中，由于共有一种时钟又共享存储器，确定两个事件的先后次序比较容易。而在分布式系统中，