Singularität RDK. Ein Forschungsprojekt konzentrierte sich auf den Bau von zuverlässigen Systemen durch Innovation in den Bereichen Systeme, Sprachen
Jetzt downloaden

Singularität RDK. Ranking & Zusammenfassung

Singularität RDK. Stichworte

Prototyp L-Systeme bearbeiten L-systeme. Messsysteme Problemauflösungssysteme. Gleichungssysteme. Systeme Multi-Core-Systeme Research Development Kit Prototyp eines Betriebssystems Software-isolierte Prozesse. Rdk Singularität Wettsysteme Kühlsysteme Intelligente Systeme entwickeln systemservice. Sicherheitskritische Systeme Komplexe Systemforschung Systeme der ODES-Integration Prozess Lindenmeyer Systeme. Nonstop-Systeme Simulieren Sie numerische P-Systeme Numerischer P-Systemsimulator Analysieren Sie numerische P-Systeme Continuum State Systems. POS-Systeme Kommunikationssysteme Systeme-Tools Werkzeugsysteme. Anzeigensysteme HR-Systeme Redaktionssysteme Rollsysteme Systems Utility. Beschilderungssysteme Dienstleistungssysteme Systemansatz

Singularität RDK. Beschreibung

Der Name RDK steht für Forschungsentwicklungskit. Singularität ist ein Forschungsprojekt, das sich auf den Bau von zuverlässigen Systemen durch Innovation in den Bereichen Systeme, Sprachen und Werkzeuge konzentriert. Wir bauen ein Forschungsbetriebssystem-Prototyp (Singularität "Singularität), Erweiterung der Programmiersprachen und die Entwicklung neuer Techniken und Werkzeuge zur Festlegung und Überprüfung des Programmverhaltens. Fortschritte in Sprachen, Compilern und Werkzeugen öffnen die Möglichkeit, die Software entzieht zu verbessern. Beispielsweise verwendet Singularity Type-Safe-Sprachen und ein abstrakter Anweisungssatz, um das zu aktivieren, was wir mit Software isoliert (SIPs) nennen. SIPS liefern die starken Isolationsgarantien für Betriebssystemprozesse (isolierter Objektraum, separate GCS, separate Laufzeiten) ohne den Overhead der Hardware-Verbesserungsdomänen. In den aktuellen Singularity-Prototypen sind Sips extrem billig; Sie laufen in Ring 0 im Adressraum des Kernels. Singularity nutzt diese Fortschritte, um zuverlässigere Systeme und Anwendungen aufzubauen. Da beispielsweise Sips so billig sind, um zu erstellen und zu erzwingen, führt Singularity jedes Programm, Gerätetreiber oder Systemerweiterung in einem eigenen SIP aus. SIPS dürfen den Speicher nicht freigeben oder ihren eigenen Code ändern. Infolgedessen können wir starke Zuverlässigkeit für den in einem SIP ausgeführten Code geben. Wir können viel breitere Eigenschaften über einen SIP bei Kompilier- oder Installationszeit überprüfen, als für den Code, der in traditionellen Betriebssystemprozessen läuft, erfolgen kann. Eine breitere Anwendung der statischen Überprüfung ist von entscheidender Bedeutung, um das Systemverhalten vorherzusagen und den Benutzern starke Garantien zur Zuverlässigkeit bereitzustellen.

Singularität RDK. Zugehörige Software