Sistema basado en el lenguaje

Un sistema basado en lenguaje es un tipo de sistema operativo que utiliza características del lenguaje para proporcionar seguridad , en lugar de, o además de, mecanismos de hardware. En estos sistemas, el código denominado base de confianza es responsable de aprobar la ejecución de programas , asegurando que no puedan realizar operaciones perjudiciales para la estabilidad del sistema sin ser detectados y gestionados previamente. ^{[ 1 ]} Una estrategia muy común para garantizar que tales operaciones sean imposibles es basar el sistema en un lenguaje de alto nivel , como Java , cuyo diseño excluye construcciones peligrosas; muchos están escritos completamente en dicho lenguaje, utilizando solo la cantidad mínima de código de bajo nivel . ^{[ 2 ]} Dado que los sistemas basados ​​en lenguaje pueden asegurar de antemano que no pueden realizar acciones que puedan dañar el sistema (como corromper la memoria mediante la desreferenciación de punteros colgantes ), es posible que eviten los costosos cambios de espacio de direcciones necesarios para los sistemas operativos tradicionales; por esta razón, los microkernels son más populares que los sistemas tradicionales. Una forma más extrema de esto es una arquitectura informática de lenguaje de alto nivel , donde la base de confianza se traslada al hardware y todo el sistema está escrito en un lenguaje de alto nivel.

• Burroughs MCP – Sistema operativo para ordenadores centrales 
• Cosmos – Kit de herramientas para la creación de sistemas operativos con interfaz gráfica de usuario y basados ​​en línea de comandos. 
• Esmeralda
• Inferno – Sistema operativo distribuido 
• JX – Sistema operativo de microkernel basado en Java 
• Máquina Lisp : ordenador especializado en ejecutar Lisp. 
• Midori : sistema operativo basado en microkernel de Microsoft. 
• Oberon – Sistema operativo multitarea escrito en Oberon 
• Redox – Sistema operativo de microkernel escrito en Rust 
• Singularity : sistema operativo experimental de Microsoft Research. 
• Smalltalk : lenguaje de programación orientado a objetos 
• Sistema operativo Teseo
• Sistema P de la UCSD: implementación del lenguaje de programación de 1977. Páginas que muestran breves descripciones de los destinos de redireccionamiento. 
• Verve : sistema operativo de investigación de Microsoft Research. 
• Phantom OS : sistema operativo de propósito general con código administrado y persistencia ortogonal. 

• Arquitectura informática de lenguajes de alto nivel