Barrapunto

Y curiosamente, los sistemas basados en micronúcleos y las máquinas que ejecutarían lenguajes declarativos de quinta generación o directamente entenderían el lenguaje natural que se pronosticaban hace 25 años o bien han demostrado ser utopías como las casas en la Luna que la gente creía en 1970 que todos tendríamos en el año 2010 o bien en caso de implementarse no han demostrado más que un rendimiento residualmente inferior al del núcleo monolítico.

Hombre... el sistema operativo del Amiga era micronúcleo. Claro que, al no usar protección de memoria, no tenía el problema de tener que copiar mensajes de un lado a otro del espacio de direcciones (bastaba con pasar un puntero), con lo que iba muy rápido. Por otro lado, el problema de los micronúcleos es, en general, que se ha trabajado demasiado sobre el micronúcleo Mach, que incorpora dentro del núcleo la gestión de "capabilities" (básicamente, era el núcleo quien comprobaba que el proceso A podía enviar mensajes al proceso B). Esa parte es una de las que ralentiza tanto a HURD (aunque no la única). Ejemplos de micronucleos actuales que dan buen rendimiento son L4 y Coyotos, precisamente porque se ha dejado de lado el hacer código academico y se ha buscado por encima de todo el rendimiento.