Singularity RDK Een onderzoeksproject gericht op de constructie van betrouwbare systemen door innovatie op het gebied van systemen, talen
Download nu

Singularity RDK Rangschikking & Samenvatting

Singularity RDK Tags

prototype Bewerk L-Systems L-Systems Meetsystemen Probleem Resolution Systems Vergelijkingssystemen systemen multicore-systemen Research Development Kit Prototype besturingssysteem Software geïsoleerde processe Rdk Singulariteit wedsystemen koelsystemen ontwikkel intelligente systemen systemen dienst veiligheidskritieke systemen Complex Systems Research Systemen van ODES-integratie verwerken Lindenmeyer Systems Non-stop-systemen simuleer numerieke P-systemen Numerieke P-systemen Simulator Analyse numerieke P-systemen continuum staatssystemen POS-systemen communicatie systemen Systems Tools gereedschapsystemen Display-systemen HR-systemen redactionele systemen Wielsystemen Systems Utility Bewegwijzeringsystemen Roosteringssystemen systeem benadering

Singularity RDK Beschrijving

De naam RDK staat voor Research Development Kit. Singularity is een onderzoeksproject gericht op de bouw van betrouwbare systemen door innovatie op het gebied van systemen, talen en hulpmiddelen. We bouwen een prototype voor onderzoek besturingssysteem (Singularity), die programmeertalen wordt uitgebreid en nieuwe technieken en hulpmiddelen ontwikkelen voor het specificeren en verifiëren van programma-gedrag. Vooruitgang in talen, compilers en hulpmiddelen openen de mogelijkheid om ungificant te verbeteren. Singularity gebruikt bijvoorbeeld typeveilige talen en een abstracte instructieset om in te schakelen wat we software geïsoleerde processen (SIPS) noemen. SIPS verschaffen de sterke isolatiegaranties van OS-processen (geïsoleerde objectruimte, afzonderlijke GCS, afzonderlijke runtimes) zonder de overhead van hardware-afgedwongen beschermingsdomeinen. In de huidige singulariteit is prototype SIPS extreem goedkoop; Ze rennen in ring 0 in de adresruimte van de kernel. Singularity gebruikt deze voorschotten om betrouwbare systemen en applicaties te bouwen. Omdat SIPS zo goedkoop is om te creëren en afdwingen, voert singulariteit elk programma uit, apparaatdriver of systeemverlenging in zijn eigen SIP. SIPS mogen geen geheugen delen of hun eigen code wijzigen. Dientengevolge kunnen we sterke betrouwbaarheidsgaranties maken over de code die in een SIP wordt uitgevoerd. We kunnen veel bredere eigenschappen verifiëren over een SIP bij Compile of Instally Time dan kan worden gedaan voor code die in traditionele OS-processen wordt uitgevoerd. Bredere toepassing van statische verificatie is van cruciaal belang voor het voorspellen van systeemgedrag en het verstrekken van gebruikers sterke garanties over betrouwbaarheid.

Singularity RDK Gerelateerde software