Dynamic loadable object support for real-time mach kernels

  • Satoshi Moriai
  • Hideyuki Tokuda
Session C-2: Distributed System Platform
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1274)


In this paper, we describe a dynamic extensible kernel architecture suitable for Real-Time Mach kernels. We design a new kernel architecture, the micro-kernel tray architecture. Our goal is to provide a new kernel foundation that enables an application to extend kernels dynamically and also enables an operating system builder to create a micro-kernel construction kit similar to a compiler construction kit. A micro-kernel tray provides a software backplane bus for micro-kernel based systems. A kernel construction kit would save even more time and would also enable the developer to focus her/his effort on the interesting aspects of operating systems. We report the preliminary step of our research, propose dynamic loadable object support for Real-Time Mach kernels, and discuss the issue of dynamic reconfigurable kernels.


System Call Kernel Module Device Driver Service Routine Object List 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Accetta, M., Baron, R., Bolosky, W. J., Golub, D., Rashid, R., Tevanian, A., Young, M.: Mach: A New Kernel Foundation for UNIX Development. Proceedings of the Summer 1986 USENIX Conference. 93–112 (1986).Google Scholar
  2. 2.
    Bershad, B. N., Savage, S., Pardyak, E, Sirer, E. G., Fiuczynski, M. E., Becker, D., Chambers, C., Eggers, S.: Extensibility, Safety, and Performance in the Operating System. Proceedings of the 15th ACM Symposium on Operating System Principles. 267–284. Copper Mountain, CO (1995).Google Scholar
  3. 3.
    Black, D. Bemadat, P.: Configurable Kernel Project Overview. OSF Research Institute Collected Papers. volume 4. OSF Research Institute. Cambridge, MA (1994).Google Scholar
  4. 4.
    Cheriton, D. R.: The V Distributed system. Communications of the ACM. 31, 3, 314–333 (1988).Google Scholar
  5. 5.
    Cheriton, D. R. Duda, K. J.: A Caching Model of Operating System Kernel Functionality. Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation. Monterey, CA (1994).Google Scholar
  6. 6.
    Cheriton, D. R., Whitehead, G. R., Sznyter, E. W.: Binary Emulation of Unix using the V Kernel. Proceedings of the Summer 1990 USENIX Conference. 73–85 (1990).Google Scholar
  7. 7.
    Places, des F. B., Stephen, N., Reynolds, F. D.: Linux on the OSF Mach3 Microkernel. FSF Conference on Freely Distributable Software. 33–46 (1996).Google Scholar
  8. 8.
    Engler, D. R. Kaashoek, M. F.: Exterminate All Operating System Abstractions. Proceedings of the 5th IEEE Workshop on Hot Topics in Operating Systems (1995).Google Scholar
  9. 9.
    Ford, B., Lepreau, J., Clawson, S., Maren, van K., Robinson, B., Turner, J.: The Flux OS Toolkit: Reusable Components for OS Implementation. Proceedings of the 6th IEEE Workshop on Hot Topics in Operating Systems (1997).Google Scholar
  10. 10.
    Forin, A., Barrera, J., Sanzi, R.: The Shared Memory Server. Proceedings of the Winter 1989 USENIX Conference. 229–243 (1989).Google Scholar
  11. 11.
    Golub, D., Dean, R., Forin, A., Rashid, R.: Unix as an Application Program. Proceedings of the Summer 1990 USENIX Conference. 87–95 (1990).Google Scholar
  12. 12.
    Guillemont, M., Lipkis, J., Off, D., Rozier, M.: A Second-Generation Micro-Kernel Based UNIX; Lessons in Performance and Compatibility. Proceedings of the Winter 1991 USENIX Conference. 13–22. Dallas, TX (1991).Google Scholar
  13. 13.
    Lepreau, J., Hilber, M., Ford, B., Law, J.: In-Kernel Servers on Mach 3.0: Implementation and Performance. Proceedings of the 3rd USENIX Workshop on Micro-kernels and Other Kernel Architectures. Santa Fe, NM (1993).Google Scholar
  14. 14.
    Rozier, M. Martins, J. L.: The CHORUS Distributed Operating System: Some Design Issues. Paker, Y, Banatre, J.-P., Bozyiğit, M. eds., Distributed Operating Systems: Theory and Practice. volume 28 of NATO ASI Series F. 261–287. Springer-Verlag (1987).Google Scholar
  15. 15.
    Satyanarayanan, M.: Fundamental Challenges in Mobile Computing. Proceedings of the 15th ACM Symposium on Principles of Distributed Computing (1996).Google Scholar
  16. 16.
    Tokuda, H., Nakajima, T., Rao, P.: Real-Time Mach: Towards Predictable Real-Time Systems. Proceedings of the USENIX 1990 Mach Workshop (1990).Google Scholar
  17. 17.
    Yokote, Y.: The Apertos Reflective Operating System: The Concept and Its Implementation. Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications 1992 (1992).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Satoshi Moriai
    • 1
  • Hideyuki Tokuda
    • 2
  1. 1.NTT LaboratoriesKanagawaJapan
  2. 2.Keio UniversityKanagawaJapan

Personalised recommendations