ConfValley: A systematic Configuration validation framework for cloud services

Proceedings of the 10th European Conference on Computer Systems, EuroSys 2015

Volumn , Issue , 2015, Pages

  Huang, Peng ^a   Bolosky, William J ^b   Singh, Abhishek ^c   Zhou, Yuanyuan ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MICROSOFT RESEARCH   (United States)

^c MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES; WEB SERVICES; WINDOWS OPERATING SYSTEM;

CLOUD SERVICES; CONFIGURATION ERRORS; CONFIGURATION SPECIFICATIONS; DECLARATIVE LANGUAGES; GENERIC FRAMEWORKS; LARGE AMOUNTS; MISCONFIGURATIONS; SCALE SYSTEM;

SPECIFICATIONS;

EID: 84929584221     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2741948.2741963     Document Type: Conference Paper

References (42)

1. Amazon EC2 and RDS service disruption on April 21st, 2011. http://aws.amazon. com/message/65648.
2. ANTLR tool. http://www.antlr.org.
3. Apache CloudStack. http://cloudstack.apache.org.
4. AWS service outage on December 24th, 2012. http://aws.amazon. com/message/680587.
5. AWS service outage on October 22nd, 2012. https://aws.amazon. com/message/680342.
6. Chef software. http://www.getchef.com/chef.
7. Discussions on configuration validation in OpenStack. http://lists.openstack.org/pipermail/openstack-dev/2013-November/018557.html.
8. Downtime, outages and failures - understanding their true costs. http://www.evolven. com/blog/downtime-outages-and-failuresunderstanding-their-true-costs.html.
9. Facebook outage on September 23rd, 2010. https://www.facebook.com/notes/facebookengineering/more-details-on-todaysoutage/431441338919.
10. Google API infrastructure outage on April 30th, 2013. http://googledevelopers.blogspot.com/2013/05/google-api-infrastructureoutage-3.html.
11. Google service outage on January 24th, 2014. http://googleblog.blogspot.com/2014/01/todaysoutage-for-several-google.html.
12. Microsoft Azure. https://azure.microsoft.com/en-us.
13. Microsoft Azure storage disruption in US south on December 28th, 2012. http://blogs.msdn. com/b/windowsazure/archive/2013/01/16/detailsof-the-december-28th-2012-windows-azurestorage-disruption-in-us-south.aspx.
14. Microsoft Azure storage disruption on February 22nd, 2013. http://blogs.msdn. com/b/windowsazure/archive/2013/03/01/detailsof-the-february-22nd-2013-windows-azurestorage-disruption. aspx.
15. OpenStack. http://www.openstack.org.
16. Puppet software. http://puppetlabs.com/.
17. Rubick project for OpenStack. https://wiki. openstack.org/wiki/Rubick.
18. Salt software. http://www.saltstack.com.
19. Twilio billing incident post-mortem: Breakdown, analysis and root cause. https://www.twilio.com/blog/2013/07/billing-incident-post-mortembreakdown-analysis-and-root-cause.html.
20. ATTARIYAN, M., CHOW, M., AND FLINN, J. X-ray: Automating root-cause diagnosis of performance anomalies in production software. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (Hollywood, CA, USA, 2012), OSDI'12, pp. 307-320.
21. ATTARIYAN, M., AND FLINN, J. Using causality to diagnose configuration bugs. In Proceedings of the 2008 USENIX Annual Technical Conference (Boston, Massachusetts, 2008), ATC'08, pp. 281-286.
22. ATTARIYAN, M., AND FLINN, J. Automating configuration troubleshooting with dynamic information flow analysis. In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (Vancouver, BC, Canada, 2010), OSDI'10, pp. 1-11.
23. BAUER, L., GARRISS, S., AND REITER, M. K. Detecting and resolving policy misconfigurations in access-control systems. In Proceedings of the 13th ACM Symposium on Access Control Models and Technologies (Estes Park, CO, USA, 2008), SACMAT'08, pp. 185-194.
24. CADAR, C., DUNBAR, D., AND ENGLER, D. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (San Diego, California, 2008), OSDI'08, pp. 209-224.
25. CHEN, X., MAO, Y., MAO, Z. M., AND VAN DER MERWE, J. Declarative configuration management for complex and dynamic networks. In Proceedings of the 6th International Conference (Philadelphia, Pennsylvania, 2010), Co-NEXT'10, pp. 6:1-6:12.
26. DAS, T., BHAGWAN, R., AND NALDURG, P. Baaz: A system for detecting access control misconfigurations. In Proceedings of the 19th USENIX Conference on Security (Washington, DC, 2010), USENIX Security'10, pp. 11-11.
27. DETREVILLE, J. Making system configuration more declarative. In Proceedings of the 10th Conference on Hot Topics in Operating Systems (Santa Fe, NM, 2005), HOTOS'05, pp. 11-11.
28. ENCK, W., MCDANIEL, P., SEN, S., SEBOS, P., SPOEREL, S., GREENBERG, A., RAO, S., AND AIELLO, W. Configuration management at massive scale: System design and experience. In Proceedings of the 2007 USENIX Annual Technical Conference (Santa Clara, CA, 2007), ATC'07, pp. 6:1-6:14.
29. FEAMSTER, N., AND BALAKRISHNAN, H. Detecting BGP configuration faults with static analysis. In Proceedings of the 2nd Conference on Symposium on Networked Systems Design & Implementation (Boston, Massachusetts, 2005), NSDI'05, pp. 43-56.
30. KELLER, L., UPADHYAYA, P., AND CANDEA, G. ConfErr: A tool for assessing resilience to human configuration errors. In Proceedings of the 38th International Conference on Dependable Systems and Networks (Anchorage, Alaska, USA, 2008), DSN'08, pp. 157-166.
31. KICIMAN, E., AND WANG, Y.-M. Discovering correctness constraints for self-management of system configuration. Tech. Rep. MSR-TR-2004-22, Microsoft Research, March 2004.
32. KUSHMAN, N., AND KATABI, D. Enabling configurationindependent automation by non-expert users. In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (Vancouver, BC, Canada, 2010), OSDI'10, pp. 1-10.
33. LOO, B. T., HELLERSTEIN, J. M., STOICA, I., AND RAMAKRISHNAN, R. Declarative routing: Extensible routing with declarative queries. In Proceedings of the 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (Philadelphia, Pennsylvania, USA, 2005), SIGCOMM'05, pp. 289-300.
34. RABKIN, A., AND KATZ, R. Static extraction of program configuration options. In Proceedings of the 33rd International Conference on Software Engineering (Waikiki, Honolulu, HI, USA, 2011), ICSE'11, pp. 131-140.
35. ROCKWOOD, B. The DevOps transformation. http://www.usenix.org/events/lisa11/tech/slides/rockwood.pdf.
36. SU, Y.-Y., ATTARIYAN, M., AND FLINN, J. AutoBash: Improving configuration management with operating system causality analysis. In Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles (Stevenson, Washington, USA, 2007), SOSP'07, pp. 237-250.
37. WANG, H. J., PLATT, J. C., CHEN, Y., ZHANG, R., AND WANG, Y.-M. Automatic misconfiguration troubleshooting with PeerPressure. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation (San Francisco, CA, 2004), OSDI'04, pp. 17-17.
38. WANG, Y.-M., VERBOWSKI, C., DUNAGAN, J., CHEN, Y., WANG, H. J., YUAN, C., AND ZHANG, Z. Strider: A blackbox, state-based approach to change and configuration management and support. In Proceedings of the 17th USENIX Conference on System Administration (San Diego, CA, 2003), LISA'03, pp. 159-172.
39. WHITAKER, A., COX, R. S., AND GRIBBLE, S. D. Configuration debugging as search: Finding the needle in the haystack. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation (San Francisco, CA, 2004), OSDI'04, pp. 6-6.
40. XU, T., ZHANG, J., HUANG, P., ZHENG, J., SHENG, T., YUAN, D., ZHOU, Y., AND PASUPATHY, S. Do not blame users for misconfigurations. In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles (Farminton, Pennsylvania, 2013), SOSP'13, pp. 244-259.
41. YUAN, D., XIE, Y., PANIGRAHY, R., YANG, J., VERBOWSKI, C., AND KUMAR, A. Context-based online configuration-error detection. In Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference (Portland, OR, 2011), ATC'11, pp. 28-28.
42. ZHANG, J., RENGANARAYANA, L., ZHANG, X., GE, N., BALA, V., XU, T., AND ZHOU, Y. EnCore: Exploiting system environment and correlation information for misconfiguration detection. In Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (Salt Lake City, Utah, USA, 2014), ASPLOS'14, pp. 687-700.