4-ma’ruza. Taqsimlangan imitasion modellashtirish va modellashtirishda vaqtni sinxronizasiyalash. Reja

Vaqtning paradokslari

Vaqtni boshqarish algoritmi voqealarni xronologik tartibda bajarilishini ta'minlashi kerak. Bu muammo ahamiyatsiz emas. Haqiqatan ham, mantiqiy jarayon boshqa bir mantiqiy jarayondan oladigan voqea rejalashtirilgan vaqt haqida oldindan bila olmaydi. bir vaqtda tamg'asi 10. bilan tadbir saqlanadi ishlov berilmagan tadbirlar ro'yxati mantiqiy jarayon trenajyori ishlash uchun uni tanlash uchun mumkinmi qilaylik. mantiqiy jarayon qandaydir boshqa mantiqiy jarayon kamida 10 vaqt davomida, uning uchun tadbirlar rejalashtirilgan emasligini bilar edi, agar bu amalga oshirilishi mumkin.

Keling, yana bir misolni ko'rib chiqaylik.
Modeldagi uchta jarayonning bir qismi bo'lsin. Bir jarayon xaridorning xatti-harakatlarini, ikkinchisi - xaridor xarid qilgan do'konni va uchinchi jarayonni - xaridor pulni olib chiqadigan hisobvaragacha bo'lgan bankning faoliyatini ko'rsatadi.
Xaridor do'konda mahsulotni muayyan miqdordagi N (kredit bo'yicha) uchun sotib olgan deb taxmin qiling (voqea e1, vaqt t1 = 9da sodir bo'lgan). Do'kon bu haqda bankga xabar berdi (e2, t2 = 10). Hisobdagi pul miqdori kamayadi: S = S - N. Xaridor hisobdan pul olish uchun bankka tashrif buyuradi (e3, t3 = 11). Hisobda etarlicha pul mavjud bo'lsa, bank o'zi so'ragan miqdorni mijozga (xaridor bo'lgan) beradi. Agar loyiha talab qilingan miqdordan kam bo'lsa, xaridor rad etiladi.
Voqealarning xronologik tartibi: e1, e2, e3 (4.1- rasm).


4.1-rasm Bank xronologik tartibda xabarlarni qabul qiladi.
Yuqorida tavsiflangan vaziyatni ko'rib chiqing: agar bankdan do'kondan xabarnoma xaridor bankdan depozitni olib qo'ygan bo'lsa (u endi hisob-kitobda bo'lmagan), bank zarar ko'radi. Yuqorida tavsiflangan holat voqealar xronologiyasi buzilganligi sababli paydo bo'ldi (4.2-rasm).

4.2- Rasm. Voqealarning xronologik tartibi buzilgan.

Xronologik tartibni buzish, turli xil mantiqiy jarayonlar uchun taqsimlangan modellash vaqtida turli tezliklarda harakatlanish sababli yuzaga kelishi mumkin. Masalan, agar do'kon ishini bajaradigan jarayon yuklangan protsessorda amalga oshirilsa, bankka xabarnoma keyinroq keladi, chunki jarayon "bankdan qochgan" (u kamroq hajmdagi protsessor bilan ishlaydi).

Ajratilgan algoritm bunday paradokslar bilan shug'ullanishi kerak.
Bu taqsimlangan modellashtirish komponentlarini sinxronlashtirish muammosi. Ushbu muammoni hal qilish uchun ko'plab harakatlar qilingan. Hozirgi vaqtda barcha sinxronizatsiya algoritmlari konservativ va optimizmga bo'lingan.
Agar biz 1-o'rnakka qaytsak, konservativ algoritm, mantiqiy jarayonning 10-sonli vaqt tamg'asi bilan ishlashiga imkon bermaydi, chunki u boshqa mantiqiy jarayon 10 soniyadan kam vaqt tamg'asi bilan hodisani rejalashtirmagan.
Optimistik algoritm ishlov berilmagan hodisalar ro'yxatidan keladigan keyingi voqeani tanlab, uni qayta ishlashga imkon beradi, boshqa mantiqiy jarayonlarning rejalashtirilgan hodisalarini tekshirishni bartaraf qiladi. Biroq, alohida dasturiy mexanizm xatolarni aniqlashni va xronologik tartibda bo'lmagan hodisalarning bajarilishida xatoliklarni tiklashni amalga oshiradi.