Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

nazorat va ma'lumotlar tahlilidan foydalanadi, so'ngra tsiklni bog'lash va aylanish
bosqichini o'tkazadi. osilib qolish bilan bog'liq muammolar bo'lmasligi kafolatlangan
halqalarni aniqlash uchun tahlil. Bunday tahlilni qo'llab-quvvatlash uchun DScope
odatda bulutli server tizimlarida qo'llaniladigan Java ma'lumotlari bilan bog'liq
API'larni modellashtiradi.
Ko'pgina dasturiy ta'minotni osib qo'yish muammolari innite loop xatolaridan
kelib chiqqanligi sababli, bizning ishimiz Java-da yozilgan bulutli server tizimlarida
ma'lumotlarning buzilishi natijasida yuzaga kelishi mumkin bo'lgan innite tsikllarini aniqlashga qaratilgan.
Ushbu tsikl xatolarini aniqlash uchun DScope dastur bayt-kodini oraliq vakillik (IR)
kodiga (ya'ni, Soot Jimple) kompilyatsiya qilish uchun Soot kompilyator ramkasidan
[8] foydalanadi va uch bosqichda IQ kodi orqali statik tahlilni amalga oshiradi: 1)
halqa yo'lini chiqarish , 2) Kirish/chiqarishga bog‘liq bo‘lgan halqa identifikatsiyasi
va 3) halqa qadami va bog‘langan tahlili.
Biz DScope dasturini joriy qildik va uni 9 ta keng tarqalgan bulutli server
tizimlari (masalan, Cassandra, HDFS, Mapre duce, Hive va boshqalar) yordamida
baholadik. DScope 42 ta haqiqiy ma'lumotlar buzilishi haqida xabar beradi, ulardan
29 tasi yangi topilgan xatolardir. Shuningdek, biz bir xil tizimlar to‘plamiga ikkita
zamonaviy statik xato detektorlarini qo‘lladik, Findbugs [7] va Infer [6]. Ular juda
kam korruptsiya xatolarini aniqlaydilar (2 Findbugs va 1 ta Infer uchun), bu DScope
kabi maxsus korruptsiya osilgan xato detektoriga ehtiyoj borligini ko'rsatadi.
SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
Qog'ozning qolgan qismi quyidagicha tashkil etilgan. §2 DScope tizimining
dizaynini tavsiflaydi. §3 ma'lumotlarning buzilishi bilan bog'liq xatolar turlarini