Singularity é um projeto da Microsoft Research para criar um sistema operacional microkernel altamente confiável no qual o kernel, drivers de dispositivos e aplicativos são todos escritos em código gerenciado. Mais de 90% do kernel do sistema operacional é escrito em Sing #, uma extensão da linguagem de programação de alto nível C #.
Singularidade do Microsoft Research
Singularity é um projeto de pesquisa focado na construção de sistemas confiáveis através da inovação nas áreas de sistemas, linguagens e ferramentas. Estamos construindo um protótipo de sistema operacional de pesquisa (chamado Singularity), estendendo linguagens de programação e desenvolvendo novas técnicas e ferramentas para especificar e verificar o comportamento do programa.
Avanços em linguagens, compiladores e ferramentas abrem a possibilidade de melhorar significativamente o software. Por exemplo, o Singularity usa linguagens seguras de tipos e um conjunto de instruções abstratas para habilitar o que chamamos de Processos Isolados de Software (SIPs). Os SIPs fornecem as sólidas garantias de isolamento dos processos do SO (espaço de objeto isolado, GCs separados, tempos de execução separados) sem a sobrecarga de domínios de proteção impostos por hardware. No atual protótipo do Singularity, os SIPs são extremamente baratos; eles correm no anel 0 no espaço de endereço do kernel.
A singularidade usa esses avanços para criar sistemas e aplicativos mais confiáveis. Por exemplo, como os SIPs são tão baratos para serem criados e aplicados, o Singularity executa cada programa, driver de dispositivo ou extensão do sistema em seu próprio SIP. SIPs não têm permissão para compartilhar memória ou modificar seu próprio código. Como resultado, podemos obter fortes garantias de confiabilidade sobre o código em execução em um SIP. Podemos verificar propriedades muito mais amplas sobre um SIP no tempo de compilação ou instalação do que pode ser feito para o código em execução nos processos tradicionais do sistema operacional. A aplicação mais ampla da verificação estática é fundamental para prever o comportamento do sistema e fornecer aos usuários fortes garantias de confiabilidade.
A Microsoft Research disponibilizou para download, o Kit de Desenvolvimento de Pesquisa de Singularidade (RDK). Você pode baixá-lo do CodePlex, o site de hospedagem de projetos de código aberto da Microsoft. Você também pode baixar Visão geral do projeto de singularidade, clicando aqui.
Os principais desenvolvedores de Singularity, Galen Hunt e Jim Larus, disseram que todos os sistemas operacionais atuais como Windows, Linux e Mac OS podem ser rastreados até um sistema operacional chamado Multics, que tem suas origens na década de 1960. Com efeito, os sistemas operacionais atuais ainda são baseados, em parte, em pensamentos e critérios de 40 anos atrás. Multiplexed Information and Computing Service, ou Multics é um sistema operacional de compartilhamento de tempo de mainframe iniciado em 1965 e usado até 2000.
O Microsoft Research Singularity foi lançado em 2003 como uma abordagem totalmente nova para a construção de sistemas operacionais.
