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

Condvar tipidagi sinxronizatsiya obyektlari
Condvar tipidagi sinxronizatsiya ob'ekti vazifaga ma'lum shartlar bajarilishini kutish imkonini beradi. Aslida, u ob'ektdan iborat - E hodisasi (5.3-bo'limga qarang), bitta farq bilan: hodisa kelganda ( Yuborish funktsiyasi orqali ), hodisa uchun kutish hodisalarining faqat bittasi faollashadi. Vutex singari, condvar ob'ekti ham vazifalar (jarayonlar) o'rtasida taqsimlangan xotirada aniq ajratilgan bo'lib, bu iplar o'rtasida sinxronlashda tizim chaqiruvlariga ehtiyojni yo'q qiladi. Condvar E ob'ektiga kirish uchun uchta ibtidoiy amallar aniqlanadi :

• 
  Wait{ E,m ) (bu yerda m mutex tipidagi) - quyidagi amallarni bajaradi (ularning dastlabki ikkitasi boʻlinmaydi, yaʼni ularni bajarish jarayonida vazifalarni almashtirish taqiqlanadi):
  

• 
  Unlock(m) ga qo'ng'iroq qiling (ya'ni, ushbu operatsiyani chaqirgan),
  
• 
  Kutishga qo'ng'iroq qiling (E),
  
• 
  chaqiruv qulfi (m);
  

• 
  Signal (E) - qo'ng'iroq Yuborish(E);
  
• 
  Broadcast(E) - Send(E) ga qo'ng'iroq qiling va barcha kutilayotgan vazifalarni faollashtiring (ya'ni Yuborish funksiyasi bilan bir xil effekt) .
  

Keling, kondvar ob'ektlaridan foydalanish misolini ko'rib chiqaylik. To,Ti,... ,T„ umumiy xotira maydonini ulashuvchi X vazifalari bo'lsin . Muteks m X ga kirishni sinxronlashtirish uchun ishlatiladi. Ba'zi P(X) sharti bajarilsagina vazifa faollashtirilsin . Ushbu o'zaro ta'sirni ta'minlash uchun biz ob'ektni ishlatamiz condvar E . Keyin To operatsiya algoritmini sxematik tarzda quyidagicha yozish mumkin:
T_0 ()
{
uchun (;;)
{
Qulflash (m);
kuting (E, m);
/* Biz umumiy xotira X bilan ishlay olamiz, chunki biz mutex m ga egamiz */
agar (PCX))
{
/* Shart bajarildi: kerakli harakatlarni bajaring */
}
qulfni ochish (m);
}
}

1,... , n ) amal algoritmini sxematik tarzda quyidagicha yozish mumkin:

T_i()
{
uchun (;;)
{
Qulflash (m);
/* Biz umumiy xotira X bilan ishlay olamiz, chunki biz mutex m ga egamiz */
/* X ga ma’lumotlarni yozish */
…
Signal (E);
qulfni ochish (m);
}
}