• Author / Uploaded
• Paul Miller Tocto Inga

Citation preview

Ti tulo Resumen Exokernel es un sistema operativo que permite que los programas se puedan comunicar con el Hardware de forma directa, asegurándose que se use el Hardware de forma segura. Palabra clave Kernel, Exo, Microkernel, L4, Spin, Exokernel, Sistema Operativo, Grupos de Sistemas Operativos. Introducción En la presente monografía estudiaremos brevemente a los Exokernel, su historia, sus principio, como funciona y sus aplicaciones del Exokernel. Historia El concepto de Exokernel nace en el MIT alrededor del año 1994, desde entonces hasta la actualidad aún está en etapa de desarrollo, pero a la fecha no ha sido usado comercialmente. Kernel El Kernel es la parte de un sistema operativo que es requerido por todos los otros software que se están ejecutándose en el sistema. Técnicamente el kernel corresponde a la parte del sistema operativo llamado “Trusted computing Base” TCB, cuyo correcto funcionamiento es prerrequisito para la operación de cualquier otra parte. Microkernel(1) Es la mínima cantidad de software , que puede proveer el mecanismo necesario para implementar un sistema operativo, este mecanismo incluye la gestión de bajo nivel del espacio de direcciones, gestión de hilos y la comunicación del proceso interno(IPC). La primera generación de microkernel, generó dificultades con la flexibilidad y eficiencia para su implementación, por ejemplo como la dificultad de soportar más de una implementación de un servicio básico del sistema, especialmente cuando más de uno está ejecutándose concurrentemente. La segunda generación de microkernel, resolvía los problemas de la primera generación, manteniendo la filosofía del Microkernel, entre los cuales tenemos(2): 

tiene un microkernel muy pequeño y hace el uso de servidores de nivel de usuario, logra sus objetivos con una comunicación de proceso interno rápido y una gestión de memoria flexible. L4.-



Exokernel.- Un microkernel que se aleja de todas las abstracciones del Kernel tradicional, simplificando las tareas del kernel.  SPIN.- Se basa en la descarga de código al kernel, pero en modo seguro, lo cual no amplía el TCB. Como construir un Exokernel En la siguiente figura se tiene un exokernel simplificado con dos aplicaciones, cada uno enlazado con su propio libOS y páginas compartidas a través de un buffer.

Principios de un exokernel El objetivo de un exokernel es dar un eficiente control de los recursos a las aplicaciones no confiables en sistemas seguros y multiusuarios. Se tiene que cumplir los siguientes principios para lograr el objetivo: a) Separar protección y gestión.- Los exokernel restringen la gestión de los recursos a las funciones necesarias para proteger: alocación, revocación, compartir y el seguimiento del dueño. Dando a las aplicaciones el control sobre todos los mecanismos no protegidos y políticas que hacen al sistema extensible óptimamente. b) Exposición del Hardware.- Los exokernel brinda a las aplicaciones acceso protegido a todos los recursos. c) Exposición de Asignación.- Las aplicaciones asignan recursos explícitamente. d) Exposición de la revocación.- Las aplicaciones exponen las políticas de revocación a las aplicaciones. e) Proteger las unidades finas.- Los exokernel protege las unidades mínimas, como por ejemplo protege los bloques de disco, más que las particiones.

Conclusiones   

En este trabjo describimos a los Exokernel. Los Exokernel pueden tener posibles errores en la arquitectura. Existen ya experiencias realizadas para poder seguir investigando los Exokernels o poder construir uno.

bibliografía 1.- http://en.wikipedia.org/wiki/Microkernel#Third_genertion 2.- http://www.cs.cornell.edu/home/ulfar/ukernel/ukernel.html#first-goals