Microsoft Singularitet

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 11. juni 2020; checks kræver 10 redigeringer .
Singularitet
Udvikler Microsoft
OS familie Windows NT
Baseret på Windows mig
Første udgave 18. september 2004
nyeste version 2.1 (12. april 2007)
Understøttede platforme x86
Kernel type mikrokerne
Licens GPL (tidligere Microsoft Research License)
Stat udvikling stoppet
Internet side microsoft.com/en-us/rese...

Singularity  er et projekt startet i 2003 af Microsofts forskningsafdeling for at skabe et meget sikkert operativsystem, hvor mikrokernen , enhedsdriverne og applikationerne er skrevet i administreret kode .

Et karakteristisk træk ved dette OS er brugen af ​​ideologien for software-isolerede processer (Software Isolated Processes, SIP), svarende til lette Erlang -sprogprocesser , hvor kommunikationen mellem hvilke udelukkende sker gennem meddelelser. I modsætning til traditionelle operativsystemer sker beskyttelsen af ​​sådanne processer i Singularity ikke ved at organisere hardwarebeskyttede adresserum, men ved at bruge en typesikker delmængde af mellemsproget ( MSIL ) og verificere det, før det kompileres i processorens oprindelige kode. Hver SIP har sit eget objektrum, skraldeopsamler og runtime-miljø. Sådanne processer må ikke dele hukommelse, og de har ikke mulighed for at ændre deres kode, hvilket øger pålideligheden af ​​programmet i SIP.

Lavniveau x86 - afbrydelseshåndteringskoden er skrevet i assemblersprog og C. Runtime-biblioteker ( eng.  runtime ) og garbage collector er skrevet i Sing# (en C# -dialekt, der er specielt modificeret til dette projekt ) ved hjælp af usikker tilstand ( eng.  unsafe mode ). Der er også noget C-kode, der bruges til fejlfindingsformål. Computerens BIOS kaldes kun under opstartsfasen i 16-bit real mode af processoren . Efter skift til 32-bit-tilstand aktiveres BIOS aldrig igen, i stedet bruges drivere skrevet i Sing# . Når kernen er installeret, kompileres CIL-opkoder til x86-instruktioner ved hjælp af Bartok -kompileren .

Bartok [1]  er et forskningsprojekt for at bygge en optimeringskompiler fra CIL til x86 i C#.

Singularity 1.0 blev afsluttet i 2007. Singularity 1.1 Research Development Kit (RDK) er blevet udgivet under en Shared Source -licens og er åben for akademisk, ikke-kommerciel brug; pakken er tilgængelig på CodePlex . Den 14. november 2008 blev Singularity RDK 2.0 udgivet. Den videre udvikling er indstillet.

Singularity-koden og værktøjerne er tilgængelige til at udforske og brugeCodePlex Archived 31. marts 2021 på Wayback Machine .

Se også

Links