Säregenhet | |
---|---|
Utvecklaren | Microsoft |
OS-familjen | Windows NT |
Baserat på | Windows mig |
Första upplagan | 18 september 2004 |
senaste versionen | 2.1 (12 april 2007) |
Plattformar som stöds | x86 |
Typ av kärna | mikrokärna |
Licens | GPL (tidigare Microsoft Research License) |
stat | utvecklingen avstannat |
Hemsida | microsoft.com/en-us/rese... |
Singularity är ett projekt som startades 2003 av Microsofts forskningsavdelning för att skapa ett mycket säkert operativsystem där mikrokärnan , drivrutinerna och applikationerna skrivs i hanterad kod .
En utmärkande egenskap hos detta operativsystem är användningen av ideologin för mjukvaruisolerade processer (Software Isolated Processes, SIP), liknande lätta Erlang -språkprocesser , mellan vilka kommunikation sker uteslutande genom meddelanden. Till skillnad från traditionella operativsystem görs skyddet av sådana processer i Singularity inte genom att organisera hårdvaruskyddade adressutrymmen, utan genom att använda en typsäker delmängd av mellanspråket ( MSIL ) och verifiera det innan det kompileras till processorns ursprungliga kod. Varje SIP har sitt eget objektutrymme, sopsamlare och runtime-miljö. Sådana processer får inte dela minne, och de har inte möjlighet att modifiera sin kod, vilket ökar tillförlitligheten hos programmet i SIP.
Lågnivå x86 - avbrottshanteringskoden är skriven i assemblerspråk och C. Runtime-bibliotek ( eng. runtime ) och garbage collector är skrivna i Sing# (en C# -dialekt speciellt modifierad för detta projekt ) med hjälp av osäkert läge ( eng. osäkert läge ). Det finns också en del C-kod som används för felsökningsändamål. Datorns BIOS anropas endast under uppstartsfasen i 16-bitars realläge för processorn . Efter byte till 32-bitarsläge anropas aldrig BIOS igen, istället används drivrutiner skrivna i Sing# . När kärnan är installerad kompileras CIL-opkoder till x86-instruktioner med Bartok -kompilatorn .
Bartok [1] är ett forskningsprojekt för att bygga en optimerande kompilator från CIL till x86 i C#.
Singularity 1.0 färdigställdes 2007. Singularity 1.1 Research Development Kit (RDK) har släppts under en Shared Source -licens och är öppen för akademisk, icke-kommersiell användning; paketet är tillgängligt på CodePlex . Den 14 november 2008 släpptes Singularity RDK 2.0. Ytterligare utveckling har avbrutits.
Singularity-koden och verktygen finns att utforska och använda på CodePlex Archived 31 mars 2021 på Wayback Machine .
Windows | ||
---|---|---|
Huvudversioner | Skal över MS-DOS 1,0x 2.x 2,1x 3.0 3,1x Windows 9x 95 ( utveckling ) 98 Mig Windows NT NT 3.1 NT 3.5 NT 3,51 NT4.0 2000 XP ( utveckling ) Vista ( utveckling ) 7 ( utveckling ) åtta 8.1 tio elva | |
Windows Server | ||
Specialiserad | ||
Mobil | ||
Andra projekt | Xenix OS/2 Stängd Neptunus Nashville Kairo Säregenhet Midori 10X |
Microsoft Research (MSR) | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Huvudprojekt _ |
| ||||||||||||||
MSR Labs |
| ||||||||||||||
Kategori |