Raqamli texnologiyalar vazirligi muhammadal-xorazmiy nomidagi

1.2. Parallel kompyuterlarning dasturiy taminoti
Arxitekturani takomillashtirish bilan bir qatorda parallel kompyuterlarning dasturiy ta'minoti ham rivojlanib bormoqda. Amaliyot shuni ko'rsatdiki, parallel hisoblash tizimlari apparat va dasturiy ta'minot qismlarining rivojlanishini birbiridan alohida-alohida ko'rib bo'lmaydi. Qismlarning biridagi yangilik, ikkinchisidagi o'zgarishga olib keladi. Hozirda bizni avvalo parallel dasturlash texnologiyalari sohasidagi o'zgarishlar qiziqtiradi. Albatta, zamonaviy dasturiy ta'minot ishlab chiqish ixt iyorida nafaqat Fortran yoki assembler bor, balki ko'p boshqa tizimlar va dasturlash tillari yaratildi. Shu bilan birga, ayni paytda, samarali parallel dasturiy ta'minot ishlab chiqish muammosi umumiy parallel hisoblashning asosiy muammosiga aylandi.
Ta’kidlash joizki, mahsus izohlardan foydalanish nafaqat parallel bajarish imkoniyatini beradi, balki dasturning asl versiyasini to’liq saqlab qoladi. Amalda, u juda qulay - kompilyator parallelizm haqida hech narsa bilmasa, barcha mahsus izohlarni semantik ketma ketlikni saqlab qolgan holda o’tkazib yuboradi.
Parallel dasturlar tuzish uchun izohlardan foydalanishdan tashqari, tez-tez. mavjud dasturlash tillari kengaytirishni qo’llashadi. Qu’shimcha operatorlar va foydalanuvchiga dasturning parallel tuzilmasini aniq belgilash va ayrim hollarda parallel dasturni bajarishni boshqarish imkonini beruvchi o’zgaruvchilarni ifodalovchi yangi elementlar kiritiladi. Shunday qilib, High Performance Fortran (HPF) til, an'anaviy FORTRAN operatorlari va mahsus izohlar tizimiga qo'shimcha ravishda, dasturning parallel sikllarini ifodalash uchun kiritilgan yangi forall operatorini o`z ichiga oladi.
Agar parallel tizimlar arxitekturasi o’ziga hosliligini, yoki ayrim mavzu doirasining ba’zi bir vazifa turining hususiyatlarini aniq ifodalash kerak bo’lsa, unda parallel dasturlashning mahsus tillaridan foydalaniladi. Transputer - parallel hisoblash uchun mo'ljallangan. Transputer tizimlarini dasturlash uchun Occam tili tashkil etilgan, Konveyer mashinalarini dasturlash uchun, birlamchi belgilash tili Sisal loyihalashtirilgan.
Massiv parallel kompyuterlar kelishi bilan parallel jarayonlarni o'zaro qo'llab-quvvatlash kutubxonalar va interfeyslarni keng tarqalib kelmoqda. Ushbu yo’nalishning tipik vakili Message Passing Interface (MPI) interfeysidir, va uning amalga oshirilishi deyarli har bir parallel platformada, vector-konveyerli superkompyuterdan boshlab shahsiy kompyuterlarning klasterlari vs tizimlarigacha mavjud. Dasturlovchi dasturning qaysi joyida ilovaning qanday parallel jarayonlari, qaysi jarayonlar bilan ma’lumot almashish yoki o’z ishini sinhronizatsiyalashi kerakligini o'zi aniq belgilaydi.
Parallel hisoblash tizimi (HT) deb ko’pgina apparat (hardware), oraliq dastur (middleware) va amaliy dastur (software) o’zaro aloqali ta’minotining elementlari tushuniladi. Ushbu elementlar yuqori samarali parallel hisoblashlarni o’tkazish maqsadida birlashgan.
Oraliq dasturiy ta’minot atamasi juda turg’un hisoblanadi, shu bilan birga undan turli tushunchalarni ta’minlashda foydalaniladi. Umuman olganda, PPO(amaliy xavfsizlik dasturi) dasturiy ta’minotning turi hisoblanadi, bunda uni ilovalar va resurslar o’rtasidagi (Amaliy dasturlash interfeysi) API deb atash mumkin, va u dasturning to’g’ri ishlashi uchun zarurdir. Bundan kelib chiqadiki, ilovalarning bir-biri bilan yoki resurslar bilan o’zaro jarayonini soddalshtirish imkonini beradigan har qanday dasturiy ta’minot oraliq deb atalishi mumkin.
Parallel hisoblash tizimida bir yoki bir necha hisoblash tugunlarida bir yoki bir nechta dasturiy komponentlari bo'lishi mumkin. Tizim bir kompyuter tizimi sifatida paydo bulishi uchun, bu qismlar o'zaro aloqalarni qo'llab-quvvatlashi kerak. Oraliq dasturiy ta’minotning asosiy roli shundaki, ushbu vazifalarni soddalashtirish va parallel taqsimlangan hisoblash-tizimlari komponentlarini o'zaro ta’sirini qurilishida amaliy dasturchilar tomonidan qo’llaniladigan abstrakstiyalarni ta’minlashdir.
An'anaviy dasturlash tillari va maxsus izohlardan foydalanish asosida umumiy xotira kompyuterlari uchun eng mashhur dasturiy vositalaridan biri hozirda OpenMP texnologiyasidir. Vaqtinchalik dastur asos sifatida olinadi va parallel versiyasini yaratadi, foydalanuvchi bir qator dir direktivalari, funktsiyalari va atrof-muhit o'zgaruvchilari bilan ta'minlanadi. Yaratilgan parallel dastur OpenMP API-ni qo'llab-quvvatlaydigan turli xil umumiy xotira kompyuterlari o'rtasida ko'chma bo'ladi deb taxmin qilinadi. OpenMP texnologiyasi foydalanuvchi dasturning parallel va ketma-ket ijro etilishi uchun dasturning bitta versiyasiga ega bo'lishini ta'minlashni maqsad qiladi. Biroq, faqat parallel rejimda to'g'ri ishlashi yoki ketma-ket rejimda boshqa natija beradigan dasturlarni yaratish mumkin. Bundan tashqari, yaxlitlash xatolarining to'planishi tufayli turli xil ish zarrachalaridan foydalangan holda hisoblash natijalari ayrim hollarda farq qilishi mumkin. Ushbu standart OpenMP ARB notijorat tashkiloti tomonidan ishlab chiqilgan (Arxitektura tadqiqoti kengashi), bu SMP-arxitektura va dasturiy ta'minotni ishlab chiqaruvchi yirik kompaniyalarning vakillari hisoblanadi. OpenMP FORTRAN va C / C ++ tillari bilan ishlashni qo'llab-quvvatlaydi. Fortran tilining birinchi spetsifikatsiyasi oktyabr 1997-yilda va C / C ++ tilining 1998 yil oktyabrida paydo bo'lishi. Hozirgi vaqtda eng so'nggi rasmiy standart spetsifikatsiya OpenMP 3.0 (2008 yil may oyida qabul qilingan). OpenMP interfeysi umumiy xotira modelida kengaytiriladigan SMP tizimlarida (SSMP, ccNUMA va boshqalar) dasturiy uchun standart sifatida mo'ljallangan. OpenMP standarti kompilyator direktiflari, yordamchi funktsiyalar va atrof-muhit o'zgaruvchilari uchun spetsifikatsiyalarni o'z ichiga oladi. OpenMP "master" (master) ish zarrachalar majmuasini "qul" (thread) toifalarini hosil qiladigan va ular orasidagi vazifa taqsimlangan multithreading yordamida parallel hisoblashni amalga oshiradi. Bir vaqtning o'zida bir nechta protsessorli mashinada parallel ishlaydi va protsessorlarning soni ish zarrachalar soniga teng yoki teng bo'lmasligi kerak. POSIX interfeysi (Pthreads) deyarli barcha UNIX tizimlarida qo'llabquvvatlanadi, biroq ko'plab sabablarga ko'ra amaliy parallel dasturlash uchun mos emas: Fortranni qo'llab-quvvatlamaydi, dasturlash darajasi juda past, parallelizmga mos kelmaydi. va iplar mexanizmi aslida parallelizmni tashkil qilish uchun mo'ljallangan emas edi. OpenMP'ni Pthreads (yoki shunga o'xshash yozuvlar kutubxonalari) orqali yuqori darajadagi qo'shimcha sifatida o'ylash mumkin; OpenMP terminologiyani va parallel hisoblashga yaqin bo'lgan dasturiy modelini, masalan, dinamik ravishda yaratilgan ish zarrachalarini, ma'lumotlarni va sinxronlashtirish uchun "lock" mexanizmidan foydalanadi. OpenMP texnologiyasining muhim ustunligi dasturiy vosita dasturda parallellik manbasini o'z ichiga olgan bo'limlarni asta-sekinlik bilan topib, taqdim etilgan mexanizmlardan foydalangan holda ketma-ket dasturlashni amalga oshirish imkoniyati bo'lib, ularni parallel qiladi va keyinchalik quyidagi bo'limlarni tahlil qilishga o'tadi. Shunday qilib, dasturda parallel bo'lak asta-sekin kamayadi. Ushbu yondashuv ketma-ketlikdagi dasturlarni parallel kompyuterlarga moslashtirish jarayonini, shuningdek disk ma’lumotlarni uzatish va optimallashni osonlashtiradi.
OpenMP da parallelizatsiya dasturiy matnga maxsus ko'rsatmalar kiritilishi va yordamchi funktsiyalarni chaqirish orqali aniq amalga oshiriladi. OpenMP dan foydalanilganda, parallel dasturlashtirilgan SPMD (Single Program Multiple Data) parallel dasturiy modeli qabul qilinadi, uning ichida bir xil kod barcha parallel iplar uchun ishlatiladi. Dastur navbatdagi maydon bilan boshlanadi - birinchi navbatda, birinchi jarayon, parallel maydonga kirgandan keyin yana bir necha protsedura hosil bo'ladi, bu kodning ayrim qismlari o'rtasida taqsimlanadi. Parallel hisoblash tugagandan so'ng, bittadan tashqari barcha qismlar tugatiladi va navbatdagi jarayon boshlanadi. Dastur parallel va navbatdagi hududlarning har qanday sonini bo'lishi mumkin.