Языковая система

редактировать

A языковая система - это тип операционной системы, в которой используются функции language для обеспечения безопасности Вместо или в дополнение к аппаратным механизмам. В таких системах код, называемый доверенной базой, отвечает за утверждение программ для выполнения, гарантируя, что они не смогут выполнять операции, наносящие ущерб стабильности системы, без предварительного обнаружения и обработки. Очень распространенная стратегия, гарантирующая невозможность таких операций, - это построение системы на основе языка высокого уровня, такого как Java, конструкция которого исключает опасные конструкции; многие из них полностью написаны на таком языке, с использованием только минимального количества низкоуровневого кода. Поскольку языковые системы могут заранее гарантировать, что они не могут выполнять действия, которые могут повредить систему (например, повреждение памяти путем разыменования висячих указателей ), они могут избежать дорогостоящих переключений адресного пространства, необходимых для традиционные операционки; из-за этого микроядра более популярны, чем традиционные системы. Более экстремальной формой этого является компьютерная архитектура на языке высокого уровня, в которой доверенная база вставлена ​​в оборудование, а вся система написана на языке высокого уровня.

Примеры

См. Также

Ссылки

.

Последняя правка сделана 2021-05-26 13:08:27
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте