M

Určite mnohí z vás počuli o Midori, čo by bol ďalší krok pre Windows. Nový operačný systém napísaný od začiatku, s novým jadrom a napísaný v modernom jazyku. Tak moderný, že ako taký ešte ani neexistuje.

Jazyk s kódovým označením M je založený na C a je špeciálne navrhnutý pre programovanie operačných systémov schopných dosiahnuť najnižšiu úroveň ale bez straty užitočných abstrakcií potrebných na vytváranie bežnejších programov, ako je napríklad používateľská aplikácia.

V článku na svojom blogu sa Joe Duffy, jeden z vývojárov Midori, podelil o veľmi zaujímavé podrobnosti o tomto budúcom jazyku. Hlavnou myšlienkou projektu je vytvoriť jazyk s typovo bezpečným (typovo bezpečným) ako C, ale c s veľmi dobrým výkonom , ako napríklad C++.

Veľa úsilia v oblasti výkonu ide do ladenia dvoch oblastí C: zberač odpadu a systém písania Na prvý pohľad, C garbage collector pre program zakaždým X-krát vyhľadá objekty, ktoré sa už nepoužívajú (napríklad váš prehliadač uložil niekoľko obrázkov do pamäte RAM, ale už ich nepotrebuje) a uvoľní ich pamäť. Pre vývojárov je to systém, ktorý uvoľňuje veľa zložitosti, pokiaľ ide o správu pamäte, ale ako si viete predstaviť, je pomalší. M by bol v tomto smere múdrejší, požičal si niekoľko nápadov z C++, aby lepšie porozumel životnému cyklu objektov (kedy sa začnú používať a kedy už nie sú potrebné) a tým bol efektívnejší, pokiaľ ide o alokáciu a uvoľnenie pamäte. bez toho, aby musel vstúpiť do hry smetiar.

"

Na druhej strane, úpravy v systéme písania sa snažia riešiť jeden z problémov, ktorý má v súčasnosti väčšina starých jazykov (čítaj: navrhnuté pred rokom 2005), parallelism V súčasnosti počítače nerastú do výšky – rýchlosti procesora – ale do šírky, s viacerými paralelne zapojenými jadrami. Vytváranie programov, ktoré dobre využívajú takéto paralelné spracovanie, nie je jednoduché a existuje veľa jemných detailov, najmä pri zdieľaní údajov medzi viacerými procesmi alebo vláknami."

M by prinieslo koncepty z funkcionálnych programovacích jazykov, najmä nemennosť objektov a manipuláciu s vedľajšími účinkami metód, čo by uľahčilo programátorom a kompilátorom vytváranie viacerých vlákien pre využite výhody viacerých jadier počítačov a tým výrazne zvýšite výkon.

Okrem toho by M priniesol aj nový systém spracovania chýb: rýchly, ľahko použiteľný, efektívny, využívajúci kódové zmluvy na obmedzenie správania programu na platné cesty a ľahko pochopiteľný, takže kompilátor môže vykonávať optimalizáciu.Preto by sme hovorili o jazyku, ktorý uľahčuje vytváranie bezpečnejších a robustnejších programov, čo je veľmi dôležité, ak ho chceme použiť pre operačný systém.

Dosť bolo technického žargónu: čo to znamená?

Po chvíľke ponorenia sa do sveta programovacích jazykov čo to všetko znamená?

V prvom rade sa zdá, že Microsoft berie ďalšiu fázu Windowsu veľmi vážne. Mary Jo Foley hovorí, že Midori prešla z výskumného projektu pod krídla Terryho Myersona v skupine Unified Operating System. M a Midori nie sú len experimentom, ale cestou vpred pre Microsoft.

Má zmysel pripravovať ďalší Windows? Samozrejme. Ako každý iný program, aj operačný systém má obmedzenú životnosť. Svet je teraz veľmi odlišný od doby, keď bol Windows navrhnutý, a bez ohľadu na to, aký flexibilný je systém, toľko zmien v priebehu rokov na prispôsobenie sa novým scenárom si nakoniec vyberie svoju daň a začína byť ziskovejšie začať od nuly ( niečo, čo sa nám počítačovým vedcom veľmi páči).

Samozrejme, Midori tu nebude v krátkodobom ani strednodobom horizonte. Ale keď to bude hotové (ak sa to niekedy podarí, čo tiež nie je isté), bude to systém, ktorý, keďže je od začiatku paralelný a zameraný na cloud, postaví Microsoft na head na svete operačných systémov, aspoň na technickej a kapacitnej úrovni.

Pokiaľ ide o M, ak by to bolo rozšírenie C bez nepodporovaných zmien, ako bolo sľúbené, mnohí vývojári by naň mohli ľahko prejsť. A ak ho vydajú úplne mimo krabice, čo tiež sľúbili, možno sa im podarí vymaniť sa z „microsoftovej slučky“, v ktorej je C práve teraz zaseknutý, rozšíriť ho a získať tak obrovskú výhodu oproti iné jazyky a spoločnosti.

Zatiaľ sa zdá, že jazyk bude mať budúcnosť a ďalšie podrobnosti by sme mali vedieť v najbližších týždňoch.Pokiaľ ide o Midori, nezabúdajme, že nie je ani oficiálny, bude nám ešte dlho trvať, kým sa o ňom dozvieme viac, no tento typ príbehu nám hovorí, kam Microsoft smeruje.