Ma'ruza Real vaqt tizimlarining asosiy tushunchalari. Real vaqt tizimlarining tuzilishi, tarkibi va asosiy texnik va texnologik ko'rsatkichlari

mahalliy - bitta jarayonning vazifalari (iplari) o'rtasida sinxronizatsiya uchun mavjud; umumiy xotiraning istalgan joyida joylashgan;

global - turli jarayonlarning vazifalari (iplari) o'rtasida sinxronizatsiya uchun mavjud; jarayonlar o'rtasida umumiy xotirada joylashgan.

E'tibor bering, global mutex barcha operatsion tizimlar tomonidan ta'minlanmagan.
Ba'zi operatsion tizimlar mutex ob'ektlarini bir qator hollarda foydali bo'lgan maxsus xususiyatlarga ega. Quyidagi vaziyatni ko'rib chiqing. fl va 12 funktsiyalari umumiy resurslarda ishlaydi va vazifalar o'rtasida sinxronizatsiya qilish uchun mutex m dan foydalanadi:
f1()
{
qulf (m);
…
qulfni ochish (m);
}

f2()
{

qulf (m);
…
qulfni ochish (m);
}

Dasturni ishlab chiqish natijasida f2 dan f1 funksiyasini chaqirishimiz kerak edi:

f 2()
{
qulf ( m );

f 1();

qulfni ochish ( m );
}

Biroq, bu boshi berk ko'chaga olib keladi: vazifa f 1 funktsiyasida m mutexning chiqarilishini kutayotgan abadiy tsiklga o'tadi, chunki u allaqachon ushbu mutexga ega. Shuning uchun, ba'zi operatsion tizimlar mutex ob'ektlarining qo'shimcha turlarini taqdim etadi:

• 
  xatolarni tekshirish - Muteks egasi tomonidan Lock -ga qo'ng'iroq qilish, shuningdek, egasi bo'lmagan tomonidan Unlock -ni chaqirish hech qanday ta'sir qilmaydi; Shuni esda tutingki, ushbu turdagi mutex yuqorida tavsiflangan muammoni hal qiladi, ammo yangisi mavjud: <2-iboralar> (ehtimol, umumiy resursda ishlaydigan) vazifa mutexga egalik qilmasa, bajariladi;
  
• 
  rekursiv - mutex egasi tomonidan Lock ni chaqirish bunday qo'ng'iroqlar hisoblagichini oshiradi, egasi tomonidan Unlockni chaqirish - hisoblagichni kamaytiradi; Hisoblagich qiymati 0 bo'lsa, mutex aslida qulfdan chiqariladi.