Обеспечение надёжной пространственной изоляции процессов посредством системы статического распределения памяти

В работе рассматриваются вопросы статического распределения памяти в целях надёжной пространственной изоляции процессов. Авторами в ходе создания ОСРВ семейства КЛОС на базе ARINC 653 разработана система изоляции, отвечающая требованиям стандарта ARINC 653, имеющая следующие особенности: учитываются как требования на память со стороны операционной системы, так и требования на память со стороны разработчика ПО; понятия, используемые для описания особенностей архитектуры и требований операционной системы на память, являются общими, что позволяет упростить разработку для новых платформ; требования на память формулируются разработчиком ПО в терминах, не зависящих от аппаратного обеспечения, что даёт высокую переносимость программного обеспечения; описание требований на память обладает широкими возможностями, есть поддержка виртуальной памяти, разделяемой памяти, инструментации кода, выравнивания адресов, ограничения на области физической памяти и др. Описываемый подход прошёл успешную апробацию на широком классе архитектур.

Скачать
тезисы