M

Segurament molts de vos altres haureu sentit a parlar de Midori, el que seria el següent pas de Windows. Un nou sistema operatiu escrit des de zero, amb un nou nucli i escrit amb un llenguatge modern. Tan modern, que ni tan sols existeix com a tal.

El llenguatge, que tindria com a nom en clau M, es basa en C i està específicament dissenyat per a la programació de sistemes operatius , capaç d'arribar fins al nivell més baix però sense perdre les abstraccions útils i necessàries per crear programes més comuns, com una aplicació per a l'usuari.

En un article al seu bloc, Joe Duffy, un dels desenvolupadors de Midori, ha compartit detalls molt interessants sobre aquest futur llenguatge. La idea principal del projecte és crear un llenguatge amb tipus segur(type-safety) com C, però con molt bon rendiment , com C++.

Gran part de l'esforç en rendiment modificarà dues àrees de C: el col·lector d'escombraries i el sistema de tipatge A grans trets , el col·lector d'escombraries de C per a un programa cada X temps, cerca objectes que ja no s'estiguin usant (per exemple, el vostre navegador ha guardat diverses imatges en memòria RAM però ha deixat de necessitar-les) i allibera la seva memòria. Pels desenvolupadors és un sistema que allibera de molta complexitat a l'hora de gestionar la memòria, però com podreu imaginar és més lent. M seria més intel·ligent en aquest sentit, prenent prestades diverses idees de C++ per entendre millor el cicle de vida dels objectes (quan es comencen a fer servir i quan deixen de necessitar-se) i així ser més eficient a l'hora de reservar i alliberar memòria sense que el col·lector d'escombraries hagi d'entrar en joc.

"

D&39; altra banda, les modificacions en el sistema de tipat busquen afrontar un dels problemes que tenen ara mateix la majoria de llenguatges antics (llegiu: dissenyats abans del 2005), el paral·lelisme Ara mateix, els ordinadors no creixen a d alt - velocitat del processador - sinó a l&39;ample, amb més nuclis en paral·lel. Crear programes que aprofitin bé aquest processat en paral·lel no és fàcil i hi ha molts detalls subtils, especialment quan es comparteixen dades entre diversos processos o fils."

M portaria conceptes dels llenguatges de programació funcionals, principalment immutabilitat dels objectes i control d'efectes secundaris en els mètodes, que farien més senzill per als programadors i per al compilador crear diversos fils per aaprofitar-se dels múltiples nuclis dels ordinadors i així millorar molt el rendiment.

A més, M també portaria un nou sistema de control d'errors: ràpid, senzill d'usar, eficient, que faci ús dels contractes de codi per restringir el comportament del programa als camins vàlids i fàcil d'entendre perquè el compilador pugui fer optimitzacions.Estaríem parlant així d'un llenguatge que facilita crear programes més segurs i robusts, una cosa molt important si volem fer-lo servir per a un sistema operatiu.

Prou amb l'argot tècnic: què significa això?

Després de submergir-nos una mica en el món dels llenguatges de programació, què significa tot això?

El primer és que Microsoft sembla prendre's molt seriosament la següent etapa de Windows. Mary Jo Foley diu que Midori ha passat de ser un projecte només de recerca a estar sota l'ala de Terry Myerson, al grup d'Unified Operating System . M i Midori no són només un experiment, sinó el camí que ha de seguir Microsoft.

Té sentit preparar un altre Windows? Per descomptat. Com qualsevol altre programa, un sistema operatiu té una vida limitada. El món és molt diferent ara de quan es va dissenyar Windows, i per molt flexible que sigui el sistema, tants canvis al llarg dels anys per adaptar-lo als nous escenaris acaben passant factura i comença a ser més rendible començar des de zero (cosa que ens agrada molt als informàtics).

Per descomptat, Midori no estarà ni a curt ni a mitjà termini. Però quan es finalitzi (si és que finalment es duu a terme, que tampoc no és segur) serà un sistema que, estant enfocat a sistemes paral·lels i al núvol des del principi, posarà a Microsoft al cap al món dels sistemes operatius, almenys a nivell tècnic i de capacitats.

Quant a M, si tal com prometen fos una extensió de C sense canvis no compatibles, molts desenvolupadors podrien passar-s'hi sense problemes. I si ho alliberen completament des del primer moment, cosa que també han promès, pot ser que ho aconsegueixin treure del 'cercle Microsoft' en què C està atrapat ara mateix, expandir-ho i així obtenir un avantatge enorme davant d' altres llenguatges i companyies.

De moment, sembla que el llenguatge tindrà una mica de futur, i hauríem de conèixer més detalls en les properes setmanes.Quant a Midori, que recordem que ni tan sols és oficial, encara trigarem prou a saber-ne alguna cosa més, però aquest tipus d'històries ens van indicant cap a on es dirigeix ​​Microsoft.