Prasyarat Solusi Critical Section
Solusi dari masalah critical section harus memenuhi tiga syarat berikut: Mutual Exclusion . Mutual Exclusion merupakan sebuah jalan yang menjamin jika sebuah proses sedang menggunakan variabel atau berkas yang digunakan bersama-sama, proses lain akan dikeluarkan dari pekerjaan yang sama. Misal proses Pi sedang menjalankan critical section (dari proses Pi), maka tidak ada proses-proses lain yang dapat menjalankan critical section dari proses-proses tersebut. Dengan kata lain, tidak ada dua proses yang berada di critical section pada saat yang bersamaan. Contoh 18.4. Struktur umum dari proses Pi adalah: do { entry section critical section exit section ...