Birou

Singularitatea cercetării Microsoft - Un sistem non-Windows

The Rii Mini Bluetooth Keyboard vs The Lenovo N5902

The Rii Mini Bluetooth Keyboard vs The Lenovo N5902

Cuprins:

Anonim

Singularitatea este un proiect Microsoft Research pentru a construi un sistem de operare microkernel foarte fiabil, în care kernelul, driverele de dispozitiv și aplicațiile sunt toate scrise în cod gestionat. Mai mult de 90% din kernel-ul OS este scris în Sing #, o extensie a limbajului de programare la nivel înalt C #.

Microsoft Singularity Research

Singularitatea este un proiect de cercetare axat pe construirea de sisteme de încredere prin inovație în zone de sisteme, limbi și instrumente. Construim un prototip de sistem de operare de cercetare (numit Singularitate), extinderea limbajelor de programare și dezvoltarea de noi tehnici și instrumente pentru specificarea și verificarea comportamentului programului.

Avansurile în limbi, compilatoare și instrumente deschid posibilitatea îmbunătățirii semnificative a software-ului. De exemplu, Singularity folosește limbile de siguranță tip și un set de instrucțiuni abstracte pentru a permite ceea ce numim Procese Izolate Software (SIP). SIP-urile oferă garanții puternice de izolare a proceselor sistemului de operare (spațiu de obiecte izolat, GC-uri separate, runtime separate) fără supratensiunea domeniilor de protecție impuse prin hardware. În prototipul actual de singularitate, SIP-urile sunt extrem de ieftine; acestea rulează în ringul 0 în spațiul de adrese al kernelului.

Singularitatea folosește aceste avantaje pentru a construi sisteme și aplicații mai fiabile. De exemplu, deoarece SIP-urile sunt atât de ieftine pentru a crea și aplica, Singularity rulează fiecare program, driver de dispozitiv sau extensie de sistem în propriul SIP. SIP-urile nu au permisiunea de a partaja memoria sau de a-și modifica propriul cod. Ca rezultat, putem oferi garanții puternice de fiabilitate cu privire la codul care rulează într-un SIP. Putem verifica proprietăți mult mai largi despre un SIP la compilarea sau instalarea timpului decât se poate face pentru codul care rulează în procesele tradiționale de OS. Aplicarea mai largă a verificării statice este esențială pentru a prezice comportamentul sistemului și pentru a oferi utilizatorilor garanții puternice cu privire la fiabilitate.

Microsoft Research a pus la dispoziție pentru descărcare Kitul de dezvoltare a cercetării pentru unicat (RDK) . Puteți să o descărcați de pe site-ul Web CodePlex, codul open source al Microsoft. Dezvoltatorii cheie ai Singularity, Galen Hunt si Jim Larus, au spus ca toate sistemele de operare actuale cum ar fi Windows, Linux si Mac OS pot să fie urmărit într-un sistem de operare numit Multics, care își are originea în anii 1960. De fapt, sistemele de operare curente se bazează încă, în parte, pe gânduri și criterii de acum 40 de ani. Serviciul informatic și de calcul multiplu și Multics este un sistem de operare mainframe timesharing început în 1965 și folosit până în anul 2000. Microsoft Research Singularity a fost privit în 2003 ca ​​o abordare complet nouă a sistemului de operare <