Распределение оперативной памяти вMicrosoftWindowsNt

В операционных системах WindowsNTтоже используется плоская модель памяти. Заметим, чтоWindowsNT4.0serverпрактически не отличается отWindowsNT4.0workstation; разница лишь в наличии у сервера некоторых дополни­тельных служб, дополнительных утилит для управления доменом и несколько иных значений в настройках системного реестра. Однако схема распределения возможного виртуального адресного пространства в системахWindowsNTразительно отличается от модели памятиWindows95/98. Прежде всего, в отличие отWindows95/98 в гораздо большей степени используется ряд серьезных аппаратных средств защиты, имеющихся в микропроцессорах, а также применено прин­ципиально другое логическое распределение адресного пространства.

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

Во-вторых, остальные программные модули самой операционной системы, которые выступают как серверные процессы по отношению к прикладным программам (клиентам), функционируют также в своем собственном системном виртуальном адресном пространстве, невидимом для прикладных процессов. Логическое распределение адресных пространств приведено на рис. 2.12.

Прикладным программам выделяется 2 Гбайт локального (собственного) линей­ного (неструктурированного) адресного пространства от границы 64 Кбайт до 2 Гбайт (первые 64 Кбайт полностью недоступны). Прикладные программы изолированы друг от друга, хотя могут общаться через буфер обмена (clipboard), механизмыDDE²иOLE³. Между отметками 2 и 4 Гбайт расположены низкоуровневые системные компо­ненты Windows NTкольца 0, в том числе ядро, планировщик потоков и диспетчер виртуальной памяти. Системные страницы в этой области наделены привиле­гиями супервизора, которые задаются физическими схемами кольцевой защиты процессора.

В верхней части каждой 2-гигабайтной области прикладной программы разме­щён код системных DLLкольца 3, который выполняет перенаправление вызовов в совершенно изолированное адресное пространство, где содержится уже собст­венно системный код. Этот системный код, выступающий как сервер-процесс (serverprocess), проверяет значения параметров, исполняет запрошенную функ­цию и пересылает результаты назад в адресное пространство прикладной про­граммы. Хотя сервер-процесс сам по себе остается процессом прикладного уровня, он полностью защищён от вызывающей его прикладной программы и изолиро­ван от неё.

Рис. 2.12.Модель распределения виртуальной памяти вWindowsNT

Это делает низкоуровневый системный код невидимым и недоступ­ным для записи для программ прикладного уровня, но приводит к падению производительности во время переходов между кольцами.

Для 16-разрядных прикладных Windows-программ ОС WindowsNTреализует сеансыWindowsonWindows(WOW). В отличие отWindows95/98 ОСWin­dowsNTдает возможность выполнять 16-разрядные программыWindowsинди­видуально в собственных пространствах памяти или совместно в разделяемом адресном пространстве. Почти во всех случаях 16- и 32-разрядные прикладные программыWindowsмогут свободно взаимодействовать, используяOLE, неза­висимо от того, выполняются они в отдельной или общей памяти. Собственные прикладные программы и сеансыWOWвыполняются в режиме вытесняющей многозадачности, основанной на управлении отдельными потоками. Множест­венные 16-разрядные прикладные программыWindowsв одном сеансе WOW выполняются в соответствии с кооперативной моделью многозадачности.Win­dowsNTможет также выполнять в многозадачном режиме несколько сеансовDOS. Поскольку Windows NTимеет полностью 32-разрядную архитектуру, не существует теоретических ограничений на ресурсы GDI¹и USER.

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

Процессами выделения памяти, её резервирования, освобождения и подкачки управляет диспетчер виртуальной памяти WindowsNT(WindowsNTvirtualmemorymanager,VMM). В своей работе этот компонент реализует сложную стратегию учёта требований к коду и данным процесса для минимизации досту­па к диску, поскольку реализация виртуальной памяти часто приводит к боль­шому количеству дисковых операций.

Каждая виртуальная страница памяти, отображаемая на физическую страницу, переносится в так называемый страничный фрейм(pageframe). Прежде чем код или данные можно будет переместить с диска в память, диспетчер виртуальной памяти (модульVMM) должен найти или создать свободный страничный фрейм или фрейм, заполненный нулями. Заметим, что заполнение страниц нулями пред­ставляет собой одно из требований стандарта на системы безопасности уровня С2, принятого правительством США. Страничные фреймы должны заполняться нулями для того, чтобы исключить возможность использования их предыдущего содержимого другими процессами. Чтобы фрейм можно было освободить, необ­ходимо скопировать на диск изменения в его странице данных, и только после этого фрейм можно будет повторно использовать. Программы, как правило, не меняют страницы кода. Страницы кода, в которые программы не внесли измене­ний, можно удалить.

Диспетчер виртуальной памяти может быстро и относительно легко удовлетво­рить программные прерывания типа «ошибка страницы» (pagefault). Что каса­ется аппаратных прерываний типа «ошибка страницы», то они приводят к подкачке (paging), которая снижает производительность системы. Мы уже говорили о том, что вWindowsNT, к большому сожалению, выбрана дисциплинаFIFOдля замещения страниц, а не более эффективные дисциплиныLRUиLFU.

Когда процесс использует код или данные, находящиеся в физической памяти, система резервирует место для этой страницы в файле подкачки Pagefile.sysна диске. Это делается с расчетом на тот случай, что данные потребуется выгрузить на диск. ФайлPagefile.sysпредставляет собойзарезервированныйблок дисково­го пространства, который используется для выгрузки страниц, помеченных как «грязные», при необходимости освобождения физической памяти. Заметим, что этот файл может быть как непрерывным, так и фрагментированным; он может быть расположен насистемномдиске либо на любом другом и даже на несколь­ких дисках. Размер этого страничного файла ограничивает объём данных, кото­рые могут храниться во внешней памяти при использовании механизмов вирту­альной памяти. По умолчанию размер файла подкачки устанавливается равным объёму физической памяти плюс 12 Мбайт, однако, пользователь имеет возможность изменить его размер по своему усмотрению. Проблема нехватки виртуаль­ной памяти часто может быть решена за счёт увеличения размера файла подкачки.

В системах WindowsNT4.0 объекты, создаваемые и используемые приложения­ми и операционной системой, хранятся в так называемыхпулах памяти(memorypools). Доступ к этим пулам может быть получен только в привилегированном режиме работы процессора, в котором работают компоненты операционной сис­темы. Поэтому для того, чтобы объекты, хранящиеся в пулах, стали видимы тре­дам приложений, эти треды должны переключиться в привилегированный режим.

Перемещаемый или нерезидентный пул(pagedpool) содержит объекты, которые могут быть при необходимости выгружены на диск.Неперемещаемый или рези­дентный пул(nonpagedpool) содержит объекты, которые должны постоянно на­ходиться в памяти. В частности, к такого рода объектам относятся структуры данных, используемые процедурами обработки прерываний, а также структуры, используемые для предотвращения конфликтов в мультипроцессорных системах.

Исходный размер пулов определяется объёмом физической памяти, доступной WindowsNT. Впоследствии размер пула устанавливается динамически и в зави­симости от работающих в системе приложений и сервисов будет изменяться в широком диапазоне.

Вся виртуальная память в WindowsNTподразделяется на классы: зарезервиро­ванную(reserved),выделенную (committed)и доступную (available).

 Зарезервированная памятьпредставляет собой набор непрерывных адресов, которые диспетчер виртуальной памяти (VMM) выделяет для процесса, но не учитывает в общей квоте памяти процесса до тех пор, пока она не будет фактически использована. Когда процессу требуется выполнить запись в па­мять, ему выделяется нужный объём из зарезервированной памяти. Если про­цессу потребуется больший объём памяти, то дополнительная память может быть одновременно зарезервирована и использована, если в системе имеется доступная память

 Память выделена, если диспетчерVMMрезервирует для неё место в файлеPagefile.sysна тот случай, когда потребуется выгрузить содержимое памяти на диск. Объём выделенной памяти процесса характеризует фактически потребляемый им объём памяти. Выделенная память ограничивается размером файла подкачки. Предельный объём выделенной памяти в системе (commitlimit) определяется тем, какой объём памяти можно выделить процессам без увеличения размеров файла подкачки. Если в системе имеется достаточный объём дискового пространства, то файл подкачки может быть увеличен и тем самым будет расширен предельный объём выделенной памяти.

Вся память, которая не является ни выделенной, ни зарезервированной, явля­ется доступной.К доступной относится свободная память, обнуленная память (освобожденная и заполненная нулями), а также память, находящаяся всписке ожидания(standbylist), которая была удалена из рабочего набора процесса, но может быть затребована вновь.