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 los mecanismos de hardware. En tales sistemas, el código conocido como la base confiable es responsable de aprobar la ejecución de los programas , asegurando que no puedan realizar operaciones perjudiciales para la estabilidad del sistema sin ser primero detectados y tratados. [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 un lenguaje de este tipo, y solo se utiliza 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 hacer cosas que puedan dañar el sistema (como corromper la memoria al desreferenciar punteros colgantes ), es posible que eviten los costosos cambios de espacio de direcciones que necesitan los sistemas operativos tradicionales; debido a esto, los microkernels son más populares que los sistemas tradicionales. [ cita requerida ] Una forma más extrema de esto es una arquitectura informática de lenguaje de alto nivel , donde la base confiable se inserta en el hardware y todo el sistema está escrito en un lenguaje de alto nivel.