Content deleted Content added
Per WP:ALSO - no redlinks |
m clean up using AWB |
||
Line 1:
A '''language-based system''' is a type of [[operating system]] that uses [[programming language|language]] features to provide [[Language-based security|security]], instead of or in addition to hardware mechanisms. In such systems, code referred to as the ''trusted base'' is responsible for approving programs for [[execution (computing)|execution]], assuring they cannot perform operations detrimental to the system's stability without first being detected and dealt with.<ref name="Schneider">[http://www.cs.cmu.edu/~rwh/papers/langsec/dagstuhl.pdf A Language-Based Approach to Security], Schneider F., Morrissett G. (Cornell University) and Harper R. (Carnegie Mellon University). Informatics: 10 Years Back, 10 Years Ahead. (2000)</ref> A very common strategy of guaranteeing such operations are impossible is to base the system around a [[High-level programming language|high-level language]], such as [[Java (programming language)|Java]], whose design precludes dangerous constructs; many are entirely written in such a language, with only the minimum amount of [[low-level programming language|low-level code]] being used.<ref>{{cite web|
title=JX - A flexible Java Operating System (poster)|
url=http://www4.informatik.uni-erlangen.de/Projects/JX/poster/jx-poster.jpg|author1=Michael Golm |author2=Meik Felser |author3=Christian Wawerish |author4=Jürgen Kleinöder |
publisher=University of Erlangen|accessdate=2007-04-21}}</ref> Since language-based systems can assure ahead of time that they cannot do things that can damage the system (such as corrupting memory by dereferencing [[dangling pointer]]s), it is possible for them to avoid expensive address space switches needed by traditional OSes; because of this [[microkernel]]s are more popular than on traditional systems.{{Citation needed|date=April 2011}} A more extreme form of this is a [[high-level language computer architecture]], where the trusted base in pushed into hardware, and the entire system is written in a high-level language.
Line 30 ⟶ 29:
[[Category:Operating system kernels]]
{{operating-system-stub}}
| |||