M

Mange af jer har sikkert hørt om Midori, hvilket ville være det næste trin for Windows. Et nyt styresystem skrevet fra bunden, med en ny kerne og skrevet på et moderne sprog. Så moderne, at det ikke engang eksisterer som sådan endnu.

Sproget, kodenavnet M, er baseret på C og er specielt designet til programmering af operativsystemer, der er i stand til at nå det laveste niveau men uden at miste de nyttige abstraktioner, der er nødvendige for at skabe mere almindelige programmer, såsom en brugerapplikation.

I en artikel på sin blog har Joe Duffy, en af ​​Midoris udviklere, delt meget interessante detaljer om dette fremtidige sprog. Hovedidéen med projektet er at skabe et sprog med type-safe (type-sikkerhed) som C, men c med meget god ydeevne , såsom C++.

Meget af præstationsindsatsen går i at finjustere to områder af C: skraldesamleren og skrivesystemet I et blik, C garbage collector til et program hver X gang, leder efter objekter, der ikke længere er i brug (din browser har f.eks. gemt flere billeder i RAM, men har ikke længere brug for dem) og frigør deres hukommelse. For udviklere er det et system, der frigør en masse kompleksitet, når det kommer til håndtering af hukommelse, men som du kan forestille dig er det langsommere. M ville være smartere i denne henseende ved at låne adskillige ideer fra C++ for bedre at forstå objekters livscyklus (hvornår de begynder at blive brugt, og når de ikke længere er nødvendige) og dermed være mere effektiv, når det kommer til at allokere og frigøre hukommelse uden at skraldespanden skal komme i spil.

"

På den anden side søger ændringerne i skrivesystemet at løse et af de problemer, som de fleste gamle sprog (læs: designet før 2005) i øjeblikket har, parallelisme Lige nu vokser computere ikke i højden - processorhastighed - men i bredden, med flere kerner parallelt. Det er ikke let at skabe programmer, der gør god brug af sådan parallel behandling, og der er mange subtile detaljer, især når man deler data mellem flere processer eller tråde."

M ville bringe koncepter fra funktionelle programmeringssprog, hovedsageligt objekt-uforanderlighed og metode-bivirkningshåndtering, hvilket ville gøre det lettere for programmører og compileren at oprette flere tråde til udnyt de mange computerkerner og forbedre dermed ydeevnen betydeligt.

Derudover ville M også bringe et nyt fejlhåndteringssystem: hurtigt, nemt at bruge, effektivt, der gør brug af kodekontrakter til at begrænse programadfærd til gyldige stier og let at forstå, så compiler kan udføre optimeringer.Vi ville altså tale om et sprog, der gør det lettere at skabe mere sikre og robuste programmer, noget meget vigtigt, hvis vi vil bruge det til et operativsystem.

Nok med den tekniske jargon: hvad betyder det?

Efter at have dykket lidt ned i programmeringssprogenes verden, hvad betyder det hele?

For det første ser det ud til, at Microsoft tager den næste fase af Windows meget seriøst. Mary Jo Foley siger, at Midori er gået fra kun at være et forskningsprojekt til at komme under Terry Myersons vinge i Unified Operating System-gruppen. M og Midori er ikke bare et eksperiment, men vejen frem for Microsoft.

Giver det mening at forberede endnu et Windows? Selvfølgelig. Som ethvert andet program har et operativsystem en begrænset levetid. Verden er meget anderledes nu, end da Windows blev designet, og uanset hvor fleksibelt systemet er, så ender mange ændringer gennem årene for at tilpasse det til nye scenarier med at tage deres vejafgift, og det begynder at være mere rentabelt at starte fra bunden ( noget, som vi dataloger kan lide det meget).

Selvfølgelig vil Midori ikke eksistere på kort eller mellemlang sigt. Men når det er færdigt (hvis det nogensinde bliver gjort, hvilket heller ikke er sikkert) vil det være et system, der, parallelt og skyfokuseret fra starten, vil sætte Microsoft i hovedet i verden af operativsystemer, i det mindste på et teknisk og kapacitetsniveau.

Med hensyn til M, hvis det som lovet var en udvidelse til C uden ikke-understøttede ændringer, kunne mange udviklere nemt skifte til det. Og slipper de det helt ud af kassen, hvilket de også har lovet, kan de måske bryde det ud af 'Microsoft-løkken', som C sidder fast i lige nu, udvide det og dermed få en kæmpe fordel i forhold til andre sprog og virksomheder.

For nu ser det ud til, at sproget har en fremtid, og vi burde vide flere detaljer i de kommende uger.Med hensyn til Midori, så lad os huske, at han ikke engang er officiel, det vil stadig tage os lang tid at vide mere om ham, men denne type historie fortæller os, hvor Microsoft er på vej hen.