Ruby调用Thread#kill后新线程创建静默失败的原因与解决方法

该静默失败现象是MRI（官方C实现Ruby）线程调度层的边缘行为，不属于语法设计预期，触发逻辑如下：

• Thread#kill是异步终止指令，调用后仅给目标线程打上终止标记，不会阻塞等待目标线程完成退出流程、释放VM内部资源
• 若被终止的是正处于阻塞状态的线程（比如示例中执行sleep的线程），线程退出清理调用栈、上下文的过程中，会短暂持有VM全局线程调度锁
• 如果在锁被持有的极短时间窗口内创建新线程，新线程的上下文注册流程会被静默跳过：可以拿到正常返回的Thread实例，但这个线程不会被加入可调度线程队列，既不会执行块内逻辑，也不会抛出任何异常，最终出现无报错静默失败的现象
• 这个问题仅存在于MRI实现中，JRuby、TruffleRuby等采用其他线程调度模型的Ruby实现不会复现，Ruby 2.x到3.2之前的版本都有概率触发。

给出的复现代码中，#2之后仅输出1次ok：被kill的线程没有输出属于符合预期的终止效果，后续新建的线程没有输出就是踩中了上述调度锁问题。

1. 强制终止后等待回收（最稳妥兼容方案） #

调用Thread#kill之后，必须执行join等待被终止的线程完全退出、释放所有调度锁之后，再创建新线程，该方案兼容所有Ruby版本：

thread = Thread.new { sleep 1; puts :ok }
thread.kill
thread.join # 阻塞等待线程完全终止、资源回收完成
# 锁释放后创建的新线程可正常调度
thread = Thread.new { sleep 1; puts :ok }
sleep 2

2. 优先使用协作式线程退出（推荐方案） #

生产环境尽量避免用Thread#kill强制杀死线程，强制终止会导致资源无法正常释放、锁状态异常等问题。推荐用线程安全的标志位、队列做通信，通知线程自行退出，从根源上规避这类问题：

# 线程安全的退出标志
need_exit = false
worker = Thread.new do
  until need_exit
    # 执行业务逻辑，避免长时间无中断阻塞
    sleep 0.2
  end
  # 线程自行做资源清理
  puts "worker exit normally"
end

# 需要终止时设置标志位，等待线程正常退出
need_exit = true
worker.join

# 后续创建新线程无异常
new_worker = Thread.new { sleep 1; puts :new_worker_run_ok }
sleep 2

3. 非阻塞场景下主动让出调度权 #

如果业务场景不允许阻塞等待join，可以在kill之后调用Thread.pass主动让出CPU执行权，触发VM完成被kill线程的清理流程，再创建新线程：

thread = Thread.new { sleep 1; puts :ok }
thread.kill
Thread.pass # 主动触发线程调度，完成待清理线程的资源回收
thread = Thread.new { sleep 1; puts :ok }
sleep 2

注意：该方案稳定性弱于join方案，极端高并发场景下仍有小概率踩中时间窗口。

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