Matematik asoslar va raqamli modellashtirish usullari

D
= (0, 1,
-1) va yo'nalish vektori d = ("=", "<", ">"). Bizda bor
haqiqiy qaramlik. Parallelizatsiya indeks orqali yoki mumkin
i, yoki k
indeksida (yoki ikkalasida) cheklovlarsiz. Keling, matematik modeldagi sabablarga ko'ra
indeksni parallellashtirish samarali deb hisoblaymiz
k (masalan, to'g'ri muvozanat uchun
hisoblash). Keyin indeksdagi tsikl oxirida
k ijrochilarning to'siq sinxronizatsiyasini talab
qiladi. Ushbu operatsiyani bajarish uchun ma'lum vaqt talab etiladi, bu esa
parallelizatsiya uchun qo'shimcha xarajatlarni oshiradi va natijada tezlashuvni kamaytiradi. Va bunday operatsiyalar
talab qilinadi
u
1
× u
2
.
Shu bilan birga, yuqoridagi uch o'lchamli tsiklda siz o'zgartirishingiz mumkinporyadok
komponentlar ko'chadan (grafik algoritm o'zgartirish holda!):
do j = 1,
u
2
do k = 1,
u
3
do i = 1,
u
1
S:
a[i, j, k] = a[i, j-1, k+1] * 2
enddo
enddo
enddo
KOMPYUTER TADQIQOTLARI VA MODELLASHTIRISH
Algoritmlar va dasturlarni parallelizatsiyalashga kirish
267
Masofa vektori-bu mohiyat
D
= (1,
-1, 0) va yo'nalish vektori d = ("<", ">", "="). Tahlil
parallelizatsiya o'zgarmaydi. Hali ham indeksni parallelizatsiya qilishda
k kerak
ushbu tsikl oxirida to'siqni sinxronlash. Lekin endi faqat talab qilinadi
u
2
bunday
operatsiyalar. Umumiy xarajatlarning qisqarishi va natijada
parallel dasturning samaradorligini oshirish mavjud.
Tsiklning ko'rib chiqilgan konvertatsiyasi
algoritm grafigini o'zgartirmasdan ishlab chiqilgan strukturaning operatorlarini amalga oshirishning dinamik tartibini o'zgartirishga olib keladi va
teng dasturlarni konvertatsiya qilishning bir misolidir.
Aniqlash 1. Ketma-ket dasturning ekvivalent konvertatsiyasi quyidagicha bo'ladi
qo'ng'iroq qiling uning operatorlarining dinamik tartibini o'zgartirish, algoritmning grafigini saqlab qolish.
Endi qaramlik haqidagi asosiy teoremani shakllantirish uchun pishgan