-Amaliy mashg’ulot - 7-Amaliy mashg’ulot. Mavzu: Taqsimlangan imitatsion modellashtirish. Ishdan maqsad

|
7-Amaliy mashg’ulot. Mavzu: Taqsimlangan imitatsion modellashtirish. Ishdan maqsad
|
bet | 3/6 | Sana | 11.01.2024 | Hajmi | 64,81 Kb. | | #134895 |
Bog'liq 4 - amaliyot ishi8-Amaliy mashg’ulot.
Mavzu:Taqsimlangan imitatsion modellashtirishda vaqtni sinxronizatsiyalash.
Ishdan maqsad: Sinxronizatsiyalash algoritmlari tuzish
Nazariy qism
Tarqalgan bir simülasyonda Time boshqaruv
tarqalgan bir simulyatsiya Vaqt boshqarish to'g'ri xronologik voqealarni majburlash kerak. Bundan tashqari, sinxronizatsiya algoritmlar javobgarlik to'g'ri qayta simülasyonu Yugurib amalga oshirish uchun. Foydalanuvchining qayta modellashtirish u birinchi marta kabi bir xil natija olish ishonch hosil bo'lishi kerak bo'lsa, kiritish ma'lumotlar o'zgarishsiz qoladi, agar. to'g'ri tartibda quyidagi tadbirlarni ta'minlash va muammo ahamiyatsiz emulyatorlar modellashtirish uchun simülasyon qayta ishga tushirish. Shuning uchun, biz alohida tadbir simulyatsiya haqida gapiryapsiz.
Keling, modellashtirish model vaqt muhri (vaqt muhri) yoki hodisa bilan bir-biriga xabar yuborish orqali bir-biri bilan muloqotda mantiqiy jarayonlar (LPI), bir qator deb faraz qilaylik. Mantiqiy jarayonlar jismoniy jarayonlar PPJ aks ettiradi. Bellashuv mantiqiy jarayon xronologik tartibda amalga oshirilishi kerak. Ushbu talab mahalliy nedensellik (mahalliy sababiyat cheklov) cheklash deyiladi. Biz bir xil vaqt muhri bilan voqealar e'tiborsizlik va jarayon mahalliy nedensellik cheklanganligi qo'llab-quvvatlasa, bir parallel kompyuterda modellashtirish dasturi ijrosi barcha tadbirlar o'z vaqt markalari ko'ra qatl etiladi ijro davomida bir xil natija beradi, agar ko'rsatishingiz mumkin. Bundan tashqari, bu xususiyat takrorlash modellashtirish muddatda amalga oshirilishi (kirish ma'lumotlarining Shu majmui bilan bir xil natija berib) ishonch hosil qilish uchun imkon beradi.
Biz punktir voqea simülasyonu qo'llab-quvvatlaydi davriy simülatöründen sifatida har bir mantiqiy jarayonini ko'rib chiqamiz. Bu har bir mantiqiy jarayon modellashtirish ob'ektlarini holati va bu jarayon uchun rejalashtirilgan tadbirlar ro'yxatiga mahalliy ma'lumotlarni o'z ichiga oladi, lekin hali (voqea ro'yxatini kutilmoqda) qilgan edi, degan ma'noni anglatadi. Ishlov berilmagan voqealar ro'yxati boshqa jarayonlar bilan uning uchun rejalashtirilgan mahalliy tadbirlarni (ya'ni rejalashtirilgan LPI jarayon o'zi) va hodisalarni o'z ichiga oladi.
Simulator ish minimal voqea vaqt muhri bilan ishlov berilmagan tadbirlar ro'yxatidan tanlang va uni qayta ishlash hisoblanadi. Yildan boshlab jarayonining amalga oshirish voqealarning ketma-ketligini amalga sifatida ko'rib chiqilishi mumkin. ob'ekt holatini aniqlash o'zgaruvchilar bir o'zgarish bilan birga tadbir amalga modellashtirish oshirilmoqda. Bundan tashqari, mantiqiy jarayon keyingi voqea o'zi uchun yoki boshqa mantiqiy jarayoni uchun yangi hodisa EJ Xronologiya mumkin. Har bir mantiqiy jarayon mahalliy soat bor. Mahalliy soat oxirgi qayta hodisa simülatörü ijrosi vaqt ko'rsatadi. har bir mantiqiy jarayon voqea uchun rejalashtirilgan vaqt o'z mahalliy soat qiymat katta bo'lishi kerak.
Shunday qilib, m = {LP, ME}, qaerda LP - bir jarayonning boshqa xabarlarni uzatish uchun aloqa o'rta - jarayonlari, ME majmui. O'z navbatida, LPI = {Q, E, Sch, Ch, T},
T - Liniya \ ga maqsadida nisbatda bilan mavhum majmuini buyurdi. o'rnatilgan T vaqti ochko bir necha deyiladi.
Q - davlatlar majmui,
E - tadbirlar belgilangan, E = Ein Em.
Ein - ichki jarayon tadbirlar majmui.Em i j-th jarayonini qayta ishlash jarayonida olingan voqealar to'plamidir. LPI jarayoni (uning uchun LPJ jarayonini rejalashtirilgan tadbir) bir xabar olasiz bo'lsa, u barcha mahalliy voqealar (yoki tadbir taqvim) C = ((E1, t1), (E2, t2)-tartibotni qayta kerak, ..., (en, TN) )) unda (EJ, tj bir necha o'z ichiga oladi. TIMESTAMP hodisalarni narvondan yilda to'g'risida aylantiring.
|
| |