Mavzu: Dinamik parallel hisoblashlar uchun parallel jarayonlarni tashkillash Mundarija


RS-trigger modeli uchun ishlab chiqarish rejimining buzilishi



Yüklə 1,84 Mb.
səhifə13/19
tarix13.05.2022
ölçüsü1,84 Mb.
#87025
1   ...   9   10   11   12   13   14   15   16   ...   19
611.17.Soyibov.kurs.ishi

RS-trigger modeli uchun ishlab chiqarish rejimining buzilishi

RS-trigger

modeli tomonidan taqiqlangan holatlarni o'tkazib yuborish Nima uchun birinchi model, xotira bilan ishlash rejimidan qat'i nazar, ishning barqaror natijalarini namoyish etadi, ikkinchisi - o'z xatti-harakatlarini o'zgartiradi? Buning sababi predikatlarda. Ikkinchi modelda oldindan taxminlar mavjud emas va bu uning harakati uchun juda muhimdir. Ammo predikatlarning mavjudligi / yo'qligi parallel dastur algoritmiga qanday va nima uchun ta'sir qiladi?
NAND elementining dastur modeli avtomat dastur kabi ikkita kirish kanaliga va bitta chiqishga ega. Ular ikkita predikat va bitta harakat bilan mos kelishi kerak. Birinchi dastur bunga to'liq mos keladi. Avtomat tavsifini sharhlaydigan VKP yadrosi avval nafaqat bitta avtomatning, balki butun avtomat makonining barcha predikatlarini bajaradi va shundan keyingina barcha harakatlarni boshlaydi. Bunda har qanday ketma-ketlikda harakatlar bajarilib, parallellikka taqlid qilinadi va har qanday rejimda ular xotira bilan ishlaydi, avtomat operatsiyaning joriy tsiklida predikatlar natijalari ularga (harakatlarga) bog'liq emas. Shuning uchun birinchi dastur xuddi shu natijani beradi.
Ikkinchi dastur, garchi u to'g'ridan-to'g'ri mashinaning kirish kanallari bilan ishlasa ham, amaldagi kirish signallarini o'qiydi. Soya xotirasi rejimida kirish ma'lumotlari bilan ishlaydigan harakatlar soya xotirasiga yangi qiymatlarni yozadi va shu bilan diskret tsikl boshida amal qiladigan ma'lumotlar bilan ishlaydi. Odatdagi rejimda ular o'zlarining o'zgarishi vaqtida o'rnatilgan oniy qiymatlarni "tortib olishadi" va shu bilan algoritm xotiraning o'zgarishi momentlariga bog'liq bo'ladi. Ushbu bog'liqlikni ikkinchi dastur namoyish etadi. Ikkinchi modelga predikat usullari kiritilgan bo'lsa ham, bu uning ish natijalariga hech qanday ta'sir ko'rsatmaydi. Bu erda predikat usullari mavjudligining o'zi emas, balki ularning avtomatik dasturlash modeli doirasida ishlashining o'ziga xos xususiyatlari muhimdir.
Va qo'yilgan maqsadga erishilganga o'xshaydi. Parallellik uchun tizimlarning mumkin bo'lgan sinovlaridan biri sifatida [8] RS-trigger modeli bunga ishonch hosil qiladi ... Hayot ko'rsatganidek, boshqa barcha parallel dasturlar, agar parallellikni amalga oshirish muhiti RS-trigger sinovidan muvaffaqiyatli o'tishi shart bo'lsa, xuddi shunday to'g'ri, ishonchli va barqaror ishlaydi. ... Aytgancha, o'sha MATLAB "RS-trigger testi" o'tmadi va bu ko'p narsani anglatadi ... Parallellik masalasini echishda radikal yondashuv kompyuter tizimlarida parallel dasturlash va parallel jarayonlarni boshqarish uchun murakkab vositalarni yaratish bo'yicha ishlarni amalga oshirish [6, 7] uchta o'zaro bog'liq masalalarni kompleks echimidan iborat. Birinchi vazifa, parallel darajani vazifalar darajasida tavsiflashga yo'naltirilgan rasmiy denotatsion til bilan yuqori darajadagi parallel dasturlash tillarini yaratish va kompyuter tizimlarida dasturlarning parallel bajarilishi jarayonlarini qat'iy tartibga soluvchi rasmiy operatsion semantikani yaratishdir. Ketma-ket dasturlash tillaridan farqli o'laroq, bunday til faqat uning parchalanishi tarkibiy qismlari o'rtasidagi ma'lumotlarga bog'liq bo'lgan ma'lumotni aniq aks ettirish printsipiga asoslanishi mumkin. Natijada, mustaqil komponentlar dasturni bajarish jarayonida amalga oshiriladigan parallellik manbasiga aylanadi [8, 9]. Aniq belgilashning yana bir usuli - bu tilda ishlatiladigan funktsiyalar tarkibining parallel yoki ketma-ket operatsiyalari sifatida tavsiflash orqali parallellikni aks ettirish uchun funktsional yozuvlardan foydalanish. Ushbu printsipga ko'ra mualliflar tomonidan yaratilgan FPTL funktsional parallel dasturlash tili kompyuter tizimlarida qurilgan va amalga oshirilgan.

Ikkinchi vazifa - ishlab chiqish, disk raskadrovka, kompyuter tizimlarida ishlash va parallel dasturlarni optimallashtirish jarayonlarini soddalashtirishga imkon beradigan muhit yaratish [6, 11]. Ketma-ket dasturlarni ishlab chiqishni qo'llab-quvvatlaydigan muhitdan farqli o'laroq, uni optimallashtirish uchun parallel dasturning haqiqiy kompyuter tizimida eksperimental tadqiqotlar yuqori dasturiy ta'minotni bajarish va parallel dasturlarning resurslaridan foydalanish nuqtai nazaridan juda muhimdir. Va nihoyat, uchinchi vazifa - kengaytiriladigan va multiplatformali kompyuter tizimlarida parallel dasturlarning bajarilishi natijasida yuzaga keladigan parallel jarayonlarni boshqarish uchun samarali vositalarni yaratish. Ushbu vazifa ikkita kichik topshiriqdan iborat: kompyuter tizimi resurslaridan foydalanishni optimallashtirish maqsadida optimal jarayonni rejalashtirish va ish yukini maqbul boshqarish [6, 7, 11]. Muvaffaqiyatli echilgan muammo (oldingi ikkita masalani echish bilan birga) kompyuter tizimlarining konfiguratsiyasidan mustaqil ravishda hisoblash muammolari, taqsimlangan boshqaruv muammolari, tarqatilgan axborotni qayta ishlash va boshqalar uchun parallel dasturlarning dizaynini sezilarli darajada soddalashtiradi va amalga oshiradi.

Ekvivalent transformatsiyalar zaif bog'liqlikni kuchli aylantirishi mumkin va aksincha, dasturdagi parallellikni kamaytiradi yoki kuchaytiradi. Bashoratli hisob-kitoblarni ko'paytirish orqali dasturni parallellashtirishni ko'paytirib, dasturning parallel bajarilish modelida aniqlikni (mavjud natijaga erishish) ta'minlash uchun oldindan kutilmagan tarkibiy qismlarga har doim ustuvor ahamiyat berish uchun bashoratli hisoblashlar deb tasniflangan komponentlarni aniq ajratish mexanizmlari bo'lishi kerak. Bundan tashqari, xuddi shu sababga ko'ra va samaradorlikni oshirish uchun proaktiv komponentlarning natijalari talab qilinmasligi ma'lum bo'lgandan keyin ularni to'xtatish mexanizmi zarur. Agar dasturning parallel bajarilishi komponentlarning bajarilishi oldindan bostiriladigan tarzda tashkil qilingan bo'lsa, unda bunday parallellik qat'iy deb nomlanadi; aks holda, faol. Dastur oqimlarda parallel ravishda bajarilganda, shuningdek, grafik-sxema kiritilishida keladigan ma'lumotlarning vaqtinchalik tartibi va ular uchun hisoblangan natijalar buzilishi mumkinligini hisobga olish kerak. YAGSPP-ga dastur komponentalari o'rtasida uzatiladigan ma'lumotlarni etiketlashning kiritilishi [6, 9] kirish ma'lumotlari va dastur bajarilishining natijalari o'rtasida yakka muvofiqlikni ta'minlashga imkon beradi. Dastur tarkibiy qismlarining axborot mustaqilligi nafaqat ular orasidagi axborot aloqalarini aniq belgilash bilan, balki bilvosita parallellik xususiyatiga ega komponentlar uchun kompozitsion operatsiyalarni qo'llash orqali ham ifodalanishi mumkin. Masalan, FPTL tilida funktsiyalar tarkibining to'rtta oddiy ikkilik operatsiyalari qo'llaniladi, ulardan uchtasi (*, → va Å) parallel va faqat bitta operatsiya - superpozitsiya (•) - ketma-ketlik bilan amalga oshiriladi [10, 11].

Masalan, f (g1 (x), g2 (x)) funktsiyasi va agar p (x), keyin f1 (x) else f2 (x) FPTL da shartli operator (g1 * g2) • f va (p® f1) M (p®f2), bu erda → operatsiya funktsiyalarning shartli tarkibi semantikasiga ega va M kompozitsiyasining ishi ortogonal funktsiyalar grafikalarini birlashtirish semantikasiga ega. Kompozitsiya operatsiyasining semantikasi * funktsiyalar qiymatlari katakchalarini birlashtirish, operatsiya semantikasi • funktsiyalarning superpozitsiyasi.



FPTL funktsiyalar qiymatlarini parallel hisoblash modelida faqat superpozitsiya u qo'llaniladigan funktsiyalar qiymatlarini hisoblashning ketma-ketligini belgilaydi. Qolgan uchta kompozitsion operatsiyalar parallel, shuningdek, M operatsiyasi unga qo'llaniladigan funktsiyalar qiymatlarini parallel yoki kvazaparallel hisoblashni talab qiladi. Yuqoridagi rasmdagi grafik sxemaning bir qismi FPTL tilida quyidagi funktsional ko'rinishga ega: K0 • ((K®K1) • K2Å (ØK®K3) • K4) va uni maksimal parallel K0 • ((K®) shaklga ekvivalent transformatsiyalar bilan kamaytirish mumkin. K1 • K2) Å (ØK®K3 • K4)), bu erda K va ØK 1-rasm grafik diagrammasidagi K komponentaning ikkita chiqishiga mos keladigan ortogonal funktsiyalardir. Parallellik tegishli til konstruktsiyalari bilan ifodalanadigan ko'rib chiqilgan parallel dasturlash tillari, parallellikning aniq spetsifikatsiyasi bo'lgan tillar deb ataladi. Ketma-ket dasturlash tillarida parallelizm yashirin ravishda ifodalanadi va uni amalga oshirish uchun bir tomondan, parallellikni aniqlash uchun parallellashtiruvchi kompilyatorlar, ikkinchidan, ketma-ket dasturlar tarjima qilinadigan parallel dasturlash tillari kerak.

Yüklə 1,84 Mb.

Dostları ilə paylaş:
1   ...   9   10   11   12   13   14   15   16   ...   19




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©genderi.org 2024
rəhbərliyinə müraciət

    Ana səhifə