M

Mange av dere har sikkert hørt om Midori, som ville være neste trinn for Windows. Et nytt operativsystem skrevet fra bunnen av, med en ny kjerne og skrevet på et moderne språk. Så moderne at det ikke engang eksisterer som sådan ennå.

Språket, med kodenavn M, er basert på C og er spesielt utviklet for programmering av operativsystemer, som er i stand til å nå det laveste nivået men uten å miste de nyttige abstraksjonene som er nødvendige for å lage mer vanlige programmer, for eksempel en brukerapplikasjon.

I en artikkel på bloggen sin har Joe Duffy, en av Midoris utviklere, delt svært interessante detaljer om dette fremtidige språket. Hovedideen med prosjektet er å lage et språk med type-safe (type-sikkerhet) som C, men c med veldig god ytelse , for eksempel C++.

Mye av ytelsesinnsatsen går til å finpusse to områder av C: søppelsamleren og skrivesystemet I et øyeblikk, C garbage collector for et program hver X gang, ser etter objekter som ikke lenger er i bruk (for eksempel har nettleseren din lagret flere bilder i RAM men trenger dem ikke lenger) og frigjør minnet deres. For utviklere er det et system som frigjør mye kompleksitet når det kommer til å administrere minne, men som du kan forestille deg er det tregere. M ville vært smartere i denne forbindelse, ved å låne flere ideer fra C++ for å bedre forstå livssyklusen til objekter (når de begynner å bli brukt og når de ikke lenger er nødvendige) og dermed være mer effektiv når det kommer til å allokere og frigjøre minne uten at søppelsamleren trenger å spille inn.

"

På den annen side søker modifikasjonene i skrivesystemet å løse et av problemene som de fleste gamle språk (les: designet før 2005) for tiden har, parallellism Akkurat nå vokser ikke datamaskiner i høyden – prosessorhastighet – men i bredden, med flere kjerner parallelt. Å lage programmer som gjør god bruk av slik parallell prosessering er ikke lett og det er mange subtile detaljer, spesielt når du deler data mellom flere prosesser eller tråder."

… dra fordel av de mange kjernene til datamaskiner

og forbedre ytelsen betraktelig.

I tillegg vil M også bringe et nytt feilhåndteringssystem: raskt, enkelt å bruke, effektivt, ved å bruke kodekontrakter for å begrense programatferd til gyldige stier, og lett å forstå slik at kompilatoren kan utføre optimaliseringer.Vi snakker altså om et språk som gjør det mulig å lage sikrere og robuste programmer, noe veldig viktig hvis vi ønsker å bruke det til et operativsystem.

Nok med den tekniske sjargongen: hva betyr dette?

Etter å ha dykket inn i programmeringsspråkenes verden litt, hva betyr det hele?

For det første ser det ut til at Microsoft tar neste fase av Windows på alvor. Mary Jo Foley sier at Midori har gått fra å være bare et forskningsprosjekt til å komme under vingen til Terry Myerson, i Unified Operating System-gruppen. M og Midori er ikke bare et eksperiment, men veien videre for Microsoft.

Gir det mening å forberede en annen Windows? Selvfølgelig. Som alle andre programmer har et operativsystem en begrenset levetid. Verden er veldig annerledes nå enn da Windows ble designet, og uansett hvor fleksibelt systemet er, så ender så mange endringer opp gjennom årene for å tilpasse det til nye scenarier og det begynner å bli mer lønnsomt å starte fra bunnen av ( noe som vi datavitere liker veldig godt).

Selvfølgelig kommer ikke Midori til på kort eller mellomlang sikt. Men når det er ferdig (hvis det noen gang blir gjort, noe som heller ikke er sikkert) vil det være et system som, parallelt og skyfokusert fra starten, vil sette Microsoft på hodet i verden av operativsystemer, i det minste på et teknisk nivå og kapasitetsnivå.

Når det gjelder M, hvis det som lovet var en utvidelse til C uten endringer som ikke støttes, kan mange utviklere enkelt bytte til det. Og hvis de slipper den helt ut av esken, noe de også har lovet, kan de kanskje bryte den ut av 'Microsoft-løkken' som C sitter fast i akkurat nå, utvide den og dermed få en stor fordel i forhold til andre språk og selskaper.

Foreløpig ser det ut til at språket vil ha en viss fremtid, og vi bør vite flere detaljer i løpet av de kommende ukene.Når det gjelder Midori, la oss huske at han ikke engang er offisiell, det vil fortsatt ta lang tid før vi vet mer om ham, men denne typen historier forteller oss hvor Microsoft er på vei.