在Redis分布式锁一文中, 作者介绍了如何使用Redis开发分布式锁。
Redis分布式锁具有轻量高吞吐量的特点,但是一致性保证较弱。我们可以使用Zookeeper开发分布式锁,来满足对高一致性的要求。
Zookeeper 分布式锁原理
Zookeeper 节点具有一些性质可以帮助我们开发分布式锁:
临时节点: 客户端可以创建临时节点,当客户端会话终止或超时后Zookeeper会自动删除临时节点。该特性可以用来避免死锁。
触发器: 当节点的状态发生改变时,Zookeeper会通知监听相应事件的客户端。该特性可以用来实现阻塞等待加锁。
有序节点: 客户端可以在某个节点下创建子节点,Zookeeper会根据子节点数量自动生成整数序号,类似于数据库的自增主键。
一种比较容易想到的分布式锁实现方案是:
检查锁节点是否已经创建,若未创建则尝试创建一个临时节点
若临时节点创建成功说明已成功加锁。若持有锁的客户端崩溃或网络异常无法维持Session,锁节点会被删除不会产生死锁。
若临时节点创建失败说明加锁失败,等待加锁。watch锁节点exists事件,当接收到节点被删除的通知后再次尝试加锁。
因为Zookeeper中的Watch是一次性的,若再次尝试加锁失败,需要重新设置Watch。
操作完成后,删除锁节点释放锁。
该方案存在的问题是,当锁被释放时Zookeeper需要通知大量订阅了该事件的客户端,这种现象称为"惊群现象"或"羊群效应"。
惊群现象对Zookeeper正常提供服务非常不利,因此实践中通常采取另一种方案:
创建一个永久节点作为锁节点,试图加锁的客户端在锁节点下创建临时顺序节点。Zookeeper会保证子节点的有序性。
若锁节点下id最小的节点是为当前客户端创建的节点,说明当前客户端成功加锁。
否则加锁失败,订阅上一个顺序节点。当上一个节点被删除时,当前节点为最小,说明加锁成功。
操作完成后,删除锁节点释放锁。
该方案每次锁释放时只需要通知一个客户端,避免惊群现象发生。
该方案的特征是优先排队等待的客户端会先获得锁,这种锁称为公平锁。而锁释放后,所有客户端重新竞争锁的方案称为非公平锁。
Demo
本节作者将使用Zookeeper官方Java API实现一个简单的公平锁。
使用Maven进行依赖管理,项目依赖 Zookeeper 官方 java sdk 和 apache commons-lang3工具包:
<dependency> <groupId>org.apache.commons</groupId> <artifactId>commons-lang3</artifactId> <version>3.6</version></dependency><dependency> <groupId>org.apache.zookeeper</groupId> <artifactId>zookeeper</artifactId> <version>3.4.5</version> <type>pom</type></dependency>
点击查看完整代码:
package zk;import java.util.ArrayList;import java.util.Arrays;import java.util.Collections;import java.util.List;import java.util.concurrent.ExecutorService;import java.util.concurrent.Executors;import org.apache.commons.lang3.StringUtils;import org.apache.zookeeper.*;/** * @author finley */public class ZKLock { private ZooKeeper zk; private String basePath; private String lockPath; private static final byte[] LOCK_DATA = "".getBytes(); // zk 为客户端连接实例, basePath 为锁节点路径,我们将在 basePath 下创建顺序子节点 public ZKLock(ZooKeeper zk, String basePath) { // 按照 zk 的路径规则,以'/'开始,不得以'/'结束 if (basePath.endsWith("/") || !basePath.startsWith("/")) { throw new IllegalArgumentException("base path must start with '/', and must not end with '/'"); } this.zk = zk; this.basePath = basePath; } // 检测 basePath 节点是否存在, 若不存在则创建 private void ensureBasePath() throws KeeperException, InterruptedException { if (zk.exists(basePath, false) == null) { // basePath 不存在,进行创建 List<String> pathParts = new ArrayList<>(Arrays.asList(basePath.split("/"))); // 将路径处理为节点列表 pathParts.remove(0); //因为 basePath 以'/'开始, pathParts[0] 一定是空串,将其移除 // 自底向上,寻找路径中最后一个存在的节点 int last = 0; for (int i = pathParts.size() - 1; i >= 0; i--) { String path = "/" + StringUtils.join(pathParts.subList(0, i), '/'); if (zk.exists(path, false) != null) { last = i; break; } } // 从最后一个存在的节点开始,依次创建节点 for (int i = last; i < pathParts.size(); i++) { String path = "/" + StringUtils.join(pathParts.subList(0, i + 1), '/'); try { zk.create(path, LOCK_DATA, ZooDefs.Ids.OPEN_ACL_UNSAFE, CreateMode.PERSISTENT); } catch (KeeperException.NodeExistsException ignore) {} // may created by other thread } } } // 阻塞直至加锁成功 public void lock() throws KeeperException, InterruptedException { ensureBasePath(); // 在 basePath 下创建临时顺序子节点 String lockPath = zk.create(basePath + "/lock_", LOCK_DATA, ZooDefs.Ids.OPEN_ACL_UNSAFE, CreateMode.EPHEMERAL_SEQUENTIAL); System.out.println(Thread.currentThread().getName() + " create: " + lockPath); // 循环检查加锁是否成功 while(true) { // 取出 basePath 中所有节点并找到最小子节点 // 因为顺序子节点总是递增的,新创建的节点一定比当前 lockPath 更大,所以 create 和 getChildren 两个操作不保持原子性不会出现异常 List<String> children = zk.getChildren(basePath,false); Collections.sort(children); String minNode = children.get(0); // 当前线程创建了最小子节点,加锁成功 if (StringUtils.isNotBlank(lockPath) && StringUtils.isNotBlank(minNode) && StringUtils.equals(lockPath, basePath + "/" + minNode) { this.lockPath = lockPath; // 加锁成功,写入锁路径 return; } // 加锁失败,设置 watch String watchNode = null; String node = lockPath.substring(lockPath.lastIndexOf("/") + 1); for (int i = children.size() - 1; i >= 0; i--) { String child = children.get(i); if (child.compareTo(node) < 0) { watchNode = child; break; } } // 找到需要监视的节点,设置 watch if (watchNode != null) { System.out.println(Thread.currentThread().getName() + " watch: " + watchNode); String watchPath = basePath + "/" + watchNode; // 监视 getData 而非 exists 的原因是: 在获取子节点和设置 watch 这段时间内,被监视的节点可能已被删除(锁释放/持有者崩溃) // exists 监视会成功设置,但永远不会触发NodeDeleted事件(顺序子节点序号自增,不会复用使用过的序号)。本方法会无限制等待下去 // 若被监视节点已删除,getData 会抛出异常,避免线程浪费时间等待 // 该调用中的 watch 回调当事件发生时会在另一个线程中执行 try { zk.getData(watchPath, event -> { if(event.getType() == Watcher.Event.EventType.NodeDeleted) { // 主线程会调用 this.wait() // fixme: 这里有一个bug,若事件类型不是 NodeDeleted 应进行处理。分布式锁不会产生这种情况,可能是其它客户端操作所致 synchronized (this) { notifyAll(); } } }, null); } catch(KeeperException.NoNodeException e) { // 因为上一个节点被删除导致 getData watch 失败,进入下一个次循环,重新检查自己是否已持有锁 continue; } synchronized (this) { // 等待被 watch 唤醒,唤醒后进入下一次循环,重新检查确认自己已持有锁 wait(); System.out.println(Thread.currentThread().getName() + " notified"); } } } } // 释放锁 public void unlock() throws KeeperException, InterruptedException { // 加锁成功时会将锁路径写入 lockPath if (StringUtils.isNotBlank(lockPath)) { zk.delete(lockPath, -1); // 删除锁记录释放锁 } else { throw new IllegalStateException("don't has lock"); // 未设置锁记录说明本线程未持有锁 } } public static void main(String[] args) { int concurrent = 10; ExecutorService service = Executors.newFixedThreadPool(concurrent); for (int i = 0; i < concurrent; i++) { service.execute(() -> { // 为保证各线程独立的持有锁,每个线程应持有独立的 zookeeper 会话 ZooKeeper zk; try { zk = new ZooKeeper("localhost:2181", 6000, watchedEvent -> { if (Watcher.Event.KeeperState.SyncConnected == watchedEvent.getState()) System.out.println("connection is established..."); }); ZKLock lock = new ZKLock(zk, "/test/node1"); lock.lock(); System.out.println(Thread.currentThread().getName() + " acquire success"); Thread.sleep(1000); System.out.println("do sth, thread: " + Thread.currentThread().getName()); lock.unlock(); System.out.println(Thread.currentThread().getName() + " release success"); } catch (Exception e) { e.printStackTrace(); } }); } service.shutdown(); } }
Curator
Cruator 是一个 Zookeeper 工具集, 提供了包括分布式锁在内的常用应用的封装,本文以 Cruator 的分布式锁实现源码为例进行分析。
使用maven安装依赖:
<dependency> <groupId>org.apache.curator</groupId> <artifactId>curator-recipes</artifactId> <version>4.0.1</version></dependency>
编写加锁代码:
public class ZkLock { public static void main(String[] args) throws Exception { RetryPolicy retryPolicy = new ExponentialBackoffRetry(1000, 3); CuratorFramework client = CuratorFrameworkFactory.newClient("localhost:2181", retryPolicy); client.start(); // 锁节点为 /curator/mutex InterProcessMutex mutex = new InterProcessMutex(client, "/curator/mutex"); try { // 尝试加锁 mutex.acquire(); // 完成业务 System.out.println("foo bar"); } finally { // 释放锁 mutex.release(); client.close(); } } }
接下来分析InterProcessMutex.acquire()
的实现:
/** * Acquire the mutex - blocking until it's available. Note: the same thread * can call acquire re-entrantly. Each call to acquire must be balanced by a call * to {@link #release()} * * @throws Exception ZK errors, connection interruptions */@Overridepublic void acquire() throws Exception{ if ( !internalLock(-1, null) ) { throw new IOException("Lost connection while trying to acquire lock: " + basePath); } }
接下来看internalLock
方法:
private boolean internalLock(long time, TimeUnit unit) throws Exception{ Thread currentThread = Thread.currentThread(); // threadData 是一个 ConcurrentMap, 记录各线程锁的状态 LockData lockData = threadData.get(currentThread); if ( lockData != null ) // lockData 不为空, 说明线程已经持有锁 { // 重入锁,重入计数器增加 lockData.lockCount.incrementAndGet(); return true; } // internals.attemptLock 完成实际的访问Zookeeper获取锁的操作 String lockPath = internals.attemptLock(time, unit, getLockNodeBytes()); if ( lockPath != null ) { LockData newLockData = new LockData(currentThread, lockPath); threadData.put(currentThread, newLockData); return true; } return false; }
分析实际执行加锁操作的internals.attemptLock
方法:
String attemptLock(long time, TimeUnit unit, byte[] lockNodeBytes) throws Exception{ final long startMillis = System.currentTimeMillis(); final Long millisToWait = (unit != null) ? unit.toMillis(time) : null; final byte[] localLockNodeBytes = (revocable.get() != null) ? new byte[0] : lockNodeBytes; int retryCount = 0; String ourPath = null; boolean hasTheLock = false; boolean isDone = false; // 自旋加锁 while ( !isDone ) { isDone = true; try { // 在锁节点下创建临时顺序节点 ourPath = driver.createsTheLock(client, path, localLockNodeBytes); // 等待自己的节点成为最小的节点,即加锁成功 hasTheLock = internalLockLoop(startMillis, millisToWait, ourPath); } catch ( KeeperException.NoNodeException e ) { // 当 session 超时会抛出异常,根据重试策略直接进行重试 if ( client.getZookeeperClient().getRetryPolicy().allowRetry(retryCount++, System.currentTimeMillis() - startMillis, RetryLoop.getDefaultRetrySleeper()) ) { isDone = false; } else { throw e; } } } if ( hasTheLock ) { return ourPath; } return null; }
首先阅读StandardLockInternalsDriver.createsTheLock()
源码:
public String createsTheLock(CuratorFramework client, String path, byte[] lockNodeBytes) throws Exception{ String ourPath; if ( lockNodeBytes != null ) { ourPath = client.create().creatingParentContainersIfNeeded().withProtection().withMode(CreateMode.EPHEMERAL_SEQUENTIAL).forPath(path, lockNodeBytes); } else { ourPath = client.create().creatingParentContainersIfNeeded().withProtection().withMode(CreateMode.EPHEMERAL_SEQUENTIAL).forPath(path); } return ourPath; }
创建临时顺序节点, 不再赘述。
接下来查看internalLockLoop
:
while ( (client.getState() == CuratorFrameworkState.STARTED) && !haveTheLock ) { // 获得所有子节点,按序号升序排列 List<String> children = getSortedChildren(); // 判断自己是否为序号最小的节点 String sequenceNodeName = ourPath.substring(basePath.length() + 1); // +1 to include the slash PredicateResults predicateResults = driver.getsTheLock(client, children, sequenceNodeName, maxLeases); if ( predicateResults.getsTheLock() ) { haveTheLock = true; } else { // 获得前一个节点的路径 String previousSequencePath = basePath + "/" + predicateResults.getPathToWatch(); // 监听前一个节点并进行wait(), 当锁被释放时会通过notifyall() 唤醒 synchronized(this) { try { // 使用getData()而非exists()监听器的原因是: // 若此时前一个节点已被删除exists()仍会成功设置,但不可能被触发(顺序节点不会再次使用前一个节点的序号)。这会使方法浪费时间等待,也属于Zookeeper资源浪费 // 若前一个节点被删除getData() 会抛出异常 client.getData().usingWatcher(watcher).forPath(previousSequencePath); // 若设置了等待时间 if ( millisToWait != null ) { millisToWait -= (System.currentTimeMillis() - startMillis); startMillis = System.currentTimeMillis(); if ( millisToWait <= 0 ) { doDelete = true; // timed out - delete our node break; } // 等待指定的时间 wait(millisToWait); } else { // 永远等待 wait(); } } catch ( KeeperException.NoNodeException e ) { // getData() 抛出此异常说明前一个节点已被删除, 重新尝试获取锁。 } } } }