Escritório

Singularidade do Microsoft Research - Um SO Não-Windows

Анатомия Windows 10X. Самый подробный разбор новой ОС от Microsoft

Анатомия Windows 10X. Самый подробный разбор новой ОС от Microsoft

Índice:

Anonim

Singularity é um projeto da Microsoft Research para criar um sistema operacional microkernel altamente confiável no qual o kernel, drivers de dispositivo e aplicativos são todos escritos em código gerenciado. Mais de 90% do kernel do SO é 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 ​​por meio da inovação no áreas de sistemas, idiomas 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 de programas.

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 são executados no anel 0 no espaço de endereço do kernel.

O Singularity usa esses avanços para construir 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 remontam a 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. O 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 considerado em 2003 como uma abordagem totalmente nova para a construção de SO.