M

Mnoho z vás jistě slyšelo o Midori, což by byl další krok pro Windows. Nový operační systém napsaný od začátku, s novým jádrem a napsaný v moderním jazyce. Tak moderní, že jako takový ještě ani neexistuje.

Jazyk s kódovým označením M je založen na C a je speciálně navržen pro programování operačních systémů schopných dosáhnout nejnižší úrovně ale bez ztráty užitečných abstrakcí nezbytných k vytváření běžnějších programů, jako je uživatelská aplikace.

V článku na svém blogu se Joe Duffy, jeden z vývojářů Midori, podělil o velmi zajímavé podrobnosti o tomto budoucím jazyce. Hlavní myšlenkou projektu je vytvořit jazyk s typově bezpečným (typově bezpečným) jako C, ale c s velmi dobrým výkonem , jako je C++.

Velká část úsilí o výkon jde do vyladění dvou oblastí C: sběrač odpadu a systém psaní Stručně řečeno, C garbage collector pro program pokaždé X, hledá objekty, které se již nepoužívají (například váš prohlížeč uložil několik obrázků do RAM, ale již je nepotřebuje) a uvolní jejich paměť. Pro vývojáře je to systém, který uvolňuje spoustu složitosti, pokud jde o správu paměti, ale jak si dokážete představit, je pomalejší. M by byl v tomto ohledu chytřejší, vypůjčil si několik nápadů z C++, aby lépe porozuměl životnímu cyklu objektů (kdy se začaly používat a kdy už nejsou potřeba), a byl tedy efektivnější, pokud jde o alokaci a uvolnění paměti. aniž by musel vstoupit do hry popelář.

"

Na druhou stranu se úpravy v systému psaní snaží vyřešit jeden z problémů, který má většina starých jazyků (čti: navržených před rokem 2005) v současnosti, parallelism Právě teď počítače nerostou do výšky – rychlosti procesoru – ale do šířky, s více jádry paralelně. Vytváření programů, které dobře využívají takové paralelní zpracování, není snadné a existuje mnoho jemných detailů, zejména při sdílení dat mezi více procesy nebo vlákny."

M by přineslo koncepty z funkcionálních programovacích jazyků, zejména neměnnost objektů a manipulaci s vedlejšími efekty metod, což by usnadnilo programátorům a kompilátoru vytváření více vláken pro využít výhod více jader počítačů a výrazně tak zlepšit výkon.

Kromě toho by M také přinesl nový systém zpracování chyb: rychlý, snadno použitelný, efektivní, využívající kódové smlouvy k omezení chování programu na platné cesty a snadno srozumitelný, takže kompilátor může provádět optimalizace.Mluvili bychom tedy o jazyce, který usnadňuje vytváření bezpečnějších a robustnějších programů, což je velmi důležité, pokud jej chceme používat pro operační systém.

Dost technického žargonu: co to znamená?

Po chvíli, kdy jsme se na chvíli ponořili do světa programovacích jazyků, co to všechno znamená?

Za prvé, zdá se, že Microsoft bere další fázi Windows velmi vážně. Mary Jo Foley říká, že Midori se z pouhého výzkumného projektu dostala pod křídla Terryho Myersona ve skupině Unified Operating System. M a Midori nejsou jen experimentem, ale cestou vpřed pro Microsoft.

Má smysl připravovat další Windows? Samozřejmě. Jako každý jiný program má operační systém omezenou životnost. Svět je nyní velmi odlišný od doby, kdy byl Windows navržen, a bez ohledu na to, jak flexibilní je systém, tolik změn v průběhu let za účelem jeho přizpůsobení novým scénářům si nakonec vybere svou daň a začne být výhodnější začít od nuly ( něco, co se nám informatikům velmi líbí).

Samozřejmě, Midori tu nebude v krátkodobém nebo střednědobém horizontu. Ale až bude hotový (pokud vůbec někdy bude hotový, což také není jisté), bude to systém, který, protože je od začátku paralelní a zaměřený na cloud, postaví Microsoft do head na světě operačních systémů, alespoň na technické a kapacitní úrovni.

Pokud jde o M, pokud by to bylo rozšíření C bez nepodporovaných změn, jak bylo slíbeno, mnoho vývojářů by na něj mohlo snadno přejít. A pokud jej vydají úplně po vybalení z krabice, což také slíbili, možná se jim podaří vymanit se ze „smyčky Microsoftu“, ve které C právě teď uvízl, rozšířit jej a získat tak obrovskou výhodu oproti jiné jazyky a společnosti.

Prozatím to vypadá, že jazyk bude mít nějakou budoucnost a v příštích týdnech bychom se měli dozvědět více podrobností.Pokud jde o Midori, pamatujme, že není ani oficiální, bude nám ještě dlouho trvat, než se o něm dozvíme více, ale tento typ příběhu nám říká, kam Microsoft míří.