Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi

struct
BankAccount { 2
char
acctID[3];
int
balansi; 3 } b; 4
b.balans = 0; 5
belgi
*id = &(b.acctID);
6 //
Instrumentation: do'kon chegaralari
7 search(&id)->bse = &(b.acctID); 8
qidirish(&id)->bnd = &(b.acctID)+3; 9 //
--
17 //
Instrumentation: chek chegaralari
18
check(p, p_bse, p_bnd); 19 //
--
20 *p = ch;
21 p++; 22 }
while
(ch);
39
4 Xotira va tur xavfsizligi
10
belgi
*p = id; //
mahalliy, registrda qoladi
11 //
Instrumentation: ma'lumotni tarqatish
12
char
*p_bse = lookup(&id)->bse; 13
belgi
*p_bnd =
qidiruv(&id)->bnd; 14 //
--
15
do
{ 16
char
ch =
readchar();
Ajratilgan xotira chegaralarni qaytarish uchun asbob-uskunalar bilan jihozlangan
(har bir ko'rsatkich asosida ajratilgan). Ko'rsatkichni belgilash chegaralarni kengaytiradi.
Machine Translated by Google

---

Har bir ajratish ob'ekt xotirasi sohasidagi versiyani yo'q qilish uchun
asbob-uskunalar bilan jihozlangan, bu esa ko'rsatgich va ob'ekt
versiyasining sinxronlashtirilmasligiga olib keladi. Belgilangandan so'ng,
CETS ko'rsatgich versiyasi xotira ob'ekti versiyasiga teng yoki yo'qligini tekshiradi.
CETS xotira ob'ektini versiyalashdan foydalanadi. Kod asbobi har bir ajratilgan
xotira maydoniga noyob versiyani ajratadi va ushbu versiyani ko'rsatgich
metama'lumotlarida ham saqlaydi.
C++ dasturi turi xavfsiz bo'lishi mumkin, lekin xotira uchun xavfsiz emas, masalan,
Turi xavfsizligi bo'yicha ko'plab tadqiqotlarga qaramay, C/C++ turi xavfsiz
bo'lmagan tillar mashhur bo'lib qolmoqda. E'tibor bering, to'liq turdagi
xavfsizlik xotira xavfsizligini anglatmaydi. Ikki xususiyat bir-biridan farq qiladi.
Asboblar va metama'lumotlar unumdorlik, xotira yuki va
apparat kengaytmalari bo'yicha turli xil kelishuvlar bilan
amalga oshirilishi mumkin [5,15,20].
(Robin Milner)
To'g'ri yozilgan dasturlar "noto'g'ri keta olmaydi".
40
4 Xotira va tur xavfsizligi