Design and Implementation of Port-Mapped IO Management Subsystem and Kernel Interface for True Microkernels on IA-32 Processors
Article
First Online:
- 4 Downloads
Abstract
Management of access to the Input/Output (IO) facilities of a computer system is one of the core functions of the operating system kernel. In this paper, we propose a new design of port-mapped IO management subsystem, suitable for use in the second generation or true microkernels. Specifically, the proposed design uses IA-32, the widespread CPU with the support of the concept of IO ports, as a target processor architecture. We also present and describe the protocol for access to IO means implemented in the kernel from the user-mode drivers, as well as the related optimizations implemented on the kernel side.
REFERENCES
- 1.Intel Architecture Software Developer’s Manual vol. 3: System Programming Guide, no. 245472-012. Intel Corporation, 2003.Google Scholar
- 2.Corbet, J., Rubini, A., and Kroah-Hartman, G., Linux Device Drivers, 3rd ed., Oreilly Media, Inc., 2005. ISBN 0-596-00590-3.Google Scholar
- 3.Schlussel, M., Ghost Kernel. https://ghostkernel.org. Accessed October 23, 2017.Google Scholar
- 4.SPI, Debian Debian GNU/Hurd. https://www.debian.org/ports/hurd/. Accessed October 23, 2017.Google Scholar
- 5.HelenOS. http://www.helenos.org. Accessed October 23, 2017.Google Scholar
- 6.ETH Zurich, The Barrelfish Operating System. http://www.barrel_sh.org. Accessed October 23, 2017.Google Scholar
- 7.Minix3. http://www.minix3.org. Accessed October 23, 2017.Google Scholar
- 8.Data61/CSIRO, seL4. https://sel4.systems. Accessed October 23, 2017.Google Scholar
- 9.Liedtke, J., On microkernel construction, Proceedings of SOSP-15, Copper Mountain Resort, CO1995. Google Scholar
Copyright information
© Pleiades Publishing, Ltd. 2019