Advertisement

Programming and Computer Software

, Volume 45, Issue 6, pp 319–323 | Cite as

Design and Implementation of Port-Mapped IO Management Subsystem and Kernel Interface for True Microkernels on IA-32 Processors

  • Yauhen KlimiankouEmail author
Article
  • 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. 1.
    Intel Architecture Software Developer’s Manual vol. 3: System Programming Guide, no. 245472-012. Intel Corporation, 2003.Google Scholar
  2. 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. 3.
    Schlussel, M., Ghost Kernel. https://ghostkernel.org. Accessed October 23, 2017.Google Scholar
  4. 4.
    SPI, Debian Debian GNU/Hurd. https://www.debian.org/ports/hurd/. Accessed October 23, 2017.Google Scholar
  5. 5.
    HelenOS. http://www.helenos.org. Accessed October 23, 2017.Google Scholar
  6. 6.
    ETH Zurich, The Barrelfish Operating System. http://www.barrel_sh.org. Accessed October 23, 2017.Google Scholar
  7. 7.
    Minix3. http://www.minix3.org. Accessed October 23, 2017.Google Scholar
  8. 8.
    Data61/CSIRO, seL4. https://sel4.systems. Accessed October 23, 2017.Google Scholar
  9. 9.
    Liedtke, J., On microkernel construction, Proceedings of SOSP-15, Copper Mountain Resort, CO1995. Google Scholar

Copyright information

© Pleiades Publishing, Ltd. 2019

Authors and Affiliations

  1. 1.Belarusian State University of Informatics and RadioelectronicsMinskBelarus

Personalised recommendations