Singularity es un proyecto de Microsoft Research para crear un sistema operativo de microkernel altamente confiable en el que el kernel, los controladores de dispositivos y las aplicaciones están escritos en código administrado. Más del 90% del núcleo del sistema operativo está escrito en Sing #, una extensión del lenguaje de programación de alto nivel C #.

Microsoft Research Singularity

Singularity es un proyecto de investigación centrado en la construcción de sistemas confiables a través de la innovación en las áreas de sistemas, lenguajes y herramientas. Estamos construyendo un prototipo de sistema operativo de investigación (llamado Singularity), extendiendo los lenguajes de programación y desarrollando nuevas técnicas y herramientas para especificar y verificar el comportamiento del programa.

Los avances en idiomas, compiladores y herramientas abren la posibilidad de mejorar significativamente el software. Por ejemplo, Singularity usa lenguajes de tipo seguro y un conjunto de instrucciones abstractas para habilitar lo que llamamos procesos aislados de software (SIP). Los SIP proporcionan las sólidas garantías de aislamiento de los procesos del sistema operativo (espacio de objetos aislados, GC separados, tiempos de ejecución separados) sin la sobrecarga de los dominios de protección aplicados por hardware. En el prototipo de Singularity actual, los SIP son extremadamente baratos; se ejecutan en el anillo 0 en el espacio de direcciones del kernel.

Singularity utiliza estos avances para construir sistemas y aplicaciones más confiables. Por ejemplo, como los SIP son muy baratos de crear y aplicar, Singularity ejecuta cada programa, controlador de dispositivo o extensión del sistema en su propio SIP. Los SIP no pueden compartir memoria o modificar su propio código. Como resultado, podemos hacer fuertes garantías de confiabilidad sobre el código que se ejecuta en un SIP. Podemos verificar propiedades mucho más amplias sobre un SIP en tiempo de compilación o instalación que las que se pueden hacer para el código que se ejecuta en los procesos tradicionales del sistema operativo. Una aplicación más amplia de la verificación estática es fundamental para predecir el comportamiento del sistema y proporcionar a los usuarios sólidas garantías sobre la confiabilidad.

Microsoft Research ha puesto a disposición para su descarga, el Kit de desarrollo de investigación de singularidad (RDK). Puede descargarlo desde CodePlex, el sitio web de alojamiento de proyectos de código abierto de Microsoft. También puedes descargar Descripción del proyecto de singularidad, haciendo clic aquí.

Los desarrolladores clave de Singularity, Galen Hunt y Jim Larus, han dicho que todos los sistemas operativos actuales, como Windows, Linux y Mac OS, se remontan a un sistema operativo llamado Multics, que tiene sus orígenes en la década de 1960. En efecto, los sistemas operativos actuales todavía se basan, en parte, en pensamientos y criterios de hace 40 años. El Servicio Multiplexado de Información y Computación, o Multics, es un sistema operativo de multipropiedad de mainframe que comenzó en 1965 y se usó hasta el año 2000.

Microsoft Research Singularity se lanzó en 2003 como un enfoque totalmente nuevo para la construcción de sistemas operativos.

Los Mejores Consejos:
Comentarios: