2. Монитороподобные средства синхронизации для решения задачи взаимного исключения (17) – 160

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

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

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

Механизм типа «критическая область»

Как следует из названия, это механизм, ориентированный на решение задачи взаимного исключения.

Для построения критической области используется две языковые конструкции. Одна из них VAR V: SHARED T; предназначена для описания критического ресурса, и её используют в начале текста программы в области описания типов переменных. Вторая описывает доступ к ресурсу в тексте программы REGION V DO S.

VAR R: SHARED T1;

Q: SHARED T2;

Begin

Parbegin

процесс 1: . . . L1: REGION R DO S1; . . .

процесс 2: . . . L2: REGION Q DO S2; . . .

. . . . . . . . . . .

процесс i: . . . L_i: REGION R DO S3; . . .

Parend;

End.

Процессы 1-ый и i-ый взаимно разделяют ресурс R и при выполнении программы будет выполнятся только одна из областей.

Описание переменной V: SHARED T означает, что определяется ресурс с именем V, как некоторая переменная, доступная параллельным процессам. Тип ресурса задаётся его описанием T.

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

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

TYPE T = ARRAY 1..100 OF INTEGER;

VAR M: SHARED T;

Begin

Parbegin

Процесс 1: L1: <действие процесса>

REGION M DO <обработка массива M>;

GOTO L1;

. . . . . . . . . . . . . . . . . .

Parend;

End.

3. Концепция виртуализации (9, 17)

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

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

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

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

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

Виртуализация обеспечивается аппартно-программными средствами.

Примеры виртуализации и виртуальных ресурсов:

1. Построение на основе одного интервального таймера произвольного числа таймеров, которые предоставляются пользователям в монотонное использование.

2. Организация на базе одного из устройств, имеющего определенный способ доступа, имитацию работы других устройств с другими способами доступа.

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

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

Идеальная в представлении пользователя архитектура виртуальной вычислительной машины имеет следующий состав:

– бесконечная по объему память с произвольно выбираемым наиболее удобным для пользователя доступом к объектам, хранимым в памяти

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

– произвольное количество внешних устройств с удобным способом доступа и предоставление информации, передаваемой через эти устройства или хранимой ими без каких-либо существенных ограничений на объем информации

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

Монитор – распределитель некоторого ресурса, который может на основании некоторой организации работы обеспечить ту или иную степень виртуализации при распределении эластичного ресурса.

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

Концепция виртуализации

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

Монитор – распределитель некоторого ресурса, который может на основании некоторой организации работы обеспечить ту или иную степень виртуализации при распределении эластичного ресурса.

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

Имеются ряд правил по формированию уровней и способов их взаимодействия.

1. На каждом уровне ничего не известно о свойствах и о существовании более высоких уровней.

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

3. Каждый уровень представляет собой группу модулей, некоторые из которых являются внутренними и не доступны для других уровней. Имена остальных модулей известны на следующем, более высоком уровне, и представляют собой сопряжение с этим уровнем.

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

5. Каждый уровень может обеспечивать некоторую абстракцию данных в системе.

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

7. Связь между уровнями ограничена явными аргументами, передаваемыми с одного уровня на другой.

8. Недопустимо совместное использование несколькими уровнями глобальных данных.

9. Каждый уровень должен иметь высокую прочность и слабое сцепление с другими уровнями.

10. Всякая функция, выполняемая уровнем абстракции, должна иметь единственный вход.

БИЛЕТ 18