International Journal of Information Engineering and Electronic Business (IJIEEB)
IJIEEB Vol. 16, No. 6, 8 Dec. 2024
Cover page and Table of Contents: PDF (size: 265KB)
An Overview of Operating Systems Based on Microkernel Technology and their Essential Components
PDF (265KB), PP.18-28
Views: 0 Downloads: 0
Author(s)
Md. Ratan Rana
1,*
Saikat Baul
1
Index Terms
Operating system, Microkernel, Process scheduling, Memory management, Inter-process communication
Abstract
In conventional monolithic operating system architecture, the kernel delivers all the necessary services to the application programs. The microkernel operating system is important in several areas such as industrial control systems, embedded systems, and real-time systems. As the requirements of the operating system increase, the kernel expands in size and increases complexity. The introduction of Operating Systems focusing on Microkernels was due to the difficulties mentioned above caused by Operating Systems with Monolithic kernels. Operating systems based on microkernels offer enhanced security and flexibility to the system. A comprehensive review of eleven distinct operating systems based on the microkernel architecture is presented in this study. Some microkernels provide great advantages like strong security, better performance, and reliability also some microkernels have disadvantages like increased complexity, high cost in making, and low performance. The three main components of the study are process scheduling, memory management, and inter-process communication. This overview provides a comprehension of the various advances in creating operating systems based on microkernel technology. The data sources included books, research papers, and official documentation of individual microkernels.
Cite This Paper
Md. Ratan Rana, Saikat Baul, "An Overview of Operating Systems Based on Microkernel Technology and their Essential Components", International Journal of Information Engineering and Electronic Business(IJIEEB), Vol.16, No.6, pp. 18-28, 2024. DOI:10.5815/ijieeb.2024.06.02
Reference
[1]J. Liedtke, “Toward Real Microkernels,” Common. ACM, vol. 39, no. 9, p. 70–77, 1 September 1996.
[2]B. Liu, C. Wu and H. Guo, “A Survey of Operating System Microkernel,” in 2021 International Conference on Intelligent Computing, Automation and Applications (ICAA), Nanjing, 2021.
[3]K. Levchenko, “A Survey of Microkernel Operating Systems,” University of California San Diego.
[4]A. S. Tanenbaum, “A comparison of three microkernels,” The Journal of Supercomputing, vol. 9, no. 1, pp. 7-22, 1 March 1995.
[5]K. Elphinstone and G. Heiser, “From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?” in Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, Farminton, 2013.
[6]O.-A. Isaac, K. Okokpujie, H. Akinwumi, J. Juwe, H. Otunuya and O. Alagbe, “An Overview of Microkernel Based Operating Systems,” IOP Conference Series: Materials Science and Engineering, vol. 1107, no. 1, pp. 12-52, April 2021.
[7]R. Matarneh, “Multi Microkernel Operating Systems for Multi-Core Processors,” Journal of Computer Science, vol. 5, no. 7, pp. 493-500, 31 July 2009.
[8]C. Tian, D. Waddington and J. Kuang, “A Scalable Physical Memory Allocation Scheme for L4 Microkernel,” in 2012 IEEE 36th Annual Computer Software and Applications Conference, Izmir, 2012.
[9]D. Mishra and P. Kulkarni, “A survey of memory management techniques in virtualized systems,” Computer Science Review, vol. 29, pp. 56-73, August 2018.
[10]A. Silberschatz, P. B. Galvin and G. Gagne, Operating System Concepts, 10th ed., Wiley, 2018.
[11]“Category: Microkernels, “29 March 2013. [Online]. Available: https://en.wikipedia.org/wiki/Category:Microkernels. [Accessed 3 April 2023].
[12]“microkernel.info, “12 March 2016. [Online]. Available: http://www.microkernel.info/. [Accessed 3 April 2023].
[13]P. B. Hansen, “The Nucleus of a Multiprogramming System,” Common. ACM, vol. 13, no. 4, p. 238–241, 1 April 1970.
[14]A. K. Jones, R. J. Chansler, I. Durham, K. Schwans and S. R. Vegdahl, “StarOS, a Multiprocessor Operating System for the Support of Task Forces,” in Proceedings of the Seventh ACM Symposium on Operating Systems Principles, Pacific Grove, 1979.
[15]M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Le´onard and W. Neuhauser, “CHORUS Distributed Operating Systems,” Computing Systems, vol. 1, no. 4, pp. 305-370, 1988.
[16]D. Hildebrand, “An Architectural Overview of QNX,” in Proceedings of the Workshop on Micro-Kernels and Other Kernel Architectures, Berkeley, 1992.
[17]B. N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. McNamee, P. Pardyak, S. Savage and E. G. Sirer, “SPIN - An Extensible Microkernel for Application-specific Operating System Services,” University of Washington, Seattle, 1994.
[18]R. Rashid, R. Baron, A. Forin, D. Golub, M. Jones, D. Orr and R. Sanzi, “Mach: a foundation for open systems (operating systems),” in Proceedings of the Second Workshop on Workstation Operating Systems, Pacific Grove, 1989.
[19]D. R. Engler, M. F. Kaashoek and J. O’Toole, “Exokernel: An Operating System Architecture for Application-Level Resource Management,” SIGOPS Oper. Syst. Rev., vol. 29, no. 5, p. 251–266, 3 December 1995.
[20]A. Au and G. Heiser, “L4 User Manual, Version 1.14,” University of New South Wales, Sydney, 1999.
[21]“L4Re Operating System Framework,” [Online]. Available: https://www.kernkonzept.com/l4re-operating-system-framework. [Accessed 14 April 2023].
[22]T. S. Team, “seL4 Reference Manual, Version 12.1.0,” Data61, 2021.
[23]U. Steinberg and B. Kauer, “NOVA: A Microhypervisor-Based Secure Virtualization Architecture,” in Proceedings of the 5th European Conference on Computer Systems, Paris, 2010.
[24]R. Buerk and A.-K. Rueegsegge, “Muen - An x86/64 Separation Kernel for High Assurance,” 2013.