Страничная организация в Solaris

В ОС Solaris поддерживается список свободных страниц для выделения процессам, в которых происходят отказы страниц. Используется lotsfree – пороговый параметр для начала подкачки страниц. Управление страницами выполняет процессpageout. Процессpageout сканирует страницы,используямодифицированный алгоритм, основанный на показаниях часов. Используется такжеscanrate – коэффициент, характеризующий процесс сканирования. Диапазон - отslowscan доfastscan. Процессpageout вызывается более часто, в зависимости от размера свободной памяти.

Ключевые термины

mmap (memory map) – команда и системный вызов в ОС Solaris для организации файла, отображаемого в память.

Thrashing – ситуация критической нехватки основной памяти в системе, при которой процессор занят в основном откачкой и подкачкой страниц.

Алгоритм FIFO (First-In-First-Out) замещения страниц - наиболее простой алгоритм замещения страниц, при котором в качестве жертвы всегда выбирается фрейм, первым из имеющихся считанный в основную память.

Алгоритм Least Frequently Used (LFU) замещения страниц – алгоритм, при котором замещается страница с минимальным значением счетчика обращений (к которой было меньше всего обращений).

Алгоритм Least Recently Used (LRU) замещения страниц – алгоритм, при котором замещается та страница, которая раньше всегоиспользовалась.

Алгоритм Most Frequently Used (MFU) замещения страниц – алгоритм, при котором замещается страница с максимальным значением счетчика обращений (к которой было больше всего обращений).

Алгоритм второго шанса (second chance) при замещении страниц – алгоритм, в котором замещается не та страница, к которой дольше всего не было обращения, а следующая за ней по списку страниц, упорядоченному в порядке возрастания времен обращений.

Аномалия Belady – рост числа отказов страниц валгоритме FIFO при четырех свободных фреймах у процесса, по сравнению с числом отказов страниц при трех свободных фреймах.

Бит модификации - бит элемента таблицы страниц, указывающий на модификацию страницы, с целью откачки на диск только модифицированных страниц.

Бит ссылки (reference bit) – бит элемента таблицы страниц, равный 0, если к странице не было обращения, и 1, если обращение к странице было.

Бит "valid/invalid" – бит элемента таблицы страниц, указывающий на присутствие или отсутствие страницы в основной памяти.

Виртуальная память – метод управления памятью, основанный на принципах отделения логической памяти пользователя от физической памяти и расширения логической памяти путем хранения ее образа на диске.

Выделение фреймов по приоритетам – выделение процессам фреймов страниц в основной памяти, в соответствии с приоритетами процессов: при замещении страниц замещается страница процесса с более низким приоритетом.

Глобальное выделение фреймов – выделение процессам фреймов страниц в основной памяти, при котором набор свободных фреймов – общий для всех процессов, так что один процесс может взять фрейм у другого.

Замещение страницы (page replacement) – подкачка операционной системой страницы, к которой произошло обращение, вместо другой страницы, с откачкой последней, если она требуется.

Копирование при записи (Copy-on-Write) – стратегия создания процесса, при которой новый процесс разделяет адресное пространство с процессом-родителем до первой записи в адресное пространство, после чего для дочернего процесса создается новое адресное пространство – копия родительского.

Коэффициент отказов страниц (Page Fault Rate) – число от 0 до 1, характеризующее вероятностьотказа страницы.

Локальное выделение фреймов – выделение процессам фреймов страниц в основной памяти, при котором наборы свободных фреймов выделяются для каждого процесса отдельно.

Оптимальный алгоритм замещения страниц - алгоритм замещения страниц, при котором замещается та страница, которая не использовалась в течение наибольшего периода времени.

Отказ страницы (page fault) – прерывание по отсутствию страницы в основной памяти.

Пропорциональное выделение фреймов – выделение процессам фреймов страниц в основной памяти, пропорционально размерам процессов в памяти.

Рабочее множество – набор страниц,используемыхпроцессом.

Сегментная организация по требованию (segmentation on demand) – метод организациивиртуальной памяти, основанный на сегментной организации, при котором каждый сегмент загружается в память, только если он реально требуется при выполнении программы – содержит код или данные, к которым произошло обращение.

Страничная организация по требованию (paging on demand) – метод организациивиртуальной памяти, основанный на страничной организации, при котором каждая страница загружается в память, только если она реально требуется при выполнении программы – содержит код или данные, к которым произошло обращение.

Файл, отображаемый в память (Memory-Mapped File) – файл, блоки которого отображены в основную память через таблицу страниц.

Фиксированное выделение фреймов – выделение фреймов страниц в основной памяти процессам либо равномерно, либо пропорционально размерам процессов в памяти.

Эффективное время доступа (Effective Access Time - EAT) – математическое ожидание времени доступа к странице.