Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

qadami va bog'langan anal ysis orqali chiqadigan halqalarni aniqlaydi.
Umumiy halqa tahlilidan farqli o'laroq, bizning tahlilimiz bulutli tizimlarda
keng qo'llaniladigan Java I/U API-larining keng assortimentiga qaratilgan
va ma'lumotlarning buzilishini aniqlashning aniqligini sezilarli darajada
oshirishga yordam beradi.
2.1 Yondashuvga umumiy nuqtai DScope
asosiy e'tiborni bulutli server tizimlarida ma'lumotlarning potentsial buzilishi
natijasida kelib chiqqan dasturiy ta'minotni osib qo'yish xatolarini aniqlashga
qaratilgan. Xatolarni aniqlash sxemamiz ikkita asosiy bosqichdan iborat: 1)
aniqlash qamrovini maksimal darajada oshirishga qaratilgan barcha nomzodlar
maÿlumotlarini osib qoÿygan xatolarni aniqlash; va 2) dastur hech qanday
sharoitda osilib qolmasligini ta'minlaydigan kod namunalarini aniqlash orqali
noto'g'ri ijobiy aniqlashlarni bartaraf etish.
• Biz DScope aniqlash natijalariga ko‘ra, real dunyo ma’lumotlarini buzish
bilan bog‘liq xatolarni to‘rtta keng tarqalgan turga ajratamiz. Ushbu
toifalash ma'lumotlarning buzilishi bilan bog'liq xatolarning oldini olish,
aniqlash va oldini olish bo'yicha kelajakdagi ishlarga yordam beradi.
1.1 Rag'batlantiruvchi misol Haqiqiy dunyoda
ma'lumotlarning korruptsiyaga oid xatolar qanday sodir bo'lishini yaxshiroq tushunish
uchun biz 1-rasmda ko'rsatilgan misol sifatida ma'lum bo'lgan HDFS-4882 xatosidan
foydalanamiz. Bu osib qo'yish xatosi buzilgan le f bilan noto'g'ri ishlov berish tsiklning
buzilishiga olib kelganda sodir bo'ladi . uning loop indeksini yangilashni o'tkazib
yuboring. HDFSda mijozning ijara muddati tugagach, ijarani tiklash NameNode’dagi
LeaseManager tomonidan ishga tushiriladi. LeaseManager RPC qo'ng'irog'i
(412-413-qator) orqali tartiblangan ijaralar to'plamidagi har bir ijara uchun ijarani tiklash
so'rovini FSNamesystemga yuboradi. Agar ijara muvaffaqiyatli tiklansa (masalan,