Hansel: diagnosing faults in openStack
暂无分享,去创建一个
Vijay Mann | Rishabh Poddar | Dhruv Sharma | Kshiteej Mahajan | Mohan Dhawan | Kshiteej S. Mahajan | Rishabh Poddar | Mohan Dhawan | V. Mann | Dhruvi Sharma
[1] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[2] Haoxiang Lin,et al. MODIST: Transparent Model Checking of Unmodified Distributed Systems , 2009, NSDI.
[3] Amin Vahdat,et al. Pip: Detecting the Unexpected in Distributed Systems , 2006, NSDI.
[4] Donald Beaver,et al. Dapper, a Large-Scale Distributed Systems Tracing Infrastructure , 2010 .
[5] Viktor Kuncak,et al. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems , 2009, NSDI.
[6] Rajeev Gandhi,et al. Visual, Log-Based Causal Tracing for Performance Debugging of MapReduce Systems , 2010, 2010 IEEE 30th International Conference on Distributed Computing Systems.
[7] Paramvir Bahl,et al. Detailed diagnosis in enterprise networks , 2009, SIGCOMM '09.
[8] Kang G. Shin,et al. On fault resilience of OpenStack , 2013, SoCC.
[9] Gregory R. Ganger,et al. Diagnosing Performance Changes by Comparing Request Flows , 2011, NSDI.
[10] Xiaohui Gu,et al. FChain: Toward Black-Box Online Fault Localization for Cloud Systems , 2013, 2013 IEEE 33rd International Conference on Distributed Computing Systems.
[11] Eric A. Brewer,et al. Pinpoint: problem determination in large, dynamic Internet services , 2002, Proceedings International Conference on Dependable Systems and Networks.
[12] Paramvir Bahl,et al. Towards highly reliable enterprise network services via inference of multi-level dependencies , 2007, SIGCOMM '07.
[13] Scott Shenker,et al. Discretized streams: fault-tolerant streaming computation at scale , 2013, SOSP.
[14] Archana Ganapathi,et al. Optimizing Data Analysis with a Semi-structured Time Series Database , 2010, SLAML.
[15] Alan L. Cox,et al. Whodunit: transactional profiling for multi-tier applications , 2007, EuroSys '07.
[16] Chun Zhang,et al. vPath: Precise Discovery of Request Processing Paths from Black-Box Observations of Thread and Network Activities , 2009, USENIX Annual Technical Conference.
[17] Vern Paxson,et al. Bro: a system for detecting network intruders in real-time , 1998, Comput. Networks.
[18] Pallavi Joshi,et al. SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems , 2014, OSDI.
[19] Ding Yuan,et al. SherLog: error diagnosis by connecting clues from run-time logs , 2010, ASPLOS XV.
[20] Junfeng Yang,et al. Practical software model checking via dynamic interface reduction , 2011, SOSP.
[21] Rajeev Gandhi,et al. Draco: Statistical diagnosis of chronic problems in large distributed systems , 2012, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012).
[22] Randy H. Katz,et al. X-Trace: A Pervasive Network Tracing Framework , 2007, NSDI.
[23] Tanakorn Leesatapornwongsa,et al. What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems , 2014, SoCC.
[24] Michael I. Jordan,et al. Detecting large-scale system problems by mining console logs , 2009, SOSP '09.
[25] Pankaj K. Garg,et al. WebMon: A performance profiler for web transactions , 2002, Proceedings Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2002).
[26] Joseph L. Hellerstein,et al. ETE: a customizable approach to measuring end-to-end response times and their components in distributed systems , 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).
[27] Michael J. Freedman,et al. Experiences with Tracing Causality in Networked Services , 2010, INM/WREN.
[28] David A. Patterson,et al. Path-Based Failure and Evolution Management , 2004, NSDI.
[29] Richard Mortier,et al. Using Magpie for Request Extraction and Workload Modelling , 2004, OSDI.
[30] Julio César López-Hernández,et al. Stardust: tracking activity in a distributed storage system , 2006, SIGMETRICS '06/Performance '06.
[31] Rachid Guerraoui,et al. Model Checking a Networked System Without the Network , 2011, NSDI.
[32] Garth A. Gibson,et al. dBug: Systematic Evaluation of Distributed Systems , 2010, SSV.