「锁 + 阻塞 IO」会升级成真正的死锁

一、结论

“锁 + 阻塞 IO”本身，严格来说
通常不属于「死锁（deadlock）」
而属于「锁饥饿 / 系统假死（hang）」或「不可进展」问题。

但——
在特定条件下，它可以“演化”为真正的死锁”。

二、为什么「锁 + 阻塞 IO」通常不算死锁？

我们回到死锁的严格四要素：

关键点在第四条

阻塞 IO 等的是“外部事件”，不是另一个线程持有的资源

例如：