Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

systems-outage/.
[36] Oleksiy Oleksenko, Dmitriy Kuvayskiy, Pramod Bhatotia, Kristof Fetzer va Paskal Felber.
2016. Intel MPX va TSX yordamida Ecient Fault Tolerance. DSN da.
[35] Oleksiy Oleksenko, Dmitriy Kuvayskiy, Pramod Bhatotiya va Kristof Fetzer. 2017 yil.
ICSE.
[13] Jeyms X. Barton, Edvard V. Chek, Zari Z. Segall va Daniel P. Siewiorek. 1990 yil.
Avtomatik serverda xato diagnostikasi: amalga oshirilishi mumkin bo'lgan haqiqat yoki quvur
orzusi? ICACda.
[24] Weining Gu, Zbignev Kalbarchik, Ravishankar K. Iyer va Zhen-Yu Yang. 2003 yil.
[29] Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Sherpelz va Shan Lu. 2012 yil.
[33] Adrian Nistor, Po-Chun Chang, Kosmin Radoi va Shan Lu. 2015. Karamel: Intruziv
bo'lmagan tuzatishlarga ega bo'lgan ishlash muammolarini aniqlash va tuzatish. In
[7] 2018. Findbugs. http://ndbugs.sourceforge.net/.
Machine Translated by Google

---

SoCC'18, 2018 yil 11–13 oktyabr, Karlsbad, CA, AQSh
[43] Klark Verbrugge. 1996. Co.-dan foydalanish http://www.sable.mcgill.ca/~clump/Co/
DScope
[39] Bianka Shreder, Eduardo Pinheiro va Wolf-Ditrix Weber. 2009. Yovvoyi tabiatdagi
DRAM xatolari: keng miqyosli dala tadqiqoti. SIGMETRICS da.
Bulutli tizimlarda ma'lumotlarning buzilishi. IC2E da.
[40] Linxay Song va Shan Lu. 2017. Inecient Loops uchun ishlash diagnostikasi. In
[45] Qixue Xiao, Yu Chen, Chengang Vu, Kang Li, Junjie Mao, Shize Guo va Yuanchun Shi.
2017. pbSE: Fazaga asoslangan ramziy ijro. DSN da.
ICSE.
[46] Xusheng Xiao, Shi Xan, Dongmei Chjan va Tao Xie. 2013. Ish yukiga bog'liq bo'lgan
ishlash to'siqlarini aniqlash uchun kontekstga sezgir Delta xulosasi.
[41] Kuei Sun, Daniel Frayer, Dai Qin, Anjela Demke Braun va Ashvin Goel. 2014 yil.