Singularity è un progetto Microsoft Research per creare un sistema operativo microkernel altamente affidabile in cui il kernel, i driver di dispositivo e le applicazioni sono tutti scritti in codice gestito. Più del 90% del kernel del sistema operativo è scritto in Sing #, un'estensione del linguaggio di programmazione di alto livello C #.
Microsoft Research Singularity
Singularity è un progetto di ricerca incentrato sulla costruzione di sistemi affidabili attraverso l'innovazione nelle aree di sistemi, linguaggi e strumenti. Stiamo costruendo un prototipo di sistema operativo di ricerca (chiamato Singolarità), estendendo i linguaggi di programmazione e sviluppando nuove tecniche e strumenti per specificare e verificare il comportamento del programma.
I progressi in lingue, compilatori e strumenti aprono la possibilità di migliorare significativamente il software. Ad esempio, Singularity utilizza linguaggi sicuri per i caratteri e un set di istruzioni astratte per abilitare quelli che chiamiamo processi software isolati (SIP). I SIP forniscono le solide garanzie di isolamento dei processi del sistema operativo (spazio oggetti isolato, GC distinti, runtime separati) senza il sovraccarico dei domini di protezione applicati all'hardware. Nell'attuale prototipo Singularity i SIP sono estremamente economici; corrono nell'anello 0 nello spazio degli indirizzi del kernel.
Singularity sfrutta questi progressi per costruire sistemi e applicazioni più affidabili. Ad esempio, poiché i SIP sono così economici da creare e applicare, Singularity esegue ogni programma, driver di dispositivo o estensione di sistema nel proprio SIP. I SIP non sono autorizzati a condividere la memoria o modificare il proprio codice. Di conseguenza, possiamo garantire forti garanzie di affidabilità sul codice in esecuzione in un SIP. Siamo in grado di verificare le proprietà molto più ampie di un SIP in fase di compilazione o di installazione rispetto a quanto può essere fatto per il codice in esecuzione nei processi OS tradizionali. Una più ampia applicazione della verifica statica è fondamentale per prevedere il comportamento del sistema e fornire agli utenti forti garanzie di affidabilità.
Microsoft Research ha reso disponibile per il download, il Singularity Research Development Kit (RDK). È possibile scaricarlo da CodePlex, il sito Web di hosting di codice open source di Microsoft. Puoi anche scaricare Panoramica del progetto Singularity, cliccando qui.
Gli sviluppatori chiave di Singularity, Galen Hunt e Jim Larus, hanno detto che tutti i sistemi operativi attuali come Windows, Linux e Mac OS possono essere fatti risalire a un sistema operativo chiamato Multics, che ha le sue origini negli anni '60. In effetti, i sistemi operativi correnti sono ancora basati, in parte, su pensieri e criteri di 40 anni fa. Multiplexed Information and Computing Service, o Multics è un sistema operativo multiproprietà mainframe iniziato nel 1965 e utilizzato fino al 2000.
Microsoft Research Singularity è stata fissata nel 2003 come un approccio totalmente nuovo alla costruzione del sistema operativo.
