V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
garyxiongxiong
V2EX  ›  ZooKeeper

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

  •  
  •   garyxiongxiong · 2021-02-02 09:49:16 +08:00 · 1526 次点击
    这是一个创建于 1400 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

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

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

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

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

    1 条回复    2022-05-27 22:55:38 +08:00
    JasonLaw
        1
    JasonLaw  
       2022-05-27 22:55:38 +08:00
    &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.
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   3997 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 26ms · UTC 05:13 · PVG 13:13 · LAX 21:13 · JFK 00:13
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.