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

Table des matières:

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

Vidéo: Microsoft Research Singularity - Un système d'exploitation autre que Windows

Vidéo: Microsoft Research Singularity - Un système d'exploitation autre que Windows
Vidéo: Créer votre Site Web avec Google Sites - FRANCAIS - YouTube 2024, Mars
Anonim

Singularity est un projet Microsoft Research visant à créer un système d’exploitation à micro-noyau 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 #.

Image
Image

Microsoft Research Singularity

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 outils pour spécifier et vérifier le comportement du programme.

Les avancées dans les langages, les compilateurs et les outils ouvrent la possibilité d’améliorer considérablement les logiciels. Par exemple, Singularity utilise des langages sécurisés par un type et un jeu d’instructions abstraites pour activer ce que nous appelons des processus logiciels isolés (SIP). Les SIP offrent de fortes garanties d'isolation des processus du système d'exploitation (espace objet isolé, GCs séparés, exécutions séparées) sans la surcharge des domaines de protection imposés par le matériel. Dans la Singularity actuelle, les prototypes de SIP sont extrêmement bon marché; ils fonctionnent dans l’anneau 0 dans l’espace adresse du noyau.

Singularity utilise ces avancées pour construire des systèmes et des applications plus fiables. Par exemple, étant donné que les SIP sont 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 de la mémoire ou à modifier leur propre code. De ce fait, nous pouvons apporter de fortes garanties de fiabilité concernant le code exécuté dans un SIP. Nous pouvons vérifier des propriétés beaucoup plus larges sur un SIP lors de la compilation ou de l’installation que pour le code exécuté dans des processus de système d’exploitation traditionnels. Une application plus large de la vérification statique est essentielle pour prévoir le comportement du système et fournir aux utilisateurs de solides garanties de fiabilité.

Microsoft Research a mis à disposition pour téléchargement, la Kit de développement de la recherche sur la singularité (RDK). Vous pouvez le télécharger depuis CodePlex, le site Web d’hébergement de projets de code source libre de Microsoft. Vous pouvez aussi télécharger Vue d'ensemble 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, pouvaient être rattachés à un système d’exploitation appelé Multics, qui a été créé dans les années 1960. En effet, les systèmes d'exploitation actuels reposent encore, en partie, sur des idées et des critères d'il y a 40 ans. Le service d’information et d’informatique multiplexé, ou Multics, est un système d’exploitation en temps partagé mainframe lancé en 1965 et utilisé jusqu’en 2000.

Microsoft Research Singularity a été présenté en 2003 comme une approche totalement nouvelle de la création d’OS.

Conseillé: