On observed reproducibility in network configuration management

Science of Computer Programming

Volumn 53, Issue 2 SPEC. ISS., 2004, Pages 215-253

  Couch, Alva ^a   Sun, Yizhan ^a  

^a TUFTS UNIVERSITY   (United States)

Author keywords

Configuration management; Network and system administration; Software installation; Software package management

Indexed keywords

CACHE MEMORY; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; INSTALLATION; INTERFACES (COMPUTER);

CONFIGURATION MANAGEMENT; NETWORK AND SYSTEM ADMINISTRATION; SOFTWARE INSTALLATION; SOFTWARE PACKAGE MANAGEMENT;

COMPUTER NETWORKS;

EID: 4444346463     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2004.04.002     Document Type: Article

References (57)

1. Anderson P. Towards a high-level machine configuration system. Proc. LISA-VIII, San Diego, CA :1994;USENIX Assoc.
2. Anderson P., Goldsack P., Patterson J. SmartFrog meets LCFG: autonomous reconfiguration with central policy control. Proc. LISA-XVII, San Diego, CA :2003;213-222 USENIX Assoc.
3. Arbib M. Algebraic Theory of Machines, Languages, and Semigroups. 1968;Academic Press.
4. Bailey E. Maximum RPM. 1997;Red Hat Press.
5. Blank-Edelman D. Perl for System Administration. 2000;O'Reilly and Assoc.
6. Brown G.S. Laws of Form. 1979;E.P. Dutton.
7. Burgess M. A site configuration engine. Computing Systems. 8:1995.
8. Burgess M. Computer immunology. Proc. LISA-XII, Boston, MA :1998;USENIX Assoc.
9. Burgess M. Theoretical system administration. Proc. LISA-XIV, New Orleans, LA :2000;USENIX Assoc.
10. Burgess M. Two dimensional time-series for anomaly detection and regulation in adaptive systems. Proc. DSOM'02. Montreal, QC Lecture Notes in Computer Science. vol. 2506:2002;169-180 Springer, Berlin.
11. Burgess M. On the theory of system administration. Science of Computer Programming. 49:2003;1-46.
12. Burgess M., Ralston R. Distributed resource administration using cfengine. Software: Practice and Experience. 27:1997;1083-1101.
13. Colyer W., Wong W. Depot: a tool for managing software environments. Proc. LISA-VI, Long Beach, CA :1992;USENIX Assoc.
14. Cons L., Poznanski P. Pan: a high-level configuration language. Proc. LISA-XVI, Philadelphia, PA :2002;USENIX Assoc.
15. Cooper M. Overhauling Rdist for the '90's. Proc. LISA-VI, Long Beach, CA :1992;USENIX Assoc.
16. Couch A. SLINK: simple, effective filesystem maintenance abstractions for community-based administration. Proc. LISA-X, Chicago, IL :1996;USENIX Assoc.
17. Couch A. Chaos out of order: a simple, scalable file distribution facility for 'intentionally heterogeneous' networks. Proc. LISA-XI, San Diego, CA :1997;USENIX Assoc.
18. Couch A. An expectant chat about script maturity. Proc. LISA-XIV, New Orleans, LA :2000;USENIX Assoc.
19. Couch A., Daniels N. The maelstrom: network service debugging via 'ineffective procedures'. Proc. LISA-XV, San Diego, CA :2001;USENIX Assoc.
20. Couch A., Gilfix M. It's elementary, dear Watson: applying logic programming to convergent system management processes. Proc. LISA-XIII, Seattle, WA :1999;USENIX Assoc.
21. Couch A., Hart J., Greenlee E., Kallas D. Seeking closure in an open world: a behavioral agent approach to configuration management. Proc. LISA-XVII, San Diego, CA :2003;125-148 USENIX Assoc.
22. Couch A., Sun Y. Global impact analysis of dynamic library dependencies. Proc. LISA-XV, San Diego, CA :2001;USENIX Assoc.
23. Couch A., Sun Y. On the algebraic structure of convergence. Proc. DSOM'03. Heidelberg, Germany Lecture Notes in Computer Science. vol. 2867:2003;28-40 Springer, Berlin.
24. Evard R. An analysis of UNIX machine configuration. Proc. LISA-XI, San Diego, CA :1997;USENIX Assoc.
25. Finke J. An improved approach for generating configuration files from a database. Proc. LISA-XIV, New Orleans, LA :2000;USENIX Assoc.
26. Finke J. Generating configuration files: the director's cut. Proc. LISA-XVII, San Diego, CA :2003;195-204 USENIX Assoc.
27. Furlani J.L. Modules: providing a flexible user environment. Proc. LISA-VI, Long Beach, CA :1992;USENIX Assoc.
28. F. Gallo, Penguin-3.00, Available from the Comprehensive Perl Archive Network [52].
29. Gomes G.M.S., Pin J., Silva P.V. Semigroups, Algorithms, Automata, and Languages. 2002;World Scientific.
30. Grillet P.A. Semigroups: An Introduction to the Structure Theory. 1995;Marcel Dekker, Inc, New York.
31. Halprin G., et al. SA-BOK (The Systems Administration Body of Knowledge). http://www.sysadmin.com.au/sa-bok.html.
32. Hart J., D'Amelia J. An analysis of RPM validation drift. Proc. LISA-XVI, Philadelphia, PA :2002;USENIX Assoc.
33. Holgate M., Partain W. The Arusha project: a framework for collaborative Unix system administration. Proc. LISA-XV, San Diego, CA :2001;USENIX Assoc.
34. Holgate M., et al., Partain W. The Arusha project web site. http://ark.sourceforge.net.
35. Howie J.M. An Introduction to Semigroup Theory. 1976;Academic Press, New York.
36. Kanies L. Isconf: theory, practice, and beyond. Proc. LISA-XVII, San Diego, CA :2003;115-124 USENIX Assoc.
37. Kephart J., Chess D. The vision of autonomic computing. IEEE Computer. 2003.
38. Kolstad R., et al. The sysadmin book of knowledge gateway. http://ace.delos.com/taxongate.
39. Koonen T., Pol M. Test Process Improvement: A Practical Step-by-Step Guide to Structured Testing. 1999;Pearson Addison Wesley, Reading, MA.
40. Libes D. Exploring Expect. 1994;O'Reilly and Assoc.
41. Ljapin E.S. Semigroups. 1963;American Mathematical Society, Providence, RI.
42. Logan M., Felleisen M., Blank-Edelman D. Environmental acquisition in network management. Proc. LISA-XVI, Philadelphia, PA :2002;USENIX Assoc.
43. Manheimer K., Warsaw B., Clark S., Rowe W. The depot: a framework for sharing software installation across organizational and UNIX platform boundaries. Proc. LISA-IV, Colorado Springs, CO. 1990;USENIX Assoc.
44. Meyer B. Axiomatic semantics. Introduction to the Theory of Programming Languages. 1990;Prentice-Hall, Inc, Englewood Cliffs, NJ. (Chapter 9).
45. Oetiker T. TemplateTree II: the post-installation setup tool. Proc. LISA-XV, San Diego, CA :2001;USENIX Assoc.
46. Osterlund R. PIKT: problem informant/killer tool. Proc. LISA-XIV, New Orleans, LA :2000;USENIX Assoc.
47. Patterson J. A simple model of the cost of downtime. Proc. LISA-XVI, Philadelphia, PA :2002;USENIX Assoc.
48. Roth M.D. Preventing wheel reinvention: the Psgconf system configuration framework. Proc. LISA-XVII, San Diego, CA :2003;USENIX Assoc.
49. Rouillard J.P., Martin R.B. Depot-Lite: a mechanism for managing software. Proc. LISA-VIII, San Diego, CA :1994;USENIX Assoc.
50. Sandnes F.E. Scheduling partially ordered events in a randomised framework - empirical results and implications for automatic configuration management. Proc. LISA-XV, San Diego, CA :2001;USENIX Assoc.
51. Sapuntzakis C., Brumley D., Chandra R., Zeldovich N., Chow J., Norris J., Lam M.S., Rosenblum M. Virtual appliances for deploying and maintaining software. Proc. LISA-XVII, San Diego, CA :2003;USENIX Assoc.
52. The Comprehensive Perl Archive Network, 2003. http://www.cpan.org.
53. Traugott S., Brown L. Why order matters: Turing equivalence in automated systems administration. Proc. LISA-XVI, Philadelphia, PA :2002;USENIX Assoc.
54. Traugott S., Huddleston J. Bootstrapping an infrastructure. Proc. LISA-XII, Boston, MA :1998;USENIX Assoc.
55. Wang Y.-M., Verbowski C., Dunagan J., Chen Y., Yuan C., Wang H.J., Zhang Z. STRIDER: a black-box, state-based approach to change and configuration management and support. Proc. LISA-XVII, San Diego, CA :2003;USENIX Assoc.
56. Watkins J. Testing IT: An Off-the-Shelf Software Testing Process. 2001;Cambridge University Press, Cambridge.
57. Wong W.C. Local disk depot - customizing the software environment. Proc. LISA-VII, Monterey, CA :1993;USENIX Assoc.