Minix over Linux: A User-Space Multiserver Operating System

  • Pablo Pessolani UTN
  • Oscar Jara UTN

Resumo


Minix is an open-source multiserver operating system designed to be highly reliable, flexible, and secure. The kernel is small and is the only piece of software that runs in privileged-mode, on the other hand user processes, specialized servers and device drivers run as isolated processes in user-mode. System Calls use Interprocess Communications primitives to send messages requesting services from the servers, and to wait for response messages. The aim of the project described in this article is a user-space multiserver operating system (a modified Minix version) running on top of a middleware-based virtual machine with simulated hardware constructed from services provided by a host operating system (Linux).

Referências

Tanenbaum Woodhull "Operating Systems Design and Implementation" 3rd Edition Prentice Hall 2006.

MINIX3 Home Page http://www.minix3.org/

Herder. Towards "A True Microkernel Operating System". Vrije Universiteit Amsterdam. Master degree thesis 2005.

Herder Gras Tanenbaum " Modular system programming in Minix 3" Login:. April 2006.

Lowman. "Virtual Machines for the Intel x86 Architecture". http://lowmanio.co.uk/. November 2007.

Yang Yu "OS-level Virtualization and Its Applications". Stony Brook University. PhD. degree thesis 2004.

Dike "A user-mode port of the Linux kernel". USENIX Association. Proceedings of the 4th Annual Linux Showcase & Conference Atlanta Oct 10 -14 2000.

Linux Vserver. http://linux-vserver.org/Paper

OpenVZ Wiki. http://wiki.openvz.org/Main-Page

lxc Linux Containers. http://lxc.sourceforge.net

Henning Kamp Watson. "Jails: confining the omnipotent root". In Proc. 2nd Intl. SANE Conference. 2000.
Publicado
07/11/2011
PESSOLANI, Pablo; JARA, Oscar. Minix over Linux: A User-Space Multiserver Operating System. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 1. , 2011, Florianópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 158-163. ISSN 2237-5430.