Phenquestions
Singularity est un projet de recherche de Microsoft visant à créer un système d'exploitation micronoyau hautement fiable dans lequel le noyau, les pilotes de périphérique et les applications sont tous écrits en code managé. Plus de 90 % du noyau du système d'exploitation est écrit en Sing#, une extension du langage de programmation de haut niveau C#.
Singularité de Microsoft Research
Singularity est un projet de recherche axé sur la construction de systèmes fiables grâce à l'innovation dans les domaines des systèmes, des langages et des outils. Nous construisons un prototype de système d'exploitation de recherche (appelé Singularity), étendons les langages de programmation et développons de nouvelles techniques et de nouveaux outils pour spécifier et vérifier le comportement du programme.
Les progrès des langages, des compilateurs et des outils ouvrent la possibilité d'améliorer considérablement les logiciels. Par exemple, Singularity utilise des langages de type sécurisé et un jeu d'instructions abstraites pour activer ce que nous appelons les processus isolés logiciels (SIP). Les SIP offrent les garanties d'isolation solides des processus du système d'exploitation (espace objet isolé, GC séparés, temps d'exécution séparés) sans la surcharge des domaines de protection renforcés par le matériel. Dans le prototype actuel de Singularity, 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 créer des systèmes et des applications plus fiables. Par exemple, parce que les SIP sont si peu coûteux à créer et à appliquer, Singularity exécute chaque programme, pilote de périphérique ou extension système dans son propre SIP. Les SIP ne sont pas autorisés à partager la mémoire ou à modifier leur propre code. De ce fait, nous pouvons faire de fortes garanties de fiabilité sur le code s'exécutant dans un SIP. Nous pouvons vérifier des propriétés beaucoup plus larges sur un SIP au moment de la compilation ou de l'installation que ce qui peut être fait pour le code exécuté dans les processus de système d'exploitation traditionnels. Une application plus large de la vérification statique est essentielle pour prédire le comportement du système et fournir aux utilisateurs de solides garanties de fiabilité.
Microsoft Research a mis à disposition en téléchargement, le Kit de développement de la recherche sur la singularité (RDK). Vous pouvez le télécharger à partir de CodePlex, le site Web d'hébergement de projets de code open source 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 être attribués à 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 mainframe en temps partagé commencé en 1965 et utilisé jusqu'en 2000.
Microsoft Research Singularity a été lancé en 2003 comme une toute nouvelle approche de la création de systèmes d'exploitation.
