Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

o'chirilmaydi va innite tsikliga olib keladi.
halqa qadamini yangilang. Agar bu operatsiya istisnolarni keltirib chiqarsa,
noto'g'ri istisnolar bilan bog'liq qadam yangilanishlari bilan birlashish uchun
operatsiyadan voz kechib, innite looplarni keltirib chiqarishi mumkin.
3-jadval: Bizning baholashimizda foydalanilgan bulutli server tizimlari va
aniqlangan ma'lumotlarning buzilishi soni har bir tizimda osilgan xatolar.
3-toifa: Noto'g'ri istisnolardan foydalanish pastadir qadamlariga bevosita
ta'sir qiladi. Ba'zida ma'lumotlar bilan bog'liq operatsiyaning o'zi kutiladi
T. Dai va boshqalar.
4 BAHOLASH
Machine Translated by Google

---

v2.5.0
0
2014-08-11
v0.23.0
6
1
2
0
Lucene
2009-05-21
3
v2.5.0
0
Tizim
4
5
0
0
0
-
Chiqarish
v0.23.0
2
2
1
HDFS
v2.5.0
3
2
-
0
0
v2.3.2
0
2011/11/11
v1.0.0
5
0
0
2007-02-17
0
0
Uya
sana
v2.5.0
1
1
5
1
-
1
DScope Findbugs Infer
0
2014-08-11
TP
2
0
0
Mapreduce
2011/11/11
Kassandra v2.0.8
6
1
29.05.2014
v0.23.0
1
7
0
v2.1.0
TP FP
2
v0.23.0
0
1
HD
2011/11/11
1
2
0
2011/11/11
2014/08/11
2014-08-11
Ip
1.0 versiyasini siqish
6
1
0
0
0
Kafka
6
0
Jami
TP
2
2
42 37
Umumiy
2015/05/20
2017/11/18
v0.10.0.0 2016/05/22
0
Barcha tajribalar bizning laboratoriya mashinamizda Intel® Xeon® E5-1630
sakkiz yadroli 3,7 gigagertsli protsessor, 16 Gb xotira, 64 bitli Ubuntu 16.04
yadrosi v4.13.0 bilan ishlaydi. Bizning baholashimiz ma'lumotlarning
buzilishini aniqlashning qamrovini (ya'ni, haqiqiy pozitivlarni) va aniqligini
(ya'ni, noto'g'ri pozitivlarni) hisobga oladi. Shuningdek, biz DScope-ni ikkita
zamonaviy statik xatolarni aniqlash vositalari bilan solishtiramiz, Find
bugs(v3.0.1) [7] va Infer(v0.9.2) [6].
xatolar. E'tibor bering, biz maqsadli bulutli server tizimlarida DScope dasturini
ishga tushirdik va ushbu 42 ta xatoni aniqladik. Ammo bu 42 ta xato o'sha
tizimlardagi barcha ma'lumotlarni buzish xatolarini o'z ichiga oladi degani
emas. Biz aniqlay olmaydigan ma'lumotlarning buzilishining boshqa turlari
mavjud. Misol uchun, ma'lumotlarning buzilishi rekursiv funktsiyalarning
hech qachon tugamasligiga olib keladi va tizimni osib qo'yadi. Biroq, bu
bizning kelajakdagi ishimizning bir qismi bo'lgan ushbu maqola doirasidan tashqarida.
DScope
Keyin biz DScope tomonidan aniqlangan haqiqiy musbatlardan Findbugs