Microsoft Research Singularity . Un approccio molto diverso alla progettazione di un sistema operativo. Basato sui progressi nei moderni linguaggi di programmazione, digitare sistemi, strumenti, analisi statiche, compilatori e verifica dei programmi. In effetti, la maggior parte della squadra non proveniva nemmeno dalla Divisione Sistema Operativo di Microsoft Research, erano linguaggi, strumenti, verifiche e compilatori.
L'idea di base è che la tipizzazione statica e l'analisi possono fornire garanzie molto più severe sull'isolamento del processo rispetto alla MMU della CPU. E può dare queste garanzie a tempo di compilazione invece di runtime, il che significa che i processi sono molto più leggeri. Leggero quanto basta, infatti, che ogni driver di dispositivo, ogni file system, ogni sottocomponente di un'applicazione, può essere eseguito in un proprio processo isolato, inutile, con un sovraccarico praticamente nullo. (Un commutatore di contesto non fa altro che sfogliare un po 'di puntatori. Non è previsto alcun controllo, poiché tutto ciò è già stato fatto in fase di compilazione.)
Le idee in Singolarità sono portate avanti in altri sistemi operativi al di fuori di MSR: Midori (che si dice sia un'implementazione commerciale di Singularity e un possibile successore di Windows NT) e Helios (che prende l'idea di avere tutto il dispositivo driver, servizi e programmi del sistema operativo scritti in un linguaggio indipendente dall'hardware e applicato a un approccio multi-kernel, in cui diverse parti del sistema operativo sono eseguite su diverse CPU con ISA possibilmente differenti).