Singularité rdk Un projet de recherche s'est concentré sur la construction de systèmes fiables grâce à l'innovation dans les domaines des systèmes, des langues
Télécharger maintenant

Singularité rdk Classement & Résumé

Singularité rdk Mots clés

prototype Modifier les systèmes L Systèmes L Systèmes de mesure Systèmes de résolution de problèmes Systèmes d'équation systèmes systèmes multi-curs Kit de développement de la recherche Système d'exploitation prototype Processus isolé logiciel Rdk Singularité systèmes de paris systèmes de refroidissement Développer des systèmes intelligents Service des systèmes Systèmes critiques de sécurité Recherche complexe des systèmes Systèmes d'intégration des ODES Processus Lindenmeyer Systems Systèmes non statistiques simuler les systèmes numériques p Simulateur numérique P Systèmes P Analyser les systèmes numériques numériques Systèmes d'état continuum systèmes de point de vente systèmes de communication Outils de systèmes systèmes d'outils Systèmes d'affichage Systèmes HR systèmes éditoriaux Systèmes de roues utilitaire de systèmes Systèmes de signalisation SYSTÈMES DE DROIT DE RÉSILIATION approche systémique

Singularité rdk La description

Le nom RDK signifie Kit de développement de recherche. La singularité est un projet de recherche axé sur la construction de systèmes fiables grâce à l'innovation dans les domaines des systèmes, des langues et des outils. Nous construisons un prototype de système d'exploitation de recherche (appelé singularité), prolongeant des langages de programmation et développant de nouvelles techniques et outils pour spécifier et vérifier le comportement du programme. Les avances dans les langues, les compilateurs et les outils ouvrent la possibilité de l'amélioration de manière imprimante. Par exemple, la singularité utilise des langages de type-coffre-fort et une instruction de résumé définie pour permettre ce que nous appelons le processus isolé logiciel (SIP). Les gorgées fournissent des garanties d'isolement fortes des processus de système d'exploitation (espace d'objet isolé, GC distincts, des roulements distincts) sans les frais généraux des domaines de protection appliqués au matériel. Dans les guichets de prototype de singularité actuels sont extrêmement bon marché; Ils fonctionnent dans l'anneau 0 dans l'espace d'adressage du noyau. La singularité utilise ces avancées pour créer des systèmes et des applications plus fiables. Par exemple, parce que les gorgées sont si bon marché pour créer et appliquer, la singularité exécute chaque programme, pilote de périphérique ou extension système dans son propre SIP. Les gorgées ne sont pas autorisées à partager la mémoire ni à modifier leur propre code. En conséquence, nous pouvons faire de fortes garanties de fiabilité sur le code exécutant dans une SIP. Nous pouvons vérifier beaucoup de propriétés plus larges à propos d'une SIP lors de la compilation ou de l'installation que ce qui peut être effectué pour le code exécuté dans les processus traditionnels du système d'exploitation. L'application plus large de la vérification statique est essentielle pour prédire le comportement du système et fournir aux utilisateurs des garanties solides sur la fiabilité.

Singularité rdk Logiciels associés