On the Algebraic Structure of Convergence

  • Alva Couch
  • Yizhan Sun
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2867)


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.


Algebraic Structure Management Tool Algebraic Property Algebraic Model Free Semigroup 
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.


  1. 1.
    Anderson, P.: Towards a High-Level Machine Configuration System. In: Proc. LISAVIII. USENIX Assoc. (1994)Google Scholar
  2. 2.
    Anderson, P., Goldsack, P., Patterson, J.: SmartFrog Meets LCFG: Autonomous Reconfiguration with Central Policy Control. In: Proc. LISAXVII, USENIX Assoc., San Diego, CA (2003)Google Scholar
  3. 3.
    Burgess, M.: A Site Configuration Engine. Computing Systems 8 (1995)Google Scholar
  4. 4.
    Burgess, M., Ralston, R.: Distributed Resource Administration Using Cfengine. Software: practice and experience 27 (1997)Google Scholar
  5. 5.
    Burgess, M.: Computer Immunology. In: Proc. LISA-XII, USENIX Assoc., Boston (1998)Google Scholar
  6. 6.
    Burgess, M.: Theoretical System Administration. In: Proc. LISA-XIV, USENIX Assoc., NewOrleans (2000)Google Scholar
  7. 7.
    Cons, L., Poznanski, P.: Pan: A High-Level Configuration Language. In: Proc. LISA-XVI, USENIX Assoc., Philadelphia (2002)Google Scholar
  8. 8.
    Couch, A.L.: SLINK: simple, effective filesystem maintenance abstractions for community-based administration. In: Proc. Lisa-X, USENIX Assoc. (1996)Google Scholar
  9. 9.
    Couch, A.L.: Chaos out of order: a simple, scalable file distribution facility for ‘intentionally heterogeneous’ networks. In: Proc. LISA-XI. USENIX Assoc. (1997)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Couch, A.L.: An expectant chat about script maturity. In: Proc. LISA-XIV, USENIX Assoc. (2000)Google Scholar
  12. 12.
    Couch, A.L., Daniels, N.: The maelstrom: network service debugging via ‘ineffective procedures’. In: Proc. LISA-XV, USENIX Assoc. (2001)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Holgate, M., Partain, W.: The Arusha Project: A framework for collaborative Unix system administration. In: Proc. LISA XV, USENIX Assoc., San Diego, CA (2001)Google Scholar
  15. 15.
    Holgate, M., Partain, W., et al.: The Arusha Project Web Site,
  16. 16.
    Kanies, L.: Practical and Theoretical Experience with ISconf and Cfengine. In: Proc. LISA XVII, USENIX Assoc., San Diego, CA (2003) (to appear)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Finke, J.: An improved approach for generating configuration files from a database. In: Proc. LISA-XIV, USENIX Assoc. (2000)Google Scholar
  19. 19.
    Finke, J.: Generating Configuration Files: The Director’s Cut. In: Proc. LISA-XVII, USENIX Assoc., San Diego, CA (2003) (to appear)Google Scholar
  20. 20.
    Grillet, P.A.: Semigroups: An Introduction to the Structure Theory. Marcel Dekker, Inc., New York (1995)Google Scholar
  21. 21.
    Howie, J.M.: An Introduction to Semigroup Theory. Academic Press, London (1976)zbMATHGoogle Scholar
  22. 22.
    Ljapin, E.S.: Semigroups. American Mathematical Society, Providence (1963)Google Scholar
  23. 23.
    Logan, M., Felleisen, M., Blank-Edelman, D.: Environmental Acquisition in Network Management. In: Proc. LISA XVI, USENIX Assoc., Philadelphia, PA (2002)Google Scholar
  24. 24.
    Roth, M.D.: Preventing Wheel Reinvention: The Psgconf System Configuration Framework. In: Proc. LISA-XVII, USENIX Assoc., San Diego, CA (2003) (to appear)Google Scholar
  25. 25.
    Traugott, S., Huddleston, J.: Bootstrapping an Infrastructure. In: Proc. LISA XII, USENIX Assoc., Boston, MA (1998)Google Scholar
  26. 26.
    Traugott, S., Brown, L.: Why order matters: Turing equivalence in automated systems administration. In: Proc. LISA XVI, USENIX Assoc., Philadelphia, PA (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Alva Couch
    • 1
  • Yizhan Sun
    • 1
  1. 1.Computer ScienceTufts UniversityMedfordUSA

Personalised recommendations