Языковая система — это тип операционной системы , которая использует языковые функции для обеспечения безопасности вместо или в дополнение к аппаратным механизмам. В таких системах код, называемый доверенной базой, отвечает за одобрение программ для выполнения , гарантируя, что они не смогут выполнять операции, наносящие ущерб стабильности системы, без предварительного обнаружения и устранения. [1] Очень распространенная стратегия, гарантирующая невозможность таких операций, заключается в создании системы на основе языка высокого уровня , такого как Java , чья конструкция исключает опасные конструкции; многие из них полностью написаны на таком языке, при этом используется лишь минимальное количество кода низкого уровня . [2] Поскольку языковые системы могут заранее гарантировать, что они не смогут сделать то, что может повредить системе (например, повредить память путем разыменования висячих указателей ), они могут избежать дорогостоящих переключений адресного пространства, необходимых традиционным ОС; из-за этого микроядра более популярны, чем традиционные системы. [ необходима цитата ] Более экстремальной формой этого является архитектура компьютера на языке высокого уровня , где доверенная база помещена в аппаратное обеспечение, а вся система написана на языке высокого уровня.