Raleigh, NC, AQSH
pwang7@ncsu.edu
ACM ISBN 978-1-4503-6011-1/18/10. . . $15.00
https://doi.org/10.1145/3267809.3267844
Xiaohui Gu
Shimoliy Karolina shtat universiteti
Reli, Shimoliy
Karolina, AQSh xgu@ncsu.edu
1.KIRISH
KALÿT SO'ZLAR
ANTRACT
CCS kontseptsiyalari
Bunday xatolik yuz berganda, p sortedLeases dan o'chirilmaydi (yangilanish
davri indeksini o'tkazib yuboring), LeaseManager le f uchun ijarani cheksiz
tiklashni davom ettiradi.
1-rasm: HDFS-dan haqiqiy dunyo ma'lumotlarini buzish xatosi.
SoCC '18 ma'ruzasida: Bulutli hisoblash bo'yicha ACM simpoziumi, Karlsbad,
Kaliforniya, AQSh, 2018 yil 11-13 oktyabr (SoCC'18), 13 sahifalar.
Lizing yo'li p bilan bog'liq buzilgan le f, f uchun ijarani tiklash uchun
ichkiReleaseLease funksiyasini ishlamay qoldiradi .
ACM mos yozuvlar formati:
Ting Dai, Jingzhu He, Xiaohui Gu, Shan Lu va Peipei Vang. 2018. DScope: Bulutli
server tizimlarida haqiqiy maÿlumotlarning korruptsiyasini aniqlash.
Machine Translated by Google
2Biz turli xatolarni ko'rsatish uchun "tizim nomi-bug #" dan foydalanamiz.
Ushbu hujjat quyidagi hissa qo'shadi:
Birinchi bo'lim DScope haqida umumiy ma'lumot beradi (§2.1). Keyin u
korruptsiyaga moyil bo'lgan xatolarga nomzodlarni qanday aniqlash (§2.2) va
noto'g'ri pozitivlarni qanday kesish (§2.3) bo'yicha batafsil dizaynlarni taqdim etadi.
• Biz bulutli server tizimlarida maÿlumotlarning buzilishi natijasida yuzaga
keladigan potentsial innite looplarni aniqlaydigan nosozliklarni aniqlash
sxemasini taqdim etamiz.
• Biz noto'g'ri-musbat kesish usulini tasvirlaymiz, bu esa har doim - halqa
Do'stlaringiz bilan baham: |
