|
Sch - tadbir rejalashtirish o'zgartirish jarayoni RO, sch: E x Q x T E
|
| bet | 4/6 | | Sana | 11.01.2024 | | Hajmi | 64,81 Kb. | | #134895 |
Bog'liq 4 - amaliyot ishiSch - tadbir rejalashtirish o'zgartirish jarayoni RO, sch: E x Q x T E; - Ch Ch o'zgartirish davlat o'zgartiradi: E x Q x t Q, Tloc - mantiqiy jarayon (majmui E dan qayta so'nggi voqea) mahalliy vaqt. joriy model vaqt vaqt = min (Tloci), i = 1 ÷ n.
vaqt paradokslar
vaqt boshqarish algoritm tadbirlar xronologik tartibda amalga oshirildi ta'minlashi lozim. Bu vazifa arzimas emas. Albatta, oldindan mantiqiy jarayon boshqa mantiqiy jarayonida olingan bir marta tadbir rejalashtirilgan bo'ladi, deb bilaman mumkin emas. vaqt muhri 10. bilan tadbir saqlangan ishlov berilmagan voqealar ro'yxati mantiqiy jarayon trenajyori qayta ishlash uchun uni tanlash uchun mumkinmi chiqaylik. mantiqiy jarayon qandaydir bilsangiz, bu amalga oshirilishi mumkin, deb buning uchun rejalashtirilgan boshqa hech mantiqiy jarayon tadbirlar, oxir-oqibat kamida 10.
Boshqa bir misolni ko'rib chiqaylik.
model uch jarayonlar bir qator bo'lsin. mijoz pul qaytarib hisobdan bank faoliyati - xaridor xarid qiladi bo'lgan do'kon va uchinchi jarayon - One jarayoni xaridor, ikkinchi xatti ko'rsatadi.
Keling, xaridor (E1 hodisa vaqt t1 = 9 da sodir bo'lgan) N (kredit) ma'lum bir miqdori do'konida tovar xarid qildi deb faraz qilaylik. Shop banki xabar (E2, t2 = 10) hisob miqdori kamayadi: S = S - N. xaridor hisob (E3, T3 = 11) pul olib chiqish uchun bank tashrif buyurdi. hisob pul etarli bo'lsa, bank uni miqdorini talab (xaridor bo'lgan) mijozga beradi. hisob talab miqdori kam bo'lsa, xaridor rad etiladi.
Хронологический порядок событий: e1, e2, e3 (рис. 8.1).
Рис. 8.1. Bank xronologik tartibda xabarlar qabul
do'kondan bankka xabar, bank zarar duchor bo'ladi (endi hisob mavjud) bankda depozit miqdori olib tashlash qabul qiluvchi keyin boraman bo'lsa, yuqorida vaziyatni ko'rib chiqaylik. Yuqorida bayon qilingan vaziyat tufayli xronologiyasi buzdi, deb aslida (Fig. 8,2) uchun o'rnidan turdi.
xronologik tartibda buzish bir xil mantiqiy jarayon uchun tarqalgan bir modellashtirish vaqt ichida turli xil tezlik bilan harakat Shuning tufayli bo'lishi mumkin. ish do'kon amalga oshirish jarayoni, CPU foydalanish amalga oshiriladi, masalan, bank bank jarayon sifatida "yugurib" oldindan (u kam CPU foydalanish ishlaydi), keyinchalik bildirishnoma oladi.
Рис. 8.2. Tadbirlar xronologik tartibi buzilgan
Tarqalgan algoritm vaqt bunday paradokslar bilan shug'ullanish imkoniga ega bo'lishi kerak.
Bu tarqatilgan modellashtirish komponentlarini sinxronlash muammosi hisoblanadi. Bu muammoni hal qilish uchun juda ko'p urinishlar bo'lgan. Ayni paytda, barcha sinxronizatsiya algoritmlar konservativ va optimistik bo'linadi.
Biz misol 1 qaytib borsangiz, konservativ algoritm mantiqiy jarayon bir vaqtda muhri 10 voqea qilish uchun yo'l qo'ymaydi, boshqa mantiqiy jarayon 10, unga bir vaqt muhri bilan tadbir rejalashtirilgan emas, mamnun emas.
Optimistik algoritm ishlov berilmagan tadbirlar keyingi voqea ro'yxatidan tanlang va uni idora imkonini beradi, boshqa mantiqiy jarayonlar tomonidan rejalashtirilgan tadbirlarni tekshirish uchun hech qanday ehtiyoj. Biroq, alohida bir sequencer xronologik tartibda sodir bo'lmagan xato tadbirlar amalga tomonidan xato aniqlash va tiklash amalga oshiradi.
Keling, har bir vaqt nazorat algoritmlarni batafsil ko'rib chiqaylik.
|
| |
