stringtranslate.com

Операционная система с единым адресным пространством

В информатике операционная система с единым адресным пространством ( или SASOS ) — это операционная система , которая предоставляет только одно глобальное общее адресное пространство для всех процессов . В операционной системе с единым адресным пространством численно идентичные ( виртуальная память ) логические адреса в разных процессах относятся к одному и тому же байту данных. [1]

В традиционной ОС с частным адресным пространством для каждого процесса защита памяти основана на границах адресного пространства («изоляция адресного пространства»). Операционные системы с одним адресным пространством делают трансляцию и защиту ортогональными, что никоим образом не ослабляет защиту. [2] [3] Основное преимущество заключается в том, что указатели (т. е. ссылки на память) имеют глобальную действительность, то есть их значение не зависит от процесса, использующего их. Это позволяет совместно использовать структуры данных, связанные с указателями, между процессами и делать их постоянными, т. е. сохранять их в резервном хранилище.

Некоторые архитектуры процессоров имеют прямую поддержку защиты, не зависящую от трансляции. На таких архитектурах SASOS может выполнять переключение контекста быстрее, чем традиционная ОС. Такие архитектуры включают Itanium и версию 5 архитектуры Arm , а также архитектуры возможностей, такие как CHERI. [4]

SASOS не следует путать с плоской моделью памяти , которая не обеспечивает трансляции адресов и, как правило, не обеспечивает защиты памяти. Напротив, SASOS делает защиту ортогональной трансляции: может быть возможно назвать элемент данных (т. е. узнать его виртуальный адрес), не имея при этом возможности доступа к нему.

Проекты SASOS, использующие аппаратную защиту, включают в себя следующее:

Связанные с этим ОС обеспечивают защиту посредством безопасности типов на уровне языка.

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

Ссылки

  1. ^ Эрик Дж. Колдингер; Джеффри С. Чейз; Сьюзан Дж. Эггерс (сентябрь 1992 г.). «Поддержка архитектуры для операционных систем с единым адресным пространством». ACM SIGPLAN Notices . 27 (9): 175–186. doi :10.1145/143371.143508.
  2. ^ Тим Уилкинсон; Кевин Мюррей; Стивен Рассел; Гернот Хейзер; Йохен Лидт (13 ноября 1995 г.). "Операционные системы с единым адресным пространством" (PDF) . Университет Нового Южного Уэльса . Раздел 2: "Защита памяти". CiteSeerX 10.1.1.13.7042 . 
  3. ^ Джеффри С. Чейз; Генри М. Леви ; Майкл Дж. Фили; Эдвард Д. Лазовска (ноябрь 1994 г.). «Совместное использование и защита в операционной системе с одним адресным пространством» (PDF) . ACM Transactions on Computer Systems . 12 (4): 271–307. CiteSeerX 10.1.1.127.7313 . doi :10.1145/195792.195795. 
  4. ^ Уотсон, Роберт Н. М .; Нойманн, Питер Г .; Вудрафф, Джонатан; Андерсон, Джонатан; Андерсон, Росс ; Дэйв, Нирав; Лори, Бен ; Мур, Саймон В.; Мердок, Стивен Дж .; Паэпс, Филипп; Роу, Майкл; Саиди, Хассен (3 марта 2012 г.). "CHERI: исследовательская платформа, деконфляционная аппаратная виртуализация и защита" (PDF) . Неопубликованный доклад семинара для RESoLVE'12, 3 марта 2012 г., Лондон, Великобритания . Международная лаборатория компьютерных наук SRI.
  5. ^ Майкл Голм; Майк Фельзер; Кристиан Ваверсих; Юрген Кляйнедер. «Операционная система JX» (PDF) .
  6. ^ Кевин Боос, Намита Лиянаге, Рамла Иджаз и Линь Чжун. «Тесей: эксперимент в области структуры операционной системы и управления состоянием». 2020.
  7. ^ «Операционная система Torsion». цитата: «Torsion... многозадачная операционная система с единым адресным пространством и прозрачным сохранением данных».

Библиография


  • в
  • т
  • е