Singularity (operační systém) - Singularity (operating system)

Projekt singularity
Singularity v1.png
Singularita po spuštění
Vývojářspolečnost Microsoft
NapsánoMontážní jazyk, C, C ++, C#, Zpívat#
Rodina OSJazykové systémy
Pracovní stavPřerušeno
Zdrojový modelZdroj dostupný (přes Iniciativa sdílených zdrojů )
První vydání2007; Před 13 lety (2007)
Konečné vydání2.0 / 14. listopadu 2008; Před 12 lety (2008-11-14)
K dispozici vAngličtina
Platformyx86
Jádro typMicrokernel jazykově založený
Výchozí uživatelské rozhraníRozhraní příkazového řádku
LicenceLicence Microsoft Research
Oficiální webové stránkyvýzkum. Microsoft.com/ en-us/ projekty/jedinečnost

Jedinečnost je experimentální operační systém (OS), který vytvořil Microsoft Research v letech 2003 až 2010.[1] Byl navržen jako vysoký spolehlivost OS, ve kterém jádro, ovladače zařízení, a aplikační software všechny byly napsány spravovaný kód. Použití vnitřní bezpečnosti bezpečnost typu namísto Hardware ochrana paměti.

Úkon

Nejnižší úroveň x86 přerušit kód odeslání je napsán v montážní jazyk a C. Jakmile tento kód dokončí svou práci, vyvolá jádro, které runtime systém a Popelář jsou napsány v Zpívat# (rozšířená verze Spec #, samotné rozšíření C# ) a běží v nechráněném režimu. The vrstva hardwarové abstrakce je napsán v C ++ a běží v chráněném režimu. K dispozici je také nějaký C kód pro zpracování ladění. Základní vstupní / výstupní systém počítače (BIOS ) je vyvolán během 16bitové verze skutečný režim bootstrap fáze; jednou v 32-bit režimu, Singularity nikdy nevyvolá BIOS znovu, ale vyvolá ovladače zařízení zapsané v Zpívat#. Během instalace Společný střední jazyk (CIL) opcodes jsou kompilovány do x86 operačních kódů pomocí Překladač Bartok.

Návrh zabezpečení

Singularita je a mikrokernel operační systém. Na rozdíl od většiny historických mikrokernelů se jeho komponenty spouštějí stejným způsobem adresní prostor (proces ), který obsahuje softwarově izolované procesy (SIP). Každý SIP má své vlastní rozložení dat a kódu a je nezávislý na ostatních SIP. Tyto SIP se chovají jako normální procesy, ale vyhnou se nákladům na přepínání úloh.

Ochrana v tomto systému je poskytována sadou volaných pravidel invarianty které jsou ověřeny statická analýza programu. Například ve stavech invariantních s pamětí nesmí být mezi dvěma SIP žádné křížové odkazy (nebo ukazatele paměti); komunikace mezi SIP probíhá prostřednictvím komunikačních kanálů vyššího řádu spravovaných operačním systémem. Invarianty se kontrolují během instalace aplikace. (V Singularity je instalace spravována operačním systémem.)

Většina invariantů se spoléhá na použití bezpečnějších spravováno pamětí jazyky, jako je Sing #, které mají Popelář, neumožňují žádné libovolné ukazatele a umožňují ověřování kódu tak, aby vyhovoval danému politika zabezpečení počítače.

Stav projektu

Singularity 1.0 byla dokončena v roce 2007. Singularity Research Development Kit (RDK) byla vydána pod a sdílený zdroj licence umožňující akademické nekomerční použití a je k dispozici od CodePlex.[2] Verze 1.1 byla vydána v březnu 2007 a verze 2.0 byla vydána 14. listopadu 2008.

Podobné projekty

Viz také

  • Jazykový systém, obecný návrh jádra používající místo ochrany hardwaru jazykovou ochranu.
  • Spec #, programovací jazyk odvozený od C # přidáním Eiffelova -jako design podle smlouvy.
  • Zpívat#, programovací jazyk odvozený od Spec # přidáním kanálů a nízkoúrovňových konstrukcí; slouží k budování Singularity.
  • Midori, Microsoftem vyvinutý operační systém založený na mikrokernelů označený jako možný nástupce Microsoft Windows někteří členové tisku informačních technologií (IT). Založeno na Singularity a souvisí s ní.

Reference

  1. ^ Historie zdrojového kódu zapnuta CodePlex
  2. ^ „Singularity RDK - Home“. Citováno 2016-06-08.

externí odkazy