Matematik asoslar va raqamli modellashtirish usullari

Qabul qilish 1. Tsiklni ajratish
(loop distribution)
Keyingi tsiklni oling
do i = 1, u
S
1
:
a[i] = d[i] + 5 * i
S
2
:
c[i] = a[i-1] * 2
enddo
Ushbu tsikl uchun qaramlik masofasi 1 ekanligini ko'rish oson, shuning uchun biz
eng yomon versiyada haqiqiy giyohvandlik bilan shug'ullanmoqdamiz. Nazariyaga ko'ra, bunday tsikl
parallel emas. Biz dasturning ekvivalent transformatsiyasiga murojaat qilamiz va tsiklni ikki
tsiklga aylantiramiz:
do i = 1, u
S
1
:
a[i] = d[i] + 5 * i
enddo
do i = 1, u
S
2
:
c[i] = a[i-1] * 2
enddo
Bunday konvertatsiya butun dastur operatorlari o'rtasidagi bog'liqlikni o'zgartirmaydi,
shuning uchun bu joizdir. Shu bilan birga, olingan tsikllarning har biri hech
qanday qaramlikka ega emas va cheklovlarsiz mavjud bo'lishi mumkin. Albatta, tsikllar orasidagi to'siqni
sinxronlashtirishni eslab qolish kerak.

Dastlabki tsiklda operatorlar o'rtasida haqiqiy bog'liqlik yo'q (hech qanday rekursiv qaramlik yo'q) bo'lsa, tsikldagi operatorlarning ikkita to'plami ikki tsiklda taqsimlanishi mumkin.

Ikki operator uchun bu degani, u mavjud bo'lmasligi kerak va
1
, κ
2
, λ
1
,
λ
2
, bu nima
S
κ
1
1
δ
S
λ
1
2
va
S
κ
2
2
δ
S
λ
2
1
. Misol uchun, tsikl uchun
do i = 1, u
S
1
:
a[i] = с[i-1] + 5 * i
S
2
:
c[i] = a[i-1] * 2
enddo
ushbu texnikadan foydalana olmaysiz.
Tsiklning ajratilishi granularlikni oshiradidekompozitsiya va
to'siqni sinxronlashni joriy etishni talab qiladi — bu parallelizatsiya qilish imkoniyatini to'laydigan muqarrar qo'shimcha xarajatlar
.