Singularity rdk. Um projeto de pesquisa focado na construção de sistemas confiáveis através da inovação nas áreas de sistemas, idiomas
Baixe Agora

Singularity rdk. Classificação e resumo

Singularity rdk. Tag

protótipo Editar sistemas L L-Systems. sistemas de medição Sistemas de resolução de problemas. Sistemas de equação Sistemas MultiCore Systems. Kit de desenvolvimento de pesquisa. Protótipo de sistema operacional Processamento isolado de software RDK Singularidade Sistemas de Apostas. sistemas de refrigeração Desenvolva sistemas inteligentes Serviço de sistemas Sistemas críticos de segurança Pesquisa de sistemas complexos Sistemas de integração de ODES Process Systems Lindenmeyer Sistemas sem interrupção Simular sistemas P numéricos simulador sistemas P numérica Analisar sistemas P Numéricos sistemas de estado continuo sistemas de POS sistemas de comunicação ferramentas de sistemas. Sistemas de ferramentas Display Systems. Sistemas de RH. sistemas editoriais Sistemas de rodas utilidade de sistemas Sistemas de sinalização rostering sistemas duty Abordagem de sistemas

Singularity rdk. Descrição

O nome RDK representa kit de desenvolvimento de pesquisa. Singularity é um projeto de pesquisa focado na construção de sistemas confiáveis através da inovação nas áreas de sistemas, idiomas e ferramentas. Estamos construindo um protótipo do sistema operacional de pesquisa (chamado singularidade), estendendo linguagens de programação e desenvolvendo novas técnicas e ferramentas para especificar e verificar o comportamento do programa. Avanços em idiomas, compiladores e ferramentas abrem a possibilidade de melhorar de forma ignorante. Por exemplo, a singularidade usa idiomas seguras de tipo e um conjunto de instruções abstratas para ativar o que chamamos de processamento isolado de software (SIPs). Os SIPs fornecem as fortes garantias de isolamento de processos do sistema operacional (espaço isolado de objetos, GCs separados, remuneração separadas) sem a sobrecarga de domínios de proteção contra hardware. No protótipo atual de singularidade são extremamente baratos; Eles correm no anel 0 no espaço de endereço do kernel. A singularidade usa esses avanços para construir sistemas e aplicativos mais confiáveis. Por exemplo, porque os SCIPs são tão baratos para criar e aplicar, a singularidade executa cada programa, driver de dispositivo ou extensão do sistema em seu próprio SIP. Os SIPs não podem compartilhar memória ou modificar seu próprio código. Como resultado, podemos tornar fortes garantias de confiabilidade sobre o código que funciona em um gole. Podemos verificar propriedades muito mais amplas sobre um SIP na compilação ou hora de instalação do que pode ser feita para o código em execução em 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 sobre confiabilidade.

Singularity rdk. Software Relacionado