M

Beaucoup d'entre vous ont sûrement entendu parler de Midori, qui serait la prochaine étape pour Windows. Un nouveau système d'exploitation écrit à partir de zéro, avec un nouveau noyau et écrit dans un langage moderne. Tellement moderne qu'il n'existe même pas encore en tant que tel.

Le langage, dont le nom de code est M, est basé sur C et est spécifiquement conçu pour programmer des systèmes d'exploitation , capables d'atteindre le niveau le plus bas mais sans perdre les abstractions utiles nécessaires pour créer des programmes plus courants, comme une application utilisateur.

Dans un article sur son blog, Joe Duffy, l'un des développeurs de Midori, a partagé des détails très intéressants sur ce futur langage. L'idée principale du projet est de créer un langage avec type-safe (type-safety) comme C, mais c avec de très bonnes performances , comme C++.

Une grande partie de l'effort de performance consiste à peaufiner deux domaines de C : le ramasse-miettes et le système de frappe En un coup d'œil, le C ramasse-miettes pour un programme toutes les X fois, recherche les objets qui ne sont plus utilisés (par exemple, votre navigateur a enregistré plusieurs images en RAM mais n'en a plus besoin) et libère leur mémoire. Pour les développeurs, c'est un système qui libère beaucoup de complexité en matière de gestion de la mémoire, mais comme vous pouvez l'imaginer, il est plus lent. M serait plus intelligent à cet égard, empruntant plusieurs idées au C++ pour mieux comprendre le cycle de vie des objets (quand ils commencent à être utilisés et quand ils ne sont plus nécessaires) et ainsi être plus efficace lorsqu'il s'agit d'allouer et de libérer de la mémoire .sans que le ramasse-miettes n'ait à intervenir.

"

D&39;autre part, les modifications apportées au système de typage cherchent à résoudre l&39;un des problèmes que rencontrent actuellement la plupart des langages anciens (lire : conçus avant 2005), le parallélisme À l&39;heure actuelle, les ordinateurs ne grandissent pas en hauteur - la vitesse du processeur - mais en largeur, avec plus de cœurs en parallèle. Créer des programmes qui font bon usage d&39;un tel traitement parallèle n&39;est pas facile et il y a beaucoup de détails subtils, en particulier lors du partage de données entre plusieurs processus ou threads."

M apporterait des concepts de langages de programmation fonctionnels, principalement l'immuabilité des objets et la gestion des effets secondaires des méthodes, ce qui permettrait aux programmeurs et au compilateur de créer plus facilement plusieurs threads pour profitez des multiples cœurs des ordinateurs et améliorez ainsi considérablement les performances.

De plus, M apporterait également un nouveau système de gestion des erreurs : rapide, facile à utiliser, efficace, utilisant des contrats de code pour limiter le comportement du programme à des chemins valides, et facile à comprendre afin que le le compilateur peut effectuer des optimisations.Ainsi, nous parlerions d'un langage qui facilite la création de programmes plus sûrs et plus robustes, ce qui est très important si nous voulons l'utiliser pour un système d'exploitation.

Assez de jargon technique : qu'est-ce que cela signifie ?

Après avoir plongé un peu dans le monde des langages de programmation, qu'est-ce que tout cela signifie ?

Tout d'abord, Microsoft semble prendre très au sérieux la prochaine étape de Windows. Mary Jo Foley dit que Midori est passé d'un simple projet de recherche à passer sous l'aile de Terry Myerson, dans le groupe Unified Operating System. M et Midori ne sont pas seulement une expérience, mais la voie à suivre pour Microsoft.

Est-il judicieux de préparer un autre Windows ? Depuis lors. Comme tout autre programme, un système d'exploitation a une durée de vie limitée. Le monde est très différent maintenant depuis la conception de Windows, et quelle que soit la flexibilité du système, tant de changements au fil des ans pour l'adapter à de nouveaux scénarios finissent par faire des ravages et il commence à être plus rentable de repartir de zéro ( quelque chose que nous autres informaticiens aimons beaucoup).

Bien sûr, Midori ne sera pas là à court ou moyen terme. Mais quand il sera terminé (si jamais il est fait, ce qui n'est pas certain non plus), ce sera un système qui, étant parallèle et axé sur le cloud depuis le début, placera Microsoft à la tête du monde de systèmes d'exploitation, au moins au niveau technique et capacitaire.

Quant à M, si, comme promis, il s'agissait d'une extension de C sans modifications non prises en charge, de nombreux développeurs pourraient facilement y basculer. Et s'ils le sortent complètement de la boîte, ce qu'ils ont également promis, ils pourraient être en mesure de le sortir de la "boucle Microsoft" dans laquelle C est coincé en ce moment, de l'étendre et ainsi d'obtenir un énorme avantage sur autres langues et entreprises.

Pour l'instant, il semble que la langue aura de l'avenir, et nous devrions en savoir plus dans les semaines à venir.Quant à Midori, rappelons qu'il n'est même pas officiel, il nous faudra encore beaucoup de temps pour en savoir plus sur lui, mais ce type d'histoire nous dit où va Microsoft.