Oficina

Microsoft Research Singularity: un sistema operativo no Windows

Installing Windows 10 IoT Core on Raspberry Pi 3 | Raspberry Pi Windows OS | IoT Training | Edureka

Installing Windows 10 IoT Core on Raspberry Pi 3 | Raspberry Pi Windows OS | IoT Training | Edureka

Tabla de contenido:

Anonim

Singularity es un proyecto de Microsoft Research para construir un sistema operativo de microkernel altamente confiable en el que el kernel, los controladores de dispositivo y las aplicaciones están todos 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 el áreas de sistemas, idiomas y herramientas. Estamos construyendo un prototipo de sistema operativo de investigación (denominado 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 lenguajes, compiladores y herramientas abren la posibilidad de mejorar significativamente el software. Por ejemplo, Singularity usa lenguajes seguros para el tipo 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 aislado, GC separados, tiempos de ejecución separados) sin la sobrecarga de los dominios de protección implementados 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, dado que los SIP son tan baratos de crear y aplicar, Singularity ejecuta cada programa, controlador de dispositivo o extensión de sistema en su propio SIP. Los SIP no pueden compartir memoria o modificar su propio código. Como resultado, podemos ofrecer garantías de fiabilidad sólidas 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 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 su descarga el Kit de Desarrollo de Investigación Singularity (RDK) . Puede descargarlo desde CodePlex, el sitio web de alojamiento de proyectos de código fuente abierto de Microsoft. También puede descargar Descripción general del proyecto Singularity , haciendo clic aquí.

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

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