Лекция "Основные алгоритмы, используемые ОС для выбора замещаемой страницы"

Основные алгоритмы, используемые ОС для выбора замещаемой страницы Наиболее ответственным действием  страничной системы является выделение страницы  основной памяти для удовлетворения требования доступа к отсутствующей в основной  памяти виртуальной странице. Рассмотрим  ситуацию,когда размер каждой виртуальной  памяти может существенно превосходить размер основной памяти. Это означает, что при  выделении страницы основной памяти с большой вероятностью не удастся найти  свободную (не приписанную к какой­либо виртуальной памяти) страницу. В этом случае  операционная система должна в соответствии с заложенными в нее критериями  найти  некоторую занятую страницу основной памяти, переместить в случае надобности ее  содержимое во внешнюю память, должным образом модифицировать соответствующий  элемент соответствующей таблицы страниц и после этого продолжить процесс  удовлетворения доступа к странице. Заметим, что при замещении приходится дважды  передавать страницу между основной и вторичной памятью. Процесс замещения может  быть оптимизирован за счет использования бита модификации (один из атрибутов  страницы). Бит модификации устанавливается компьютером, если хотя бы один байт  записан на страницу. При выборе кандидата на замещение, проверяется бит модификации.  Если бит не установлен, нет необходимости переписывать данную страницу на диск, она  уже там. Существует большое количество разнообразных алгоритмов замещения страниц.  Все они делятся на локальные и глобальные. Локальные алгоритмы, в отличие от  глобальных, распределяют фиксированное или динамически настраиваемое число страниц  для каждого процесса. Когда процесс израсходует все предназначенные ему страницы,  система будет удалять из физической памяти одну из его страниц, а не из страниц других  процессов.  Глобальный же алгоритм замещения в случае возникновения исключительной  ситуации удовлетворится освобождением любой физической страницы, независимо от того, какому процессу она принадлежала.Глобальные алгоритмы имеют несколько недостатков.  Во­первых, они делают одни процессы чувствительными к поведению других процессов.  Например, если один процесс в системе использует большое количество памяти, то все  остальные приложения будут в результате ощущать сильное замедление из­за недостатка  памяти. Во­вторых, некорректно работающее приложение может подорвать работу всей  системы (если конечно в системе не предусмотрено ограничение на размер памяти,  выделяемой процессу),  пытаясь захватить все больше памяти. Поэтому в многозадачной  системе лучше использовать более сложные, но эффективные локальные алгоритмы. Такой  подход требует, чтобы система хранила список физических страниц каждого процесса.  Этот список страниц  иногда называют рабочим множеством процесса.  Рабочее множество  и реализация алгоритма подкачки, основанного на понятиях локальности и рабочего  множества описаны в последующих разделах.