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

fencing token 还是解决不了 lost update 吧

  •  
  •   JasonLaw · 37 天前 · 342 次点击
    这是一个创建于 37 天前的主题,其中的信息可能已经有所发展或是发生改变。

    How to do distributed locking — Martin Kleppmann’s blog中,Martin Kleppmann 说以下代码是 broken 的。

    // THIS CODE IS BROKEN
    function writeData(filename, data) {
        var lock = lockService.acquireLock(filename);
        if (!lock) {
            throw 'Failed to acquire lock';
        }
    
        try {
            var file = storage.readFile(filename);
            var updated = updateContents(file, data);
            storage.writeFile(filename, updated);
        } finally {
            lock.release();
        }
    }
    

    因为 Client 1 会覆盖掉 Client 2 所写的东西,如下图所示:

    然后他说可以使用 fencing token 解决 lost update 问题,如下图所示,因为 Client 1 的 fencing token 小于 Storage 中的 token 。

    但是如果 Client 1 先存进 Storage 呢? Client 2 最后会覆盖掉 Client 1 所做的改变,这样不是还是存在 lost update 问题吗?因为 Client 2 所做的修改是基于旧的数据,在提交修改时,Client 2 的读已经过时了。

    9 条回复    2021-10-22 22:33:28 +08:00
    2i2Re2PLMaDnghL
        1
    2i2Re2PLMaDnghL   37 天前
    我所知范围内,CouchDB 在写入时需要提供之前的 rev,类似 CAS 乐观锁。
    应当是两个不同的机制,你提的这个问题我直觉上觉得更经典一些
    lance6716
        2
    lance6716   36 天前 via iPhone
    (没看原文链接),client2 如果是先读取这个值,运算后提交的话(比如 x=x+1 )如果它从 storage 中读取到了 client1 的写入自然就是预期行为
    JasonLaw
        3
    JasonLaw   36 天前
    @lance6716 #2 啥意思?不太明白,能够具体描述一下吗?
    lance6716
        4
    lance6716   36 天前 via iPhone
    先存进 storage,然后 client1 解锁,client2 拿到锁,client2 读取到了 client1 的写入,没毛病
    lance6716
        5
    lance6716   36 天前 via iPhone
    哦哦,lost 是 client2 的 write lost 了
    JasonLaw
        6
    JasonLaw   36 天前
    @lance6716 #4 这种就是顺序执行了,肯定没啥问题,也就是“Client 1 获取到了锁,执行 read-modify-write,释放锁。接下来 Client 2 获取到了锁,执行 read-modify-write,释放锁”。
    JasonLaw
        7
    JasonLaw   36 天前   ❤️ 1
    @lance6716 #5 不是,我说的情况是 Client 2 最后会覆盖掉 Client 1 所做的改变,fencing token 也没用,因为 Client 2 的 token 就是比 Client 1 的大。
    Mikex88
        8
    Mikex88   36 天前
    @JasonLaw lost update 发生在 write 和之前的 read 不一致。client2 read(拿锁) 的时候 client1 已经存进 Storage 啊
    JasonLaw
        9
    JasonLaw   36 天前 via iPhone
    @Mikex88 #8 你说“ client2 read(拿锁) 的时候 client1 已经存进 Storage 啊”,哪里看出来的?🤐
    关于   ·   帮助文档   ·   API   ·   FAQ   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   2060 人在线   最高记录 5497   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 25ms · UTC 05:24 · PVG 13:24 · LAX 21:24 · JFK 00:24
    ♥ Do have faith in what you're doing.