ko'rsatilganidek, DScope tomonidan bulutli tizimlarda aniqlangan korruptsiyaga
oid xatolar turi oddiy kiritish-chiqarish holatidagi innite so'rovlar muammolaridan
ancha tashqariga chiqadi, bunda qurilma registrlari tarkibi ko'pincha to'g'ridan-to'g'ri aylanish bosqichini yangilaydi.
DScope
Xatolarni in'ektsiya qilish: Oldingi ish [13, 24, 42] dasturiy ta'minot va apparat
tizimlarining nosozlik xatti-harakatlarini (masalan, osib qo'yish, ishdan chiqish)
tahlil qilish uchun nosozliklarni kiritish usullaridan foydalangan. Masalan, HSFI
[42] manba kodidagi nosozliklar. Nosozliklarni in'ektsiya qilish, shuningdek,
tizimlarning ma'lum turdagi ma'lumotlarning buzilishini bartaraf eta olishini
tekshirish uchun keng qo'llaniladi [21, 23, 38, 48]. Masalan, Bairavasundaram
va boshqalar. [10] virtual xotira tizimlarida diskdagi xatolarni aniqlash uchun
kontekstdan xabardor nosozlik inyeksiyalaridan foydalangan. Chjan va
boshqalar. [48] Sun's ZFS da diskdagi va xotiradagi ma'lumotlar yaxlitligini tahlil
qilish uchun mahalliy le tizimlarining ishonchliligi bo'yicha keng qamrovli
misollarni o'rgandi. Ularning natijalari shuni ko'rsatadiki, le tizimlar diskdagi
buzilishlarga chidamli, ammo xotira buzilishiga nisbatan kamroq chidamli.
Tarqalgan tizimlarda simlar [23] ma'lumotlar yo'qotilishi, blokirovkaning
buzilishi va mavjud bo'lmaslik muammolari odatda mavjud. Kordlar, shuningdek,
zamonaviy taqsimlangan tizimlar mahalliy tizimdagi nosozliklarni bartaraf etish
uchun replikalar bo'ylab zaxiradan samarali foydalanish uchun jihozlanmaganligini
ko'rsatdi. Bundan farqli o'laroq, bizning ishimiz ma'lumotlarning buzilishi bilan
bog'liq nosozliklar paydo bo'lishidan oldin ularni aniqlashga qaratilgan. Biz
faqat statik kod tahliliga tayanamiz, uni boshqa bulutli server tizimlariga
Do'stlaringiz bilan baham: |
