Seeking Closure in an Open World: A Behavioral Agent Approach to Configuration Management

We present a new model of configuration management based upon a hierarchy of simple communicating autonomous agents. Each of these agents is responsible for a "closure": a domain of "semantic predictability" in which declarative commands to the agent have a simple, persistent, portable, and documented effect upon subsequent observable behavior. Closures are built bottom-up to form a management hierarchy based upon the pre-existing dependencies between subsystems in a complex system. Closure agents decompose configuration management via a modularity of effect and behavior that promises to eventually lead to self-organizing systems driven entirely by behavioral specifications, where a system's configuration is free of details that have no observable effect upon system.

[1]  Alva L. Couch,et al.  Global Impact Analysis of Dynamic Library Dependencies , 2001, LISA.

[2]  John Hart,et al.  An Analysis of RPM Validation Drift , 2002, LISA.

[3]  Paul Anderson,et al.  Towards a High-Level Machine Configuration System , 1994, LISA.

[4]  Alva L. Couch.  SLINK: Simple, Effective Filesystem Maintenance Abstractions for Community-Based Administration , 1996, LISA.

[5]  Mark Burgess,et al.  Distributed Resource Administration Using Cfengine , 1997, Softw. Pract. Exp..

[6]  Lionel Cons,et al.  Pan: A High-Level Configuration Language , 2002, LISA.

[7]  Matthias Felleisen,et al.  Environmental Acquisition in Network Management , 2002, LISA.

[8]  Jon Finke.  An Improved Approach for Generating Configuration Files from a Database , 2000, LISA.

[9]  David Brumley,et al.  Virtual Appliances for Deploying and Maintaining Software , 2003, LISA.

[10]  Alva L. Couch,et al.  An Expectant Chat About Script Maturity , 2000, LISA.

[11]  Jon Finke.  Generating Configuration Files: The Director's Cut , 2003, LISA.

[12]  J. L. Lions,et al.  INTRODUCTION TO SEMIGROUP THEORY , 1993 .

[13]  Mark D. Roth.  Preventing Wheel Reinvention: The psgconf System Configuration Framework , 2003, LISA.

[14]  Alva L. Couch,et al.  It's Elementary, Dear Watson: Applying Logic Programming To Convergent System Management Processes , 1999, LISA.

[15]  David A. Watt.  Programming language syntax and semantics , 1991, Prentice Hall International Series in Computer Science.

[16]  Tobias Oetiker.  TemplateTree II: The Post-Installation Setup Tool , 2001, LISA.

[17]  Steve Traugott,et al.  Why Order Matters: Turing Equivalence in Automated Systems Administration , 2002, LISA.

[18]  Frode Eika Sandnes.  Scheduling Partially Ordered Events in a Randomised Framework: Empirical Results and Implications for Automatic Configuration Management , 2001, LISA.

[19]  Helen J. Wang,et al.  Strider: a black-box, state-based approach to change and configuration management and support , 2003, Sci. Comput. Program..

[20]  Mark Burgess,et al.  A Site Configuration Engine , 1995, Comput. Syst..

[21]  Patrick Goldsack,et al.  SmartFrog Meets LCFG: Autonomous Reconfiguration with Central Policy Control , 2003, LISA.

[22]  P. A. Grillet.  Semigroups: An Introduction to the Structure Theory , 1995 .

[23]  Alva L. Couch,et al.  The Maelstrom: Network Service Debugging via "Ineffective Procedures" , 2001, LISA.

[24]  Alva L. Couch.  Chaos Out of Order: A Simple, Scalable File Distribution Facility For 'Intentionally Heterogeneous' Networks , 1997, LISA.

[25]  Steve Traugott,et al.  Bootstrapping an Infrastructure , 1998, LISA.

[26]  Mark Burgess,et al.  Theoretical System Administration , 2000, LISA.

[27]  Alva L. Couch,et al.  On the Algebraic Structure of Convergence , 2003, DSOM.

[28]  Matt Holgate,et al.  The Arusha Project: A Framework for Collaborative UNIX System Administration , 2001, LISA.