OSDev

В глобальной памяти у меня только системные программы и данные, они никогда не выгружаются, поэтому и удаления таблиц не требуется. А из локальной памяти таблицы удаляются только вместе с удалением процесса.

Для локалки соответствие между разными ВАП не требуется. Речь идет о динамическом расширении/сокращении свободного пространства прежде всего под данные ядра, причем глобальные. В принципе только расширение – вполне нормальный подход. Даже после освобождения памяти на этом участке не задействованные для трансляции транс-страницы могут оставаться в резерве для повторного использования.

Что-то не врубился, какое утверждение предлагается как критерий? А критерий, собственно, был один-единственный: в микроядерной системе каждая подсистема является отдельным процессом со своим личным адресным пространством, к которому другие процессы доступа не имеют. Микроядро, которое отображается в адресное пространство всех процессов, обеспечивает лишь коммуникацию между процессами; всё остальное из него вынесено. По этой причине QNX, рассматриваемая сейчас как микроядерная, в 1970-е таковой не считалась бы: там адресное пространство у всех системных компонентов, кроме драйверов, общее.

Верно. Да, забыл сказать, что в моей ОС проблема консолидации глобальных таблиц решилась сама собой после перехода страничного режима на PAE, благодаря наличию дополнительных уровней трансляции (промежуточных каталогов таблиц). Таким образом, выбрав для глобальной области один из промежуточных каталогов, и указав этот каталог в корневом каталоге, тогда его (и нижние от него уровни) можно разместить статически, и все изменения в нём автоматически действуют на все существующие ВАП.
Одно общее правило - при модификации или удалении страниц, нужен сброс кэша страниц путём перезагрузки cr3 (при добавлении новых страниц этого не требуется).