分布式互斥

一、什么是分布式互斥

在分布式系统里，排他性的访问方式，叫做分布式互斥，被这种互斥方式访问的共享资源叫做临界资源。

二、分布式互斥算法

1、集中式算法

集中式算法的核心是引入一个协调者程序，得到一个分布式互斥算法。每个程序在需要访问临界资源时，先给协调者发送一个请求。如果当前没有程序使用这个资源，协调者直接授权请求程序访问；否则，放到一个队列当中（先来先服务）。如果有程序使用完资源，则通知协调者，协调者从队列中里取出在最前面的请求，并给它发送授权信息。拿到授权信息的程序，可以直接去访问临界资源。

2、分布式算法

该算法的工作过程如下：当一个进程要访问共享资源时，它会构造一个消息，其中包含要访问的资源的名字、其进程号、当前时间戳；然后它将该消息发送给系统中的所有其他进程；当一个进程接收到来自另一个进程的请求消息时，它根据自己与消息中的资源相关的状态来决定它要采取的动作：

1. 如果接收者没有访问资源，而且也没有访问的打算，就会给发送者一个OK消息；
2. 如果接收者已获得对资源的访问，那么他就不进行应答（或者回复拒绝消息），并把该请求放到队列中；
3. 如果接收者想访问资源，但是还没开始访问呢，这个时候它就会把自己的请求的时间戳与接收到消息的时间戳做对比，时间戳小者胜出。
   

程序2收到请求后，由于其不会访问资源，所有请求回复OK，同时进程1和3则进入判定环节，进程3判断进程1的请求时间戳8小于12，就给1回复ok。进程1判断时间戳12小于自己的请求时间戳，就把进程3放入请求队列中。此时进程1接收到所有的进程返回的OK，访问资源。

当进程1访问结束后，将进程3从请求队列中删除，同时给3发送OK消息，进程2此时获取到所有的进程返回OK，进入到资源访问环节。

3、令牌环算法

所有程序构成一个环形结构，令牌按照顺时针（或者逆时针）方向在程序之间传递，收到令牌的程序有权访问临界资源；如果程序不需要访问临界资源，则直接吧令牌传递给下一个程序，在分布式领域中，这种算法叫做令牌环算法。

4、大规模系统分布式互斥算法

        以上提到的三种分布式互斥算法，都不适用于规模过大，节点过多的系统，那么什么样的互斥算法适用于大规模系统呢？
        由于大规模系统的复杂性，我们需要用到相对复杂的互斥算法，时下有一种流行的互斥算法，两层结构的分布式令牌环算法，本算法把整个广域网系统组织成的两层逻辑结构:局域网是第一个层次,每个局域网中包含若干个局部进程和一个协调进程。局部进程在逻辑上组成一个环形结构,在每个环形结构上有且只有一个局部令牌Ti按顺时针方向不断从一个局部进程传递到另一个局部进程；每个局域网中的协调进程通过远程网络互相通讯,也按同样的方式组织成全局的逻辑环形结构,这个全局环是第二个层次,在这个全局环上也有且仅有一个全局令牌T按顺时针方向不断传递。

参考：
https://zhuanlan.zhihu.com/p/97739588
https://blog.csdn.net/wxl612/article/details/53008490