Midori : Microsoft développerait un autre OS basé sur un nouveau microkernel
Midori : Microsoft développerait un autre OS basé sur un nouveau microkernel
avec le langage de programmation M#
Derrière le langage de programmation qui pourrait porter le nom de M# (M Sharp), dont nous avons présenté les spécificités ce matin, se cacherait un nouveau système d’exploitation qui aurait pour nom de code « Midori ».
Selon un article de Mary Jo Foley, déjà à l’origine de plusieurs indications sur les produits Microsoft, qui se sont révélées justes, le projet Midori développé avec le langage M#, aurait franchi un nouveau cap.
Initié en 2008, « Midori » serait un système d’exploitation « non Windows », avec pour objectif de mettre à la retraite le noyau Windows NT, dont l’architecture serait datée, pour repartir sur la base d’un nouveau microkernel.
Midori tirerait sa source du projet « Singularity OS », un microkernel développé par de petites équipes de Microsoft Research entre 2003 et 2010. Désormais, Midori serait plus qu’un projet de recherche, d’après Mary Jo Foley. Le projet aurait été déplacé au sein de l’unité OS de Microsoft, dirigé par Terry Myerson, qui s’occupe notamment de Windows et Windows Phone.
En s’appuyant sur M#, qui serait un « langage de plus bas niveau se trouvant tout en bas de la pile », offrant un meilleur équilibre entre performance, sécurité et productivité, Midori sera non seulement plus sécurisé que Windows, mais également plus performant et réduira les incompatibilités logicielles.
Pour l’instant, aucune de ces informations n’a encore été confirmée par Microsoft.
Et vous ?
:fleche: Que pensez-vous de Midori ? Permettra-t-il de résoudre les problèmes du noyau Windows NT ?
Midori : le directeur d’ingénierie compilateur et langage de « Singularity OS »
Midori : le directeur d’ingénierie compilateur et langage de « Singularity OS »
donne plus de détails sur l’état d’avancement du projet
En début d’année dernière, cet article révélait le projet de développement du nouveau SE par Microsoft. Rappelons que le projet initié en 2008, tirait sa source du projet « Singularity OS », un microkernel développé par les équipes de recherches de Microsoft Research et ne devait avoir rien en commun avec Windows. Basé sur le langage M#, il devait être plus performant que Windows.
Joe Duffy directeur d’ingénierie compilateur et langage de la plateforme de Microsoft nous donne plus de détails sur l’état d’avancement du projet. Comme dans tout projet de recherche de cette envergure, l’on n’est pas à l’abri de revirement, de problèmes et même d’abandon. Midori n’y a pas échappé. Après avoir commencé les développements avec les langages C# et .NET, ils ont dû abandonner pour cause de sécurité, fiabilité et performance, affirme Joe dans son blog. Toutefois l’expérience acquise leur a permis d’améliorer différents aspects du nouveau SE. Regrettant le fait que Microsoft n’ait pas assez communiqué sur les travaux de Midori, Joe a planifié la publication d’une douzaine d’articles afin d’informer la communauté de l’état d’avancement des travaux. Trois des douze articles prévus sont déjà disponibles.
La gestion de la mémoire étant primordiale pour un SE, Midori a été conçu sur la base de trois éléments fondamentaux :
- Memory safety qui interdit l’accès aux régions invalides de la mémoire. On observe de nombreux bogues qui peuvent conduire à des injections de code lorsque la sécurité de la mémoire est violée ;
- Type safety qui interdit l’utilisation de la mémoire qui est en contradiction avec le type qui est alloué à cette mémoire ;
- Concurrency safe qui interdit l’utilisation concurrente non sécurisée de la mémoire partagée.
Selon Joe, la combinaison des trois aspects ci-dessus leur a permis d’avoir une base solide sur laquelle bâtir le nouveau SE. L’équipe de Microsoft s’est basée sur les systèmes existants comme KeyKos, Eros et Coyotos pour construire le SE sur les capacités de l’objet. En plus de l’objet, l’équipe a opté pour un autre concept qui est l’état. Midori supprime les statiques mutables, by-construction et compile-time dans le langage de programmation. Pour améliorer les performances du nouveau SE lors du traitement de données, l’équipe de Microsoft a opté pour un modèle de développement asynchrone.
Les plans de Microsoft concernant Mirodi n’ont jamais été très clairs affirme Joe dans son blog. Il ajoute qu’il est le premier à admettre qu’aucun d’entre eux ne savait ce qu’il adviendrait du SE. Le plus grand regret de Joe est que le projet n’ait pas été rendu open source depuis le début afin que la méritocratie d’internet juge le travail de manière appropriée.
Source : Blog Joe DUFFY
Et vous ?
:fleche: Qu'en pensez-vous ?
Voir aussi
:fleche: Forum SE