Мне нужно получить (сымитировать) deadlock определённого типа:
- У транзакции №1 изначально есть одна блокировка типа X (exclusive).
- Транзакция №2 пытается получить блокировку типа S (shared) и начинает ждать, когда Транзакция №1 освободит свою блокировку;
- Транзакция №1 пытается получить блокировку типа X (на другой набор записей) и начинает ждать, когда Транзакция №2 получит S-блокировку и освободит её.
У меня получается получить dealock, когда одновременно в двух потоках выполняются следующие транзакции:
-- Транзакция №1
BEGIN;
SELECT * FROM `testlock` WHERE id=1 LOCK IN SHARE MODE; /* GET S LOCK */
SELECT SLEEP(5);
SELECT * FROM `testlock` WHERE id=1 FOR UPDATE; /* TRY TO GET X LOCK */
COMMIT;
-- Транзакция №2
BEGIN;
SELECT * FROM `testlock` WHERE id=1 FOR UPDATE; /* TRY TO GET X LOCK - DEADLOCK AND ROLLBACK HERE */
COMMIT;
Но тогда получается, что это дэдлок другого типа - изначально у первой транзакции блокировка S и т.д.
Я пыталась изменить транзакции, например, переписать их следующим образом:
-- Транзакция №1
BEGIN;
SELECT * FROM `testlock` WHERE id=1 FOR UPDATE; /* GET X LOCK */
SELECT SLEEP(5);
SELECT * FROM `testlock` WHERE id=3 FOR UPDATE; /* TRY TO GET X LOCK */
COMMIT;
-- Транзакция №2
BEGIN;
SELECT * FROM `testlock` WHERE id > 2 LOCK IN SHARE MODE; /* TRY TO GET S LOCK*/
COMMIT;
Также я меняла поле id
на поле без индекса, и во всех запросах изменяла условие на WHERE id = 1
, но всё равно, в этих случаях я deadlock'а не получаю, обе транзакции выполняются.
Каким образом можно получить именно описанный выше deadlock?