Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

massivida read() funksiyasini chaqirish quyidagini keltirib chiqaradi: tsiklning
qadami nolga teng bo'ladi va keyin nol qaytariladi, bu esa tsiklning chiqish
shartini (hajmi < 0) hech qachon qoniqtirmaydi.
Machine Translated by Google

---

73
Otish
urinib
ko'ring
{ agar (kalit ==
nu ll ) yangi IO E xatosini chiqaring
(...)
" );
. . .
79
103
pub l ic vo id
scrub ( ) {
140
// T est P rocfs B ased Process T ree. java // T h
rea d #1
62
privateclass
R ogueTa s kT h read
ex tends
T h rea d { 63
pub l ic vo id
run
( ) { 64
urinib ko'ring
{
Otish
T h o'qidi. uyqu (5 0 0);
131
;
} } }
# Ca s sa nd ra -9881( v2 . 0 . 8 )
Istisno
185
args. qo'shish ( "
echo $$
> + pid F ile + sh ex ec =
new
ShellC omma ndExecu to r (args . . ) ; sh ex ec. execute ( );
. . .
harakat qilib ko'ring
{ /
ÿ ma'lumotlar F ileiscorrupted ÿ /
key = sstable.
bo'linuvchi. decorat eK ey ( / /
key= null
rea dWi t hS hort L ength ( ma'lumotlar
F ile ));
ma'lumotlar S ize = ma'lumotlar F ile. real dL ng (); //
o'tkazib yuborildi
. . .
. . .
141
/ / T h rea d #2
87
xususiy
S tring ge tR ogueTa s kPID () {88 F ilef =
yangi
F ile (pid F ile); 89
wh i le
( ! f . mavjud
( ) ) {
Istisno
. . .
B yte B uffer U til
. . .
74
129
186
134
} } }
80 LOG .
. . .
} }
.
207
208
"
ma'lumot ( "E
rrorexecu ti ng cmd" ); /
ÿ
filecreationssilentlyf ailed ÿ /
// S crubber. jav
a 44
xususiy final
Ra ndomAcce s sReader ma'lumotlar F ile;
}
catch
(T hr owable th) {otish I f F
atal (th); //
E xcep ti on }
. . .
91
72
187
130
. . .
120
wh i le
(! ma'lumotlar F ile. i sEOF ( ) ) {
. . .
. . .
}
catch
(T hr owable th) {otish I f F
atal (th); //
IO E xatosiga e'tibor bermang
"
}
ca tch
(IO Ex cep ti onioe) {
. . .
139
# Ip -6991( v0 . 2 3 . 0 )
10
HDFS Hadoop taqsimlangan tizim
5
Yarn Hadoop resurslarni boshqarish platformasi
4
Hive ma'lumotlar ombori
# dan
4
14-rasm: Istisnolarni noto'g'ri ishlash to'g'ridan-to'g'ri halqa qadamiga ta'sir qilish
misoli. ShellCommandExecutor.execute() IOExceptionni keltirib chiqaradi. Istisno
oddiygina qayd qilinadi va pidFile yaratilishi jimgina bajarilmaydi (ya'ni, nol qadam), bu
File.exists() ni har doim noto'g'ri qiladi.
12
Kafka tarqatilgan oqim platformasi
xatolar
2
1
Lucene indekslash va qidiruv serveri
Cassandra Distributed ma'lumotlar bazasini boshqarish tizimi
2
HD umumiy Hadoop yordam dasturlari va kutubxonalari
Tizim tavsifi
42
Siqilgan tizimda kiritish/chiqarish operatsiyalari uchun kutubxonalarni siqish
Mapreduce Hadoop katta ma'lumotlarni qayta ishlash tizimi
2
Jami
15-rasm: Noto'g'ri istisnolardan foydalanish tsiklning qadamiga bevosita ta'sir
qilishiga misol. Ma'lumotlarning buzilishi decorateKey() kiritish-chiqarish funksiyasini
ÿ130-131 qatorga istisno qilishga olib keladi, bu esa tsiklni ÿ134 qatordagi indeksni
yangilash bayonotini (ya'ni, nol qadam) o'tkazib yuborishga majbur qiladi.
;
Muhokama Nazariy jihatdan, korruptsiya bilan bog'liq xatolarning boshqa
turlari mavjud bo'lishi mumkin, masalan, pastadir qadamlari o'rniga halqa
chegaralariga ta'sir qiluvchi korruptsiya yoki bilvosita emas, balki bevosita
buzilgan ma'lumotlar tarkibi. DScope xatolarni aniqlash algoritmi bu turdagi
xatolarni ham aniqlay oladi. Biroq, biz duch kelgan haqiqiy xatolarda biz ularni
kuzatmadik.
Biz birinchi navbatda baholash metodologiyamizni tavsiflaymiz va keyin
baholash natijalarini batafsil muhokama qilamiz.
SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
4-toifa: Noto'g'ri istisnolardan foydalanish bilvosita qadamlarga ta'sir
qiladi. Ushbu turdagi xatolar uchun qadamni yangilash operatsiyasining o'zi
hech qanday istisno keltirmadi. Biroq, boshqa operatsiyani istisno qilish,
ma'lumotlar bilan bog'liq operatsiya boshqaruvni o'zgartiradi va qadam