Loopga bog'liqlikni tahlil qilish - Loop dependence analysis - Wikipedia

Loopga bog'liqlikni tahlil qilish iboralar orasidagi turli xil munosabatlarni aniqlash maqsadida tsiklning takrorlanishidan bog'liqliklarni topish uchun ishlatilishi mumkin bo'lgan jarayon. Ushbu bog'liq munosabatlar turli xil bayonotlarning xotira joylariga kirish tartibiga bog'liq. Ushbu munosabatlarning tahlilidan foydalanib, ko'chadan bajarilishini bir necha bor bajarilishini tashkil qilish mumkin protsessorlar parallel ravishda tsiklning turli qismlarida ishlash. Bu sifatida tanilgan parallel ishlov berish. Umuman olganda, ko'chadan ko'p iste'mol qilishi mumkin ishlov berish vaqti sifatida bajarilganda seriya kodi. Parallel ishlov berish orqali ishlov berish yukini bir nechta protsessorlar o'rtasida bo'lishish orqali dasturning umumiy bajarilish vaqtini qisqartirish mumkin.

Bir nechta protsessorlarga tsiklning turli qismlarida ishlashiga imkon beradigan bayonotlarni tashkil etish jarayoni ko'pincha deyiladi parallellashtirish. Parallellashtirishdan qanday foydalanishimiz mumkinligini bilish uchun avvalo individual ko'chadan bog'liqliklarni tahlil qilishimiz kerak. Ushbu bog'liqliklar tsikldagi qaysi bayonotlarni boshqa bayonotlar boshlashdan oldin to'ldirish kerakligini va tsikldagi qaysi bayonotlarni tsikldagi boshqa bayonotlarga nisbatan parallel ravishda bajarilishini aniqlashga yordam beradi. Ko'chadan tahlil qilinadigan ikkita umumiy toifadagi toifalar ma'lumotlar bog'liqliklari va bog'liqliklarni boshqarish.

Tavsif

Loopga bog'liqlik tahlili a normalizatsiya qilingan pastadir shakl:


men uchun1 Ugacha1 men uchun qil2 Ugacha2 qil ... men uchunn Ugachan qil tanasi    qilingan donedone


qayerda tanasi quyidagilarni o'z ichiga olishi mumkin:


S1 a [f1(men1, ..., menn), ..., fm(men1, ..., menn)]: = ... ... S2 ...: = a [h1(men1, ..., menn), ..., hm(men1, ..., menn)]


Qaerda a m o'lchovli massiv va fn, hnva boshqalar - bu barcha iteratsiya indekslaridan xaritalash funktsiyalari (in) massivning ma'lum bir o'lchamidagi xotiraga kirish uchun.

Masalan, C:

uchun (men = 0; men < U1; men++)  uchun (j = 0; j < U2; j++)    a[men+4-j] = b[2*men-j] + men*j;

f1 bo'lardi i + 4-j, ning birinchi o'lchamiga yozishni boshqarish a va h2 bo'lardi 2 * i-j, birinchi o'lchamdagi o'qishni boshqarish b.

Muammoning ko'lami shu bilan bog'liq bo'lgan barcha bog'liqliklarni topishdir S1 va S2. Konservativ bo'lish uchun yolg'onligini isbotlab bo'lmaydigan har qanday qaramlik haqiqat deb qabul qilinishi kerak.

Mustaqillik ikki misol bo'lmasligini namoyish etish orqali namoyon bo'ladi S1 va S2 qatordagi bir xil joyga kirish yoki o'zgartirish a. Mumkin bo'lgan bog'liqlik aniqlanganda, pastadirga bog'liqlik tahlili odatda qaram bo'lgan holatlar o'rtasidagi munosabatni tavsiflash uchun har qanday urinishni amalga oshiradi, chunki ba'zi optimallashtirishlar hali ham mumkin bo'lishi mumkin. Buning iloji ham bo'lishi mumkin o'zgartirish bog'liqlikni olib tashlash yoki o'zgartirish uchun pastadir.

Bunday bog'liqliklarni (dis) isbotlash jarayonida bayonot S qaysi iteratsiyadan kelib chiqqan holda ajralib chiqishi mumkin. Masalan; misol uchun, S[1,3,5] bu erda takrorlanishni anglatadi i1 = 1, i2 = 3 va i3 = 5. Albatta, kabi mavhum takrorlashlarga havolalar S[d1+1,d2,d3], ham ruxsat berilgan, ham keng tarqalgan.

Ma'lumotlarga bog'liqlik

Ma'lumotlarga bog'liqlik koddagi o'zgaruvchilar o'rtasidagi munosabatlarni ko'rsatadi. Ma'lumotlarga bog'liqlikning uch xil turi mavjud:

  • Haqiqiy qaramlik (ba'zan oqimga bog'liqlik deb ataladi)
  • Qaramlikka qarshi
  • Chiqarishga bog'liqlik

Haqiqiy qaramlik

A haqiqiy qaramlik xotiradagi joy o'qilmasdan oldin yozilganida paydo bo'ladi.[1][2][3] U tanishtiradi yozishdan keyin o'qish (RAW) xavflari chunki xotiradagi joydan o'qiydigan ko'rsatma oldingi ko'rsatma tomonidan yozilguncha kutish kerak, aks holda o'qish ko'rsatmasi noto'g'ri qiymatni o'qiydi.[2] Haqiqiy qaramlikning misoli:

 S1: a = 5; S2: b = a;

Ushbu misolda S1 va S2 o'rtasida haqiqiy bog'liqlik mavjud, chunki a o'zgaruvchisi avval S1 bayonotida yoziladi, so'ngra a o'zgaruvchisi S2 ifodasi bilan o'qiladi va bu haqiqiy bog'liqlikni S1 → T S2 bilan ifodalash mumkin.

Haqiqiy bog'liqlikni ko'chadan turli xil takrorlashlar o'rtasida o'qish va yozishda ham ko'rish mumkin. Quyidagi misol turli xil takrorlashlar orasidagi haqiqiy bog'liqlikni ko'rsatadi.

 uchun(j = 1; j < n; j++)    S1: a[j] = a[j-1];

Ushbu misolda haqiqiy bog'liqlik j-takrorlashda S1 va j + 1-chi takrorlashda S1 so'zlari orasida mavjud. Haqiqiy bog'liqlik mavjud, chunki qiymat bitta takrorlashda [j] ga yoziladi, so'ngra o'qish keyingi takrorlashda [j-1] bilan sodir bo'ladi. Ushbu haqiqiy bog'liqlikni S1 [j] → T S1 [j + 1] bilan ifodalash mumkin.

Qarama-qarshilik

An qaramlikka qarshi xotirada joylashgan joy shu joyga yozilishidan oldin o'qilganda sodir bo'ladi.[1][2][3] Bu tanishtiradi o'qishdan keyin yozish (urush) xavfi chunki ma'lumotni xotira joyiga yozadigan ko'rsatma ushbu ko'rsatma oldingi ko'rsatma tomonidan o'qilguncha kutish kerak yoki aks holda o'qish ko'rsatmasi noto'g'ri qiymatni o'qiydi.[2] Qarama-qarshilikka misol:

 S1: a = b; S2: b = 5;

Ushbu misolda S1 va S2 iboralar o'rtasida anti-qaramlik mavjud. Bu anti-qaramlik, chunki b o'zgaruvchisi avval S1 bayonotida o'qiladi, so'ngra o'zgaruvchisi S2 bayonotida yoziladi. Bu S1 → A S2 bilan ifodalanishi mumkin. Qarama-qarshi bog'liqlikni tsikldagi har xil takrorlashlar orqali ko'rish mumkin. Quyidagi misolda ushbu holatga misol keltirilgan:

 uchun(j = 0; j < n; j++)    S1: b[j] = b[j+1];

Ushbu misolda S1 ning j-chi takrorlanishi va S1-ning j + 1-chi elementi o'rtasida antip qaramlik mavjud. Bu erda j + 1-element j ning keyingi takrorlanishida shu element yozilishidan oldin o'qiladi. Ushbu qaramlik S1 [j] → A S1 [j + 1] bilan ifodalanishi mumkin.

Chiqarishga bog'liqlik

An chiqishga bog'liqlik xotirada joylashgan joy boshqa bir bayonotda yana o'sha joyga yozilishidan oldin yozilganida sodir bo'ladi.[1][2][3] Bu tanishtiradi yozishdan keyin yozish (WAW) xavflari chunki qiymatni xotira joyiga yozish uchun ikkinchi ko'rsatma birinchi ko'rsatma bir xil xotira joyiga ma'lumotlarni yozishni tugatguncha kutish kerak, yoki keyinchalik xotira joylashuvi o'qilganda u noto'g'ri qiymatga ega bo'ladi.[2] Chiqishga bog'liqlikning misoli:

  S1: v = 8;   S2: v = 15;

Ushbu misolda S1 va S2 bayonotlar o'rtasida chiqishga bog'liqlik mavjud. Bu erda c o'zgaruvchisi avval S1 ga, so'ngra S o'zgaruvchisi yana S2 bayonotiga yoziladi. Ushbu chiqishga bog'liqlik S1 → O S2 bilan ifodalanishi mumkin. Chiqarishga bog'liqlikni tsikldagi turli xil takrorlashlar orqali ko'rish mumkin. Quyidagi kod parchasi ushbu ishning namunasini ko'rsatadi:

 uchun(j = 0; j < n; j++)    S1: v[j] = j;      S2: v[j+1] = 5;

Ushbu misolda S1 dagi j element va S2 dagi j + 1 element o'rtasidagi chiqish bog'liqligi mavjud. Bu erda S2 bayonotidagi c [j + 1] bitta takrorlanishga yozilgan. Keyingi takrorlashda oldingi takrorlashda c [j + 1] bilan bir xil xotirada joylashgan S2 bayonotidagi c [j] yana yoziladi. Ushbu chiqishga bog'liqlik S1 [j] → O S2 [j + 1] sifatida ifodalanishi mumkin.

Nazoratga bog'liqlik

Ko'chadan turli xil bayonotlar orasidagi bog'liqliklarni tahlil qilishda boshqaruvga bog'liqliklarni ham hisobga olish kerak. Boshqaruvga bog'liqlik - bu kod yoki dasturlash algoritmining o'zi tomonidan kiritilgan bog'liqliklar. Ular kod bajarilishida ko'rsatmalar paydo bo'lish tartibini boshqaradi.[4] Umumiy misollardan biri "agar" iborasi. "agar" so'zlari dasturda filiallarni yaratadi. "If" iborasining "then" qismi aniq bajariladigan harakatlarni boshqaradi yoki boshqaradi.[3]

 // Kod bloki 1 (To'g'ri) // Kod bloki 2 (To'g'ri) // Kod bloki 3 (To'g'ri) agar (a == b) keyin {                 agar (a == b) keyin {                 agar (a == b) keyin {                   v = "boshqariladigan";               }                                     v = "boshqariladigan"; }                                  v = "boshqariladigan";                     d = "boshqarilmaydi"; d = "boshqarilmaydi";              d = "boshqarilmaydi";              }

Ushbu misolda boshqaruv oqimidagi cheklovlar tasvirlangan. 1-kod bloki C dasturlash tilida if ifodasini ishlatishda to'g'ri tartibni ko'rsatadi. 2-kod bloki if iborasi tomonidan boshqarilishi kerak bo'lgan bayonot endi u tomonidan nazorat qilinmaydigan muammoni aks ettiradi. 3-kod bloki "if" iborasi tomonidan boshqarilishi kerak bo'lmagan bayonot endi uning nazorati ostiga ko'chirilgan muammoni tasvirlaydi. Ushbu ikkala imkoniyatning ikkalasi ham dasturning noto'g'ri bajarilishini keltirib chiqarishi mumkin va ushbu bayonotlarni tsikl ichida parallellashtirishda e'tiborga olish kerak.

Ko'chadan o'tkaziladigan qaramlik va tsiklning mustaqil bog'liqligi

Loop orqali olib boriladigan bog'liqliklar va tsiklga bog'liq bo'lmagan bog'liqliklar tsiklning takrorlanishidagi bayonotlar o'rtasidagi munosabatlar bilan belgilanadi. Agar tsiklning bitta takrorlanishidagi bayonot qandaydir tarzda bir xil tsiklning boshqa takrorlanishidagi bayonotga bog'liq bo'lsa, tsikl orqali olib boriladigan bog'liqlik mavjud.[1][2][3] Ammo, agar tsiklning bitta takrorlanishidagi bayonot faqat tsiklning bir xil takrorlanishidagi bayonotga bog'liq bo'lsa, bu tsiklning mustaqil qaramligini hosil qiladi.[1][2][3]

 // Kod bloki 1 // Kod bloki 2 uchun (men = 0; men < 4; men++)                               uchun (men = 0; men < 4; men++)    S1: b[men] = 8;                                           S1: b[men] = 8;    S2: a[men] = b[men-1] + 10;                                 S2: a[men] = b[men] + 10;

Ushbu misolda kod bloki 1 S2 iborasi i va S1 iborasi i-1 o'rtasidagi tsiklga bog'liqlikni ko'rsatadi. Bu avvalgi iteratsiyadagi S1 iborasi tugamaguncha S2 bayonoti davom eta olmaydi degani. 2-kod bloki bir xil iteratsiyada S1 va S2 iboralar orasidagi ko'chadan mustaqil bog'liqlikni ko'rsatadi.

Loop orqali olib boriladigan bog'liqlik va iteratsiya maydonining o'tish grafiklari

Iteratsion kosmik o'tish grafiklari (ITG) tsiklning takrorlanishlari orqali o'tishda kod bosib o'tadigan yo'lni ko'rsatadi.[1] Har bir takrorlash tugun bilan ifodalanadi. Ko'chirilgan qaramlik grafikalari (LDG) tsikldagi har xil takrorlanishlar o'rtasida mavjud bo'lgan barcha haqiqiy bog'liqliklarni, anti-bog'liqliklarni va chiqishga bog'liqlikni ingl.[1] Har bir takrorlash tugun bilan ifodalanadi.

Nest for loop yordamida ikkala grafik orasidagi farqni ko'rsatish osonroq.

 uchun (men = 0; men < 4; men++)    uchun (j = 0; j < 4; j++)       S1: a[men][j] = a[men][j-1] * x;

Ushbu misolda S1 bayonotining j takrorlanishi va S1 ning j + 1-sonli bayonlari o'rtasida haqiqiy bog'liqlik mavjud. Bu S1 [i, j] → T S1 [i, j + 1] sifatida ifodalanishi mumkin, iteratsiya oralig'ining o'tish grafigi va ko'chadan bog'liqlik grafigi quyidagicha: Qaytish oralig'ining harakatlanish grafigi: ko'chadan bog'liqlik grafigi:

Ko'chadan o'tkaziladigan qaramlik grafigi (LDG)
Iteratsion-kosmik o'tish grafigi (ITG)


Shuningdek qarang

Adabiyotlar

  1. ^ a b v d e f g Solihin, Yan (2016). Parallel kompyuter arxitekturasi asoslari: ko'p tarmoqli va ko'p yadroli tizimlar. [Amerika Qo'shma Shtatlari?]: Solihin Pub. ISBN  978-1-4822-1118-4.
  2. ^ a b v d e f g h Devan, Pradip; Kamat, R.K. (2014). "Sharh - kompilyatorni parallellashtirish uchun LOOP bog'liqligini tahlil qilish". Xalqaro kompyuter fanlari va axborot texnologiyalari jurnali. 5.
  3. ^ a b v d e f Jon, Xennessi; Patterson, Devid (2012). Kompyuter arxitekturasi miqdoriy yondashuv. Wyman Street, 225, Waltham, MA 02451, AQSh: Morgan Kaufmann Publishers. 152-156 betlar. doi:10.1016 / B978-0-12-383872-8.00003-3 (nofaol 2020-11-11). ISBN  978-0-12-383872-8.CS1 tarmog'i: joylashuvi (havola) CS1 maint: DOI 2020 yil noyabr holatiga ko'ra faol emas (havola)
  4. ^ Allen, J. R .; Kennedi, Ken; Porterfild, Kerri; Uorren, Djo (1983-01-01). "Nazoratga bog'liqlikni ma'lumotlarga bog'liqlikka aylantirish". Dasturlash tillari asoslari bo'yicha 10-ACM SIGACT-SIGPLAN simpoziumi materiallari.. POPL '83. Nyu-York, Nyu-York, AQSh: ACM: 177-189. doi:10.1145/567067.567085. ISBN  0897910907. S2CID  39279813.