Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

44
38 Hive-19395
11689
1073
3 Siqish-87
12 Hadoop-15425
2
33
71
Ip-6991
10
v0.10.0.0
1723
v0.23.0
v1.0.0
v2.3.2
386
v2.5.0
18 HDFS-13514
v2.5.0
186
7
Tizim
versiyasi
Jami #
HDFS
938
v2.3.2
v2.5.0
v2.5.0
v1.0.0
v1.0
v1.0.0
36
15 HDFS-4882
3663
16-rasm: Infer ÿ248 qatordagi throwIfCommutative() funksiyasidagi null parametr
muammosini aniqlaydi . Cassandra-9881 xatosi ÿ103-256 qatorida sodir bo'ladi.
1 Cassandra-7330 v2.0.8 2
Cassandra-9881 v2.0.8
30 uyasi-18142
41 Lucene-772
363
42 Lucene-8294
641
31 uyasi-18216
287
8
Xato nomi
Ip
27 ip-2905
Kafka
312
v2.5.0
Tizim
v1.0
16 HDFS-5892
v1.0.0
Uya - 19392
441
Hadoop-15417
1650
v2.5.0
v2.3.2
v1.0.0
v2.5.0
v0.23.0
Kesilgan FP
6 Hadoop-15088
v2.5.0
Hadoop-15415
34
28 Hive-5235
378
39 uyasi-19406
v2.1.0
4268
Jami
Ma'lum
v2.1.0
Mapreduce
377
v2.5.0
v2.5.0
Uya
v1.0.0
v0.23.0
Raqamli ibtidoiy Java API'lari
3003
35 Hive-19391
14
#1 maÿlum ÿ ÿ ÿ #3 maÿlum ÿ ÿ ÿ #1
maÿlum ÿ ÿ ÿ #2 yangi ÿ ÿ ÿ #1
maÿlum ÿ ÿ ÿ #1 yangi ÿ ÿ ÿ #2 yangi
ÿ ÿ ÿ #2 yangi # ÿÿ2 yangi yangi ÿ ÿ
ÿ #2 yangi ÿ ÿ ÿ #1 yangi ÿ ÿ ÿ #1
yangi ÿ ÿ ÿ #2 yangi ÿ ÿ ÿ #2 yangi ÿ
ÿ ÿ # 3 yangi ÿ ÿ ÿ #3 maÿlum # ÿ
yangi #ÿ ÿ #ÿ yangi ÿ ÿ #2 yangi ÿ ÿ
ÿ #2 maÿlum ÿ ÿ ÿ #2 maÿlum ÿ ÿ ÿ
#1 yangi ÿ ÿ ÿ #1 yangi ÿ ÿ ÿ #1 yangi
ÿ ÿ ÿ #1 yangi ÿ ÿ ÿ # ÿ ÿ maÿlum
#ÿÿ ÿ #4 yangi ÿ ÿ ÿ #4 yangi ÿ ÿ ÿ
#1 ma'lum ÿ ÿ ÿ #2 ma'lum ÿ ÿ ÿ #2
yangi ÿ ÿ ÿ #1 yangi ÿ ÿ ÿ #1 yangi ÿ
ÿ ÿ #1 yangi # ÿÿ2 yangi yangi ÿ ÿ ÿ
#2 yangi ÿ ÿ ÿ #2 yangi ÿ ÿ ÿ #2
yangi ÿ ÿ ÿ #1 yangi ÿ ÿ ÿ #2 yangi ÿ
ÿ ÿ #1 yangi ÿ ÿ ÿ # 1 yangi ÿ ÿ ÿ #ÿ
yangi #ÿ yangi # ÿÿ ÿ ÿ
29 uyasi-13397
790
5269
yangi
40 Kafka-6271
19 Mapreduce-2185 v0.23.0 20
Mapreduce-2862 v0.23.0 21
Mapreduce-6990 v0.23.0 24
Mapreduce-7088 v2.5.0 25
Mapreduce-7089 v2.5.01 6302 v.
v0.23.0
4 Kompress-451
v1.0 v0.23.0 ni siqish
v2.5.0
214
13
1
Uya - 18219
Lucene
151
v2.5.0
147
v2.3.2
v2.3.2
v0.23.0
v1.0.0
v2.5.0
HD umumiy
v2.5.0
5 Hadoop-8614
v0.23.0
665
Hadoop-15429
23
20
yoki
v2.1.0
v0.10.0
451
1023
#
"
DScope barcha noto'g'ri musbatlarni qanday qilib yo'q qilmasligini tushunish
uchun biz 4-jadvaldagi 37 ta noto'g'ri musbatlarni qo'lda o'rganamiz.
Infer Cassandra-9881 xatosini aniqlaydi, chunki Scrubber sinfidagi scrub()
funktsiyasi 16-rasmda ko'rsatilgan null parametrli ÿ248 qatorda throwIf
Commutative() funksiyasini chaqirishi mumkinligini aniqlaydi. §3 da muhokama
qilganimizdek, qachon ma'lumotlarning buzilishi sodir bo'ladi, kalit yangi
qiymatlarga tayinlanmaydi va sukut bo'yicha qoladi
SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
6-jadval: DScope tomonidan kesilgan noto'g'ri pozitivlarning turlari.
5-jadvalda, shuningdek, aniqlangan ma'lumotlarning buzilishi turlari
ko'rsatilgan. Ko'rib turganimizdek, "1-toifa" va "2-toifa" aniqlangan xatolarning
ko'p qismini qamrab oladi - mos ravishda 16 va 22 xato. Bu shuni ko'rsatadiki,
ma'lumotlarning buzilishi bilan bog'liq xatolarning aksariyati ma'lumotlarning
buzilishi kiritish-chiqarish operatsiyalari tomonidan qaytarilgan xato kodining
to'g'ridan-to'g'ri aylanish bosqichiga ta'sir qilishiga olib kelganda yoki buzilgan
ma'lumotlar tarkibi bilvosita aylanish bosqichiga ta'sir qilganda sodir bo'ladi.
maÿlumotlarning buzilishi bilan bogÿliq boÿlib, buzilib qolgan FileReader- da
oÿtkazib yuborish operatsiyalarini bajarish oÿtkazib yuborish funksiyasining xato
kodini (yaÿni 0) qaytarishiga olib kelishi mumkin .
qiymat, "null". Bu scrub() funktsiyasini indeksni yangilashni o'tkazib yuboradi,
bu esa innite tsikliga sabab bo'ladi. Haqiqatan ham, throwIfCommutative()
funksiyasi sikl bajarilayotganda chaqiriladi, lekin bu maÿlumotlarning
buzilishining asosiy sababi emas. Aslida, u scrub() ning osilib qolishiga yo'l
qo'ymaslik uchun halqani buzmaydi . Buning sababi, isCommutative o'zgaruvchisi
noto'g'ri bo'lib, bu ÿ329-satrdagi if filialiga etib bo'lmaydi. Shunday qilib, hatto null
parametr bilan ham throwIfCommutative() #248-satrda muvaffaqiyatli bajarilishi
mumkin.
5-jadval: DScope-ni Findbugs va Infer bilan aniqlashning 42 ta ma'lumotlarning
osilgan xatolari bo'yicha aniqlanishi.
T. Dai va boshqalar.
Findbugs
DScope
Xato
turi
Xulosa
qilish
Machine Translated by Google

---

6 BOG'LIQ ISHLAB CHIQARISH
5 MUHOKAZA
ko'p hollarda aniqlash uchun protsessual tahlilni talab qiladi. Biz buni §5da
muhokama qilamiz.
Ko'ramizki, 37 ta noto'g'ri musbat holatlarning ko'pchiligida yo'naltirish indeksi/
teskari indeksli Java API va tekshirish chegarasi Java API-lari turli xil ilovalar
funktsiyalarida joylashgan. Ushbu API'lar to'g'ridan-to'g'ri halqa yo'llarida
chaqiriladigan dastur funktsiyalarida chaqiriladi. Noto'g'ri pozitivlarni yanada
kamaytirish uchun biz tsikl indeksi, qadami va chegaralari raqamli primitivlar
yoki Java API bilan belgilanadigan tsikl yo'llarini yaratish uchun barcha xatolik
nomzodlari bo'yicha protseduralararo tahlil o'tkazishni rejalashtirmoqdamiz.
Keyin biz DScope-ning noto'g'ri ijobiy kesish tamoyillarini qabul qilib, noto'g'ri
pozitivlarni haqiqiy pozitivlarni yo'qotmasdan kesish uchun foydalanamiz.
6-jadvalda ko'rsatilganidek, DScope 28 857 ta noto'g'ri musbatlarni, shu