Jak uzyskać deadlock do eksperymentów?

Deadlock (wzajemne blokowanie) występuje, gdy dwa lub więcej procesów lub transakcji oczekuje na zwolnienie zasobów zajętych przez innych, i żaden z nich nie może kontynuować pracy.

Aby stworzyć deadlock w celach eksperymentalnych, można zasymulować sytuację, w której dwa procesy blokują zasoby w różnej kolejności. Na przykład w bazie danych:

1. Proces A blokuje tabelę lub wiersz 1.
2. Proces B blokuje tabelę lub wiersz 2.
3. Proces A próbuje zablokować tabelę lub wiersz 2 i czeka.
4. Proces B próbuje zablokować tabelę lub wiersz 1 i również czeka.

W rezultacie oba procesy oczekują na siebie nawzajem — dochodzi do deadlocka.

Przykład w SQL (PostgreSQL):

-- W sesji 1
BEGIN;
LOCK TABLE table1 IN ACCESS EXCLUSIVE MODE;
-- Czekanie

-- W sesji 2
BEGIN;
LOCK TABLE table2 IN ACCESS EXCLUSIVE MODE;
-- Czekanie

-- W sesji 1
LOCK TABLE table2 IN ACCESS EXCLUSIVE MODE; -- zablokowane

-- W sesji 2
LOCK TABLE table1 IN ACCESS EXCLUSIVE MODE; -- zablokowane

Dla eksperymentów można uruchamiać takie transakcje równolegle i obserwować zachowanie systemu, logi i mechanizmy wykrywania deadlocków.

Ważne: w rzeczywistych systemach deadlocki należy unikać, ale w celach eksperymentalnych można je tworzyć w kontrolowany sposób i w odizolowanym środowisku.