Система на основе языка - Википедия - Language-based system

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

Примеры

Смотрите также

Рекомендации

  1. ^ Языковой подход к безопасности, Шнайдер Ф., Морриссетт Г. (Корнельский университет) и Харпер Р. (Университет Карнеги-Меллона). Информатика: 10 лет назад, на 10 лет вперед. (2000)
  2. ^ Майкл Голм; Мейк Фелсер; Кристиан Вавериш; Юрген Кляйнёдер. «JX - гибкая операционная система Java (плакат)». Университет Эрлангена. Получено 2007-04-21.