Language-based system

A language-based system is a type of operating system that uses language features to provide 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, assuring they cannot perform operations detrimental to the system's stability without first being detected and dealt with.[1] A very common strategy of guaranteeing that such operations are impossible is to base the system around a high-level language, such as Java, whose design precludes dangerous constructs; many are entirely written in such a language, with only the minimum amount of low-level code being used.[2] 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 pointers), it is possible for them to avoid expensive address space switches needed by traditional OSes; because of this, microkernels are more popular than traditional systems.[citation needed] A more extreme form of this is a high-level language computer architecture, where the trusted base is pushed into hardware, and the entire system is written in a high-level language.

Examples

  • Burroughs MCP – Mainframe computer operating system
  • Cosmos – Toolkit for building GUI and command-line based operating systems
  • Emerald
  • Inferno – Distributed operating system
  • JX – Java-based microkernel operating system
  • Lisp machine – Computer specialized in running Lisp
  • Midori – Microkernel-based operating system by Microsoft
  • Oberon – Multitasking operating system written in Oberon
  • Redox – Microkernel OS written in Rust
  • Singularity – Experimental operating system from Microsoft Research
  • Smalltalk – Object-oriented programming language
  • Theseus OS
  • UCSD P-system – 1977 programming language implementation
  • Verve – Research operating system from Microsoft Research
  • Phantom OS – Orthogonally persistent managed-code general purpose operating system

See also

References

  1. ^ 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)
  2. ^ Michael Golm; Meik Felser; Christian Wawerish; Jürgen Kleinöder. "JX - A flexible Java Operating System (poster)". University of Erlangen. Retrieved 2007-04-21.


Stub icon

This operating-system-related article is a stub. You can help Wikipedia by adding missing information.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.