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

Muteks tipidagi sinxronizatsiya ob'ektlari
Muteks tipidagi sinxronizatsiya ob'ektlari aslida ular dasturning xavfsizligi va samaradorligini oshirish nuqtai nazaridan mantiqiy semaforlarning ba'zi rivojlanishini ifodalaydi.
Umumiy resurs bilan ishlashning odatiy tsikli quyidagicha: semaforni oling , resurs bilan ishlang, semaforni qaytaring. Ammo, agar dastur xatosi natijasida u birinchi navbatda qaytish semafor funksiyasini chaqirsa (uni olmagan holda!), keyin esa umumiy resursda yuqoridagi siklni bajarsa, u holda get semafor funksiyasi vazifani bloklamaydi, agar resurs band.
Semaforlar bilan bog'liq yana bir muammo shundaki, siz semaforda ­ishlaydigan funktsiyalarni har safar chaqirganingizda vazifalarni almashtirishingiz kerak. Gap shundaki, semafor hisoblagichining o'zi ( aslida jarayonlar o'rtasida umumiy xotira) operatsion tizimning ma'lumotlar sohasida joylashgan va semafor bilan ishlaydigan har qanday funktsiya ­tizim chaqiruvidir. Bu, ayniqsa, vazifalar o'rtasida sinxronizatsiya qilishda yomon ( iplar ), chunki bu holda ma'lumotlar almashinuvining o'zi vazifani almashtirishni talab qilmaydi (chunki barcha xotira vazifalar tomonidan taqsimlanadi).
Ushbu hodisalarga qarshi kurashish uchun mutex ob'ekti kiritiladi , u aslida juftlikdan iborat: mantiqiy semafor va vazifa identifikatori - semaforning joriy egasi (ya'ni, qabul qilish funktsiyasini muvaffaqiyatli chaqirgan va egasiga aylangan vazifa). umumiy manba). Shu bilan birga, bu juftlikning o'zi vazifalar o'rtasida taqsimlangan xotirada saqlanadi ( iplar uchun - umumiy xotiraning istalgan joyida). Muteks ob'ektiga kirish uchun tn uchta ibtidoiy amalni belgilaydi:

• 
  Qulflash ( m ) - mutexni qulflash m, agar m allaqachon boshqa vazifa tomonidan bloklangan bo'lsa, u holda bu operatsiya vazifani qulfni ochish kutilayotgan holatga qo'yadi m ;
  
• 
  Qulfni ochish ( m ) - mutexni qulfdan chiqarish m , ( agar m boshqa vazifani kutayotgan bo'lsa, u holda uni faollashtirish, kutish navbatidan olib tashlash va joriy vazifani oldindan belgilash mumkin, masalan, agar uning ustuvorligi yuqoriroq bo'lsa); agar ushbu operatsiyani chaqirgan vazifa m ning egasi bo'lmasa , u holda operatsiya hech qanday ta'sir qilmaydi;
  
• 
  TryLock ( m ) - mutexni qulflashga harakat qiling m agar _ m bloklanmagan, keyin bu operatsiya ­Qulflash ( m ) ga teng bo'ladi , aks holda nosozlik ko'rsatkichi qaytariladi.
  

Ushbu operatsiyalar bo'linmas, ya'ni . ularni bajarish vaqtida vazifalarni almashtirish taqiqlanadi.
Muteks ob'ektlari quyidagilardir:

•