Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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).
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).
Black, D. Bemadat, P.: Configurable Kernel Project Overview. OSF Research Institute Collected Papers. volume 4. OSF Research Institute. Cambridge, MA (1994).
Cheriton, D. R.: The V Distributed system. Communications of the ACM. 31, 3, 314–333 (1988).
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).
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).
Places, des F. B., Stephen, N., Reynolds, F. D.: Linux on the OSF Mach3 Microkernel. FSF Conference on Freely Distributable Software. 33–46 (1996).
Engler, D. R. Kaashoek, M. F.: Exterminate All Operating System Abstractions. Proceedings of the 5th IEEE Workshop on Hot Topics in Operating Systems (1995).
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).
Forin, A., Barrera, J., Sanzi, R.: The Shared Memory Server. Proceedings of the Winter 1989 USENIX Conference. 229–243 (1989).
Golub, D., Dean, R., Forin, A., Rashid, R.: Unix as an Application Program. Proceedings of the Summer 1990 USENIX Conference. 87–95 (1990).
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).
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).
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).
Satyanarayanan, M.: Fundamental Challenges in Mobile Computing. Proceedings of the 15th ACM Symposium on Principles of Distributed Computing (1996).
Tokuda, H., Nakajima, T., Rao, P.: Real-Time Mach: Towards Predictable Real-Time Systems. Proceedings of the USENIX 1990 Mach Workshop (1990).
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).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moriai, S., Tokuda, H. (1997). Dynamic loadable object support for real-time mach kernels. In: Masuda, T., Masunaga, Y., Tsukamoto, M. (eds) Worldwide Computing and Its Applications. WWCA 1997. Lecture Notes in Computer Science, vol 1274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63343-X_57
Download citation
DOI: https://doi.org/10.1007/3-540-63343-X_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63343-3
Online ISBN: 978-3-540-69430-4
eBook Packages: Springer Book Archive