M

Cu siguranță mulți dintre voi ați auzit de Midori, care ar fi următorul pas pentru Windows. Un nou sistem de operare scris de la zero, cu un nucleu nou și scris într-un limbaj modern. Atât de modern încât nici măcar nu există încă ca atare.

Limbajul, cu nume de cod M, se bazează pe C și este conceput special pentru programarea sistemelor de operare, capabile să atingă cel mai de jos nivel. dar fără a pierde abstracțiile utile necesare pentru a crea programe mai comune, cum ar fi o aplicație utilizator.

Într-un articol de pe blogul său, Joe Duffy, unul dintre dezvoltatorii lui Midori, a împărtășit detalii foarte interesante despre acest viitor limbaj. Ideea principală a proiectului este de a crea un limbaj cu type-safe (type-safety) ca C, dar c cu performanțe foarte bune , cum ar fi C++.

O mare parte din efortul de performanță se îndreaptă spre modificarea a două zone ale C: colectorul de gunoi și sistemul de tastare La o privire, C colector de gunoi pentru un program de fiecare dată, caută obiecte care nu mai sunt în uz (de exemplu, browser-ul tău a salvat mai multe imagini în RAM dar nu mai are nevoie de ele) și le eliberează memoria. Pentru dezvoltatori este un sistem care eliberează multă complexitate atunci când vine vorba de gestionarea memoriei, dar după cum vă puteți imagina este mai lent. M ar fi mai inteligent în acest sens, împrumutând mai multe idei din C++ pentru a înțelege mai bine ciclul de viață al obiectelor (când încep să fie folosite și când nu mai sunt necesare) și astfel să fie mai eficient când vine vorba de alocarea și eliberarea memoriei fără ca gunoiul să fie nevoit să intre în joc.

"

Pe de altă parte, modificările din sistemul de dactilografiere urmăresc să abordeze una dintre problemele pe care le au în prezent majoritatea limbilor vechi (a se citi: concepute înainte de 2005), paralelism În acest moment, computerele nu cresc în înălțime - viteza procesorului - ci în lățime, cu mai multe nuclee în paralel. Crearea de programe care să folosească bine o astfel de procesare paralelă nu este ușoară și există multe detalii subtile, mai ales când partajați date între mai multe procese sau fire."

M ar aduce concepte din limbaje de programare funcționale, în principal imuabilitatea obiectelor și manipularea efectelor secundare ale metodei, ceea ce ar face mai ușor pentru programatori și compilator să creeze mai multe fire de execuție pentru profitați de nucleele multiple ale computerelor și astfel îmbunătățiți considerabil performanța.

În plus, M ar aduce și un nou sistem de tratare a erorilor: rapid, ușor de utilizat, eficient, folosind contracte de cod pentru a restricționa comportamentul programului la căi valide și ușor de înțeles, astfel încât compilatorul poate efectua optimizări.Astfel, am vorbi despre un limbaj care facilitează crearea de programe mai sigure și mai robuste, ceva foarte important dacă vrem să-l folosim pentru un sistem de operare.

Ajunge cu jargonul tehnic: ce înseamnă asta?

După ce s-a scufundat puțin în lumea limbajelor de programare, ce înseamnă toate acestea?

În primul rând, Microsoft pare să ia foarte în serios următoarea etapă a Windows. Mary Jo Foley spune că Midori a trecut de la a fi doar un proiect de cercetare la a intra sub aripa lui Terry Myerson, în grupul Unified Operating System. M și Midori nu sunt doar un experiment, ci calea de urmat pentru Microsoft.

Are sens să pregătim un alt Windows? Desigur. Ca orice alt program, un sistem de operare are o viață limitată. Lumea este acum foarte diferită față de când a fost proiectat Windows și, indiferent cât de flexibil este sistemul, atât de multe schimbări de-a lungul anilor pentru a-l adapta la noile scenarii ajung să-și ia plănuirea și începe să fie mai profitabil să pornești de la zero ( ceva care nouă, informaticienilor, ne place foarte mult).

Desigur, Midori nu va fi prin preajmă pe termen scurt sau mediu. Dar când se va termina (dacă se va face vreodată, ceea ce nici nu este sigur) va fi un sistem care, fiind paralel și focalizat pe cloud de la început, va pune Microsoft pe capul lumii de sisteme de operare, cel puțin la nivel tehnic și de capacitate.

În ceea ce privește M, dacă așa cum sa promis, ar fi o extensie la C fără modificări neacceptate, mulți dezvoltatori ar putea trece cu ușurință la el. Și dacă îl lansează complet din cutie, ceea ce au promis și ei, s-ar putea să-l iasă din „bucla Microsoft” în care este blocat C chiar acum, să-l extindă și, astfel, să obțină un avantaj imens față de alte limbi și companii.

Deocamdată, se pare că limba va avea ceva viitor, și ar trebui să aflăm mai multe detalii în săptămânile următoare.Cât despre Midori, să ne amintim că nici măcar nu este oficial, încă ne va dura mult să aflăm mai multe despre el, dar acest tip de poveste ne spune încotro se îndreaptă Microsoft.