Microsoft Singularity

Singularity on Microsoftin tutkimusosaston  vuonna 2003 käynnistämä projekti, jonka tavoitteena on luoda erittäin turvallinen käyttöjärjestelmä , jossa mikroydin , laiteajurit ja sovellukset kirjoitetaan hallitulla koodilla .

Tämän käyttöjärjestelmän erottuva piirre on ohjelmistoeristettyjen prosessien (Software Isolated Processes, SIP) ideologian käyttö, joka muistuttaa kevyitä Erlang -kielen prosesseja , joiden välinen viestintä tapahtuu yksinomaan viestien kautta. Toisin kuin perinteisissä käyttöjärjestelmissä, tällaisten prosessien suojaaminen Singularityssä ei tapahdu järjestämällä laitteistosuojattuja osoiteavaruuksia, vaan käyttämällä välikielen ( MSIL ) tyyppiturvallista osajoukkoa ja tarkistamalla se ennen sen kääntämistä prosessorin alkuperäiseen koodiin. Jokaisella SIP:llä on oma objektitila, roskienkerääjä ja ajonaikainen ympäristö. Tällaiset prosessit eivät saa jakaa muistia, eivätkä ne pysty muokkaamaan koodiaan, mikä parantaa ohjelman luotettavuutta SIP:ssä.

Matalan tason x86 - keskeytyksenkäsittelykoodi on kirjoitettu asennuskielellä ja C. Ajonaikaiset kirjastot ( eng. runtime ) ja roskakeräin kirjoitetaan Sing# -kielellä (tätä projektia varten erityisesti muokattu C# -murte ) käyttämällä vaarallista tilaa ( eng. unsafe mode ). Myös C-koodia käytetään virheenkorjaustarkoituksiin. Tietokoneen BIOS kutsutaan vain käynnistysvaiheessa prosessorin 16-bittisessä reaalitilassa . 32-bittiseen tilaan vaihtamisen jälkeen BIOSia ei enää koskaan kutsuta, vaan käytetään Sing# -kielellä kirjoitettuja ohjaimia . Kun ydin on asennettu, CIL-operaatiokoodit käännetään x86- käskyiksi Bartok -kääntäjällä .   

Bartok [1]  on tutkimusprojekti optimoivan kääntäjän rakentamiseksi CIL:stä x86:een C#:ssa.

Singularity 1.0 valmistui vuonna 2007. Singularity 1.1 Research Development Kit (RDK) on julkaistu Shared Source -lisenssillä ja on avoin akateemiseen, ei-kaupalliseen käyttöön. paketti on saatavilla CodePlexissä . Singularity RDK 2.0 julkaistiin 14. marraskuuta 2008. Jatkokehitys on keskeytetty.

Singularity-koodi ja työkalut ovat saatavilla tutkittavaksi ja käytettäväksi CodePlexissä , arkistoitu 31. maaliskuuta 2021 Wayback Machinessa .

Katso myös

• A2 (käyttöjärjestelmä)
• EROS
• jnode

Linkit

• Singularity virallinen  sivu
• Lähdekoodisivu CodePlex-  verkkosivustolla
• Projektin singularity: Yleiskatsaus  (venäjä)
• Singularity OS:n käytön aloittaminen Arkistoitu 3. huhtikuuta 2008 Wayback Machinessa  (venäjäksi)
• Venäjänkielinen foorumi Singularity OS:stä  (rus.)