Triumph of the Nerds - 2 of 3 - PT-BR
Sommario:
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 #.
Singolarità della ricerca Microsoft
Singolarità è un progetto di ricerca incentrato sulla costruzione di sistemi affidabili attraverso l`innovazione nel aree di sistemi, lingue 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 tipo 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 in ring 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, 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 si fa 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 è stato presentato nel 2003 come un approccio totalmente nuovo alla costruzione del sistema operativo.
Microsoft Research sviluppa ricerca mappe per dati non strutturati
Microsoft Research India sviluppa tecnologia progettata per ricerche su mappe utilizzando dati di indirizzi non strutturati.
App Research di Microsoft Research Web, desktop
Una nuova applicazione proof-of-concept di Microsoft Research consente agli utenti di condividere file dal proprio desktop sul Web.
Microsoft Surface non si accende, non si avvia o non si riattiva dallo stato di riposo
Se Surface o Surface Book con Windows 10 non si accende, non si avvia, si avvia o si riattiva dal sonno, qui ci sono alcune cose che puoi fare per risolvere il problema.