Phenquestions
Singularity es un proyecto de investigación de Microsoft para construir 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 kernel del sistema operativo está escrito en Sing #, una extensión del lenguaje de programación de alto nivel C #.
Singularidad de Microsoft Research
Singularity es un proyecto de investigación enfocado 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 Singularidad), ampliando los lenguajes de programación y desarrollando nuevas técnicas y herramientas para especificar y verificar el comportamiento del programa.
Los avances en lenguajes, 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 por Software (SIP). Los SIP brindan 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 actual de Singularity, 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, debido a que los SIP son tan baratos de crear y hacer cumplir, 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 ofrecer sólidas 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 el momento de la compilación o la instalación que las que se pueden hacer para el código que se ejecuta en los procesos del sistema operativo tradicional. La aplicación más amplia de la verificación estática es fundamental para predecir el comportamiento del sistema y proporcionar a los usuarios garantías sólidas sobre la fiabilidad.
Microsoft Research ha puesto a disposición para descargar, el Kit de desarrollo de investigación de singularidad (RDK). Puede descargarlo de CodePlex, el sitio web de alojamiento de proyectos de código fuente abierto de Microsoft. También puedes descargar Descripción general 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 de Informática e Información Multiplexada, o Multics, es un sistema operativo de tiempo compartido de mainframe que comenzó en 1965 y se usó hasta 2000.
Microsoft Research Singularity se consideró en 2003 como un enfoque totalmente nuevo para la creación de sistemas operativos.
