Логотип Информационно-коммуникационные технологии в образовании
  • Реализация объектно-ориентированных языков программирования, гарантирующая межмодульную защиту
  • Реализация объектно-ориентированных языков программирования, гарантирующая межмодульную защиту
    Волконский В.Ю., Тихонов В.Г., Эльцин Е.А., Матвеев П.Г.
    2003
    Волконский В.Ю., Тихонов В.Г., Эльцин Е.А., Матвеев П.Г. Реализация объектно-ориентированных языков программирования, гарантирующая межмодульную защиту // Сб. научно-техн. трудов "Высокопроизводительные вычислительные системы и микропроцессоры". - М.: ИМВС РАН, №4, 2003. - С.18-37.
    Статья, обзор
    4. Программирование » 4.3. Объектно-ориентированное программирование и языки
    4. Программирование » 4.6. Технологии разработки программных систем
     
    Аннотация
    Целью межмодульной защиты является обеспечение безопасного взаимодействия модулей в рамках программной системы. Исполнение некорректного или ошибочного кода, случайно или преднамеренно внесенного в состав одного из модулей, не должно оказывать непредусмотренное воздействие на состояние других модулей и тем более на систему в целом. Целью данной статьи является распространение принципов межмодульной защиты на языковые конструкции для поддержки объектно-ориентированного языка программирования C++. В разделе 1 кратко излагаются общие принципы, по которым строится межмодульная защита, и вводятся необходимые понятия. В разделе 2 описывается, каким образом межмодульная защита должна работать для объектов классов, а в разделе 3 разбираются потенциально опасные операции над ними. Раздел 4 содержит описание программно-аппаратной реализации принципов защищённого объектно-ориентированного программирования, сделанной в рамках проекта "Эльбрус-2000". Использование описанной в статье технологии для компиляции реальных программ и полученные при этом результаты обсуждаются в главах 5 и заключении.
    Файл публикации (формат Adobe PDF, размер 289 Кб) »
    © 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций
    (ФГАУ ГНИИ ИТТ "Информика")
    Rambler's Top100