PoDIM: A Language for High-Level Configuration Management

The high rate of requirement changes make system administration a complex task. This complexity is further influenced by the increasing scale, unpredictable behaviour of software and diversity in terms of hardware and software. In order to deal with this complexity, configuration management solutions have been proposed. The processes that many configuration management solutions advocate are kept close to manual system administration. This approach has failed to address the complexity of system administration in the real world. In this paper, we propose PoDIM: a high-level language for configuration management. In contrast to many existing configuration management solutions, PoDIM allows modeling of cross machine constraints. We provide an overview of the PoDIM notation, describe a case study and present a prototype. We believe that high-level languages are needed to reduce system administration complexity. PoDIM is one step in that direction.

[1]  Paul Anderson,et al.  Large Scale Linux Configuration with LCFG , 2000, Annual Linux Showcase & Conference.

[2]  Paul Anderson,et al.  LCFG: The Next Generation , 2002 .

[3]  Alva L. Couch,et al.  What Is This Thing Called System Configuration? , 2004, LISA.

[4]  Susan Coghlan,et al.  A Case Study in Configuration Management Tool Deployment , 2005, LISA.

[5]  Kim Walden,et al.  Seamless object-oriented software architecture , 1995 .

[6]  Alva L. Couch,et al.  Seeking Closure in an Open World: A Behavioral Agent Approach to Configuration Management , 2003, LISA.

[7]  Jean-Marc Nerson,et al.  Seamless Object-Oriented Software Architecture - Analysis and Design of Reliable Systems , 1995 .

[8]  David A. Patterson,et al.  A Simple Way to Estimate the Cost of Downtime , 2002, LISA.

[9]  Alessandra Russo,et al.  Using event calculus to formalise policy specification and analysis , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

[10]  Nicodemos Constantinou Damianou,et al.  A policy framework for management of distributed systems , 2002 .

[11]  Narayan Desai,et al.  System Management Methodologies with Bcfg2 , 2006, login Usenix Mag..

[12]  Mark Burgess.  Recent Developments in Cfengine , 2001 .

[13]  Paul Anderson,et al.  Configuration Tools: Working Together , 2005, LISA.

[14]  Bob Moore.  Policy Core Information Model (PCIM) Extensions , 2003, RFC.

[15]  Andrea Westerinen,et al.  Policy Core Information Model - Version 1 Specification , 2001, RFC.

[16]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[17]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[18]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[19]  Sanjai Narain,et al.  Network Configuration Management via Model Finding , 2005, LISA.

[20]  Luke Kanies.  Puppet: Next-Generation Configuration Management , 2006, login Usenix Mag..

[21]  Sanjai Narain narain.  Towards A Foundation For Building Distributed Systems Via Configuration , 2004 .

[22]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[23]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

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

[25]  Rémy Evard,et al.  An Analysis of UNIX System Configuration , 1997, LISA.

[26]  Robert Lundrigan,et al.  What is this thing called OPT , 1986 .