O`zbekiston respublikasi oliy va o`rta maxsus ta`lim vazirligi qarshi innovatsion ta’lim universiteti


 Ovqatlanish faylasuflari muammosi


Download 0.83 Mb.
bet7/7
Sana07.02.2023
Hajmi0.83 Mb.
#1176087
1   2   3   4   5   6   7
Bog'liq
Semaforalar

5.6. Ovqatlanish faylasuflari muammosi


Ovqatlanish faylasuflari muammosi - sinxronizatsiya vositasini sinab ko'rish uchun taniqli fikrlash tajribasi.
Bizda beshta faylasuf beshta tayoq bilan stol atrofida o'tirishadi. Faylasuf qachon ovqatlanmoqchi bo'lsa, u ikkita tayoqni olishi kerak. Ushbu muammoda chopstiklar biz jarayonlar o'rtasida sinxronlashtirmoqchi bo'lgan manbalardir.
Semaforlar yordamida yechimni amalga oshiramiz. Birinchidan, biz semaforni ishga tushiramiz, u beshta tayoqchani 5 lik massiv sifatida ifodalaydi. Keyin quyidagi amalni bajaramiz  :

Ushbu yechimda faylasuf  ovqatlanishga qaror qilganda, birinchi navbatda semaforni kutadi  . Keyin uni qo'lga kiritgandan so'ng, faylasuf semaforni kutadi  . Ikkala tayoq ham qo'lga kiritilganda, u yeyishi mumkin.

Faylasuf to'lganida, tegishli semaforda signal operatsiyasini chaqirib, chopstiklarni bir xil tartibda chiqaradi.
Shuni yodda tutishimiz kerakki, bu misol muammosiz yechimni kafolatlamaydi. Biz uchta shartni kafolatlash uchun kichik sozlashni amalga oshirishimiz mumkin.

6. Xulosa


Semafor jarayonni sinxronlashtirish uchun juda kuchli vositadir.
Ushbu qo'llanmada biz birinchi navbatda ikkita atom operatsiyasini belgilash orqali semaforlarning ishlash printsipini umumlashtirdik: kutish va signal. Jarayonni sinxronlashtirishning mumkin bo'lgan muammolarini yaxshiroq tushunganimizdan so'ng, biz semafordan qanday samarali foydalanishni yaxshiroq tushunish uchun ba'zi misollarni ko'rib chiqdik.
Download 0.83 Mb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling