Singolarità Microsoft
| Singolarità | |
|---|---|
 | |
| Sviluppatore | Microsoft |
| Famiglia di sistemi operativi | Windows NT |
| Basato su | Windows me |
| Prima edizione | 18 settembre 2004 |
| ultima versione | 2.1 (12 aprile 2007) |
| Piattaforme supportate | x86 |
| Tipo di kernel | microkernel |
| Licenza | GPL (ex licenza di ricerca Microsoft) |
| Stato | lo sviluppo si è fermato |
| Sito web | microsoft.com/en-us/rese… |
Singularity è un progetto avviato nel 2003 dalla divisione di ricerca di Microsoft per creare un sistema operativo altamente sicuro in cui il microkernel , i driver di dispositivo e le applicazioni sono scritti in codice gestito .
Una caratteristica distintiva di questo sistema operativo è l'uso dell'ideologia dei processi isolati dal software (Software Isolated Processes, SIP), simili ai processi del linguaggio Erlang leggero , la comunicazione tra i quali avviene esclusivamente tramite messaggi. A differenza dei sistemi operativi tradizionali, la protezione di tali processi in Singularity non avviene organizzando spazi di indirizzi protetti dall'hardware, ma utilizzando un sottoinsieme type-safe del linguaggio intermedio ( MSIL ) e verificandolo prima di compilarlo nel codice nativo del processore. Ogni SIP ha il proprio spazio oggetti, Garbage Collector e ambiente di runtime. Tali processi non possono condividere la memoria e non hanno la capacità di modificare il loro codice, il che migliora l'affidabilità del programma in SIP.
Il codice di gestione degli interrupt x86 di basso livello è scritto in linguaggio assembly e C. Le librerie di runtime ( eng. runtime ) e il Garbage Collector sono scritti in Sing# (un dialetto C# appositamente modificato per questo progetto ) usando la modalità non sicura ( eng. unsafe mode ). C'è anche del codice C utilizzato per scopi di debug. Il BIOS del computer viene chiamato solo durante la fase di avvio in modalità reale a 16 bit del processore . Dopo il passaggio alla modalità a 32 bit, il BIOS non viene mai più richiamato, ma vengono utilizzati driver scritti in Sing# . Quando il kernel è installato, i codici operativi CIL vengono compilati in istruzioni x86 utilizzando il compilatore Bartok .
Bartok [1] è un progetto di ricerca per costruire un compilatore di ottimizzazione da CIL a x86 in C#.
Singolarità 1.0 è stata completata nel 2007. Il Singularity 1.1 Research Development Kit (RDK) è stato rilasciato con una licenza Shared Source ed è aperto all'uso accademico e non commerciale; il pacchetto è disponibile su CodePlex . Il 14 novembre 2008 è stato rilasciato Singularity RDK 2.0. L'ulteriore sviluppo è stato interrotto.
Il codice e gli strumenti di Singularity sono disponibili per essere esplorati e utilizzati su CodePlex Archiviato il 31 marzo 2021 su Wayback Machine .
Vedi anche
Collegamenti
- Singolarità pagina ufficiale
- Pagina del codice sorgente sul sito Web CodePlex
- Singolarità del progetto: panoramica (russo)
- Guida introduttiva al sistema operativo Singularity Archiviato il 3 aprile 2008 su Wayback Machine (russo)
- Forum in lingua russa su Singularity OS (rus.)
| Versioni principali |  | |
|---|---|---|
| Windows Server | ||
| Specializzato | ||
| Mobile | ||
| Altri progetti | ||
Progetti principali |
| ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Laboratori MSR |
| ||||||||||||||
 Categoria | |||||||||||||||
