Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

qatordan ÿ137-qatorgacha boÿlgan barcha topshiriqlarni rekursiv ravishda qoÿllaydi
va jamlangan qadamni (yaÿni, 8) chiqaradi.
DScope-ning xatolarni aniqlash aniqligini oshirish uchun biz dasturiy ta'minotni osib
qo'ymasdan har doim chiqadigan tsikllarni aniqlash orqali noto'g'ri musbat naqshlarni
tekshirish sxemalarini ishlab chiqamiz. Bizning noto'g'ri musbat ltrlashimiz pastadir
qadamini va pastadir chegaralarini tahlil qilish orqali erishiladi. DScope noto'g'ri
musbat nomzodlarni 1) pastadir yuqori chegaraga ega bo'lganda pastadir qadami
har doim ijobiy bo'ladimi yoki pastroq chegaraga ega bo'lsa, pastadir qadami har
doim manfiy bo'ladimi yoki yo'qligini tekshirish orqali aniqlaydi; 2) sikl chegarasi
qiymati har bir sikl iteratsiyasida o'zgarmaydi; va 3) tsikldan chiqish shartlari
bog'langan tekshirishni o'z ichiga oladi. Intuitiv ravishda, ushbu shartlarning
barchasini qondiradigan har qanday halqalar DScope aniqlash ro'yxatidan olib
tashlanishi kerak bo'lgan dasturiy ta'minotni osib qo'ymasdan har doim chiqadi.
Nomzod xatolarini aniqlashdan maqsadimiz qamrov yoshini maksimal darajada
oshirish bo'lganligi sababli, noto'g'ri pozitivlar muqarrar ravishda nomzodlar ro'yxatiga kiritilishi mumkin.
SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
kelajakdagi ishimizda, bu bizning noto'g'ri ijobiy ltering ecacyimizni yanada
yaxshilashi mumkin.
20
8-rasm: Ko'p qadamlar misoli. Bu Cassandra v2.0.8 ning OffHeapBitSet sinfida.
2
9-rasm: Qadam misoli halqa joylashgan funktsiyaning umumiy qismidan tashqarida
tayinlangan. Bu Cassandra v2.0.8 ning CounterContext sinfida. STEP_LENGTH qadami
statik o'zgaruvchi bo'lib, u sinfni ishga tushirishda 34 bilan tayinlangan.
# sinf