Максим Доледенок

Статическая раскладка памяти как средство организации MMIO и DMA в ОСРВ с пространственной изоляцией

Задача статической раскладки памяти важна в контексте обеспечения безопасности и надёжности ОСРВ. Архитектурные особенности аппаратных платформ на первый взгляд создают целый зоопарк дополнительных условий, тем самым усложняя задачу статической раскладки памяти. Построение общей теории позволяет создать строгие рамки и вписать различные условия в общий план решения. В работе предлагается анализ ряда нетривиальных архитектурных особенностей (таких, как фиксированная трансляция адресов, DMA-операции, арифметическая адресация устройств и др.), связанных с выделением областей памяти со специфическими ограничениями на отображения, строится общая система понятий для таких областей, формулируются задачи распределения памяти и демонстрируются пути их решения, пригодные к промышленной разработке. Подход был успешно апробирован в ОСРВ КЛОС, разрабатываемой в ИСП РАН.