Microsoft Research Singularity - A Non-Windows OS

Singularity is een Microsoft Research-project voor het bouwen van een zeer betrouwbaar microkernelbesturingssysteem waarin de kernel, apparaatstuurprogramma`s en toepassingen allemaal in beheerde code worden geschreven. Meer dan 90% van de OS-kernel is geschreven in Sing #, een uitbreiding van de C # high-level programmeertaal.

Microsoft Research Singularity

Singularity is een onderzoeksproject gericht op de constructie van betrouwbare systemen door innovatie in de gebieden van systemen, talen en hulpmiddelen. We bouwen een prototype voor een prototype van het onderzoekssysteem (Singularity genaamd), breiden de programmeertalen uit en ontwikkelen nieuwe technieken en hulpmiddelen voor het specificeren en verifiëren van het programmagedrag.

Vooruitgang in talen, compilers en hulpmiddelen opent de mogelijkheid om de software aanzienlijk te verbeteren. Singularity maakt bijvoorbeeld gebruik van typeveiligheidstalen en een abstracte instructieset om zogenaamde Software Isolated Processes (SIp`s) in te schakelen. SIp`s bieden de sterke isolatiegarantie van OS-processen (geïsoleerde objectruimte, afzonderlijke GC`s, afzonderlijke runtimes) zonder de overhead van door hardware afgedwongen beschermingsdomeinen. In het huidige Singularity-prototype zijn SIp`s extreem goedkoop; ze lopen in ring 0 in de adresruimte van de kernel.

Singularity gebruikt deze voordelen om betrouwbaardere systemen en applicaties te bouwen. Omdat SIp`s bijvoorbeeld zo goedkoop zijn om te maken en af ​​te dwingen, voert Singularity elk programma, apparaatstuurprogramma of systeemuitbreiding uit in zijn eigen SIP. SIp`s mogen geen geheugen delen of hun eigen code wijzigen. Als gevolg hiervan kunnen we sterke betrouwbaarheidsgaranties geven over de code die in een SIP wordt uitgevoerd. We kunnen veel bredere eigenschappen van een SIP verifiëren bij het compileren of installeren van tijd dan mogelijk is voor code die wordt uitgevoerd in traditionele OS-processen. Een bredere toepassing van statische verificatie is van cruciaal belang voor het voorspellen van systeemgedrag en biedt gebruikers sterke garanties over betrouwbaarheid. Microsoft Research heeft de

Singularity Research Development Kit (RDK) ter download beschikbaar gesteld. Je kunt het downloaden van CodePlex, Microsoft`s open source code project hosting website. Je kunt Overzicht van singulariteitsproject ook downloaden door hier te klikken. De belangrijkste ontwikkelaars van Singularity, Galen Hunt en Jim Larus, hebben gezegd dat alle huidige besturingssystemen zoals Windows, Linux en Mac OS kunnen terug te voeren op een besturingssysteem genaamd Multics, dat zijn oorsprong vindt in de jaren zestig. In feite zijn de huidige besturingssystemen nog steeds ten dele gebaseerd op gedachten en criteria van 40 jaar geleden. Multiplexed Information and Computing Service, of Multics is een mainframe timesharing-besturingssysteem dat in 1965 is begonnen en dat tot 2000 werd gebruikt. Microsoft Research Singularity werd in 2003 als een totaal nieuwe benadering van OS-gebouw beschouwd.