Distributed resource administration using Cfengine
Software—Practice & Experience
XML in a nutshell
LISA '97 Proceedings of the 11th Conference on Systems Administration
Bootstrapping an Infrastructure
LISA '98 Proceedings of the 12th Conference on Systems Administration
LISA '98 Proceedings of the 12th Conference on Systems Administration
Towards a High-Level Machine Configuration System
LISA '94 Proceedings of the 8th USENIX conference on System administration
It's Elementary, Dear Watson: Applying Logic Programming To Convergent System Management Processes
LISA '99 Proceedings of the 13th USENIX conference on System administration
Theoretical System Administration
LISA '00 Proceedings of the 14th USENIX conference on System administration
An Expectant Chat About Script Maturity
LISA '00 Proceedings of the 14th USENIX conference on System administration
An Improved Approach for Generating Configuration Files from a Database
LISA '00 Proceedings of the 14th USENIX conference on System administration
LISA '01 Proceedings of the 15th USENIX conference on System administration
The Maelstrom: Network Service Debugging via "Ineffective Procedures"
LISA '01 Proceedings of the 15th USENIX conference on System administration
Global Impact Analysis of Dynamic Library Dependencies
LISA '01 Proceedings of the 15th USENIX conference on System administration
TemplateTree II: The Post-Installation Setup Tool
LISA '01 Proceedings of the 15th USENIX conference on System administration
The Arusha Project: A Framework for Collaborative UNIX System Administration
LISA '01 Proceedings of the 15th USENIX conference on System administration
Pan: A High-Level Configuration Language
LISA '02 Proceedings of the 16th USENIX conference on System administration
Why Order Matters: Turing Equivalence in Automated Systems Administration
LISA '02 Proceedings of the 16th USENIX conference on System administration
An Analysis of RPM Validation Drift
LISA '02 Proceedings of the 16th USENIX conference on System administration
Environmental Acquisition in Network Management
LISA '02 Proceedings of the 16th USENIX conference on System administration
LISA '03 Proceedings of the 17th USENIX conference on System administration
ISconf: Theory, Practice, and Beyond
LISA '03 Proceedings of the 17th USENIX conference on System administration
Seeking Closure in an Open World: A Behavioral Agent Approach to Configuration Management
LISA '03 Proceedings of the 17th USENIX conference on System administration
STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support
LISA '03 Proceedings of the 17th USENIX conference on System administration
Virtual Appliances for Deploying and Maintaining Software
LISA '03 Proceedings of the 17th USENIX conference on System administration
Generating Configuration Files: The Director's Cut
LISA '03 Proceedings of the 17th USENIX conference on System administration
Preventing Wheel Reinvention: The psgconf System Configuration Framework
LISA '03 Proceedings of the 17th USENIX conference on System administration
SmartFrog Meets LCFG: Autonomous Reconfiguration with Central Policy Control
LISA '03 Proceedings of the 17th USENIX conference on System administration
AIMS '08 Proceedings of the 2nd international conference on Autonomous Infrastructure, Management and Security: Resilient Networks and Services
Dynamics of Resource Closure Operators
AIMS '09 Proceedings of the 3rd International Conference on Autonomous Infrastructure, Management and Security: Scalability of Networks and Services
Management without (Detailed) Models
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Combining Learned and Highly-Reactive Management
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
| Hi-index | 0.00 |
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ongoing basis. We call a self-managing subsystem of this kind a closure. To better understand the nature of closures, we implemented an HTTP service closure on top of an Apache web server. While the procedure for building the server is imperative in nature, and the configuration language for the original server is declarative, the language for the closure must be transactional; i.e., based upon predictable and verifiable atomic changes in behavioral state. We study the desirable properties of such transactional configuration management languages, and conclude that these languages may well be the key to solving the change management problem for network configuration management.