不懂就问： Zookeeper 分布式锁实现过程中如何保证原子性？

[garyxiongxiong]

在实现 zookeeper 分布式锁的过程中，为了避免羊群效应，需要在阻塞获取锁的过程中执行以下步骤：

1. 添加顺序临时节点至锁路径
2. 获取所路径下的节点列表，判断添加的节点是否在第一位，不在则需阻塞等待锁
3. 获取节点列表，并监听当前的前一节点
4. 等待前一节点被删除，重新检查是否获取到锁

在按此逻辑编写后，发现第三步中存在问题，可能会出现如下情况：

在获取节点列表并计算出前一节点preNode后，监听preNode删除事件前，此preNode被删除，则监听器永远不会被触发，造成死锁。

这种情况如何保证第三步的原子性？

[JasonLaw]

在 <amp-youtube data-videoid="IXHzbCuADt0" layout="responsive" width="480" height="270"></amp-youtube>&list=PLrw6a1wE39_tb2fErI4-WkMbsvGQk9_UB&t=2230s 中，教授写出来伪代码。其实根本不存在你说的这个问题，因为 exists(next lower #, watch=t)是原子的。

伪代码如下：
1. create seq "f" - ephem=t
2. list f*
3. if no lower # file, return
4. if exists(next lower #, watch=t)
5. wait
6. goto 2.