Singularity er et Microsoft Research-prosjekt for å bygge et høyt pålitelig mikrokernel operativsystem der kjernen, enhetsdriverne og applikasjonene 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å bygging av pålitelige systemer gjennom innovasjon innen systemer, språk og verktøy. Vi bygger en prototype for forskningssystemer (kalt Singularity), forlenge programmeringsspråk, og utvikle nye teknikker og verktøy for å spesifisere og verifisere programadferd.
Fremskritt på språk, kompilatorer og verktøy åpner muligheten for betydelig forbedring av programvaren. For eksempel bruker Singularity typesikre språk og en abstrakt instruksjonssett for å aktivere det vi kaller Software Isolated Processes (SIPs). SIP-er gir sterke isolasjonsgarantier for OS-prosesser (isolert objektrom, separate GCer, separate runtider) uten overhead av maskinvareforutsatte beskyttelsesdomener. I den nåværende Singularity-prototypen er SIPs ekstremt billige; de løper i ring 0 i kjernens adresserom.
Singularity bruker disse fremskrittene for å bygge mer pålitelige systemer og applikasjoner. For eksempel, fordi SIP er så billige å opprette og håndheve, kjører Singularity hvert program, enhetsdriver eller systemutvidelse i sin egen SIP. SIPer har ikke lov til å dele minne eller endre sin egen kode. Som et resultat kan vi gjøre sterke pålitelighetsgarantier om koden som kjører i en SIP. Vi kan verifisere mye bredere egenskaper om en SIP på kompilere eller installere tid enn det kan gjøres for kode som kjører i tradisjonelle OS-prosesser. Bredere anvendelse av statisk verifisering er kritisk for å forutse systemadferd og gi brukerne sterke garantier for pålitelighet.
Microsoft Research har gjort tilgjengelig for nedlasting, den Singularity Research Development Kit (RDK). Du kan laste den ned fra CodePlex, Microsofts open source code project hosting nettsted. Du kan også laste ned Oversikt over Singularity Project, 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. I virkeligheten er dagens operativsystemer fortsatt basert, delvis, på tanker og kriterier fra 40 år siden. Multiplexed Information and Computing Service, eller Multics er et mainframe timeshare-operativsystem som ble startet i 1965 og brukt til 2000.
Microsoft Research Singularity ble stared i 2003 som en helt ny tilnærming til OS-bygningen.
