Многопроцессорные системы с общей памятью или

ЛЕКЦИЯ 12.

Symmetric Multiprocessing (SMP)

Схема многопроцессорной системы с общей памятью представлена ниже:

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

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

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

коммутатора этой памяти чрезвычайно высоки, что и ограничивает число про-

цессоров в системах с общей памятью величиной 10...20. Для устранения этого

существенного недостатка используются развитые системы кэширования, то

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

ния промежуточных результатов.

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

Управление доступом к памяти. Пусть два процесса (процессора) L1 и L2

выполняют операцию прибавления 1 в ячейку Х, причем, во времени эти опе-

рации выполняются независимо:

L1 =….X: = X + 1;……..

L2 =….X: = X + 1;……..

Такие вычисления могут соответствовать, например, работе сети по прода

же билетов, когда два терминала сообщают в центральный процессор о прода-

же одного билета каждый. На центральном процессоре выполнение каждой

операции заключается в следующем: чтение сожержимого Х в регистр R1, при-

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

центральном процессоре операции по тактам расположились следующим обра-

зом и начальное значение Х = 0

В результате неудачного размещения в такте 2 из ячейки Х читается значение 0 до того, как процесс L1 записал туда единицу. Это приводит к тому, что в такте 4 в ячейку Х будет вместо двух записана единица. Чтобы избежать таких ситуаций, нужно запрещать всем процессам использовать общий ресурс (ячейка Х), пока текущий процесс не закончит его использование. Это называется синхронизацией. Такая ситуация показана в строке L2*.

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

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

Выход заключается в разрешении входить в критическую секцию (КС)

только одному из нескольких асинхронных процессов. Под критической секци-

ей понимается участок процесса, в котором процесс нуждается в ресурсе. Ре-

шение проблемы критической секции было предложено в виде семафоров. Се-

мафором называется переменная S, связанная, например, с некоторым ресурсом

и принимающая два состояния: 0 (запрещено обращение) и 1 (разрешено обра-

щение). Над S определены две операции: V и P. Операция V изменяет значение

S семафора на значение S + 1. Действие операции P таково:

• Если S ≠ 0, то P уменьшает значение на единицу;

• Если S = 0, то P не изменяет значения S и не завершается до тех пор, пока некоторый другой процесс не изменит значение S с помощью операции V;

• Операции V и P считаются неделимыми, т. е. не могут исполняться одно

временно.

Приведем пример синхронизации двух процессов, в котором рrocess 1 и process 2 могут выполняться параллельно. Процесс может захватить ресурс только тогда, когда S:=1. После захвата процесс закрывает семафор операции P(S) и открывает его вновь после прохождения критической секции V(S).

Дата добавления: 2014-01-04