Kilitlenme problemlerinin belirlenmesi ve çözülmesi

Abstract

Paralel ya da eşzamanlı çalışan işlemlerden oluşan sistemlerde, işlemlerin sonsuza dek birbirini beklemesi anlamına gelen kilitlenme, önemli bir problemdir. Bu sistemlerde, pek çok işlem aynı anda çalışır, birbirleriyle haberleşir ve sistem kaynaklarını ortaklaşa kullanırlar. İşlemler kaynaklan talep eder, kaynak boştaysa elde eder ve kaynakla işi bittikten sonra serbest bırakır. Bir işlem aynı anda pek çok kaynağı elinde bulundurabilir. Bir kaynağı talep eden bir işlem, eğer kaynak boşta değilse kaynağı elinde tutmakta olan işlemi beklemeye başlar. Bu işlem de, başka bir kaynağı elde etmek için bir başka işlemi bekliyor olabilir. Öyle bir an gelir ki, bir döngü içerisinde, bir küme işlem, sonsuza dek birbirlerini beklemeye başlar. Bu durumada kilitlenme oluşmuş demektir ve tespit edilip çözülmesi gerekir. Bu çalışmada, merkezi sistemler için geliştirilmiş olan bir kilitlenme belirleme algoritması, simülasyona gerek kalmadan uygulanmıştır. Programlama dili olarak, eşzamanlılığı desteklediği için Java seçilmiştir. Çalışma sonucunda, algoritmanın merkezi sistemlerde kilitlenme belirlemesi için doğru çalıştığı gösterilmiştir.