Yksilöllisyys on Microsoft Research -projekti, jonka tarkoituksena on rakentaa erittäin luotettava mikrokernel-käyttöjärjestelmä, jossa ydin, laiteohjaimet ja sovellukset kirjoitetaan hallittua koodia. Yli 90% OS-ytimestä on kirjoitettu lauluun #, joka on C # -ohjelmiston korkean tason ohjelmointikieli.
Microsoft Research Singularity
Yksilöllisyys on tutkimusprojekti, joka keskittyy luotettavien järjestelmien rakentamiseen innovaatioiden avulla järjestelmien, kielten ja työkalujen aloilla. Rakennamme tutkimuskäyttöjärjestelmän prototyyppiä (kutsutaan Singularityksi), joka laajentaa ohjelmointikieliä ja kehittää uusia tekniikoita ja työkaluja ohjelmakäyttäytymisen määrittämiseen ja tarkistamiseen.
Kieleen, kääntäjiin ja työkaluihin tehdyt ennakot avaavat mahdollisuuden merkittävästi parantaa ohjelmistoja. Esimerkiksi Singularity käyttää tyyppikäyttöisiä kieliä ja abstrakteja käskyjä, jotka mahdollistavat sen, mitä kutsumme ohjelmistoprosessit (SIP). SIP: t tarjoavat OS-prosesseja (eristettyä esinettä, erillisiä GC: itä, erillisiä aikatauluja) vahvat eristystakeet ilman laitteistokäyttöisiä suojausalueita. Nykyisessä Singularity-prototyypissä SIP: t ovat erittäin halpoja; ne kulkevat rengasta 0 ytimen osoitetilassa.
Yksilöllisyys hyödyntää näitä etuja rakentaa luotettavampia järjestelmiä ja sovelluksia. Esimerkiksi koska SIP: t ovat niin halpoja luoda ja valvoa, Singularity suorittaa jokaisen ohjelman, laiteohjaimen tai järjestelmän laajennuksen omassa SIP: ssä. SIP: t eivät saa jakaa muistia tai muuttaa omaa koodiaan. Tämän seurauksena voimme luottaa luotettavasti SIP: n käytössä olevaan koodiin. Voimme tarkistaa SIP: n paljon laajemmat ominaisuudet kääntämisen tai asennuksen aikana kuin mitä voidaan tehdä koodin suorittamisessa perinteisissä OS-prosesseissa. Staattisen todentamisen laajempi soveltaminen on ratkaisevan tärkeää järjestelmän käyttäytymisen ennustamiseksi ja käyttäjille luotettavien luotettavuuden takaamiseksi.
Microsoft Research on julkaissut ladattavaksi Singularity Research Development Kit (RDK). Voit ladata sen CodePlexistä, Microsoftin avoimen lähdekoodin hankkeen hosting-sivustosta. Voit myös ladata Yleiskatsaus Singularity Projectklikkaamalla tästä.
Singularity, Galen Hunt ja Jim Larus avainhenkilöt ovat ilmoittaneet, että kaikki nykyiset käyttöjärjestelmät, kuten Windows, Linux ja Mac OS, voidaan jäljittää takaisin Multics-käyttöjärjestelmään, joka on peräisin 1960-luvulta. Itse asiassa nykyiset käyttöjärjestelmät perustuvat edelleen osittain ajatuksiin ja kriteereihin 40 vuotta sitten. Multiplexed Information and Computing Service tai Multics on mainframe aikajakoinen käyttöjärjestelmä, joka aloitettiin vuonna 1965 ja jota käytetään vuoteen 2000 saakka.
Microsoft Research Singularity tarkasteli vuonna 2003 täysin uutta lähestymistapaa OS-rakennukseen.
