Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach
暂无分享,去创建一个
Ding Yuan | Xiang Ren | Yongle Zhang | David Lion | Serguei Makarov | Xiang Ren | Ding Yuan | David Lion | Yongle Zhang | S. Makarov
[1] Dawson R. Engler,et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.
[2] Hans A. Hansson,et al. Using deterministic replay for debugging of distributed real-time systems , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.
[3] Frank Tip,et al. A survey of program slicing techniques , 1994, J. Program. Lang..
[4] Jennifer Neville,et al. Structured Comparative Analysis of Systems Logs to Diagnose Performance Problems , 2012, NSDI.
[5] Michael Chow,et al. Eidetic Systems , 2014, OSDI.
[6] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[7] Yu Luo,et al. Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems , 2014, OSDI.
[8] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[9] Alessandro Orso,et al. BugRedux: Reproducing field failures for in-house debugging , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[10] Michael I. Jordan,et al. Detecting large-scale system problems by mining console logs , 2009, SOSP '09.
[11] Ding Yuan,et al. SherLog: error diagnosis by connecting clues from run-time logs , 2010, ASPLOS XV.
[12] Baowen Xu,et al. A brief survey of program slicing , 2005, SOEN.
[13] Thomas Zimmermann,et al. What Makes a Good Bug Report? , 2008, IEEE Transactions on Software Engineering.
[14] Samuel T. King,et al. ReVirt: enabling intrusion analysis through virtual-machine logging and replay , 2002, OPSR.
[15] George Candea,et al. Execution synthesis: a technique for automated software debugging , 2010, EuroSys '10.
[16] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[17] Yuanyuan Zhou,et al. PRES: probabilistic replay with execution sketching on multiprocessors , 2009, SOSP '09.
[18] Andreas Zeller,et al. Yesterday, my program worked. Today, it does not. Why? , 1999, ESEC/FSE-7.
[19] Emery D. Berger,et al. Dthreads: efficient deterministic multithreading , 2011, SOSP.
[20] Yu Luo,et al. Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction Principle , 2016, OSDI.
[21] Junfeng Yang,et al. Parrot: a practical runtime for deterministic, stable, and reliable threads , 2013, SOSP.
[22] Yu Luo,et al. lprof: A Non-intrusive Request Flow Profiler for Distributed Systems , 2014, OSDI.
[23] Yue Yang,et al. The Global Interests in the Process of Globalization , 2010 .
[24] Shan Lu,et al. Leveraging the short-term memory of hardware to diagnose production-run software failures , 2014, ASPLOS.
[25] Jason Nieh,et al. Record and transplay: partial checkpointing for replay debugging across heterogeneous systems , 2011, PERV.
[26] Pallavi Joshi,et al. ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs , 2014, SoCC.
[27] Ion Stoica,et al. ODR: output-deterministic replay for multicore debugging , 2009, SOSP '09.
[28] Satish Narayanasamy,et al. DoublePlay: parallelizing sequential logging and replay , 2011, ASPLOS XVI.
[29] Satish Narayanasamy,et al. BugNet: continuously recording program execution for deterministic replay debugging , 2005, 32nd International Symposium on Computer Architecture (ISCA'05).