4.4. Организация адресного пространства

4.4.1. Отображение адресного пространства программы на основную память

Алгоритмы распределения, использования, освобождения ресурсов и предоставления к ним доступа предназначены для наиболее эффективной организации работы всего комплекса устройств ЭВМ. Рассмотрим их на примере управления основной памятью.

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

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

Если выделение ресурсов производится перед выполнением программы, такой процесс называется статическим перемещением, в результате которого программа “привязывается” к определенному месту в памяти вычислительной машины. Если же ресурсы выделяются в процессе выполнения программы, это называется динамическим перемещением, в этом случае программа не привязана к определенному месту в реальной памяти. Динамический режим можно реализовать только с помощью операционной системы.

При статическом перемещении может встретиться два случая:

1.      Реальная память больше требуемого адресного пространства программы. В этом случае загрузка программы в реальную память производится, начиная с 0-го адреса:

Загрузка программы в реальную память (объем реальной памяти больше адресного пространства программы)
Загрузка программы в реальную память (объем реальной памяти больше адресного пространства программы)

Загружаемая программа А является абсолютной программой, так как никакого изменения адресов в адресном пространстве, подготовленном компилятором, при загрузке в основную память не происходит — программа располагается с 0-го адреса реальной памяти.

2.      Реальная память меньше требуемого адресного пространства программы:

Загрузка программы в реальную память  (объем реальной памяти меньше адресного пространства программы)
Загрузка программы в реальную память
(объем реальной памяти меньше адресного пространства программы)

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

Фрагментация реальной памяти:

Реальная память

ОС

20 Кбайт

Программа А

0 Кбайт

Программа D

50 Кбайт

10 Кбайг

Программа В

20 Кбайт

Программа С

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

При мультипрограммном режиме, если имеем программы А, В и С, для которых известно, что программа А выполняется при размещении в памяти с адреса 60 Кбайт до 90 Кбайт, В — с 60 Кбайт до 90 Кбайт, С — с 50 Кбайт до 120 Кбайт, организовать их совместное выполнение невозможно, так как им необходим один и тот же участок реальной памяти. Эти программы будут ждать друг друга либо их нужно заново редактировать с другого адреса.

При работе в мультипрограммном режиме может сложиться ситуация, когда между программами образуются незанятые участки памяти. На рисунке 4.5 общий объем незанятой памяти, составляющий 50 Кбайт, достаточен, чтобы загрузить и программу D, находящуюся в ожидании. Но ее не удается загрузить, так как свободные участки памяти не являются смежными. Такое состояние называется фрагментацией реальной памяти. Оно характерно для систем со статическим перемещением.

Размещение программы в свободной части ОП
Размещение программы в свободной части ОП

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

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

4.4.2. Адресная структура команд микропроцессора и планирование ресурсов

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

В настоящее время разработано несколько способов решения этих противоречий. Например, для борьбы с фрагментацией основной памяти адресное пространство программы может быть разбито на отдельные сегменты, слабо связанные между собой. Тогда программа D общей длиной 50 Кбайт может быть представлена в виде ряда сегментов, загружаемых в различные области ОП. Это позволяет использовать реальную память, теряемую из-за фрагментации.

Фрагментация ОП. Загрузка сегментированной программы
Фрагментация ОП. Загрузка сегментированной программы

Адреса в каждом сегменте начинаются с 0. При статическом перемещении программы в процессе загрузки ее в основную память адреса должны быть привязаны к конкретному месту в памяти, на что уходит много времени, отвлекаются вычислительные ресурсы. Более эффективной является динамическая трансляция адресов (ДТА), которая заключается в том, что сегменты загружаются в основную память без трансляции адресного пространства (т.е. без изменения адресов в программе с учетом физического размещения в памяти команд и данных), а трансляция адресов каждой команды производится в процессе ее выполнения. Этот тип трансляции называется динамическим перемещением и осуществляется специальными аппаратурными средствами ДТА.

Каждый сегмент программы должен иметь свое имя. Форма имени сегмента может быть любой.

Форма имени сегмента:  а - при выделении 8 разрядов; б - при выделении 16 разрядов
Форма имени сегмента:
а — при выделении 8 разрядов; б — при выделении 16 разрядов

При таком представлении адрес будет состоять из двух частей:

s — имя сегмента,

i — адрес внутри сегмента.

Если ЭВМ имеет 32-битовую адресную структуру, максимальная длина адреса в единственном сегменте будет длиной 32 разряда. Если 16 разрядов из 32 отвести под номер сегмента (а 16 — под смещение), то в этом случае все адресное пространство программы может состоять из 216= 64 Кбайта сегментов. Сегмент может содержать 216= 64 Кбайта (т.е. иметь адреса от 0 до 65535). При другой структуре адреса изменяются количество сегментов и их длина.

Структура адресов накладывает два важных ограничения:

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

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

Динамическая трансляция адресов при сегментной организации программы
Динамическая трансляция адресов при сегментной организации программы

Процессор может обращаться к основной памяти, используя только абсолютные адреса. Каждая строка таблицы сегментов содержит адрес начала сегмента в реальной памяти. Для каждого сегмента имеется одна строка таблицы. Таблицу сегментов содержит каждая выполняемая программа.

В дополнение к таблице сегментов для динамической трансляции адреса используется специальный управляющий регистр, называемый регистром начала таблицы сегментов (РНТС или STOR (segment table origin register)). В этот регистр занесен адрес таблицы сегментов выполняемой в данный момент программы.

На рисунке ниже изображено выполнение программы D. В РНТС находится адрес таблицы сегментов этой программы. Если программа В прервет выполнение программы D, то в РНТС будет занесен начальный адрес таблицы сегментов программы В.

Технология динамической трансляции адресов
Технология динамической трансляции адресов

Допустим, для выполняемой программы D начальный адрес таблицы сегментов 68000. В реальной вычислительной машине все действия выполняются в шестнадцатеричной системе счисления, мы же проведем вычисления для простоты в десятичной системе счисления.

Для обращения к адресу 15000 сегмента 1 производятся следующие действия:

·   РНТС указывает на начало таблицы сегментов программы D — 68000;

·   номер сегмента в относительном адресе используется как индекс при обращении к таблице сегментов. В данном примере обращение производится к 1-й строке;

·   адрес, хранимый в выбранной строке таблицы сегментов, есть адрес начала сегмента в реальной памяти. Смещение в относительном адресе добавляется к начальному адресу, и результат является адресом в реальной памяти: 15000+75000=90000. Для относительного адреса (сегмент 3, смещение 13000) будет получен абсолютный адрес 218000.

При ДТА такое определение адресов ведется в процессе выполнения каждой команды. Если операционной системе понадобится переместить исполняемую программу в другую часть памяти (например, чтобы исключить фрагментацию), сначала надо будет переслать команды и данные сегмента. Затем строку таблицы сегментов для данного сегмента нужно изменить так, чтобы она содержала новый адрес, и выполнение программы может быть продолжено. Это дает возможность динамического управления реальной памятью в процессе выполнения программы.

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

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

Сегментно-страничная организация добавляет еще один уровень в структуре адресного пространства программы. Теперь адресное пространство программы дробится на сегменты, внутри сегментов — на страницы и адреса внутри страниц. Структура адреса: (s, p, i), где s — имя сегмента адресного пространства программы; p — имя страницы; i — адрес внутри страницы.

Адресная структура при сегментно-страничной  организации памяти внутри
Адресная структура при сегментно-страничной
организации памяти внутри

Формирование сегментно-страничной структуры выполняется автоматически с помощью операционной системы. Для динамической трансляции адресов каждому сегменту необходимы одна таблица сегментов и несколько таблиц страниц (рисунок 4.12).

ДTА будет выполняться следующим образом:

  •  регистр начала таблицы сегментов содержит начальный адрес таблицы сегментов выполняемой программы 28000;
  • номер сегмента в относительном адресе используется как индекс для обращения к записи таблиц сегментов. Эта запись идентифицирует начало таблицы страницы (реальный адрес) 30000;
  •  номер страницы в относительном адресе используется как индекс для обраще0ния к записи таблицы страниц. Эта запись идентифицирует начало страничного блока, содержащего эту страницу — 128000;
  •  смещение в относительном адресе и местоположение страничного блока объединяются вместе, формируя абсолютный адрес 129564. В реальной системе адрес страничного блока и смещение связываются, т.е. соединяются вместе для образования абсолютного адреса. Все преимущества динамического перемещения с использованием сегментации и страничной организации достигаются благодаря аппаратуре и программному обеспечению, а не пользователям системы. Специальные программы во время загрузки разбивают адресное пространство программы на сегменты и страницы, строят таблицы сегментов и страниц. Средства ДТА автоматически транслируют адрес в процессе выполнения программы.

4.4.3. Виртуальная память

Имея иерархическую структуру запоминающих устройств, на реальном объеме памяти, значительно меньшем максимального, можно имитировать работу с максимальной памятью. В этом случае программист работает так, как будто ему предоставлена реальная память максимально допустимого для данной ЭВМ объема, хотя имеющаяся реальная память значительно меньше по объему. Такой режим работы называется режимом виртуальной памяти.

Теоретически доступная пользователю ОП, объем которой определяется только разрядностью адресной части команды и которая не существует в действительности, называетсявиртуальной памятью.

Виртуальная память имеет сегментно-страничную организацию и реализована в иерархической системе памяти ЭВМ. Часть ее размещается в страничных блоках основной памяти, а часть — в ячейках внешней страничной памяти (slot). Внешняя страничная память является частью внешней памяти.

Ячейка (слот) — это записываемая область во внешней страничной памяти (например, на жестком магнитном диске). Она того же размера, что и страница.

Вычислительная система с 24-разрядным адресом может иметь адресное пространство в 16 777 216 байт (16 Мбайт), с 32-разрядным адресом — 4 Гбайт.

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

Рисунок 4.12 – Структурная схема формирования абсолютного адреса при сегментно-страничной организации ОП
Рисунок 4.12 – Структурная схема формирования абсолютного адреса при сегментно-страничной организации ОП
Структура виртуальной памяти
Структура виртуальной памяти

Загрузить программу в виртуальную память - значит переписать несколько программных страниц из внешней страничной памяти в основную память. Если в процессе выполнения программы А система обнаружит, что требуемой страницы нет в реальной памяти, она должна переслать копию этой страницы из внешней страничной памяти в реальную память. Этот механизм называется принудительным страничным обменом.

При расшифровке виртуального адреса номер сегмента с помощью таблицы сегментов соотносится с адресом таблицы страниц. Таблица страниц содержит номер страницы и адрес страничного блока. В виртуальном режиме к таблице страниц добавляется еще одна колонка, содержащая бит недоступности. Нулевое состояние этого бита означает, что соответствующая страница загружена в реальную память. Единичное состояние означает, что страница недоступна, ее надо переписать в реальную память из внешней. Местоположение страницы во внешней памяти указывается в таблице внешних страниц.