M

Bizonyára sokan hallottatok már a Midori-ról, ami a következő lépés lenne a Windows számára. Új operációs rendszer, amit a semmiből írtak, új kernellel és modern nyelven. Annyira modern, hogy mint olyan még nem is létezik.

A M kódnevű nyelv C-on alapul, és kifejezetten operációs rendszerek programozására készült, és képes elérni a legalacsonyabb szintet de anélkül, hogy elveszítené azokat a hasznos absztrakciókat, amelyek szükségesek gyakoribb programok, például felhasználói alkalmazások létrehozásához.

A blogjában megjelent cikkben Joe Duffy, a Midori egyik fejlesztője nagyon érdekes részleteket osztott meg erről a jövőbeli nyelvről. A projekt fő ötlete egy nyelv létrehozása típusbiztonsággal (type-safety), mint a C, de c nagyon jó teljesítménnyel , például C++.

A teljesítménnyel kapcsolatos erőfeszítések nagy része a C két területének módosítására irányul: a szemétgyűjtő és a gépelési rendszer Egy pillantásra a C szemétgyűjtő egy programhoz minden X alkalommal, megkeresi a már nem használt objektumokat (például a böngésző több képet mentett a RAM-ba, de már nincs szüksége rájuk), és felszabadítja a memóriájukat. A fejlesztők számára ez egy olyan rendszer, amely sok bonyolultságot szabadít fel a memóriakezelés terén, de ahogy elképzelhető, lassabb. Az M ebben a tekintetben okosabb lenne, több ötletet kölcsönvenne a C++-ból, hogy jobban megértse az objektumok életciklusát (mikor kezdik el használni őket, és mikorra már nincs rájuk szükség), és így hatékonyabbá válna a memória lefoglalása és felszabadítása terén. anélkül, hogy a szemétszedőnek be kellene lépnie.

"

Másrészt a gépelési rendszer módosításai azt a problémát kívánják megoldani, amely a legtöbb régi (2005 előtt tervezett) nyelvben jelenleg fennáll, a párhuzamosság A számítógépek jelenleg nem magasságban – processzorsebességben – nőnek, hanem szélességükben, párhuzamosan több maggal. Az ilyen párhuzamos feldolgozást jól kihasználó programok létrehozása nem egyszerű, és sok finom részletre van szükség, különösen, ha több folyamat vagy szál között osztanak meg adatokat."

A

M koncepciókat hozna a funkcionális programozási nyelvekből, elsősorban az objektum megváltoztathatatlanságát és a metódus-mellékhatások kezelését, ami megkönnyítené a programozók és a fordító számára több szál létrehozását aszámára használja ki a számítógépek több magját, és ezáltal nagymértékben javítja a teljesítményt.

Ezen kívül az M egy új hibakezelő rendszert is hozna: gyors, könnyen használható, hatékony, kódszerződések segítségével korlátozza a program viselkedését az érvényes útvonalakra, és könnyen érthető, hogy a A fordító képes optimalizálni.Tehát egy olyan nyelvről beszélünk, amely megkönnyíti biztonságosabb és robusztusabb programok létrehozását, ami nagyon fontos, ha operációs rendszerben akarjuk használni.

Elég a szakzsargonból: mit jelent ez?

Miután egy kicsit belemerültünk a programozási nyelvek világába, mit jelent ez az egész?

Először is úgy tűnik, hogy a Microsoft nagyon komolyan veszi a Windows következő szakaszát. Mary Jo Foley azt mondja, hogy a Midori csupán kutatási projektből Terry Myerson szárnyai alá került, az Egységes operációs rendszer csoportban. Az M és a Midori nem csak egy kísérlet, hanem a Microsoft számára az előremutató út.

Van értelme egy másik Windowst előkészíteni? Természetesen. Mint minden más programnak, az operációs rendszernek is korlátozott az élettartama. A világ most egészen más, mint amikor a Windowst tervezték, és bármennyire is rugalmas a rendszer, az évek során az új forgatókönyvekhez igazodó sok változás végül megbosszulja magát, és jövedelmezőbb lesz a nulláról kezdeni ( valami, amit mi informatikusok nagyon szeretünk).

Természetesen Midori rövid- vagy középtávon nem lesz elérhető. De ha elkészül (ha valaha elkészült, ami szintén nem biztos), akkor egy olyan rendszer lesz, amely párhuzamos és felhőközpontú a kezdetektől fogva, és a Microsoft élére fogja tenni a világon operációs rendszerek , legalább műszaki és kapacitási szinten.

Ami az M-ot illeti, ha az ígéreteknek megfelelően a C kiterjesztése lenne nem támogatott változtatások nélkül, sok fejlesztő könnyen átválthatna rá. És ha teljesen kiadják a dobozból, amit szintén megígértek, akkor talán sikerül kitörni abból a „Microsoft hurokból”, amiben a C jelenleg beragadt, kibővíteni, és ezzel óriási előnyre szert tenni. más nyelvek és cégek.

Egyelőre úgy tűnik, hogy a nyelvnek lesz jövője, és a következő hetekben további részleteket kell megtudnunk.Ami Midorit illeti, ne feledjük, hogy még csak nem is hivatalos, még sok időbe telik, amíg többet megtudunk róla, de ez a fajta történet elárulja, merre tart a Microsoft.