В начало

Виртуальная память (Лекция)

 

ПЛАН ЛЕКЦИИ

1. Модели памяти

2. Понятие о сегментированной модели памяти

3. Понятие о страничной модели памяти

4. Сегментно-страничная модель памяти

5. Плоская модель памяти

 

1. Модели памяти

 

Микропроцессор аппаратно поддерживает несколько моделей использования оперативной памяти:

·        сегментированная модель

·        страничная модель

·        сегментно-страничная модель

 

2. Понятие о сегментированной модели памяти

 

Память для программы делится на непрерывные области памяти, называемые  сегментами.

Сегменты - это логические элементы программы.

Сама программа может обращаться только к данным, которые находятся в этих сегментах.

 Сегмент представляет собой независимый, поддерживаемый на аппаратном уровне блок памяти.

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

 Замечание. Программист может либо самостоятельно разбивать программу на фрагменты (сегменты), либо автоматизировать этот процесс и возложить его на систему программирования.

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

 Операционная система (а не сама программа) размещает сегменты программы в ОП по определенным физическим адресам, а значения этих адресов записывает в определенные места, в зависимости от режима работы микропроцессора:

·              в реальном режиме адреса помещаются непосредственно в сегментные регистры (cs, ds, ss, es, gs, fs);

·              в защищенном режиме - в специальную системную дескрипторную таблицу (Элементом дескрипторной таблицы является дескриптор сегмента. Каждый сегмент имеет дескриптор сегмента -8 байт. Существует три дескрипторные таблицы. Адрес каждой таблицы записывается в специальный системный регистр).

 Для доступа к данным внутри сегмента обращение производится относительно начала сегмента линейно, т.е. начиная с 0 и заканчивая адресом, равным размеру сегмента. Этот адрес называется смещением  (offset).

 Таким образом, для обращения к конкретному физическому адресу ОП необходимо определить адрес начала сегмента и смещение внутри сегмента.

Физический адрес принято записывать парой этих значений, разделенных двоеточием

            segment : offset  

Например, 0040:001Ch;  0000:041Ch;   0020:021Ch;  0041:000Ch.

 Каждый сегмент описывается дескриптором сегмента.

ОС строит для каждого исполняемого процесса соответствующую таблицу дескрипторов сегментов и при размещении каждого из сегментов в ОП или внешней памяти в дескрипторе отмечает его текущее местоположение (бит присутствия).

Дескриптор содержит поле адреса, с которого сегмент начинается и поле длины сегмента. Благодаря этому можно осуществлять контроль

1)     размещения сегментов без наложения друг на друга

2)     обращается ли код исполняющейся задачи за пределы текущего сегмента.

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

Достоинства:

1)     общий объем виртуальной памяти превосходит объем физической памяти

2)     возможность размещать в памяти как можно больше задач (до определенного предела) Þ увеличивает загрузку системы и более эффективно используются ресурсы системы

 

Недостатки:

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

2)     фрагментация;

3)     потери памяти на размещение дескрипторных таблиц

4)     потери процессорного времени на обработку дескрипторных таблиц.

 Сегментированная модель памяти поддерживается и в реальном, и в защищенном режимах работы микропроцессора.

 

3. Понятие о страничной модели памяти.

 

Это надстройка над сегментной моделью.

ОП делится на блоки фиксированного размера 4 Кб (должно быть число, кратное степени двойки, чтобы операции сложения можно было бы заменить на операции конкатенации).

Каждый такой блок называется страницей.

Их число 1.048.576 Þ 4 Гб адресуемой памяти.

 Основное применение этой модели связано с организацией виртуальной памяти.

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

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

Замечание. В некоторых ОС выгруженные страницы располагаются не в файле, а в специальном разделе диска, например, в ОС UNIX есть специальный раздел, но могут использоваться и файлы, если не достаточно объема раздела.

В настоящее время файл подкачки может динамически изменять свой размер в зависимости от потребностей системы.

Для i486 и Pentium размер возможной виртуальной памяти может достигать 4 Тб (терабайт).

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

Говорят, что память разбивается на физические страницы, а программа - на виртуальные страницы.

 

Трансляция (отображение) виртуального адресного пространства задачи на физическую память осуществляется с помощью таблицы страниц.

Для каждой текущей задачи создается таблица страниц.

Диспетчер памяти для каждой страницы формирует соответствующий дескриптор. Дескриптор содержит так называемый бит присутствия. Если он  = 1, то данная страница сейчас размещена в ОП. Если он  = 0, то страница расположена во внешней памяти.

 Защита страничной памяти основана на контроле уровня доступа к каждой странице.

Каждая страница снабжается кодом уровня доступа (только чтение; чтение и запись; только выполнение). При работе со страницей сравнивается значение кода разрешенного уровня доступа с фактически требуемым. При несовпадении работа программы прерывается.

  Страничная модель памяти поддерживается только в защищенном режиме работы микропроцессора.

 Основное достоинство страничного способа распределения памяти -

минимально возможная фрагментация (эффективное распределение памяти).

Недостатки:

1)     потери памяти на размещение таблиц страниц

2)     потери процессорного времени на обработку таблиц страниц (диспетчер памяти).

3)     Программы разбиваются на страницы случайно, без учета логических взаимосвязей, имеющихся в коде Þ межстраничные переходы осуществляются чаще, чем межсегментные + трудности в организации разделения программных модулей между выполняющими процессами

 Чтобы избежать недостатка №3, был предложен сегментно-страничный способ распределения памяти.

 

4. Сегментно-страничная модель памяти

 

 Программа разбивается на сегменты, которые разбиваются на страницы.

Адрес, по-прежнему, состоит из двух частей - сегмент + смещение.

Но смещение относительно начала сегмента может состоять из двух полей: виртуальной страницы и индекса.

Для доступа к памяти необходимо:

1)     вычислить адрес дескриптора сегмента и причитать его;

2)     вычислить адрес элемента таблицы страниц этого сегмента и извлечь из памяти необходимый элемент;

3)     к номеру (адресу) физической страницы приписать номер (адрес) ячейки в странице.

 Þ Задержка в доступе к памяти (в три раза больше, чем при прямой адресации).

Чтобы избежать этого вводится кэширование (кэш строится по ассоциативному принципу).

 

5. Плоская модель памяти

 

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

Это подход называется плоской памятью.

Достоинства:

·  При использовании плоской модели памяти упрощается создание и ОС, и систем программирования.

·  уменьшаются расходы памяти на поддержку системных информационных структур

 В абсолютном большинстве современных 32-разрядных ОС (для микропроцессоров Intel) используется плоская модель памяти.

 

 

Mafia-2
Mafia-2


Шрифт ККМ ПРИМ-07 вер.1
Шрифт ККМ ПРИМ-07 вер.1


Mafia-2
Mafia-2