Microsoft Research Singularity

Singularity er et Microsoft Research-projekt til at opbygge et meget pålideligt microkernel-operativsystem, hvor kernen, enhedsdrivere og applikationer alle er skrevet i administreret kode. Mere end 90% af OS-kernen er skrevet i Sing #, en udvidelse af C # programmeringssprog på højt niveau.

Singularity er et forskningsprojekt med fokus på konstruktion af pålidelige systemer gennem innovation inden for systemer, sprog og værktøjer. Vi bygger en prototype til operativsystem til forskning (kaldet Singularity), udvider programmeringssprog og udvikler nye teknikker og værktøjer til at specificere og verificere programadfærd.

Fremskridt inden for sprog, kompilatorer og værktøjer åbner muligheden for at forbedre software betydeligt. For eksempel bruger Singularity typesikre sprog og et abstrakt instruktionssæt for at muliggøre det, vi kalder Software Isolerede Processer (SIP'er). SIP'er giver de stærke isolationsgarantier for OS-processer (isoleret objektplads, separate GC'er, separate driftstider) uden overhead af hardware-tvangsbeskyttelsesdomæner. I den nuværende Singularity-prototype er SIP'er ekstremt billige; de kører i ring 0 i kernens adresseområde.

Singularity bruger disse fremskridt til at opbygge mere pålidelige systemer og applikationer. For eksempel, fordi SIP'er er så billige at oprette og håndhæve, kører Singularity hvert program, enhedsdriver eller systemudvidelse i sin egen SIP. SIP'er har ikke lov til at dele hukommelse eller ændre deres egen kode. Som et resultat kan vi stille stærke pålidelighedsgarantier for koden, der kører i en SIP. Vi kan verificere meget bredere egenskaber om en SIP ved kompilering eller installationstid, end der kan gøres for kode, der kører i traditionelle OS-processer. En bredere anvendelse af statisk verifikation er afgørende for at forudsige systemadfærd og give brugerne stærke garantier for pålidelighed.

Microsoft Research har gjort tilgængelig for download, Singularity Research Development Kit (RDK). Du kan downloade det fra CodePlex, Microsofts websted med open source-projektprojekt. Du kan også downloade Oversigt over singularitetsprojekt, ved at klikke her.

Nøgleudviklerne af Singularity, Galen Hunt og Jim Larus, har sagt, at alle nuværende operativsystemer som Windows, Linux og Mac OS kan spores tilbage til et operativsystem kaldet Multics, som har sin oprindelse i 1960'erne. Faktisk er de nuværende operativsystemer stadig baseret delvis på tanker og kriterier fra 40 år siden.Multiplexed Information and Computing Service eller Multics er et mainframe timesharing-operativsystem startet i 1965 og brugt indtil 2000.

Microsoft Research Singularity blev stirret i 2003 som en helt ny tilgang til OS-bygning.