文章目录


Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_死锁


什么是分布式锁

什么是分布式锁,以及分布式锁在日常工作的使用场景。明确了这些,我们才能设计出一个安全稳定的分布式锁。

在日常开发中,我们最熟悉也常用的分布式锁场景是在开发多线程的时候。为了协调本地应用上多个线程对某一资源的访问,就要对该资源或数值变量进行加锁,以保证在多线程环境下系统能够正确地运行。​在一台服务器上的程序内部,线程可以通过系统进行线程之间的通信,实现加锁等操作。而在分布式环境下,执行事务的线程存在于不同的网络服务器中,要想实现在分布式网络下的线程协同操作,就要用到分布式锁。


分布式死锁

在单机环境下,多线程之间会产生死锁问题。同样,在分布式系统环境下,也会产生分布式死锁的问题。

当死锁发生时,系统资源会一直被某一个线程占用,从而导致其他线程无法访问到该资源,最终使整个系统的业务处理或运行性能受到影响,严重的甚至可能导致服务器无法对外提供服务。

所以当我们在设计开发分布式系统的时候,要准备一些方案来面对可能会出现的死锁问题,当问题发生时,系统会根据我们预先设计的方案,避免死锁对整个系统的影响。常用的解决死锁问题的方法有超时方法和死锁检测。

超时方法


在解决死锁问题时,超时方法可能是最简单的处理方式了。超时方式是在创建分布式线程的时候,对每个线程都设置一个超时时间。当该线程的超时时间到期后,无论该线程是否执行完毕,都要关闭该线程并释放该线程所占用的系统资源。之后其他线程就可以访问该线程释放的资源,这样就不会造成分布式死锁问题。但是这种设置超时时间的方法也有很多缺点,最主要的就是很难设置一个合适的超时时间。如果时间设置过短,可能造成线程未执行完相关的处理逻辑,就因为超时时间到期就被迫关闭,最终导致程序执行出错。


死锁检测


死锁检测是处理死锁问题的另一种方法,它解决了超时方法的缺陷。与超时方法相比,死锁检测方法主动检测发现线程死锁,在控制死锁问题上更加灵活准确。你可以把死锁检测理解为一个运行在各个服务器系统上的线程或方法,该方法专门用来探索发现应用服务上的线程是否发生了死锁。如果发生死锁,就会触发相应的预设处理方案。



分类

在介绍完分布式锁的基本性质和潜在问题后,接下来我们就通过 ZooKeeper 来实现两种比较常用的分布式锁。

排他锁

排他锁也叫作独占锁,从名字上就可以看出它的实现原理。当我们给某一个数据对象设置了排他锁后,只有具有该锁的事务线程可以访问该条数据对象,直到该条事务主动释放锁。否则,在这期间其他事务不能对该数据对象进行任何操作。


共享锁

另一种分布式锁的类型是共享锁。它在性能上要优于排他锁,这是因为在共享锁的实现中,只对数据对象的写操作加锁,而不为对象的读操作进行加锁。这样既保证了数据对象的完整性,也兼顾了多事务情况下的读取操作。可以说,共享锁是写入排他,而读取操作则没有限制。


实现

接下来就通过 ZooKeeper 来实现一个排他锁。

创建锁

首先,我们通过在 ZooKeeper 服务器上创建数据节点的方式来创建一个共享锁。其实无论是共享锁还是排他锁,在锁的实现方式上都是一样的。唯一的区别在于,共享锁为一个数据事务创建两个数据节点,来区分是写入操作还是读取操作。

在 ZooKeeper 数据模型上的 Locks_shared 节点下创建临时顺序节点,临时顺序节点的名称中带有请求的操作类型分别是 R 读取操作、W 写入操作。

获取锁

当某一个事务在访问共享数据时,首先需要获取锁。ZooKeeper 中的所有客户端会在 Locks_shared 节点下创建一个临时顺序节点。根据对数据对象的操作类型创建不同的数据节点,如果是读操作,就创建名称中带有 R 标志的顺序节点,如果是写入操作就创建带有 W 标志的顺序节点。


释放锁

事务逻辑执行完毕后,需要对事物线程占有的共享锁进行释放。我们可以利用 ZooKeeper 中数据节点的性质来实现主动释放锁和被动释放锁两种方式。

主动释放锁是当客户端的逻辑执行完毕,主动调用 delete 函数删除ZooKeeper 服务上的数据节点。

而被动释放锁则利用临时节点的性质,在客户端因异常而退出时,ZooKeeper 服务端会直接删除该临时节点,即释放该共享锁。

这种实现方式正好和上面介绍的死锁的两种处理方式相对应。到目前为止,我们就利用 ZooKeeper 实现了一个比较完整的共享锁。

如下图所示,在这个实现逻辑中,首先通过创建数据临时数据节点的方式实现获取锁的操作。创建数据节点分为两种,分别是读操作的数据节点和写操作的数据节点。当锁节点删除时,注册了该 Watch 监控的其他客户端也会收到通知,重新发起创建临时节点尝试获取锁。当事务逻辑执行完成,客户端会主动删除该临时节点释放锁。

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_数据_02


Demo

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_死锁_03

NG 负载, 后端两个节点

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_共享锁_04

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_数据_05

NG配置如下

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_共享锁_06


Jmeter配置

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_共享锁_07

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_数据_08


方案零 缺陷版本

不加锁的情况下,我们来压一下

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_zookeeper分布式锁_09

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_数据_10

这是老板打来电话了。。。。。。

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_死锁_11

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_死锁_12


方案一 非公平锁方案

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_zookeeper分布式锁_13

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_死锁_14

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_死锁_15

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_共享锁_16


缺陷 (羊群效应)

上实现方式在并发问题比较严重的情况下,性能较低,主要原因是,所有的连接都在对同一个节点进行监听,当服务器检测到删除事件时,要通知所有的连接,所有的连接同时收到事件,再次并发竞争,这就是羊群效应。

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_数据_17

如何避免呢,我们看下面这种方式


方案二 公平锁方案

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_zookeeper分布式锁_18

上述方案是一个公平锁的实现,通过zk提供的临时顺序节点,可以避免同时多个节点的并发竞争锁,缓解了服务端压力,避免羊群效应。

代码实现,Curator框架提供了InterProcessMutex

​https://curator.apache.org/getting-started.html​

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_数据_19

@PostMapping("/stock/deductWithLock")
public Object deductWithLock(Integer id) throws Exception {

InterProcessMutex interProcessMutex = new InterProcessMutex(curatorFramework, "/product_" + id);
try {
interProcessMutex.acquire();
orderService.reduceStock(id);
} catch (Exception e) {
if (e instanceof RuntimeException) {
throw e;
}
}finally {
interProcessMutex.release();
}
return "visit:" + port;
}

方案三 共享锁方案

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_zookeeper分布式锁_20

实现:InterProcessReadWriteLock

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_数据_21

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_死锁_22

​https://curator.apache.org/curator-recipes/shared-reentrant-read-write-lock.html​

用法都很简单,主要是搞清楚实现原理

行了,到这儿吧先

Apache ZooKeeper - 使用ZK实现分布式锁(非公平锁/公平锁/共享锁 )_zookeeper分布式锁_23