Singularity A research OS written in C#
Innehållsförteckning:
Singularity är ett Microsoft Research-projekt för att bygga ett högt pålitligt mikrokärnor operativsystem där kärnan, drivrutinerna och applikationerna är alla skrivna i hanterad kod. Mer än 90% av OS-kärnan är skrivet i Sing #, en förlängning av programmeringsspråket C # på hög nivå.
Microsoft Research Singularity
Singularity är ett forskningsprojekt som fokuserar på byggandet av pålitliga system genom innovation i områden av system, språk och verktyg. Vi bygger en prototyp för forskningsoperativsystem (kallad Singularity), utvidgar programmeringsspråk och utvecklar nya tekniker och verktyg för att specificera och verifiera programbeteende.
Förskott på språk, kompilatorer och verktyg ger möjlighet att förbättra programvaran avsevärt. Singularity använder till exempel typsäkra språk och en abstrakt instruktion för att aktivera det vi kallar Software Isolated Processes (SIP). SIP-skivor ger de starka isoleringsgarantierna för OS-processer (isolerat objektutrymme, separata GC-s, separata runtider) utan överliggande skyddshanteringsdomäner för hårdvara. I den nuvarande Singularity-prototypen är SIPs extremt billiga; De kör i ring 0 i kärnans adressutrymme.
Singularity använder dessa framsteg för att bygga mer pålitliga system och applikationer. Till exempel, eftersom SIP-filer är så billiga att skapa och verkställa, kör Singularity varje program, enhetsdrivrutin eller systemtillägg i sin egen SIP. SIP: er får inte dela minne eller ändra sin egen kod. Som ett resultat kan vi göra starka tillförlitligheter om koden som körs i en SIP. Vi kan verifiera mycket bredare egenskaper om en SIP vid kompilering eller installationstid än vad som kan göras för kod som körs i traditionella operativsystem. En bredare tillämpning av statisk verifiering är avgörande för att förutsäga systembeteende och ger användarna starka garantier om tillförlitlighet.
Microsoft Research har gjort tillgängligt för nedladdning, Singularity Research Development Kit (RDK) . Du kan ladda ner det från CodePlex, Microsofts öppna källkodsprojekt värdwebbplats. Du kan också ladda ner Översikt av Singularity Project genom att klicka här.
Keyular utvecklare av Singularity, Galen Hunt och Jim Larus, har sagt att alla nuvarande operativsystem som Windows, Linux och Mac OS kan spåras tillbaka till ett operativsystem som heter Multics, som har sitt ursprung på 1960-talet. I praktiken bygger nuvarande operativsystem fortfarande delvis på tankar och kriterier från 40 år sedan. Multiplexed Information and Computing Service eller Multics är ett operativsystem med operativsystem som startat år 1965 och användes fram till år 2000.
Microsoft Research Singularity stod under 2003 som ett helt nytt tillvägagångssätt för OS-byggnad.
För icke-statliga organisationer och icke-statliga organisationer kan ICT4D-rymden vara en tuff mutter att spricka. Även om icke-statliga organisationer i allmänhet kämpar för att hitta verktygen för att möta deras specifika behov, möter utvecklare motsatt problem - att få sina verktyg i händerna på dem som behöver dem mest. Försök att ansluta icke-statliga organisationer och utvecklingssamhällen - fysiskt och praktiskt taget - fortsätter denna dag med varierande grad av framgång. Det finns inge
Naturligtvis är det bara en liten del att samla de två parterna på ett ställe - konferensrum eller chattrum. Att få dem att förstå varandras behov kan vara en annan. Medan en sida kan närma sig saker från en "teknik som letar efter ett problem" -vinkel, har frivilligorganisationerna ofta det helt tvärtom. Ett av de djärvaste försök som nyligen gjorts för att delta i ideella / utvecklaren prickade i februari 2007 på den djärvt titlade konferensen UN Meets Silicon Valley där FN träffade en massa S
Skålnätverk laddad med icke-samtalsbrott
Två amerikanska byråer frågar en domstol att stoppa företaget från att ringa och ringa konsumenter på lista
Interoperabilitet överbryggar klyftan mellan Microsoft och icke-Microsoft-teknik.
Interoperabilitetsbroarcentret är inriktat på tekniskt samarbete för att förbättra driftskompatibiliteten mellan Microsoft och icke-Microsoft-teknik.