Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
April 17 2024 14:52:18   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 32735
Учимся удалять!... 31884
Примеры, синони... 23287
Просмотр готовы... 22499
Декартовы коорд... 22026
FAST (методика ... 21328
содержание - се... 20551
Просмотр готовы... 19131
Работа с инстру... 14604
Сейчас на сайте
Гостей: 1
На сайте нет зарегистрированных пользователей

Пользователей: 9,955
новичок: Logyattella
Друзья сайта
Ramblers Top100
Рейтинг@Mail.ru

Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi
Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
12.3 СЕМАФОРЫ
Поддержка системы UNIX в многопроцессорной конфигурации может включать в себя разбиение ядра системы на критические участки, параллельное выполнение которых на нескольких процессорах не допускается. Такие системы предназначались для работы на машинах AT amp;T 3B20A и IBM 370, для разбиения ядра использовались семафоры (см. [Bach 84]). Нижеследующие рассуждения помогают понять суть данной особенности. При ближайшем рассмотрении сразу же возникают два вопроса: как использовать семафоры и где определить критические участки.
Как уже говорилось в главе 2, если при выполнении критического участка программы процесс приостанавливается, для защиты участка от посягательств со стороны других процессов алгоритмы работы ядра однопроцессорной системы UNIX используют блокировку. Механизм установления блокировки:
выполнять пока (блокировка установлена) /* операция проверки */
приостановиться (до снятия блокировки);
установить блокировку;
механизм снятия блокировки:
снять блокировку;
вывести из состояния приостанова все процессы, приостановленные в результате блокировки;
Рисунок 12.5. Конкуренция за установку блокировки в многопроцессорных системах
Блокировки такого рода охватывают некоторые критические участки, но не работают в многопроцессорных системах, что видно из Рисунка 12.5. Предположим, что блокировка снята и что два процесса на разных процессорах одновременно пытаются проверить ее наличие и установить ее. В момент t они обнаруживают снятие блокировки, устанавливают ее вновь, вступают в критический участок и создают опасность нарушения целостности структур данных ядра. В условии одновременности имеется отклонение: механизм не сработает, если перед тем, как процесс выполняет операцию проверки, ни один другой процесс не выполнил операцию установления блокировки. Если, например, после обнаружения снятия блокировки процессор A обрабатывает прерывание и в этот момент процессор B выполняет проверку и устанавливает блокировку, по выходе из прерывания процессор A так же установит блокировку. Чтобы предотвратить возникновение подобной ситуации, нужно сделать так, чтобы процедура блокирования была неделимой: проверку наличия блокировки и ее установку следует объединить в одну операцию, чтобы в каждый момент времени с блокировкой имел дело только один процесс.
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Случайные статьи
Обобщенные модели
Глава третья. АВТ...
12.3.3 Примеры ал...
Коммутация каналов
2.3.2.1 Сигналы те...
5.12.2 Открытие по...
Модель кредитной к...
11.6 УПРАЖНЕНИЯ
12.3.3.1 Выделени...
4.1. Методы внутре...
DVD в России: част...
Калибруем
1.3. Обзор модели ...
5.4 Информационно...
Структура книги
Водозащищенность
8.2 СИСТЕМНЫЕ ОПЕР...
Предисловие
NavCompanion
Механизм создания ...
6.6 ПРИОСТАНОВКА В...
2.4.9 Свёрточные коды
БИБЛИОГРАФИЯ
1.1. Основные понятия
Программы от Palmtop
9.2.1 Структуры да...
6. Продукции типа...
Вместо заключения
5.14.2 Демонтирова...
Методы «точно в ср...
5.19 ВЫВОДЫ
Характерис...
8.1. Управление тр...
Свойства САПР отли...
Как правильно уста...
12.3.3.2 Wait
4.3 КАТАЛОГИ
1.2 СТРУКТУРА СИСТЕМЫ
Случаи из жизни
7. Продукции типа...
Мини-чат
Вам необходимо залогиниться.

Нет присланных сообщений.
Copyright © 2009