Singolarità rdk. Un progetto di ricerca si è concentrato sulla costruzione di sistemi affidabili attraverso l'innovazione nelle aree di sistemi, lingue
Scarica ora

Singolarità rdk. Classifica e riepilogo

Singolarità rdk. Tag

prototipo Modifica L-Systems L-Systems. sistemi di misura Sistemi di risoluzione dei problemi Sistemi di equazione sistemi sistemi multicore Kit di sviluppo della ricerca Sistema operativo prototipo Software isolato software Rdk. Singolarità Sistemi di scommesse sistemi di raffreddamento sviluppare sistemi intelligenti Servizio di sistemi sistemi critici per la sicurezza Ricerca complessa dei sistemi Sistemi di integrazione di ODES elaborare Lindenmeyer Sistemi Sistemi non messa simulare sistemi num numerici Simulatore di sistemi numerici P Analizzare i sistemi num numerici Sistemi di stato del continuum sistemi POS Sistemi di comunicazione strumenti di Sistema Sistemi di attrezzi Display Systems. Sistemi HR. sistemi editoriali Sistemi di ruote utilità dei sistemi Sistemi di segnaletica rostering sistemi duty approccio di sistema

Singolarità rdk. Descrizione

Il nome RDK rappresenta il kit di sviluppo della ricerca. La singolarità è un progetto di ricerca focalizzato sulla costruzione di sistemi affidabili attraverso l'innovazione nelle aree di sistemi, lingue e strumenti. Stiamo costruendo un prototipo del sistema operativo di ricerca (chiamato singolarità), estendendo le lingue di programmazione e lo sviluppo di nuove tecniche e strumenti per specificare e verificare il comportamento del programma. I progressi in lingue, compilatori e strumenti aprono la possibilità di migliorare il software per il miglioramento pericolo. Ad esempio, la singolarità utilizza lingue sicure di tipo e un set di istruzioni astratto per abilitare ciò che chiamiamo software isolato software (sorsi). SIPs Fornire le forti garanzie di isolamento dei processi del sistema operativo (spazio oggetto isolato, GC separato, GCS separati, runtimes separati) senza il sovraccarico dei domini di protezione forzati hardware. Nell'attuale Singolarità i sorsi del prototipo sono estremamente economici; Corrono in anello 0 nello spazio indirizzo del kernel. La singolarità utilizza questi progressi per costruire sistemi e applicazioni più affidabili. Ad esempio, poiché i sorso sono così economici da creare e far rispettare, la singolarità esegue ciascun programma, driver del dispositivo o estensione del sistema nel suo sorso SIP. I soPS non sono autorizzati a condividere memoria o modificare il proprio codice. Di conseguenza, possiamo fare forti garanzie di affidabilità sul codice in esecuzione in un sorso. Possiamo verificare molte proprietà più ampie su un SIP in compilazione o installare il tempo di quanto possa essere fatto per il codice in esecuzione nei processi del sistema operativo tradizionale. L'applicazione più ampia della verifica statica è fondamentale per prevedere il comportamento del sistema e fornire agli utenti garanzie forti sull'affidabilità.

Singolarità rdk. Software correlato