Bureau

Microsoft Research Singularity - Un système d`exploitation autre que Windows

The Internet of Things by James Whittaker of Microsoft

The Internet of Things by James Whittaker of Microsoft

Table des matières:

Anonim

Singularity est un projet de Microsoft Research visant à construire un système d`exploitation micro-noyau hautement fiable dans lequel le noyau, les pilotes de périphériques et les applications sont écrits en code managé. Plus de 90% du noyau OS est écrit dans Sing #, une extension du langage de programmation de haut niveau C #

Microsoft Research Singularity

Singularity est un projet de recherche axé sur la construction de systèmes fiables par l`innovation dans le domaine. domaines des systèmes, des langues et des outils. Nous construisons un prototype de système d`exploitation de recherche (appelé Singularity), développons des langages de programmation et développons de nouvelles techniques et outils pour spécifier et vérifier le comportement des programmes.

Les progrès dans les langages, compilateurs et outils ouvrent la possibilité d`améliorer significativement les logiciels. Par exemple, Singularity utilise des langages de type sécurité et un ensemble d`instructions abstraites pour activer ce que nous appelons les processus isolés par logiciel (SIP). Les SIP offrent de solides garanties d`isolation des processus du système d`exploitation (espace objet isolé, GC séparés, runtimes séparées) sans la surcharge des domaines de protection matérielle. Dans le prototype Singularity actuel, les SIP sont extrêmement bon marché; ils s`exécutent dans l`anneau 0 dans l`espace d`adressage du noyau.

Singularity utilise ces avancées pour construire des systèmes et des applications plus fiables. Par exemple, parce que les SIP sont si peu chers à créer et à appliquer, Singularity exécute chaque programme, pilote de périphérique ou extension de système dans son propre SIP. Les SIP ne sont pas autorisés à partager de la mémoire ou à modifier leur propre code. En conséquence, nous pouvons faire de solides garanties de fiabilité sur le code qui s`exécute dans un SIP. Nous pouvons vérifier des propriétés beaucoup plus larges à propos d`un SIP au moment de la compilation ou de l`installation que ce qui peut être fait pour le code s`exécutant dans les processus OS traditionnels. Une 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é.

Microsoft Research a mis à disposition le Singularity Research Development Kit (RDK) . Vous pouvez le télécharger à partir de CodePlex, le site Web d`hébergement de projets de code source libre de Microsoft. Vous pouvez également télécharger Aperçu du projet Singularity , en cliquant ici

Les principaux développeurs de Singularity, Galen Hunt et Jim Larus, ont déclaré que tous les systèmes d`exploitation actuels tels que Windows, Linux et Mac OS peuvent remonter à un système d`exploitation appelé Multics, qui a ses origines dans les années 1960. En effet, les systèmes d`exploitation actuels reposent encore, en partie, sur des réflexions et des critères d`il y a 40 ans. Multiplexed Information and Computing Service, ou Multics est un système d`exploitation de mainframe timesharing commencé en 1965 et utilisé jusqu`en 2000.

Microsoft Research Singularity a été regardé en 2003 comme une approche totalement nouvelle à la construction OS.