Microsoft Research Singularity - Et operativsystem som ikke er Windows

Singularity er et Microsoft Research-prosjekt for å bygge et svært pålitelig microkernel-operativsystem der kjernen, enhetsdrivere og applikasjoner er skrevet i administrert kode. Mer enn 90% av OS-kjernen er skrevet i Sing #, en utvidelse av C # høyt nivå programmeringsspråk.

Microsoft Research Singularity

Singularity er et forskningsprosjekt som fokuserer på konstruksjon av pålitelige systemer gjennom innovasjon innen system, språk og verktøy. Vi bygger en prototyp for forskningsoperativsystem (kalt Singularity), utvider programmeringsspråk og utvikler nye teknikker og verktøy for å spesifisere og verifisere programatferd.

Fremskritt innen språk, kompilatorer og verktøy åpner muligheten for betydelig forbedring av programvare. For eksempel bruker Singularity typesikre språk og et abstrakt instruksjonssett for å muliggjøre det vi kaller Software Isolated Processes (SIPs). SIP-er gir sterke isolasjonsgarantier for OS-prosesser (isolert objektplass, separate GC-er, separate driftstider) uten overhead av maskinvaretvungerte beskyttelsesdomener. I den nåværende Singularity-prototypen er SIP-er ekstremt billige; de kjører i ring 0 i kjernens adresseområde.

Singularity bruker disse fremskrittene for å bygge mer pålitelige systemer og applikasjoner. Fordi SIP er for eksempel billig å opprette og håndheve, kjører Singularity hvert program, enhetsdriver eller systemutvidelse i sin egen SIP. SIP-er har ikke lov til å dele minne eller endre sin egen kode. Som et resultat kan vi gi sterke pålitelighetsgarantier for koden som kjører i en SIP. Vi kan verifisere mye bredere egenskaper om en SIP ved kompilering eller installasjonstid enn det som kan gjøres for kode som kjøres i tradisjonelle OS-prosesser. En bredere anvendelse av statisk verifisering er avgjørende for å forutsi systematferd og gi brukerne sterke garantier om pålitelighet.

Microsoft Research har gjort tilgjengelig for nedlasting Singularity Research Development Kit (RDK). Du kan laste den ned fra CodePlex, Microsofts nettsted for prosjekthotell med åpen kildekode. Du kan også laste ned Oversikt over singularitetsprosjekt, ved å klikke her.

De viktigste utviklerne av Singularity, Galen Hunt og Jim Larus, har sagt at alle nåværende operativsystemer som Windows, Linux og Mac OS kan spores tilbake til et operativsystem kalt Multics, som har sin opprinnelse på 1960-tallet. Faktisk er nåværende operativsystemer fortsatt basert delvis på tanker og kriterier fra 40 år siden.Multiplexed Information and Computing Service, eller Multics, er et mainframe timesharing-operativsystem som ble startet i 1965 og brukt til 2000.

Microsoft Research Singularity ble stirret i 2003 som en helt ny tilnærming til OS-bygging.