Pull Request

变更摘要

本次变更在 DeadlockRefinePass::HandleDeadlockSplit 方法中新增了对死锁节点与等待节点不一致时的处理逻辑。当检测到死锁后，在设置融合失败原因的同时，若死锁节点（deadlockNode）与等待节点（deadlockWaitNode）并非同一节点，则额外将死锁节点标记为可融合（SetIsFusible(true)），以允许该节点在后续流程中继续参与融合，而非被完全排除。

主要改动

• 死锁节点可融合性标记: 在 HandleDeadlockSplit 中，当 deadlockNode != deadlockWaitNode 时，调用 deadlockNode->SetIsFusible(true)，使死锁节点在非等待节点的情况下仍保留融合能力，避免因死锁检测导致不必要的融合阻断。

代码审查

审查总结

本次审查覆盖了 1 个变更文件：super_kernel/src/aot/sk_scope_split.cpp。

发现的问题

各文件审查结果

• super_kernel/src/aot/sk_scope_split.cpp：发现 1 个 P2 问题（融合失败原因过期不一致）

整体风险评估

低至中等风险。变更的核心逻辑——在 deadlockNode != deadlockWaitNode 时将死锁节点重置为可融合状态，使其在后续 scopeAfter 重新评估中被 LockDetector 重新检测——在运行时行为上是正确的。唯一的问题是当拆分成功解决死锁后，节点的 fusionFailReason_ 仍保留为 EXIST_DEADLOCK，而 isFusible 已被设为 true，造成了元数据层面的不一致。当前下游消费者（CollectFusionFailStats、ProcessScopeBegin）均优先检查 IsFusible() 再使用失败原因，因此不会产生运行时的统计错误，但日志输出会带有误导信息，且可能影响未来直接读取 GetFusionFailReason() 的代码。建议在设置 SetIsFusible(true) 的同时清除过期的失败原因。

💬 仅评论

/lgtm