Parallel dasturlash

sem sarray [10] = ([10] 0);

Initsializatsiyadan soʻng semafor faqat P() va V() operatsiyalari bilan qayta ishlanishi mumkin. Ularning har biri yagona argument sifatida semafor bilan boʻlinmas harakatdir:

P(s): 0) s = s-1;>
V(s):

Operatsiya P () semaforning manfiy emasligini kafolatlaydi.

s = 1 boʻlsin. Agar ikkita oqim bir vaqtning oʻzida P(s) operatsiyasini bajarishga harakat qilsa, ulardan faqat bittasi muvaffaqiyatli boʻladi. Agar bir oqim V(s) operatsiyasini, ikkinchisi esa P (s) ni bajarishga harakat qilsa, u holda ikkala amal ham oldindan aytib boʻlmaydigan tartibda bajariladi va natijada s ning qiymati oʻzgarmaydi.
Oddiy semafor har qanday manfiy boʻlmagan butun son qiymatlarini, ikkilik semafor esa - faqat 0 va 1 qiymatlarini qabul qilishi mumkin. Shuning uchun ikkilik semafor uchun V() operatsiyasi faqat uning qiymati 0 boʻlsa bajariladi:


V (sbin):

Semaforlar apparat va dasturiy ta’minotda ham amalga oshirilishi mumkin

Semaforlar yordamida kritik boʻlim masalasini yechish. Semaforlar, birinchi navbatda, CS muammosini hal qilish mexanizmi sifatida ixtiro qilingan, bu ularning shartlarida juda tabiiy ravishda yozilgan (3-misol). Haqiqatan ham, CS ning erkin holatiga mos keladigan yagona boshlangʻich qiymatga ega boʻlgan ikkilik semafor mutex kritik boʻlim bilan bogʻlansin. Keyin mutex = 0 qiymati CS band ekanligini bildiradi. Operatsiya P (mutex) - 2 -misoldagi CS muammosining umumiy yechimidan kirish protokolining bool lock bayrogʻi uchun amalga oshirish. Oʻz navbatida V (mutex) operatsiyasi CS dan chiqish protokolini amalga oshiradi.
Semaforlardan foydalangan holda bir nechta resurslarni bir-biriga moslashtirishga xavfsiz kirishni ta’minlash. Bir-biriga oʻxshash manbalar toʻplamiga xavfsiz kirishni ta’minlash uchun semaforlardan foydalanishni koʻrsatadi.