Как и в системе SVR4/MP, в новой реализации ОС ядро полностью управляет собственным адресным пространством и, следовательно, всецело отвечает за невозможность доступа к недействительным отображениям ядра (например, освобожденным сегментом seg_map). Отсюда следует, что ядро может применять правила отложенной перезагрузки вхождений TLB, отображающих адреса ядра.
Однако система SVR4.2/MP поддерживает легковесные процессы (или LWP, см. раздел 3.2.2). Несколько LWP одного и того же процесса могут выполняться в этой ОС одновременно на нескольких процессорах машины. Это говорит о том, что ядро не в состоянии манипулировать правилами обращений к памяти прикладных процессов и должно применять принцип немедленной перезагрузки потерявших актуальность вхождений TLB, принадлежащих прикладным процессам.
Средства глобальной перезагрузки TLB, заложенные в SVR4/MP, не могут эффективно работать в системах с большим количеством процессоров, так как их применение приводит к простою всей системы во время операции перезагрузки. В SVR4.2/MP поддерживается список процессоров для каждой структуры hat. Структура hat адресного пространства ядра включает в себя список всех работоспособных процессоров машины, следовательно, ядро потенциально может выполняться на любом из них. Структура hat прикладного процесса содержит список только тех процессоров, на которых этот процесс активен (то есть выполняется один из LWP этого процесса). Доступ к списку осуществляется при помощи интерфейсных функций, представленных ниже:
♦ hat_online() и hat_offline() — операции предназначены для добавления или удаления процессоров из списка структуры hat ядра;
♦ hat_asload(as) — добавляет процессор в список структуры hat адресного пространства as и загружает это адресное пространство в MMU;
♦ hat_asunload(as, flags) — выгружает отображения процесса и удаляет процессор из списка адресного пространства as. Параметр flags поддерживает единственный флаг, указывающий на необходимость сброса информации из локального буфера TLB после выгрузки отображения1.
Ядро системы также использует объект под названием cookie, видимый только на уровне НАТ. Этот объект может быть реализован как временная метка (в формате timestamp), либо как счетчик (порт ссылок использует временную метку). Объект должен удовлетворять следующему условию: значение нового объекта cookie должно быть всегда выше предыдущего. Для получения нового объекта cookie используется процедура hat_getshootcookie(), возвращающая значение, равное «возрасту» TLB. Ядро передает cookie процедуре hat_ shootdown(), ответственной за перезагрузку вхождения ядра в буферах TLB. Если на каком-то процессоре остается прежний объект cookie, это означает, что информация буфера TLB может быть устаревшей и должна быть сброшена.
В следующих разделах будут обсуждаться алгоритмы отложенной и немедленной перезагрузки TLB.
Отложенная перезагрузка
Как и в SVR4/MP, ядро применяет алгоритм отложенной перезагрузки для страниц драйвера seg_map. В ОС SVR4.2/MP это правило эффективно также и по отношению к драйверу seg_kmem, отвечающему за динамическую память ядра. Если драйверы seg_map или seg_kmem сбрасывают атрибут корректности страницы, операция перезагрузки TLB будет отсрочена до тех пор, пока ядро не соберется использовать страницу повторно. Например, драйвер seg_ map объявляет страницу устаревшей только тогда, когда ее счетчик ссылок станет равным нулю (это означает, что ни один процесс не может обратиться к странице).
Следовательно, продолжение хранения потерявших значимость данных о преобразовании адреса такой страницы не производит никакого отрицательного воздействия на систему. Ядро возвращает страницу в свободный список и затем вызывает процедуру hat_getshootcookie() для связывания со страницей нового объекта cookie1.
Опубликовал katy
June 23 2015 06:15:06 ·
0 Комментариев ·
2117 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
