Maʼlumotlar bogʻliqligi. Informatika fanidagi maʼlumotlarga bogʻliqlik – dasturning keyingi buyrugʻi oldingi har qanday buyruqqa bogʻliq boʻlgan holat. Kompilyatsiya nazariyasida bogʻliqlikni aniqlash usuli "bogʻliqlikning tahlili" deb ataladi. Bogʻliqlarning uch turi mavjud: maʼlumotlarga bogʻliqlik, nomga bogʻliqlik va boshqaruvga bogʻliqlik. Maʼlumotlarga bogʻliqliklar. Agar quyidagi shartlardan kamida bittasi bajarilsa, 2-jamoa 1-jamoaga maʼlumotlarga bogʻliqligini aytamiz: Agar buyruqlar maʼlumotlarga bogʻliq boʻlsa, ularni bir vaqtning oʻzida bajarib boʻlmaydi. Ushbu buyruqlarning bir vaqtning oʻzida bajarilishi bir -birining ustiga chiqishni yoʻq qilishni taʼminlaydigan ichki quvurlarni blokirovka qilish sxemalari boʻlgan baʼzi bir mashinani yaratishni talab qiladi. Ichki qulflari boʻlmagan mashinada "kompilyator" toʻliq mos keladigan bogʻliq koʻrsatmalarni rejalashtira olmaydi. Aks holda, dastur toʻgʻri ishlamaydi. Nomi boʻyicha bogʻliqliklar. Keyingi turdagi bogʻliqlik – bu nomga bogʻliqlik. Bu bogʻliqliklar buyruqlar bir xil nomdan foydalanganda (registr, xotira joylashuvi), lekin buyruqlar oʻrtasida "maʼlumot uzatish" boʻlmaganda paydo boʻladi. 1 va 2 buyruqlar oʻrtasida nomga bogʻliqlikning ikki turi mavjud: Ushbu ikki turdagi bogʻliqliklar bogʻliqlik deb ataladi, chunki maʼlumotlarga bogʻliqlikdan farqli oʻlaroq, ular maʼlumotlarni bir buyruqdan boshqasiga oʻtkazmaydi. Bu shuni anglatadiki, nomga bogʻliqlik bilan bogʻlangan buyruqlar birgalikda bajarilishi mumkin, agar buyruqlarda ishlatiladigan xotira joylashuvi nomi buyruqlar bir-biriga zid boʻlmasligi uchun oʻzgartirilsa. Roʻyxatga olish nomini oʻzgartirish kompilyator tomonidan statik ravishda, shuningdek, apparat tomonidan dinamik ravishda amalga oshirilishi mumkin. Bogʻliqlarni nazorat qilish. Bogʻliqlikning oxirgi turi – bu nazoratga bogʻliqlik. Ular shartli sakrash buyrugʻiga nisbatan koʻrsatmalarning tartibini belgilaydi. Natijada, sakrashsiz koʻrsatmalar faqat kerak boʻlganda bajariladi. Dasturdagi har bir koʻrsatma shartli sakrashlar toʻplamiga bogʻliq holda nazorat qilinadi. Umuman olganda, ushbu nazorat bogʻliqliklari saqlanishi kerak. Boshqaruvga bogʻliqlik bilan bogʻliq ikkita cheklov mavjud: