Tadbirga buyurtma berish
. Ko'p hollarda biz bir jarayonda (xabarlarni yuborish yoki
qabul qilish) boshqa jarayondagi boshqa hodisa bilan oldin, keyin yoki bir vaqtda1 ( bir vaqtning
o'zida ) sodir bo'lganligini bilishga qiziqamiz. Tizimning ishlashi global soatning yo'qligiga
qaramay, hodisalar va ularning tartiblanishi nuqtai nazaridan tavsiflanishi va fazo-vaqt
diagrammasi bilan tasvirlanishi mumkin ( 2.1-rasmdagi misolga qarang) [ 8].
Taqsimlangan bajarilishning fazo-vaqt diagrammasi Har bir gorizontal chiziq (2.1-rasmga
qarang) bitta jarayonga mos keladi, nuqtalar hodisalarni ko'rsatadi. Eğimli o'qlar ikkita voqea
o'rtasida xabarning uzatilishini tasvirlaydi. Ulardan birinchisi xabar yuborish hodisasi, ikkinchisi
esa xuddi shu xabarni olish hodisasidir. Bunday hodisalar o'zaro bog'liq deb hisoblanadi.
Umuman olganda, hodisaning bajarilishi cheklangan vaqtni oladi; ammo hodisalar atomik tarzda
bajariladi deb faraz qilinadi va jarayon chizig'idagi nuqta bilan belgilanadi. Bu rasmda P1
jarayoni uchun ikkinchi hodisa xabar yuborish hodisasi, uchinchi hodisa ichki hodisa va
to'rtinchi hodisa xabarni qabul qilishdir. Quyida ko'rsatilgandek, ba'zi hollarda voqealar tartibi
keyingi global konfiguratsiyalarga ta'sir qilmasligi uchun o'zgartirilishi mumkin. Oldingi
hodisalarning oqibati bo'lishi mumkin bo'lgan hodisalar ularga potentsial ravishda bog'liq deb
hisoblanadi. Ta'rifga ko'ra, bog'liq hodisalar bir xil jarayonda yoki xabarni yuborish va qabul
qilish bilan bog'liq hodisalarda sodir bo'ladigan hodisalardir. O'tish qobiliyatiga ko'ra, agar ular
fazo-vaqt diagrammasidagi gorizontal va moyil segmentlardan siniq chiziq bilan bog'lanishi
mumkin bo'lsa, hodisalarni bog'liq deb hisoblash mumkin. Yuqorida aytib o'tilganidek,
individual jarayonlardagi hodisalar global konfiguratsiyaning faqat bir qismiga ta'sir qiladi.
Bunday hodisalar bir-biriga mos kelmaydi, mustaqil va boshqa tartibda bajarilishi mumkin.
Tashqi kuzatuvchi nuqtai nazaridan, bu turli xil global konfiguratsiyalarga olib keladi, lekin har
bir alohida jarayonning xatti-harakati o'zgarmaydi. Keling, ushbu tezisni quyidagi argument
bilan tasvirlaylik [18]. Diagrammalarda keltirilgan taqsimlangan bajarishning ikkita variantini
ko'rib chiqing (2.2 va 2.3-rasm).
Fazo-vaqt diagrammasiga misol Bir qarashda, bu ilovalar ekvivalent emas va turli xil
konfiguratsiyalar to'plamini o'z ichiga olgan ko'rinadi. Diagrammasi shaklda ko'rsatilgan ijro. 2.2
g konfiguratsiyasini o'z ichiga oladi, unda e va l hodisalari sodir bo'lganda yuborilgan ikkala
xabar bir vaqtning o'zida yo'naltirish bosqichida bo'ladi. Ammo diagrammasi shaklda
ko'rsatilgan ijro. 2.3 hech qanday konfiguratsiyani o'z ichiga olmaydi, chunki l hodisasi sodir
bo'lganda yuborilgan xabar e hodisasi sodir bo'lishidan oldin belgilangan joyga etib boradi.
Hodisalarning haqiqiy ketma-ketligini ko'rish qobiliyatiga ega bo'lgan tashqi kuzatuvchi bir
ekvivalent ijroni boshqasidan ajrata oladi, ya'ni u bir vaqtning o'zida mumkin bo'lgan ijrolardan
faqat bittasini ko'radi. Biroq, jarayonlar ikkita qatl o'rtasidagi farqni ayta olmaydi, chunki
jarayonlar nuqtai nazaridan ikkita qatlning qaysi biri haqiqatda sodir bo'layotganini aytish
mumkin emas. Shunday qilib, bu ikki qatlni ekvivalent deb hisoblash mumkin, bu kitobda qat'iy
isbotlangan [18]. Demak, agar e1 bajarilishi hodisalarning sababiy tartibini saqlaydigan
hodisalarni almashtirish orqali e bajarilishidan olingan bo'lsa, u holda bu ijrolar ekvivalentdir.
Ekvivalent vaqt jadvallarini berilgan jadvaldan uni kauchuk tasma kabi cho'zish va siqish orqali
olish mumkin.
Spatiotemporal diagramma , shakldagi diagrammaga teng. 2.2 2.3.
Do'stlaringiz bilan baham: |