Bilgisayar bilimlerinin işletim sistemleri dersinde öğretilen en büyüleyici, en sinir bozucu ve en dramatik kavramlarından biri Deadlock (Ölümcül Kilitlenme) durumudur.

Tanımı o kadar basittir ki, ilk duyduğunuzda bir trajedi tiyatrosu izliyormuş gibi hissedersiniz:
Sistemde iki farklı işlem (thread veya process) vardır: İşlem A ve İşlem B.
İşlem A, işini tamamlamak için Kaynak 1'i elinde tutmakta ve Kaynak 2'nin serbest kalmasını beklemektedir.
İşlem B ise tam tersine, Kaynak 2'yi elinde tutmakta ve Kaynak 1'in serbest kalmasını beklemektedir.

İkisi de elindekini bırakmaz.
İkisi de diğerinin ilk adımı atmasını bekler.
Ve sonuç? Sistem donar. İşlemci (CPU) boşta bekler, bellek tükenir, fanlar deliler gibi dönmeye başlar ama sistem tek bir milimetre bile ilerleyemez. Ta ki dışarıdan bir el gelip fişi çekene veya süreçlerden birini acımasızca öldürene (kill -9) kadar.

1971 yılında bilgisayar bilimci Edward G. Coffman Jr., bir sistemin bu kör kuyuya düşebilmesi için dört şartın aynı anda gerçekleşmesi gerektiğini matematiksel olarak kanıtladı:

Mutual Exclusion (Karşılıklı Dışlama): Kaynak paylaşılamaz, sadece bir kişi sahip olabilir.
Hold and Wait (Tut ve Bekle): Elindeki kaynağı bırakmadan, diğer kaynağı istemeye devam etmek.
No Preemption (Zorla Geri Alınamazlık): Kimse senin elindeki kaynağı rızan olmadan zorla çekip alamaz.
Circular Wait (Döngüsel Bekleme): Birbirini bekleyen kapalı bir inat zinciri.

Peki, şimdi ekranınızı hafifçe kapatıp kafanızı kaldırın ve etrafınızdaki dünyaya, çalışma arkadaşlarınıza, ikili ilişkilerinize ve kendi zihninize bakın.

İnsan ilişkilerinin de aslında Coffman'ın bu dört kuralıyla kilitlenen devasa bir işletim sistemi olduğunu fark ettiniz mi?

Ofis Koridorlarındaki Kilitlenmeler

Yazılım ekiplerinde her gün onlarca mikro-deadlock yaşanır.

Frontend geliştirici kollarını kavuşturur ve der ki: "Backend ekibi API endpoint'ini bitirip canlıya almadan ben bu arayüzü kodlayamam."
Aynı anda Backend geliştirici kendi masasında homurdanır: "Frontend ekibi ekran tasarımındaki veri modelini kesinleştirmeden ben bu veritabanı şemasını oluşturamam."

İki taraf da elindeki "kaynağı" (kendi sorumluluğunu) sımsıkı tutar (Hold and Wait).
İki taraf da "Önce o adım atsın" diyerek döngüsel bir bekleme zinciri kurar (Circular Wait).
Ve iki hafta boyunca bir proje Jira tahtasında çürümeye terk edilir. Ne kod yazılır, ne ürün çıkar.

Aynı felaket, şirket yöneticileri arasında yaşanır. İki departman müdürü masaya oturur. Biri bütçeyi onaylamaz çünkü diğerinin taahhüt vermesini bekler; diğeri taahhüt vermez çünkü bütçenin açılmasını bekler. İki inatçı sürecin kilitlenmesi yüzünden yüzlerce insanın emeği aylarca çöpe gider.

Kalbin İşletim Sistemi ve Gurur Kilitlenmesi

Ama deadlock'ın en acı verici, en yıpratıcı hali profesyonel hayatta değil; kişisel ilişkilerimizde, sevgilimizle, eşimizle, dostumuzla veya ailemizle olan diyaloglarımızda yaşanır.

Büyük bir tartışmanın ardından o ağır, boğucu sessizlik çöker eve.
İçinizden bir ses fısıldar: "O özür dilemeden ben tek bir kelime bile etmeyeceğim."
Karşı tarafın zihninde de aynı ses yankılanır: "O arayıp adım atmadığı sürece ben asla aramayacağım."

İşte Coffman'ın dört kuralı yine devrededir:

Mutual Exclusion: "Haklılık" paylaşılamayan tekil bir kaynak olarak görülür; ikimiz birden haklı olamayız, birimiz galip gelmelidir.
Hold and Wait: Kendi kırgınlığımızı ve gururumuzu sımsıkı elimizde tutar, aynı anda karşı tarafın şefkat göstermesini bekleriz.
No Preemption: Kimse bizim gururumuzu dışarıdan zorla alamaz; teslimiyeti sadece biz verebiliriz.
Circular Wait: İki taraf da telefonun ekranına bakar, iki taraf da ilk mesajı karşıdan bekler.

Ve günler geçer. Bazen haftalar, bazen yıllar...
Oysa iki taraf da içten içe acı çekiyordur. İki taraf da o kilitlenmenin bitmesini istiyordur. Ama o görünmez "gurur thread'i", sistemin bütün duygusal işlemcisini tüketir, insanı uykusuz bırakır, tüketir ve tüketir.

Bazen kilit o kadar uzun sürer ki, sonunda ilişki "Kernel Panic" verir ve tamamen çöker.

Kilit Nasıl Kırılır?

İşletim sistemleri teorisi bize çok berrak bir çıkış kapısı gösterir:
Bir deadlock'ı çözmek istiyorsanız, Coffman'ın o dört şartından en az bir tanesini kırmak zorundasınızdır.

Döngüyü kırmanın en asil ve en olgun yolu Preemption'dır — yani bir tarafın elindeki kaynağı gönüllü olarak serbest bırakması.

Frontend geliştiricinin "Backend hazır değilse ben mock (sahte) bir veri servisi yazar, ekranımı kodlamaya başlarım" diyerek bekleme durumunu bozması gibi...
Veya daha zoru: İlişkide o zehirli gururu yere bırakıp, "Kimin haklı olduğu umurumda değil, bizim birbirimize duyduğumuz sevgi bu tartışmadan daha değerli" diyerek ilk aramayı yapabilmek gibi.

Bu bir yenilgi değildir. Bu bir teslimiyet veya zayıflık da değildir.

İşletim sistemlerinde kilidi bozan süreç, sistemi kurtaran kahramandır. İlk adımı atan insan, zayıf olan değil; o sistemin donup ölmesine izin vermeyecek kadar büyük bir duygusal kapasiteye ve olgunluğa sahip olan tek kişidir.

Bir dahaki sefere bir iş arkadaşınızla, bir dostunuzla veya sevdiğiniz biriyle kendinizi o soğuk, inatçı sessizliğin içinde bulduğunuzda aklınıza bu gelsin.

Elinizdeki kaynağı sımsıkı tutarak karşı tarafın teslim olmasını beklemek, bir bilgisayar algoritmasının yapabileceği en ilkel hatadır.
Ve siz bir makine değilsiniz.

O kilidi kırın. İlk sinyali siz gönderin. Bırakın sistem yeniden nefes alsın.

iliskiler

"Deadlock" ve İnsan İlişkileri: İki İnatçı Sürecin Kilitlenmesi