Parallel dasturlash

thread CS (i=0; i
{
while (true)
{
CS tizimiga kirish;
Kritik boʻlim;
CS dan chiqish protokoli;
Kritik boʻlmagan boʻlim;
}


}
Kirish va chiqish protokollari quyidagi xususiyatlarga javob berishi kerak:
Oʻzaro istisno. Istalgan vaqtda kritik boʻlimni faqat bitta oqim bajara oladi.
Oʻzaro bloklash mavjud emasligi. Agar bir nechta oqimlar kritik boʻlimga kirishga harakat qilsa va kritik boʻlim boʻsh boʻlsa, kamida bitta oqim buni amalga oshiradi.
Keraksiz kechikishlar yoʻq. Agar oqim kritik boʻlimga kirishga harakat qilsa va boshqa oqimlar oʻzlarining muhim boʻlmagan qismlarini bajarsa yoki tugatsa, birinchi oqim darhol kritik boʻlimga kiradi.
Kirish imkoniyati. Kritik boʻlimga kirishga harakat qiladigan oqim qachondir buni amalga oshiradi.
Birinchi uchta xususiyat xavfsizlik xususiyatlari, toʻrtinchisi - hayotiylik. Birinchi uchta xususiyatni amalga oshirish majburiydir, muhim toʻrtinchi xossa har doim ham qoniqtirilmaydi.
CS topshirigʻi doirasidagi oqimlarning oʻzaro ta’siri oqimlarni oʻzaro istisno qilish orqali sinxronlashtirishga misoldir. CS ni amalga oshirishning eng past darajali mexanizmlari bayroqlar yordamida faol kutishga ega algoritmlardir.
Bayroqlar yordamida CS kirish / chiqish protokollarini amalga oshirishni koʻrib chiqaylik. Lock - mantiqiy oʻzgaruvchi boʻlsin: agar oqimlardan biri CSda boʻlsa lock = true, aks holda lock = false.
7.2-misolda CS muammosining keng koʻlamli yechimi mavjud.


7.2-misol. Bayroqlar yordamida CS muammosini keng miqyosda hal qilish
bool lock=false;
//umumiy oʻzgaruvchi
thread CS (i=0; i


while (true) {
//kirish protokoli Kritik boʻlim