Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

haqida xabar beradi va ikkala muammo ham while(haqiqiy) turdagi tsiklni o'z
ichiga oladi. Keyingi tekshiruvdan so'ng, bu ikki halqa vaqt tugashi tufayli oxir-
oqibat chiqishi mumkin. Infer asosan xotira va resurslarning sizib chiqishi
xatolariga e'tibor qaratadi va shuning uchun 5-jadvalda ko'rsatilgan korruptsiya
bilan bog'liq ko'pgina xatolarni aniqlay olmaydi.
SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
Machine Translated by Google

---

. . .
} }
// kassandra - 2. 0 . 8: S maydalagich
120
wh i le
(! ma'lumotlar F ile. i sEOF ( ) ) {
. java
41
xususiy boo lean
i sC omm u ta tiv e =
noto'g'ri ;
. . .
thr owI fC omm u ta ti ve (kalit,
327
xususiy vo id
thr owI fC omm u ta ti (Dec o ra te dKe y kaliti,
103
pub l ic vo id
scrub ( ) {
th); //
I nfer : nullpar am eter
T soat qarz th ) {328
. . .
. . .
248
329
if
(i sC omm u ta ti ve &&! skip C buzuq) {outpu tHa n dl er.
ogohlantiring ( S tring . fo rm at ( " 331
} }
127 Dec o ra te dKe y tugmasi =
nu ll ;
, kalit );
. . .
. . .
. . .
11 Hadoop-15424
323
v0.23.0
42
32 uyasi-18217
17168
9
22
v2.5.0
Aniqlangan
v0.23.0
v1.0.0
Kassandra v2.0.8
v2.3.2
17 HDFS-13513
v0.23.0
37