Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

Natijada, skipFully() funksiyasi tsiklda abadiy aylanish orqali tizimni osilib
qolishiga olib keladi. Ushbu osilgan xato turining o'zgarishlari tsikldan
chiqish sharti yuqori chegarani o'z ichiga olganida qadam har doim salbiy
bo'lgan yoki pastadirdan chiqish sharti bo'lsa, qadam har doim ijobiy
bo'lgan holatlarni o'z ichiga oladi.
I/U bilan bog'liq o'zgaruvchilar. blockToNodes va racktoBlock ikkitadir _
Ushbu bo'lim DScope aniqlash natijalariga asoslangan korruptsiya bilan
bog'liq xatolarning umumiy turlarini umumlashtiradi (DScope tomonidan
aniqlangan barcha xatolar tafsilotlari §4da keltirilgan). Garchi DScope
dizayni ushbu turlar tomonidan ta'sirlanmagan bo'lsa-da, bu toifalash
kelajakda korruptsiyani o'chirish xatolarining oldini olish, aniqlash va
xing qilish bo'yicha ishlarga yordam beradi va ishlab chiquvchilarga
ma'lumotlarning buzilishi va korruptsiya bilan bog'liq xatolarning ta'sirini yaxshiroq tushunishga yordam beradi.
har bir ma'lumot bloki haqida turli metama'lumotlar ma'lumotlarini
saqlaydigan xaritalar. Agar hamma narsa to'g'ri ishlayotgan bo'lsa, bu
ikkita xaritada aynan bir xil bloklar to'plami haqida ma'lumot bo'lishi kerak
(ya'ni, ÿ544 qatordagi bloklardagi har bir yozuv). Biroq, agar blok ( 549-
satrdagi bir blok) buzilgan bo'lsa va uning racks.length 0 ga aylansa, bu
blok baribir ÿ545 qatordagi blockToNodes -ga kiritiladi , lekin emas.
DScope
SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
Bizning turkumlashimiz ikki o'lchov bo'yicha: •
Buning sababi nimada - bu ma'lumotlar operatsiyalari tomonidan
qaytarilgan maxsus xato kodi (1-toifa) yoki ma'lum buzilgan
ma'lumotlar tarkibi (2-toifa) yoki ma'lumotlar operatsiyalari