Deneyler için nasıl deadlock elde edilir?

Çiftlik (karşılıklı kilitlenme) durumu, iki veya daha fazla süreç veya işlemin birbirleri tarafından kullanılan kaynakların serbest bırakılmasını beklediği ve hiçbiri işlemi sürdüremediği durumdur.

Deneysel amaçlar için bir deadlock oluşturmak üzere, iki sürecin kaynakları farklı sıralarda kilitlediği bir durum simüle edilebilir. Örneğin, bir veritabanında:

1. Süreç A, tablo veya satır 1'i kilitler.
2. Süreç B, tablo veya satır 2'yi kilitler.
3. Süreç A, tablo veya satır 2'yi kilitlemeye çalışır ve bekler.
4. Süreç B, tablo veya satır 1'i kilitlemeye çalışır ve bekler.

Sonuç olarak, her iki süreç de birbirini bekler — bu bir deadlock'tur.

SQL örneği (PostgreSQL):

-- Oturum 1'de
BEGIN;
LOCK TABLE table1 IN ACCESS EXCLUSIVE MODE;
-- Bekliyor

-- Oturum 2'de
BEGIN;
LOCK TABLE table2 IN ACCESS EXCLUSIVE MODE;
-- Bekliyor

-- Oturum 1'de
LOCK TABLE table2 IN ACCESS EXCLUSIVE MODE; -- kilitli

-- Oturum 2'de
LOCK TABLE table1 IN ACCESS EXCLUSIVE MODE; -- kilitli

Deneyler için, bu işlemler paralel olarak çalıştırılabilir ve sistemin davranışı, günlükler ve deadlock tespit mekanizmaları gözlemlenebilir.

Önemli: Gerçek sistemlerde deadlock'lar önlenmelidir, ancak deneyler için kontrollü ve izole bir ortamda oluşturulabilirler.