Singularity RDKA research project focused on the construction of dependable systems through innovation in the areas of systems, languages | |
Download |
Singularity RDK Ranking & Summary
Advertisement
- License:
- Freeware
- Publisher Name:
- dcoetzee
- Operating Systems:
- Windows All
- File Size:
- 55.4 MB
Singularity RDK Tags
- prototype edit L-Systems L-Systems measurement systems problem resolution systems systems of equation systems multicore systems Research Development Kit Prototype OS Software Isolated Processe RDK Singularity betting systems cooling systems develop Intelligent Systems systems service safety-critical systems complex systems research systems of ODEs integration process Lindenmeyer Systems NonStop Systems simulate numerical P systems numerical P systems simulator analyze numerical P systems continuum state systems pos systems communication systems systems tools tool systems display systems HR systems editorial systems Wheeling systems systems utility Signage Systems rostering duty systems systems approach
Singularity RDK Description
The name RDK stands for Research Development Kit . Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are building a research operating system prototype (called Singularity), extending programming languages, and developing new techniques and tools for specifying and verifying program behavior. Advances in languages, compilers, and tools open the possibility of ignificantly improving software. For example, Singularity uses type-safe languages and an abstract instruction set to enable what we call Software Isolated Processe (SIPs). SIPs provide the strong isolation guarantees of OS processes (isolated object space, separate GCs, separate runtimes) without the overhead of hardware-enforced protection domains. In the current Singularity prototype SIPs are extremely cheap; they run in ring 0 in the kernel's address space. Singularity uses these advances to build more reliable systems and applications. For example, because SIPs are so cheap to create and enforce, Singularity runs each program, device driver, or system extension in its own SIP. SIPs are not allowed to share memory or modify their own code. As a result, we can make strong reliability guarantees about the code running in a SIP. We can verify much broader properties about a SIP at compile or install time than can be done for code running in traditional OS processes. Broader application of static verification is critical to predicting system behavior and providing users with strong guarantees about reliability.
Singularity RDK Related Software