Skip to main content

Fault tolerance enablers in the CHORUS microkernel

  • Software Architectures for Fault Tolerance
  • Conference paper
  • First Online:
Book cover Hardware and Software Architectures for Fault Tolerance (Fault Tolerance 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 774))

Included in the following conference series:

Abstract

CHORUS/MiX provides the environment and specific capabilities for high availability within both the operating system and critical user applications. Both dynamic reconfiguration/upgrade and fault tolerance rely on CHORUS microkernel enablers and on the modular distributed nature of the MiX implementation. Crucial elements include:

  • The underlying communications based architecture, which facilitates a modular and distributed structure for operating system components and user applications;

  • Port migration and port group addressing, for configuration flexibility and dynamic replacement of software components;

  • Advanced high-availability enablers under development, including atomic ordered broadcast and synchronized port group management;

  • Very strong robustness criteria driving the microkernel enhancements.

  • Finally, the distributed MiX implementation and single-site semantics, which will provide a comfortable, manageable environment for delivering highly available systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Accetta, M., Baron, R., Bolosky, W., Golub, D., Rashid, R., Tevanian, A., Young, M., “Mach: A New Kernel Foundation for UNIX Development”, Proceedings of Summer Usenix, July 1986.

    Google Scholar 

  2. Batlivala, N., Gleeson, B., Hamrick, J., Lurndal, S., Price, D., Soddy, J., Abrossimov, V., “Experience with SVR4 Over Chorus” Proceedings of Usenix Workshop on Microkernels and Other Kernel Architectures, April 1986.

    Google Scholar 

  3. Birman, K., “The Process Group Approach to Reliable Distributed Computing”, Technical Report, Cornell University, July 1991.

    Google Scholar 

  4. Bomberger, A., Frantz, A., Frantz, W., Hardy, A., Hardy, N., Landau, C., Shapiro, J., “The KeyKOS Nanokernel Architecture” Proceedings of Usenix Workshop on Microkernels and Other Kernel Architectures, April 1986.

    Google Scholar 

  5. Bricker, A., Gien, M., Guillemont, M., Lipkis, J., Orr, D., Rozier, M., “Architectural Issues in Microkernel-based Operating Systems: the CHORUS Experience” Computer Communications, Vol. 14, No. 6, July–August 1991, pp. 347–357.

    Article  Google Scholar 

  6. Coyote, H., “Spécification et Réalisation d'un Service de Fichiers Fiable pour le Système d'Exploitation Réparti CHORUS”, PhD dissertation, University of Paris VI, June 1989.

    Google Scholar 

  7. Gautron, P., Jacquemot, C., Jensen, P.S., “The Ouverture Interface Definition Language Specification” Ouverture Technical Report OU/TR-92-5, Esprit Project 6603, 1992.

    Google Scholar 

  8. Guillemont, M., “Architectural Design Document of the Distributed Operating System for the Columbus DMS”, Chorus systèmes Technical Report CS/TR-89-21, March 1989.

    Google Scholar 

  9. Mullender, S., et al., The Amoeba Distributed Operating System: Selected Papers 1984-987, CWI Tract No. 41, Amsterdam, Netherlands, 1987.

    Google Scholar 

  10. Rozier, M., Abrossimov, V., Armand, F., Boule, I., Gien, M., Guillemont, M., Léonard, P., Langlois, S., Neuhauser, W., “CHORUS distributed operating systems” Computing Systems Journal, Vol. 1, No. 4, December 1988, pp 305–370.

    Google Scholar 

  11. Veider, A., Eychenne, Y., Schmitz, J., “Fault Tolerance Enablers Support: Problem Definition and Technical Requirements”, Ouverture Technical Report OU/TR-92-4, Esprit Project 6603, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Michel Banâtre Peter A. Lee

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lipkis, J., Rozier, M. (1994). Fault tolerance enablers in the CHORUS microkernel. In: Banâtre, M., Lee, P.A. (eds) Hardware and Software Architectures for Fault Tolerance. Fault Tolerance 1993. Lecture Notes in Computer Science, vol 774. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020033

Download citation

  • DOI: https://doi.org/10.1007/BFb0020033

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57767-6

  • Online ISBN: 978-3-540-48330-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics