Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

erishish uchun qoidaga asoslangan yoki anomaliyalarni aniqlash yondashuvlari
oÿrniga namunaga asoslangan yondashuvni qoÿllaymiz.
Yuqoridagi ish bizga ma'lumotlarning buzilishi bilan bog'liq ishlash
muammolarini o'rganish uchun motivatsiya beradi. Bizning ishimiz ma'lumotlar
buzilishining o'zini (apparat darajasida) aniqlashdan ko'ra, dasturiy ta'minot
darajasidagi ma'lumotlarning buzilishini aniqlashga qaratilgan.
Oldingi ish Carburizer [30] qurilma drayveri kodini statik ravishda tahlil qiladi
va innite drayverlarni so'rash muammolarini aniqlaydi. Ya'ni, haydovchi
qurilmalar registrini so'roq qilish orqali qurilma ma'lum holatga kirishini kutishi
mumkin. Ro'yxatga olish ma'lumotlari buzilganidan so'ng, buggy drayveri abadiy
qolishi mumkin. DScope va Carburizer statik ravishda halqalarni va loop-chiqish
sharoitlarini tahlil qiladi. Biroq, ular maqsadli xatolarning har xil turlari tufayli
turli xil dizayn muammolariga duch kelishadi.
Ishlashdagi xatolarni aniqlash va diagnostika qilish: keng miqyosda ishlash
xatolarini aniqlash va tashxislash bo'yicha ko'p ishlar qilindi
DScope past darajadagi qurilma drayverlari oÿrniga Java-da yozilgan bulutli
tizimlarni maqsad qilib qoÿyadi va shuning uchun kiritish-chiqarish funksiyalari
va kiritish-chiqarish bilan bogÿliq maÿlumotlarning ancha kengroq toÿplamini
(masalan, nafaqat kiritish-chiqarish operatsiyalari orqali olingan maÿlumotlar,
balki ham) boshqarishi kerak. I/U operatsiyalari tomonidan qaytarilgan holat)
va Java istisnolaridan kelib chiqadigan yanada murakkab nazorat qilish.
Avtomobil dafnchisi noto'g'ri-musbat Azizillo faqat pastadir vaqtini aniqlashni
o'z ichiga oladi. Biroq, DScope o'zining noto'g'ri-ijobiy kesishida murakkab
halqa qadamlari va bog'langan tahlillarni o'tkazishi kerak. Nihoyat, §3da