Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

[29] ma'lum eciency qoidalarini buzadigan ishlash xatolarini aniqlash uchun
qoidalarga asoslangan usullardan foydalangan. Karamel [33] shartli tanaffuslarni
qo'shish orqali o'rnatilishi mumkin bo'lgan noaniq tsikllarni statik ravishda
aniqlaydi. LDoctor [40] noaniq tsikllar uchun statistik tashxisni taqdim etadi.
Jolt [16] dinamikasi har bir sikl iteratsiyasining ish vaqti holatini tekshirish
orqali innite tsikllarini aniqlaydi. Noto'g'ri joylashtirilgan halqalarni [34] va ish
yukiga bog'liq bo'lgan pastadirlarni [46] aniqlash uchun asboblar ham mavjud.
Ma'lumotlarning buzilishini o'rganish va aniqlash: Oldingi ishlar saqlash
tizimlarida ma'lumotlarning buzilishi bilan bog'liq muammolar keng qamrovli
o'rganilgan. Hwang va boshqalar. [27] va Schroeder va boshqalar. [39] xotira
qurilmalaridagi maÿlumotlarning buzilishini oÿrgangan. Ular DRAM nosozliklari
kutilganidan tez-tez sodir bo'lishini aniqladilar. Bairavasundaram va boshqalar
[11, 12] va Oleksenko va boshqalar. [36] disklardagi maÿlumotlar koÿrsatgichining
buzilishini aniqladi. Ular ma'lumotlarning buzilishi uchun diskdagi nosozliklar
keng tarqalganligini ko'rsatdi. Oldingi ishlar le tizimlarda ma'lumotlarning
buzilishini aniqlash bo'yicha ham amalga oshirildi. ZFS [14] saqlash uskunasi,
masalan, yashirin sektor xatolari tufayli tizimning buzilishini aniqladi. Fryer va
boshqalar. [22, 41] Ext3 va Btrfs le tizimlari uchun ish vaqti ma'lumotlarini
buzish detektorlarini joriy qildi.
Taqqoslash uchun, bizning ishimiz ishlab chiqarish tizimida ishga
tushirilishidan oldin ma'lumotlarning buzilishi bilan bog'liq dasturiy ta'minotning
osib qo'yilishi bilan bog'liq muammolarni aniqlashga qaratilgan. Biz maqsadli
maÿlumotlar buzilishi bilan bogÿliq xatolar uchun yuqori qamrov va aniqlikka