Ruby：使用同名实例变量时Mutex为何无法持锁？

核心原因：提前修改了@series实例变量 #

原代码的问题出在build_series方法里的第一行赋值：@series = {}。虽然这行代码在MUTEX.synchronize块内执行，但它直接把类实例变量@series设置成了非nil的空哈希，触发了外层@series ||= ...的短路逻辑。

具体执行流程：

• 第一个线程进入series方法，发现@series为nil，进入MUTEX.synchronize块，调用build_series。
• build_series第一行执行@series = {}，此时@series被设置为空哈希（非nil）。
• 第一个线程在sleep 3处挂起，发生上下文切换。
• 其他线程进入series方法，检查@series时发现已经是非nil的空哈希，直接返回这个空哈希，根本不会进入MUTEX.synchronize块等待锁。
• 这些线程调用fetch(:foo)时，空哈希里没有对应的键，触发KeyError。

为什么修改实例变量名就正常？ #

当把build_series里的变量改成@build_series后：

• build_series内部不再修改@series，@series只有在@series ||= MUTEX.synchronize { ... }执行完成时，才会被赋值为build_series返回的{ foo: "bar" }。
• 其他线程在第一个线程释放锁之前，看到的@series始终是nil，会等待进入同步块，直到拿到完整的哈希值，自然不会触发报错。

修正方案 #

要修复这个问题，需要确保@series只有在build_series生成完整结果后才被赋值，避免提前设置非nil的中间值：

class TestClass
  MUTEX = Mutex.new

  class << self
    def series
      @series ||= MUTEX.synchronize { @series || build_series }
    end

    def build_series
      # 用临时变量存储中间结果，不直接修改@series
      temp = {}
      sleep 3
      temp = { foo: "bar" }
      temp
    end
  end
end

或者更简洁的写法，把||=逻辑完全放到同步块内，彻底避免外层的竞态风险：

class TestClass
  MUTEX = Mutex.new

  class << self
    def series
      MUTEX.synchronize do
        @series ||= build_series
      end
    end

    def build_series
      sleep 3
      { foo: "bar" }
    end
  end
end

内容的提问来源于stack exchange，提问作者sandre89