Parallel dasturlash

lock=false;
//chiqish protokoli
Kritik boʻlmagan boʻlim;


}
}

7.3. Semaforlar

Yuqorida koʻrib chiqilgan CS va toʻsiqni sinxronlashtirishga kirish protokollari faol kutish protokollari deb ataladi (oqim shunchaki kutmaydi, balki har doim oʻzgaruvchini sinxronizatsiya uchun tekshiradi). Bunday algoritmlarning bir qator kamchiliklari bor: ular juda murakkab, bundan tashqari, sinxronlash uchun oʻzgaruvchilar va hisoblash uchun oʻzgaruvchilar oʻrtasida aniq chiziq yoʻq, qiyinchilik - bu barcha oqimlar tomonidan har doim oʻqiladigan (tekshiriladigan) va tez-tez oʻzgartiriladigan barcha oqimlar tomonidan taqsimlanadi. Sinxronizatsiyaning maxsus vositalaridan biri bu semaforlar boʻlib, ular birinchi marta 1968-yilda Edsger Deykstra tomonidan oʻzaro istisno qilishni amalga oshirish uchun taklif qilingan.
Semafor - umumiy oʻzgaruvchilarning maxsus turi boʻlib, u faqat ikkita boʻlinmas P() va V() operatsiyalari tomonidan boshqariladi. Semaforni "semafor" sinfining nusxasi deb hisoblash mumkin, P() va V() operatsiyalari - bu sinfning usullari, ularning birligini belgilaydigan qoʻshimcha atribut bilan. Semafor qiymati manfiy boʻlmagan butun sondir.
V() operatsiyasi voqea sodir boʻlganligi haqida signal berish uchun ishlatiladi, shuning uchun u semafor qiymatini birlikka oshiradi.
P() operatsiyasi qandaydir hodisa roʻy berguncha oqimni toʻxtatib turadi, shuning uchun u semafor qiymatining musbat boʻlishini kutgandan soʻng, uning qiymatini bir marta kamaytiradi. P() operatsiyasining bajarilishini toʻxtatib boʻlmaydi, ya’ni semafor qiymatini kamaytirishdan oldin darhol musbat boʻlishi kafolatlanadi.
Belgilashimizda biz semaforlarni quyidagicha e’lon qilamiz:


sem s;

Standart semafor qiymati 0 dir, lekin uni istalgan musbat qiymatga boshlash mumkin:

sem s = 1;

Semafor massivini e’lon qilish va ishga tushirish mumkin: