Configuration debugging as search: Finding the needle in the haystack

OSDI 2004 - 6th Symposium on Operating Systems Design and Implementation

Volumn , Issue , 2004, Pages 77-90

  Whitaker, Andrew ^a   Cox, Richard S ^a   Gribble, Steven D ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

BINARY SEARCH; CLIENT SIDES; CONFIGURATION ERRORS; FIREWALL POLICIES; NETWORK BASED APPLICATIONS; SERVER SIDES; SYSTEM STATE; WORKING STATE;

COMPUTER SYSTEM FIREWALLS;

EID: 34548028878     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (36)

1. M.K. Aguilera, J.C. Mogul, J.L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In Proceedings of the 19th ACM Symposium on Operating System Principles, 2003.
2. M.G. Baker, J.H. Hartman, H.D. Kupfer, K.W. Shirriff, and J.K. Ousterhout. Measurements of a distributed file system. In Proceedings of the thirteenth ACM symposium on Operating systems principles, 1991.
3. G. Banga. Auto-diagnosis of field problems in an appliance operating system. In Proceedings of the USENIX Annual Technical Conference, June 2000.
4. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proceedings of the 19th Symposium on Operating System Principles (SOSP 2003), Bolton Landing, NY, October 2003.
5. S. Beattie, S. Arnold, C. Cowan, P. Wagle, C. Wright, and A. Shostack. Timing the application of security patches for optimal uptime. In Proceedings of the Sixteenth USENIX LISA Conference, November 2002.
6. B. Boothe. Efficient algorithms for bidirectional debugging. In Proceedings of the ACM Conference on Programming Language Design and Implementation, 2000.
7. R. Bowen and K. Coar. Apache Cookbook. O’Reilly and Associates, November 2003.
8. A.A. Brown and D.A. Patterson. Undo for operators: Building an undoable e-mail store. In Proceedings of the 2003 USENIX Annual Technical Conference, June 2003.
9. A.B. Brown, L. Chung, W. Kakes, C. Ling, and D.A. Patterson. Experiences with evaluation human-assisted recovery processes. In Proceedings of the International Conference on Dependable Systems and Networks, June 2004.
10. M.Y. Chen, A. Accardi, E. Kiciman, D. Patterson, A. Fox, and E. Brewer. Path-based failure and evolution management. In Proceedings of the First Symposium on Network Systems Design and Implementation, March 2004.
11. Peter M. Chen and Brian D. Noble. When virtual is better than real. In Proceedings of the Workshop on Hot Topics in Operating Systems, May 2001.
12. Final Report of the CRA Conference on Grand Research Challenges in Information Systems. http://www.cra.org/reports/gc.systems.pdf, 2003.
13. R.J. Creasy. The origin of the VM/370 time-sharing system. IBM Journal of Research and Development, 25(5), 1981.
14. Version management with CVS. https://www.cvshome.org/docs/manual/.
15. G.W. Dunlap, S.T. King, S. Cinar, M. Basrai, and P.M. Chen. ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In Proceedings of the 2002 Symposium on Operating Systems Design and Implementation (OSDI 2002), Boston, MA, December 2002.
16. J. Gemmell, G. Bell, R. Lueder, S. Drucker, and C. Wong. MyLifeBits: Fulfilling the Memex vision. In ACM Multimedia, December 2002.
17. Jim Gray. Why do computers stop and what can be done about it ? In Proceedings of the 5th Symposium on Reliablity in Distributed Software and Database systems, January 1986.
18. E. Growchowski. Emerging trends in data storage on magnetic hard disk drives. Datatech, 1998.
19. J. Hart and J. D’Amelia. An analysis of RPM validation drift. In Proceedings of the USENIX LISA Conference, 2002.
20. J.H. Hicinbothom and W.W. Zachary. A tool for automatically generating transcripts of human-computer interaction. In Proceedings of the Human Factors and Ergonomics Society 37th Annual Meeting, 1993.
21. D.A. Holland, W. Josephson, K. Magoutis, M. Seltzer, C.A. Stein, and A. Lim. Research issues in no-futz computing. In Proceedings of the 8th Workshop on Hot Topics in Operating Systems, May 2001.
22. Samuel T. King and Peter M. Chen. Backtracking intrusions. In Proceedings of the 19th Symposium on Operating System Principles (SOSP 2003), Bolton Landing, NY, October 2003.
23. Marshall Kirk McKusick, Bill Joy, Leffler, and Fabry. A Fast File System for UNIX. ACM Transactions on Computer Systems, 2(3), 1984.
24. Microsoft, Inc. Windows XP system restore. http://msdn.microsoft.com/library/default.asp?URL=/library/techart/wind% owsxpsystemrestore.htm, April 2001.
25. C.B. Morrey and D. Grunwald. Peabody: The time travel-ling disk. In 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, April 2003.
26. Mozilla FAQ: Using mozilla. http://mozilla.gunnars.net/mozfaq_use.html.
27. Joshua A. Redstone, Michael M. Swift, and Brian N. Bershad. Using computers to diagnose computer problems. In Proceedings of the 9th Workshop on Hot Topics in Operating Systems, 2003.
28. Mendel Rosenblum and John K. Ousterhout. The design and implementation of a log-structured file system. In Proceedings of the 13th ACM Symposium on Operating Systems Principles, 1991.
29. S.J. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 2nd edition, December 2002.
30. D.S. Santry, M.J. Feeley, N.C. Hutchinson, A.C. Veitch, R.W. Carton, and J. Ofir. Deciding when to forget in the Elephant file system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP’99), December 1999.
31. C.A.N. Soules, G.R. Goodson, J.D. Strunk, and G.R. Ganger. Metadata efficiency in versioning file systems. In Proceedings of the 2nd USENIX conference on file and storage technologies, March 2003.
32. M. Stonebreaker. The design of the POSTGRES storage system. In Proceedings of the 13th International Conference on Very Large Databases, September 1987.
33. VMware, Inc. VMware virtual machine technology. http://www.vmware.com/.
34. Y. Wang, C. Verbowski, J. Dunagan, Y. Chen, H.J. Wang, C. Yuan, and Z. Zhang. STRIDER: A black-box, state-based approach to change and configuration management and support. In Proceedings of the USENIX LISA Conference, October 2003.
35. Andrew Whitaker, Richard S. Cox, Marianne Shaw, and Steven D. Gribble. Constructing services with interposable virtual hardware. In Proceedings of the First Symposium on Network Systems Design and Implementation, March 2004.
36. A. Zeller. Yesterday, my program worked. Today, it does not. Why? In Proceedings of the 7th European Software Engineering Conference, September 1999.