M

Säkert många av er har hört talas om Midori, vilket skulle vara nästa steg för Windows. Ett nytt operativsystem skrivet från grunden, med en ny kärna och skrivet på ett modernt språk. Så modern att den inte ens existerar som sådan än.

Språket, med kodnamnet M, är baserat på C och är speciellt utformat för programmering av operativsystem, som kan nå den lägsta nivån men utan att förlora de användbara abstraktioner som krävs för att skapa vanligare program, till exempel en användarapplikation.

I en artikel på sin blogg har Joe Duffy, en av Midoris utvecklare, delat med sig av mycket intressanta detaljer om detta framtida språk. Huvudtanken med projektet är att skapa ett språk med typsäkert (typsäkerhet) som C, men c med mycket bra prestanda , såsom C++.

Mycket av prestandaarbetet går till att finjustera två områden av C: sopsamlaren och skrivsystemet I ett ögonkast, C garbage collector för ett program varje X gång, letar efter objekt som inte längre används (till exempel har din webbläsare sparat flera bilder i RAM men behöver dem inte längre) och frigör deras minne. För utvecklare är det ett system som frigör en hel del komplexitet när det kommer till att hantera minne, men som du kan föreställa dig är det långsammare. M skulle vara smartare i detta avseende, att låna flera idéer från C++ för att bättre förstå objektens livscykel (när de börjar användas och när de inte längre behövs) och därmed vara effektivare när det gäller att allokera och frigöra minne utan att sopsamlaren behöver komma till spel.

"

Å andra sidan försöker ändringarna i skrivsystemet att lösa ett av de problem som de flesta gamla språk (läs: designade före 2005) för närvarande har, parallellism Just nu växer datorer inte på höjden – processorhastigheten – utan på bredden, med fler kärnor parallellt. Att skapa program som drar nytta av sådan parallell bearbetning är inte lätt och det finns många subtila detaljer, särskilt när man delar data mellan flera processer eller trådar."

M skulle ta med begrepp från funktionella programmeringsspråk, främst objektets oföränderlighet och metodbieffekthantering, vilket skulle göra det lättare för programmerare och kompilatorn att skapa flera trådar för utnyttja de flera kärnorna i datorer och förbättra prestandan avsevärt.

Dessutom skulle M också ge ett nytt felhanteringssystem: snabbt, lätt att använda, effektivt, med användning av kodkontrakt för att begränsa programmets beteende till giltiga sökvägar och lätt att förstå så att kompilatorn kan utföra optimeringar.Vi skulle alltså tala om ett språk som underlättar skapa säkrare och robustare program, något mycket viktigt om vi vill använda det för ett operativsystem.

Nog med den tekniska jargongen: vad betyder detta?

Efter att ha dykt in i programmeringsspråkens värld ett tag, vad betyder det hela?

För det första verkar Microsoft ta nästa steg av Windows på största allvar. Mary Jo Foley säger att Midori har gått från att bara vara ett forskningsprojekt till att komma under Terry Myersons vingar, i Unified Operating System-gruppen. M och Midori är inte bara ett experiment, utan vägen framåt för Microsoft.

Är det vettigt att förbereda ett annat Windows? Självklart. Som alla andra program har ett operativsystem en begränsad livslängd. Världen är väldigt annorlunda nu från när Windows designades, och oavsett hur flexibelt systemet är, så hamnar så många förändringar under årens lopp för att anpassa det till nya scenarier och det börjar bli mer lönsamt att börja från början ( något som vi datavetare tycker väldigt mycket om).

Naturligtvis kommer Midori inte att finnas på kort eller medellång sikt. Men när det är färdigt (om det någonsin gjorts, vilket inte heller är säkert) kommer det att vara ett system som, parallellt och molnfokuserat från början, kommer att placera Microsoft i huvudet i världen av operativsystem, åtminstone på teknisk nivå och kapacitetsnivå.

När det gäller M, om det som utlovat var en tillägg till C utan några ändringar som inte stöds, skulle många utvecklare lätt kunna byta till det. Och om de släpper den helt ur lådan, vilket de också har lovat, kanske de kan bryta den ur 'Microsoft-loopen' som C sitter fast i just nu, utöka den och på så sätt få en enorm fördel gentemot andra språk och företag.

För tillfället verkar det som om språket kommer att ha en framtid, och vi borde veta mer detaljer under de kommande veckorna.När det gäller Midori, låt oss komma ihåg att han inte ens är officiell, det kommer fortfarande att ta lång tid för oss att veta mer om honom, men den här typen av historia berättar vart Microsoft är på väg.