AutoBash: Improving configuration management with operating system causality analysis

Operating Systems Review (ACM)

Volumn , Issue , 2007, Pages 237-250

  Su, Ya Yunn ^a   Attariyan, Mona ^a   Flinn, Jason ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Causality; Configuration management; Speculative execution

Indexed keywords

AUTOBASH; CAUSALITY; CONFIGURATION MANAGEMENT; SPECULATIVE EXECUTION; CAUSAL ANALYSIS; CAUSALITY ANALYSIS; INTERACTIVE TOOL; LINUX KERNEL; MISCONFIGURATIONS; OPERATING SYSTEMS; PARTICULAR SOLUTION; POSSIBLE SOLUTIONS; SEARCH TIME; SOLUTION VERIFICATION; SYSTEM ADMINISTRATORS; TRANSIENT STATE;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER OPERATING SYSTEMS; INTERACTIVE COMPUTER GRAPHICS; SEARCH ENGINES; VERIFICATION;

INFORMATION MANAGEMENT; COMPUTER OPERATING SYSTEMS;

EID: 41149116573     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1294261.1294284     Document Type: Conference Paper

References (20)

1. AGUILERA, M. K., MOGUL, J. C., WIENER, J. L., REYNOLDS, P., AND MUTHITACHAROEN, A. Performance debugging for distributed systems of black boxes. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (Bolton Landing, NY, October 2003), pp. 74-89.
2. BROWN, A. B., AND PATTERSON, D. A. Undo for operators: Building an undoable e-mail store. In Proceedings of the 2003 USENIX Technical Conference (San Antonio, TX, June 2003).
3. CHANDA, A., ELMELEEGY, K., COX, A. L., AND ZWAENEPOEL, W. Causeway: Operating system support for controlling and analyzing the execution of distributed programs. In Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS-X) (Santa Fe, NM, June 2005).
4. COHEN, I., ZHANG, S., GOLDSZMIDT, M., SYMONS, J., KELLY, T., AND FOX, A. Capturing, indexing, clustering, and retrieving system history. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (Brighton, United Kingdom, October 2005), pp. 105-118.
5. HA, J., ROSSBACH, C. J., DAVIS, J. V., ROY, I., RAMADAN, H. E., PORTER, D. E., CHEN, D. L., AND WITCHEL, E. Improved error reporting for software that uses black-box components. In Proceedings of the Conference on Programming Language Design and Implementation 2007 (San Diego, CA, 2007).
6. HOLLAND, D. A., JOSEPHSON, W., MAGOUTIS, K., SELTZER, M., STEIN, C., AND LIM, A. Research issues in no-futz computing. In Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII) (Schloss Elmau, Germany, May 2001), pp. 106-110.
7. HUANG, Q., WANG, H. J., AND BORISOV, N. Privacy-preserving friends troubleshooting network. In Proceedings of the 12th Network and Distributed System Security Symposium (San Diego, CA, February 2005), pp. 245-257.
8. JEFFERSON, D., BECKMAN, B., WIELAND, F., BLUME, L., DILORETO, M., P.HONTALAS, LAROCHE, P., STURDEVANT, K., TUPMAN, J., WARREN, V., WEIDEL, J., YOUNGER, H., AND BELLENOT, S. Time Warp operating system. In Proceedings of the 11th ACM Symposium on Operating Systems Principles (Austin, TX, November 1987), pp. 77-93.
9. JOSHI, A., KING, S. T., DUNLAP, G. W., AND CHEN, P. M. Detecting past and present intrusions through vulnerability-specific predicates. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (Brighton, United Kingdom, October 2005), pp. 91-104.
10. KEPHART, J., AND CHESS, D. M. The vision of autonomic computing. Computer 36, 1 (2003), 45-52.
11. KING, S. T., AND CHEN, P. M. Backtracking intrusions. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (Bolton Landing, NY, October 2003), pp. 223-236.
12. LI, T., ELLIS, C. S., LEBECK, A. R., AND SORIN, D. J. Pulse: A dynamic deadlock detection mechanism using speculative execution. In Proceedings of the 2005 USENIX Technical Conference (31-44, April 2005).
13. MUMMERT, L., EBLING, M., AND SATYANARAYANAN, M. Exploiting weak connectivity in mobile file access. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain, CO, Dec. 1995).
14. MUNISWAMY-REDDY, K.-K., HOLLAND, D. A., BRAUN, U., AND SELTZER, M. Provenance-aware storage systems. In Proceedings of the 2006 USENIX Annual Technical Conference (Boston, MA, May/June 2006), pp. 43-56.
15. NIGHTINGALE, E. B., CHEN, P. M., AND FLINN, J. Speculative execution in a distributed file system. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (Brighton, United Kingdom, October 2005), pp. 191-205.
16. QIN, F., TUCEK, J., SUNDARESAN, J., AND ZHOU, Y. Rx: Treating bugs as allergies - a safe method to survive software failures. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (Brighton, United Kingdom, October 2005), pp. 235-248.
17. SU, Y.-Y., AND FLINN, J. Slingshot: Deploying stateful services in wireless hotspots. In Proceedings of the 3rd International Conference on Mobile Systems, Applications and Services (Seattle, WA, June 2005), pp. 79-92.
18. WANG, H. J., PLATT, J. C., CHEN, Y., ZHANG, R., AND WANG, Y.-M. Automatic misconfiguration troubleshooting with PeerPressure. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (San Francisco, CA, December 2004), pp. 245-257.
19. WANG, Y.-M., VERBOWSKI, C., DUNAGAN, J., CHEN, Y., WANG, H. J., YUAN, C., AND ZHANG, Z. STRIDER: A black-box, state-based approach to change and configuration management and support. In Proceedings of Usenix Large Installation Systems Administration Conference (October 2003), pp. 159-172.
20. WHITAKER, A., COX, R. S., AND GRIBBLE, S. D. Configuration debugging as search: Finding the needle in the haystack. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (San Francisco, CA, December 2004), pp. 77-90.