Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

chiqarilgan yoki yangilangan) (412-416-qator) yoki ijarani tiklash vaqtida IOException
(420-423-qatorlar) sodir bo'lsa, ijara yo'li p tartiblangan Ijaralardan o'chiriladi . Ijara
menejeri tartiblangan ijaralar to'plami bo'sh bo'lgunga qadar ijaralarni tiklash va olib
tashlashni davom ettiradi (395-qator). Biroq, FSNamesystem faqat oxirgi blok
buzilgan holatlarni ko'rib chiqadi, agar ma'lumotlar buzilgan bo'lsa, le. Shunday
qilib, le f ning ikkinchidan oxirgi bloki (ya'ni, INode) buzilgan bo'lsa, lekin f ning
oxirgi blokining ishlov berish holati tugallangan bo'lsa, FSNamesystem bu ishni
noto'g'ri boshqaradi va xatolik tufayli noto'g'ri qaytaradi (412-satr ÿ412). ). Ushbu xato
HDFS mijozi ikkinchidan oxirgi blokni yozishni tugatgandan so'ng, oxirgi blokni
yozishni boshlaganda va DataNodes-ning bir qismi o'chirilganda yuzaga keladi.
Jarayonni davom ettirish uchun Na meNode ikkinchidan oxirgi blokni bajarilgan
deb belgilaydi, HDFS mijozini oxirgi blokni yozishni bloklaydi va oxirgi blokni
tugallangan deb belgilaydi [1]. Natijada, p ijara yo'li tartiblangan Ijaralardan
o'chirilmaydi va LeaseManager bir xil lizing uchun ijarani undirishni davom ettiradi.
Ushbu maqolada bulutli hisoblashda keng qo'llaniladigan server tizimlari uchun
korruptsiyani aniqlashning avtomatlashtirilgan vositasi bo'lgan DScope taqdim
etilgan. DScope statik tahlil vositasi bo'lib, u maqsadli tizimni ishga tushirmasdan
ma'lumotlarning buzilishi bilan bog'liq xatolarni aniqlay oladi va tizimga oid
bilimlarni talab qilmaydi. Yuqori qamrovli va past noto'g'ri pozitivlarga erishish
uchun DScope rst chiqish shartlari tashqi ma'lumotlar (ya'ni, kiritish/chiqarish
operatsiyalari) ta'sirida bo'lishi mumkin bo'lgan tsikllarni aniqlash uchun statik