Language-based system: Difference between revisions

Revision as of 01:07, 27 January 2015

Revision as of 12:15, 26 June 2015

Line 3:

url=http://www4.informatik.uni-erlangen.de/Projects/JX/poster/jx-poster.jpg|

author=Michael Golm, Meik Felser, Christian Wawerish, 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.

==Examples==

Line 18:

*[[Lisp Machine]]

*[[RustOS]]

==See also==

* [[High-level language computer architecture]]

==References==

Line 29 ⟶ 32:

[[Category:Operating system kernels]]

{{operating-system-stub}}