Microkernel
Keywords: Microkernel, AIX, BeOS, Hardware, Hurd, Kernel, L4 (microkernel), Linux (núcleo), MacOSX
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í construido, 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, según los defensores de esta tendencia. Sus detractores le achacan, fundamentalmente, mayor complejidad en el código, menor rendimiento, o limitaciones en diversas funciones.
Algunos ejemplos de sistemas operativos con microkernel:
Enlaces externos:
[1] - Resumen de la discusión entre A. Tanembaum (creador de Minix) y L. Torvalds (creador del núcleo Linux) sobre microkernels y kernels monolíticos.