Microkernel
Se conoce como microkernel al modelo de kernel de sistema operativo, que consiste en distribuir en porciones de código modulares y sencillas, las operaciones necesarias para construir una máquina virtual sobre el hardware de un sistema de cómputo.
Así construído, un microkernel consta de un conjunto limitado de operaciones (mayormente de bajo nivel) que se ejecutan en espacio de kernel, mientras que las restantes (llamadas de sistema, gestión de memoria, sistema de archivos, operaciones de E/S, etc.), se ejecutan por medio de procesos servidores en espacio de usuario.
Esto mejora la tolerancia a fallos y eleva la portabilidad entre plataformas de hardware, de acuerdo con los defensores de esta tendencia. Sus detractores le endilgan fundamentalmente, mayor complejidad en el código, menor performance, o limitaciones en diversas funciones.
Algunos ejemplos de sistemas operativos con microkernel:
Enlaces externos:
[1] - Resúmen de la discusión entre A. Tanembaum (creador de Minix) y L. Torvalds (creador del núcleo Linux) sobre microkernels y kernels monolíticos.
