Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
мои шпоры ОСиСП(1).doc
Скачиваний:
32
Добавлен:
26.09.2019
Размер:
1.63 Mб
Скачать

2. Применение двоичных семафоров для решения задачи "производитель-потребитель" (буфер неограниченный).

Рассматриваются два процесса, которые называются производитель и потребитель. Оба процесса являются циклическими. Производитель при каждом циклическом повторении участка программы про­изводит отдельную порцию информации, которая должна быть обработана потребителем. Потребитель при каждом повторении обрабатывает следующую порцию информации, выработанную производите­лем. Отношения производитель-потребитель подразумевают односторонний канал связи, по которому могут передаваться порции информации. С этой целью процессы связаны через буфер неограниченной емкости. То есть, произведенные порции не должны немедленно потребляться, а могут организовывать в буфере очередь. Буфер работает по принципу FIFO. При неограниченном буфере производитель никаких ограничений не имеет, а потребитель может читать данные из буфера только если они там есть. Операции добавления порции к буферу и взятия порции из буфера могут помешать друг другу, если не предусмотреть их взаимное исключение во время исполнения. Этого можно избежать с помощью двоичного семафора. При решении стремятся использовать только двоичные семафоры. В таком случае программа бу­дет выглядеть так:

ЗП - задержка потребителя.

ЧПБ – число порций в буфере.

РБ – работа с буфером.

СЧПБ - счетчик порций в буфере.

begin integer ЧПБ, РБ, ЗП;

ЧПБ := 0; РБ := 1; ЗП := 0;

parbegin

производитель: begin

П1: производство новой порции;

p(РБ)

добавление новой порции в буфер;

ЧПБ := ЧПБ + 1;

If (ЧПБ = 1) then v(ЗП);

v(PБ);

goto П1;

end;

потребитель: begin integer СЧПБ;

ждать: p(ЗП);

продолжить: p(PБ);

взятие порции из буфера;

ЧПБ := ЧПБ - 1;

СЧПБ := ЧПБ;

v(PБ);

обработка взятой порции;

if (CЧПБ = 0) then goto ждать;

else goto продолжить;

end;

parend;

end;

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

3. Страничная организация памяти в процессоре ia32

Основной причиной применения страничного преобразования является возможность реализации виртуальной памяти, которая позволяет программисту использовать объем памяти больше чем размер физической ОП.

Страничное преобразование было реализовано и до процессоров INTEL, но здесь оно реализовано как внутреннее устройство. В связи с этим появился ряд преимуществ:

- сокращается загрузка внешней шины;

- гарантируется правильность взаимодействия процессора и страничного устройства управления памятью;

- стандартизируются средства поддержки ОС виртуальной памяти;

- допускается программное разрешение и запрещение страничного преобразования адреса;

- снижается общая стоимость системы.

При страничной организации базовым объектом памяти является блок с фиксированным размером 4 kb, который называется страницей.

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

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

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

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

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

Для такого преобразования используются таблицы страниц. В процессорах реализуется двухэтапное преобразование линейного адреса в физический. Можно реализовать и одноэтапное преобразование, но тогда для одной таблицы страниц нужно 4 Мб. Поэтому целесообразнее использование двухэтапного преобразования. Основой страничного преобразования является регистр CR3, который содержит 20-битный физический адрес каталога страниц в текущей задаче, и называется регистром базового адреса каталога страниц (PDBR). Это единственный внутренний регистр процессора, который содержит физический адрес памяти. Младшие 12 бит считаются нулевыми, т.е. каталог выровнен на границу страницы.

Предполагается, что каталог страниц всегда находится в памяти и не участвует в свопинге.

Каталог страниц содержит 1024 32-битных дескриптора, называемых элементами каталога страниц. Каждый из этих элементов адресует подчинённую таблицу страниц второго уровня. В свою очередь, каждая из этих страниц содержит 1024 32-битных дескриптора элементов таблицы страниц, а каждый из этих элементов адресует страничный кадр в физической памяти.

Преобразование линейного адреса в физический состоит из следующих действий.

1. Старшие 10 бит линейного адреса дополняются двумя младшими нулями и служат индексом каталога страниц, выбирая один из элементов в каталоге. Выбранный элемент каталога страниц определяет 20-ти битный адрес таблицы страниц.

2. Средние 10 бит линейного адреса дополняются двумя младшими нулями и индексируют таблицу страниц, выбирая из нее PTE. Этот элемент содержит 20-ти битный базовый адрес страничного кадра в физической памяти.

3. Базовый адрес страничного кадра объединяется с младшими 12-ю битами линейного адреса. В результате получается 32-х битный физический адрес памяти, по которому и производится обращение.

При обращении к элементам каталога и таблицы страниц, производится проверка защиты и присутствия страниц в памяти.

Страничный дескриптор содержит следующую информацию:

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

r/w – чтения и записи. Показывает какие действия можно выполнить над страницей;

u/s – бит прав доступа. Если при сегментации используется и привилегии, то для страничного только или на системном уровне или на пользовательском.

D и A используются для определения использования страницы. А = 1, если было обращение к странице. D = 1, если осуществилась запись в станицу, т.е. в странице изменились данные.

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

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

Основным достоинством страничной организации памяти по сравнению с сегментацией является фиксированный размер страницы. Это позволяет:

– решить проблему организации памяти в общем (удобно организовывать виртуальную память);

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

Страничная организация памяти не видна прикладному программисту.

Недостатки страничной организации памяти.

1. Имеет место эффект внутренней фрагментации, когда сегменты памяти имеют размеры, не кратные размеру страниц;

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]