RU/2: Форум. Общение пользователей и разработчиков OS/2 (eCS). : Ответить на сообщение

Имя:
e-mail:
FIDO:
Home page:
сохранить данные о вас

Тема:

> > Адресные пространства конструируются рекурсивно. Для этого служат операции map и grant. Обе эти операции оперируют виртуальными страницами (flexpages или fpages).
> 
> Всё, остальное не интересовало.
> Теперь смотри, что получается: flexpage - это страница того, что в архитектуре x86 называется линейным адресным пространством (не путать с "адресным пространством" в терминологии L4). Каждой странице линейного адресного пространства может быть сопоставлена некая физическая страница. А может быть не сопоставлена. (Текущее состояние описывается в таблице трансляции адресов.) При обращении программы к ячейке памяти по адресу, для которого имеется физическая страница, всё проходит безболезненно. А вот при обращении по адресу, для которого физической страницы нет, происходит трап. Трап этот обрабатывается пейджером данного адресного простраства (L4). Но ему предлагаются только map и grant, которыми можно только отдать свою страницу кому-то другому. А как запросить недостающую? По-моему, здесь явно недостаёт чего-то вроде borrow.

__, _, __, _,_ _, _ \|_ / \ \|_) \| \| \|\/\| \| \ / \| \ \| \| \| \| ~ ~ ~ ~ `~' ~ ~