Mutex, semafor ve bekleme biçimleri | İşletim Sistemleri #09

Eğitmen: Dr. Süleyman Burak ÇELİK

Geçen derste iki hattın ortak sayacı artırırken bir güncellemeyi kaybettiğini gördük. Okuma, hesap ve yazma bütününü korumamız gerektiğini bulduk. Bugün bu korumayı mutex ve semafor araçlarıyla kuracağız. İzni atomik al · kritik işi koru · bekleme davranışını seç. Temsilî bilgisayar modelinden başlayıp bu derse özgü mekanizmayı gerçek konuşmayla eşleşen şemalar ve özgün örneklerle adım adım inceliyoruz. Bu derste: 1. Al, kritik işi yap, bırak 2. Kontrol ile alma arasına yarış sokma 3. Dönerek beklemek ile uyumak farklıdır 4. Semafor: atomik wait ve signal 5. İki izni üç isteğe dağıtalım 6. İzni bekleyene aktar, durumu doğru oku 7. Olay sırası ve veri korumasını ayır Bölümler: 0:00 Kritik bölgeye giriş iznini nasıl yönetiriz? 0:29 Bir anahtar mı, sayılı geçiş izni mi? 1:19 Al, kritik işi yap, bırak 2:04 Kontrol ile alma arasına yarış sokma 2:53 Dönerek beklemek ile uyumak farklıdır 3:41 Semafor: atomik wait ve signal 4:34 İki izni üç isteğe dağıtalım 5:11 İzni bekleyene aktar, durumu doğru oku 6:00 Olay sırası ve veri korumasını ayır 6:52 Üç yanlış içgüdü 7:26 Bir araç, açık bir erişim sözleşmesi Kaynak kitap: Abraham Silberschatz, Peter B. Galvin, Greg Gagne — Operating System Concepts, 10. baskı (2018), §6.4.2 atomik temel; §6.5–6.6. Kavram ve konu sırası kaynak kitaptan izlenir; anlatım, şemalar ve sayısal örnekler özgündür. Ekrandaki sayılar açık varsayımlı öğretim modelleridir; gerçek cihaz ölçümü değildir. Hedef kitle: bilgisayar mühendisliği ve yazılım öğrencileri.