To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
Great Wikipedia has got greater.
.
Leo
Newton
Brights
Milds

Singularity (operating system)

From Wikipedia, the free encyclopedia

Singularity Project
Singularity after boot-up
DeveloperMicrosoft Research (Microsoft Corporation)
Written inAssembly language, C, C++, C#, Sing#
OS familyLanguage-based systems
Working stateDiscontinued
Source modelSource-available (through Shared Source Initiative)
Initial releaseMarch 4, 2008; 16 years ago (2008-03-04)[1]
Final release2.0 / November 14, 2008; 15 years ago (2008-11-14)
Available inEnglish
Platformsx86, x86-64[2]
Kernel typeMicrokernel language-based
Default
user interface		Command-line interface
LicenseMicrosoft Research License
Official websiteresearch.microsoft.com/en-us/projects/singularity

Singularity is an experimental operating system developed by Microsoft Research between July 9, 2003,[3] and February 7, 2015.[4] It was designed as a high dependability OS in which the kernel, device drivers, and application software were all written in managed code. Internal security uses type safety instead of hardware memory protection.

Operation

The lowest-level x86 interrupt dispatch code is written in assembly language and C. Once this code has done its job, it invokes the kernel, which runtime system and garbage collector are written in Sing# (an extended version of Spec#, itself an extension of C#) and runs in unprotected mode.[5]: 14 [6]: 4  The hardware abstraction layer is written in C++ and runs in protected mode. There is also some C code to handle debugging. The computer's basic input/output system (BIOS) is invoked during the 16-bit real mode bootstrap stage; once in 32-bit mode, Singularity never invokes the BIOS again, but invokes device drivers written in Sing#. During installation, Common Intermediate Language (CIL) opcodes are compiled into x86 opcodes using the Bartok compiler.[6]: 11 

Security design

Singularity is a microkernel operating system. Unlike most historic microkernels, its components execute in the same address space (process), which contains software-isolated processes (SIPs). Each SIP has its own data and code layout, and is independent from other SIPs. These SIPs behave like normal processes, but avoid the cost of task-switches.[5]: 4,11,35 

Protection in this system is provided by a set of rules called invariants that are verified by static program analysis. For example, in the memory-invariant states there must be no cross-references (or memory pointers) between two SIPs; communication between SIPs occurs via higher-order communication channels managed by the operating system. Invariants are checked during installation of the application. (In Singularity, installation is managed by the operating system.)

Most of the invariants rely on the use of safer memory-managed languages, such as Sing#, which have a garbage collector, allow no arbitrary pointers, and allow code to be verified to meet a given computer security policy.

Project status

The first Singularity Research Development Kit (RDK), RDK 1.1, was initially released on March 4, 2008,[1] being released under a shared source license allowing academic non-commercial use and available from CodePlex.[7] RDK 2.0 was later released on November 14, 2008.[2]

Similar projects

See also

  • Language-based system, general kernel design using language-based protection instead of hardware protection.
  • Midori, a Microsoft-developed microkernel-based operating system. Based on and related to Singularity.

References

  1. ^ a b "Singularity RDK 1.1". CodePlex. Archived from the original on May 4, 2009. Retrieved January 16, 2022.
  2. ^ a b "Singularity RDK 2.0 Initial Release (17067)". CodePlex. November 14, 2008. Archived from the original on December 6, 2008. Retrieved January 16, 2022.
  3. ^ "Singularity". Microsoft. Retrieved January 16, 2022.
  4. ^ "Singularity RDK". CodePlex. Archived from the original on January 2, 2018. Retrieved January 16, 2022.
  5. ^ a b "An Overview of the Singularity Project" (PDF). Microsoft. Retrieved January 16, 2022.
  6. ^ a b Hunt, Galen; Larus, James. "Singularity: Rethinking the Software Stack" (PDF). Microsoft. Microsoft Research Redmond. Retrieved January 16, 2022.
  7. ^ Ricciuti, Mike (March 5, 2008). "Is Microsoft's 'Singularity' the OS of the future?". CNET. Retrieved January 16, 2022.

External links

This page was last edited on 2 April 2024, at 01:56
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.
Contact WIKI 2
Introduction
Terms of Service
Privacy Policy