Pipeline Hazard — quvurdagi keyingi buyruq rejalashtirilgan siklda xavfsiz davom eta olmaydigan holat. Sabab operand natijasining tayyor emasligi, kerakli apparat resursining bandligi yoki boshqaruv oqimining hali aniqlanmaganligi bo‘lishi mumkin. Hazard e’tiborsiz qolsa noto‘g‘ri natija, noto‘g‘ri manzildan fetch yoki resurs to‘qnashuvi yuz beradi.
Asosiy toifalar
Data hazard buyruqlar orasidagi ma’lumot bog‘liqligidan keladi. Structural hazard ikki amal bir vaqtda bitta port, xotira yo‘li yoki funksional blokni talab qilganda paydo bo‘ladi. Control hazard branch yoki boshqa o‘tish keyingi program counter’ni o‘zgartirishi mumkinligi sabab yuz beradi. Bu tasnif muammoning manbasini ajratadi, yechimlar esa bir necha qatlamni birga ishlatishi mumkin.
Masalan, birinchi buyruq registrga yozib, ikkinchisi darhol shu registrni o‘qisa, natija hali odatiy yozish bosqichiga yetmagan bo‘lishi mumkin. Forwarding mavjud natijani oraliq bosqichdan uzatadi. Load qiymati kech kelsa, bir yoki bir necha stall zarur bo‘ladi.
Aniqlash mantiqi
In-order quvur registr indekslari va boshqaruv bitlarini taqqoslab hazardni aniqlaydi. Agar oldingi buyruq yozadigan registr keyingi buyruqning haqiqiy manbasi bo‘lsa va qiymat kerakli paytda mavjud bo‘lmasa, quvur ushlab turiladi. Nol registri yoki yozmaydigan buyruq kabi maxsus holatlar noto‘g‘ri hazard hisoblanmasligi kerak.
Out-of-order yadro registr nomini o‘zgartirib soxta bog‘liqliklarni bartaraf etadi va faqat haqiqiy ishlab chiqaruvchi natijasini kutadi. Issue queue operand teglarini kuzatadi. Shunday bo‘lsa-da, bajarish portlari, xotira manzillari va commit tartibi yangi turdagi resurs cheklovlarini yaratadi.
Boshqaruv va tuzilma muammolari
Branch natijasi ma’lum bo‘lguncha fetchni to‘xtatish to‘g‘ri, ammo sekin yondashuvdir. Branch prediction taxminiy yo‘ldan ishlashni boshlaydi. Xato taxmin quvurni tozalash jarimasiga ega, to‘g‘ri taxmin esa hazardning ko‘rinadigan xarajatini kamaytiradi.
Structural hazard apparatni ko‘paytirish, portlash yoki so‘rovlarni navbatlash bilan boshqariladi. Alohida instruction va data kesh bir vaqtda fetch hamda load qilish imkonini beradi. Lekin ko‘proq port maydon, energiya va murakkab arbitraj talab qiladi; har resursni takrorlash iqtisodiy emas.
Dasturiy ta’sir
Kompilyator mustaqil buyruqlarni hazard oralig‘iga joylab, stallni yashirishi mumkin. Instruction Scheduling aynan ma’lumot bog‘liqligini buzmasdan tartibni tanlaydi. Zamonaviy tartibsiz yadro ko‘p rejalashtirishni apparatda qilsa ham, uzun qaram zanjir va port bosimi dastur tuzilishiga bog‘liq qoladi.
Hazard ISA bo‘yicha xato emas; u mikroarxitektura hal qilishi kerak bo‘lgan vaqt muammosidir. Dastur bir xil natija olishi shart, faqat bajarilish tezligi farq qiladi. Istisno holati va xotira modeli kabi me’moriy qoidalar hazard yechimlari bilan buzilmasligi kerak.
Verifikatsiyada hazardlar ayniqsa chegaraviy ketma-ketliklar bilan sinovdan o‘tadi: bir registrga ketma-ket yozish, load ortidan branch, bir vaqtda kesh miss va interrupt, hamda noto‘g‘ri bashorat ortidagi istisno. Tasodifiy buyruq generatori etalon tartibli model natijasi bilan quvur natijasini solishtiradi. Unumdorlik uchun joriy qilingan bypass yoki spekulyatsiya kam uchraydigan holatda eski qiymatni uzatmasligi va bekor qilingan buyruqning yon ta’sirini qoldirmasligi zarur.
Formal xossa operand ishlatilgan siklda eng yangi ruxsat etilgan qiymat tanlanganini ifodalashi mumkin. U testda tasodifan uchramagan boshqaruv kombinatsiyalarini ham tekshiradi, ammo modeldagi taxminlar haqiqiy bypass va stall signallariga to‘liq mos bo‘lishi zarur.
Bog‘liq tushunchalar
data hazard, structural hazard, control hazard, forwarding, pipeline stall, branch prediction