Kontor

Microsoft Research Singularity - Et ikke-Windows OS

The Internet of Things by James Whittaker of Microsoft

The Internet of Things by James Whittaker of Microsoft

Indholdsfortegnelse:

Anonim

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

Microsoft Research Singularity

Singularity er et forskningsprojekt med fokus på opførelse af pålidelige systemer gennem innovation i områder af systemer, sprog og værktøjer. Vi bygger en prototype af forskningssystemer (kaldet Singularity), udvider programmeringssprog og udvikler nye teknikker og værktøjer til at specificere og verificere programadfærd.

Fremskridt på sprog, kompilatorer og værktøjer åbner mulighed for væsentligt at forbedre software. For eksempel bruger Singularity typebestandige sprog og en abstrakt instruktion til at aktivere, hvad vi kalder Software Isolated Processes (SIp`er). SIp`er giver de stærke isolationsgarantier for OS-processer (isoleret objektplads, separate Gc`er, separate runtimes) uden overhead af hardware-håndhævede beskyttelsesdomæner. I den nuværende Singularity prototype er SIp`er ekstremt billige; de løber i ring 0 i kernelets adresserum.

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 sit eget SIP. SIp`er må ikke dele hukommelse eller ændre deres egen kode. Som følge heraf kan vi gøre 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 det kan gøres for kode, der kører i traditionelle OS-processer. En bredere anvendelse af statisk verifikation er afgørende for at forudse systemadfærd og giver brugerne stærke garantier for pålidelighed.

Microsoft Research har stillet til rådighed til download, Singularity Research Development Kit (RDK) . Du kan downloade den fra CodePlex, Microsofts open source code project hosting website. Du kan også downloade Oversigt over Singularity Project 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, der har sin oprindelse i 1960`erne. I virkeligheden er de nuværende operativsystemer stadig baseret dels på tanker og kriterier fra 40 år siden. Multiplexed Information and Computing Service eller Multics er et operativsystem til mainframe-operativsystemer, der blev påbegyndt i 1965, og som blev brugt indtil 2000.

Microsoft Research Singularity blev staret i 2003 som en helt ny tilgang til OS-bygningen.