Abstract
Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challenge the traditional notion of “convergence” and propose a stronger definition with improved algebraic properties. Under the new definition, the structure of traditional configuration management systems is a natural emergent property of the algebraic model. We discuss the impact of the new definition, as well as the changes required in current convergent tools in order to conform to the new definition.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Anderson, P.: Towards a High-Level Machine Configuration System. In: Proc. LISAVIII. USENIX Assoc. (1994)
Anderson, P., Goldsack, P., Patterson, J.: SmartFrog Meets LCFG: Autonomous Reconfiguration with Central Policy Control. In: Proc. LISAXVII, USENIX Assoc., San Diego, CA (2003)
Burgess, M.: A Site Configuration Engine. Computing Systems 8 (1995)
Burgess, M., Ralston, R.: Distributed Resource Administration Using Cfengine. Software: practice and experience 27 (1997)
Burgess, M.: Computer Immunology. In: Proc. LISA-XII, USENIX Assoc., Boston (1998)
Burgess, M.: Theoretical System Administration. In: Proc. LISA-XIV, USENIX Assoc., NewOrleans (2000)
Cons, L., Poznanski, P.: Pan: A High-Level Configuration Language. In: Proc. LISA-XVI, USENIX Assoc., Philadelphia (2002)
Couch, A.L.: SLINK: simple, effective filesystem maintenance abstractions for community-based administration. In: Proc. Lisa-X, USENIX Assoc. (1996)
Couch, A.L.: Chaos out of order: a simple, scalable file distribution facility for ‘intentionally heterogeneous’ networks. In: Proc. LISA-XI. USENIX Assoc. (1997)
Couch, A.L., Gilfix, M.: It’s elementary, dear Watson: applying logic programming to convergent system management processes. In: Proc. Lisa-XIII, USENIX Assoc. (1999)
Couch, A.L.: An expectant chat about script maturity. In: Proc. LISA-XIV, USENIX Assoc. (2000)
Couch, A.L., Daniels, N.: The maelstrom: network service debugging via ‘ineffective procedures’. In: Proc. LISA-XV, USENIX Assoc. (2001)
Couch, A., Hart, J., Greenlee, E., Kallas, D.: Seeking Closure in an Open World: A Behavioral Agent Approach to Configuration Management. In: Proc. LISA XVII, USENIX Assoc., San Diego, CA (2003) (to appear)
Holgate, M., Partain, W.: The Arusha Project: A framework for collaborative Unix system administration. In: Proc. LISA XV, USENIX Assoc., San Diego, CA (2001)
Holgate, M., Partain, W., et al.: The Arusha Project Web Site, http://ark.sourceforge.net
Kanies, L.: Practical and Theoretical Experience with ISconf and Cfengine. In: Proc. LISA XVII, USENIX Assoc., San Diego, CA (2003) (to appear)
Sandnes, F.E.: Scheduling partially ordered events in a randomised framework - empirical results and implications for automatic configuration management. In: Proc. LISA XV, USENIX Assoc., San Diego, CA (2001)
Finke, J.: An improved approach for generating configuration files from a database. In: Proc. LISA-XIV, USENIX Assoc. (2000)
Finke, J.: Generating Configuration Files: The Director’s Cut. In: Proc. LISA-XVII, USENIX Assoc., San Diego, CA (2003) (to appear)
Grillet, P.A.: Semigroups: An Introduction to the Structure Theory. Marcel Dekker, Inc., New York (1995)
Howie, J.M.: An Introduction to Semigroup Theory. Academic Press, London (1976)
Ljapin, E.S.: Semigroups. American Mathematical Society, Providence (1963)
Logan, M., Felleisen, M., Blank-Edelman, D.: Environmental Acquisition in Network Management. In: Proc. LISA XVI, USENIX Assoc., Philadelphia, PA (2002)
Roth, M.D.: Preventing Wheel Reinvention: The Psgconf System Configuration Framework. In: Proc. LISA-XVII, USENIX Assoc., San Diego, CA (2003) (to appear)
Traugott, S., Huddleston, J.: Bootstrapping an Infrastructure. In: Proc. LISA XII, USENIX Assoc., Boston, MA (1998)
Traugott, S., Brown, L.: Why order matters: Turing equivalence in automated systems administration. In: Proc. LISA XVI, USENIX Assoc., Philadelphia, PA (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Couch, A., Sun, Y. (2003). On the Algebraic Structure of Convergence. In: Brunner, M., Keller, A. (eds) Self-Managing Distributed Systems. DSOM 2003. Lecture Notes in Computer Science, vol 2867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39671-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-39671-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20314-8
Online ISBN: 978-3-540-39671-0
eBook Packages: Springer Book Archive