Jazykový systém - Language-based system - Wikipedia
A jazykový systém je typ operační systém který používá Jazyk funkce poskytovat bezpečnostní, místo nebo navíc k hardwarovým mechanismům. V takových systémech kód označovaný jako důvěryhodná základna odpovídá za schvalování programů pro provedení, zajišťující, že nemohou provádět operace, které by mohly poškodit stabilitu systému, aniž by byly nejprve detekovány a řešeny.[1] Velmi běžnou strategií zaručující nemožnost takových operací je založit systém kolem a jazyk na vysoké úrovni, jako Jáva, jehož design vylučuje nebezpečné konstrukce; mnoho z nich je napsáno zcela v takovém jazyce, pouze s minimálním počtem nízkoúrovňový kód se používá.[2] Protože jazykové systémy mohou předem zajistit, že nemohou dělat věci, které by mohly poškodit systém (například poškození paměti dereferencí visící ukazatele ), je možné, že se vyhnou nákladným přepínačům adresního prostoru, které tradiční OS vyžadují; kvůli tomu, mikrokernely jsou populárnější než tradiční systémy.[Citace je zapotřebí ] Extrémnější formou je a počítačová architektura na vysoké úrovni, kde je důvěryhodná základna vložena do hardwaru a celý systém je napsán v jazyce vysoké úrovně.
Příklady
Viz také
Reference
- ^ Jazykový přístup k zabezpečení, Schneider F., Morrissett G. (Cornell University) a Harper R. (Carnegie Mellon University). Informatika: 10 let zpět, 10 let dopředu. (2000)
- ^ Michael Golm; Meik Felser; Christian Wawerish; Jürgen Kleinöder. „JX - flexibilní operační systém Java (plakát)“. University of Erlangen. Citováno 2007-04-21.
- Sabelfeld, AC Myers Jazykové zabezpečení toku informací IEEE Journal on Selected Areas in Communications, 2003 Volume 21, Issue 1 pp. 5–19
- V Haldar, D Chandra, M Franz Sémantická vzdálená atestace - přístup k důvěryhodným výpočtům zaměřený na virtuální stroj USENIX Virtual Machine Research and Technology Symposium, 2004
- Giacobazzi, Mastroeni Abstraktní nezasahování: parametrizace nezasahování pomocí abstraktní interpretace Sborník 31. sympozia ACM SIGPLAN-SIGACT o zásadách programovacích jazyků str. 186–97 (2004)
- Algis Rudys, Dan S. Wallach Ukončení v jazykových systémech Transakce ACM o zabezpečení informací a systémů (TISSEC), svazek 5, vydání 2 (květen 2002), str. 138–68
 | Tento operační systém související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |