Singularity (Microsoft)

Singularity
Desarrollador
Microsoft http://research.microsoft.com/os/singularity/
Información general
Modelo de desarrollo	Fuente compartida
Última versión estable	2.0 14 de noviembre de 2008
Escrito en	Ensamblador, C, C++ y C#
Tipo de núcleo	Micronúcleo
Interfaz gráfica por defecto	Línea de comandos
Plataformas soportadas	x86
Licencia	Microsoft Research License
Estado actual	Bajo desarrollo por Microsoft Research
Idiomas	Inglés
En español

Singularity es un producto de Microsoft Research comenzado en 2003 para desarrollar un Sistema operativo en el que el núcleo, dispositivos y aplicaciones estén escritos todos con código gestionado (managed code).

El nivel más bajo de interrupciones está escrito en lenguaje ensamblador y C. Por encima, el núcleo, cuyo entorno de ejecución y recolector de basura están escritos en C#, se ejecuta en modo no seguro.

La capa de abstracción del hardware está escrita en C++ y se ejecuta en modo seguro.

También hay algo de código C para manejar la depuración. La BIOS del ordenador sólo se invoca durante la fase de arranque de 16 bits. Una vez se está en modo 32 bits, Singularity nunca vuelve a llamar a la BIOS, aunque sí llama a los controladores de los dispositivos escritos en Sing#, una extensión de Spec#, que a su vez es una extensión de C#. Durante la instalación, los códigos de operación CIL (Common Intermediate Language o Lenguaje intermedio común) se compilan a códigos de operación x86 usando el compilador Bartok.

Singularity 1.0 fue completado en el año 2007. Un paquete de desarrollo e investigación (RDK) para Singularity ha sido publicado con una licencia de fuente compartida que permite el uso no comercial y académico y está disponible en CodePlex. La investigación actual se mueve hacia el desarrollo de Singularity RDK 2.0^[1]

Diseño

Singularity es un sistema operativo con micronúcleo; de todos modos, al contrario que muchos microkernel anteriores, sus componentes no se ejecutan en distintos procesos de espacios de memoria. De hecho, sólo hay un único espacio de memoria en el que los procesos de programa aislados (SIP, Software-Isolated Processes) residen. Cada SIP tiene su propio espacio de código y datos y es independiente de otros SIP. Éstos se comportan como procesos normales, pero no requieren penalizaciones por cambio de tarea.

Véase también

• SharpOS, un esfuerzo en código abierto para escribir un sistema operativo utilizando C#
• Spec#, lenguaje de programación.
• Sing#, lenguaje de programación, canales y construcción a bajo nivel añadidas a Spec#, utilizado para desarrollar Singularity
• Language-based system, diseño general del núcleo utilizando protección basada en lenguaje en lugar de protección hardware.
• JX, un sistema en Java que, como Singularity, utiliza seguridad de tipos en lugar de protección de memoria.
• JNode, concepto similar, pero con Java en lugar de CIL/C#.
• JavaOS, sistema operativo basado en el mismo concepto que Singularity.

Referencias

1. ↑ «Microsoft Research Singularity Project». Consultado el 09-12-2007.

Enlaces externos

• Página oficial
• Código fuente de Singularity
• Motivación del diseño de Singularity (pdf) (inglés)
• Descripción del proyecto Singularity (pdf) (inglés)