Instruction Pointer — protsessorning joriy yoki navbatdagi bajariladigan mashina buyrug‘i manzilini ifodalovchi maxsus registr. U ko‘plab arxitekturalarda Program Counter deb ataladi. Ketma-ket bajarishda qiymat buyruq uzunligiga oshadi; branch, jump, call, return, interrupt va exception uni boshqa manzilga o‘zgartiradi.
Me’moriy ma’no
“Joriy” manzil aniq qaysi nuqtani anglatishi ISAga bog‘liq. Ba’zi buyruq instruction pointer’ni operand sifatida o‘qiganda o‘z manzilini, boshqasida pipeline sabab undan keyingi manzilni ko‘rishi mumkin. Position-independent kod PC-relative adreslashdan foydalanib, global ma’lumot yoki yaqin branch nishonini joriy manzilga siljish orqali topadi.
O‘zgaruvchan uzunlikdagi ISAda keyingi ketma-ket qiymat dekodlangan buyruq baytlari soniga bog‘liq. Qat’iy uzunlikdagi kodda oddiy doimiy qo‘shiladi. Tekislanmagan yoki bajarish ruxsati yo‘q manzilga o‘tish exception hosil qiladi.
Quvur va spekulyatsiya
Zamonaviy protsessorda bitta fizik instruction pointer yetarli emas. Fetch predictor taxmin qilgan PC bo‘yicha oldinga yuradi, reorder buffer’da esa ko‘p dinamik buyruqning manzili saqlanadi. Commit nuqtasi me’moriy aniq holatni belgilaydi. Noto‘g‘ri branchda spekulyativ pointer tashlanib, haqiqiy nishondan fetch qayta boshlanadi.
Exception’da saqlanadigan manzil xatoli buyruqni qayta bajarish kerakmi yoki undan keyin davom etish kerakligiga bog‘liq. Page fault odatda xatoli load/store’ni qayta boshlash uchun uning PC’sini saqlaydi. Trap yoki system call esa kelishuv bo‘yicha keyingi manzilni yozishi mumkin.
Call va stack
Call instruction qaytish uchun keyingi instruction pointer qiymatini stack yoki Link Register’da saqlaydi. Return shu qiymatni qayta PCga yuklaydi. Buffer overflow qaytish manzilini buzsa boshqaruv oqimi egallanishi mumkin; shadow stack va control-flow integrity himoya beradi.
Debugger breakpoint manzildagi buyruqni trap bilan almashtiradi yoki apparat breakpoint registridan foydalanadi. Trap yuz berganda saqlangan PC debuggerga qaysi instruction to‘xtaganini ko‘rsatadi. O‘zgaruvchan uzunlikda original buyruq chegarasini to‘g‘ri saqlash muhim.
Xavfsizlik va manzil makoni
Instruction pointer qiymati virtual manzildir va instruction TLB orqali tarjima qilinadi. Sahifa executable bo‘lishi kerak; write va execute ruxsatlarini bir vaqtda bermaslik kod kiritish xavfini kamaytiradi. Address Space Layout Randomization kod bazasini o‘zgartirib, hujumchining aniq nishonni bilishini qiyinlashtiradi.
PC oddiy umumiy registr sifatida yozilmasa ham, branch oilasi uni nazoratli ravishda o‘zgartiradi. Arxitektura ruxsat etgan barcha o‘tishlar instruction boundary, privilege va canonical-address qoidalaridan o‘tadi.
Namuna olish va profil
Sampling profiler timer interrupt vaqtida saqlangan instruction pointer’ni yig‘ib, qaysi kod hududida ko‘p vaqt o‘tganini hisoblaydi. Namuna aynan uzoq instruction yoki undan keyingi nuqtaga tegishli ko‘rinishi apparatning precise-event xususiyatiga bog‘liq. Branch trace ketma-ket PC o‘rniga control-flow o‘tishlarini siqilgan shaklda qayd etishi mumkin.
JIT compiler dinamik kod manzillarini profiler va debuggerga ro‘yxatdan o‘tkazadi. Kod qayta kompilyatsiya yoki ko‘chirish bilan almashtirilsa, eski PC diapazoni qaysi manba funksiyasiga tegishli bo‘lganini vaqt belgisi bilan saqlash zarur. Aks holda crash dump noto‘g‘ri symbolga yechiladi.
Exception frame’dagi pointer talqini hodisa turiga bog‘liq: ayrim arxitekturalar xatoli instruction manzilini, boshqalari undan keyingi manzilni saqlaydi. Handler qayta boshlash yoki signal yetkazishda ISA qoidasiga amal qiladi; ko‘r-ko‘rona inkrement instruction uzunligi o‘zgaruvchan tizimda xato bo‘ladi.
Bog‘liq tushunchalar
program counter, branch instruction, call instruction, return address, instruction fetch, executable memory