Механизм условных переменных схож с каналами сна, при использовании которых нити серверного приложения блокируются по условию и возобновляют работу после получения сообщений.
Также может иметь смысл заглянуть на сайт avtus.ru, ведь именно там можно узнать много нового на тему http://www.avtus.ru/uslugi/vykup-kreditnykh-avto. Тема выкуп кредитных авто может показаться на первый взгляд незначительной и даже не тематичной. Но стоит посетить сайт avtus.ru, и тема выкуп кредитных авто начинает проявлять себя с неожиданной стороны и вызывает всё больший интерес. Дело в том, что тема выкуп кредитных авто очень подробно представлена на сайте avtus.ru. Трудно найти более детальное освещение темы выкуп кредитных авто чем это сделано на сайте avtus.ru. Спасибо сайту avtus.ru за такое доскональное преподнесение темы выкуп кредитных авто.
На многопроцессорных системах необходимо защищать эти механизмы от состязательности, которая может привести к возникновению таких проблем, как потеря сигнала выхода из режима ожидания.
В качестве примера можно представить ситуацию, при которой сообщение приходит уже после проведения проверки очереди, но до того момента, как нить перешла в режим ожидания. В таком случае нить окажется приостановленной даже при наличии необработанных сообщений. Следовательно, для защиты от подобных проблем необходимо использовать неделимую операцию проверки условия и блокировки нити.
Такая возможность достигается при помощи дополнительных элементов блокировки. Объекты блокировки (обычно это простые блокировки или spin locks) защищают совместно используемые данные и предохраняют их от возникновения ситуации «невыхода» из режима ожидания. Для этого нить серверного приложения создает объект блокировки над очередью сообщений и проверяет очередь на отсутствие запросов.
Если очередь окажется пустой, нить вызовет функцию wait() с условием, по которому происходит удержание блокировки. Объект блокировки является входным аргументом функции waitQ. Функция производит приостановление выполнения нити и освобождение объекта блокировки. После получения сообщения и возобновления выполнения нити вызов waitQ снова запрашивает объект блокировки, после чего ее работа завершается. Пример использования условных переменных показан в листинге 7.8.
Некоторые детали реализации условных переменных
При рассмотрении механизма условных переменных необходимо сделать несколько важных замечаний. Логическое условие само по себе не является частью переменной, таким образом, оно должно проверяться до вызова wait(). Более того, необходимо помнить о том, что при реализации механизма применяются сразу два объекта блокировки. Одним из этих объектов является listLock, который используется для защиты списка нитей, находящихся в ожидании изменения условия. Второй объект защищает проверяемые данные. Он не является частью условной переменной, но передается в качестве аргумента функции wait(). Вызов swtchQ и участок кода, меняющий режим ожидающей нити на работоспособный, может использовать для защиты очередей планировщика еще один объект блокировки.
Таким образом, возникает ситуация, при которой нить, пытающаяся получить один объект блокировки, уже удерживает еще один объект такого же типа. Это не представляет опасности, так как объекты блокировки имеют всего лишь одно ограничение: они запрещают приостановку выполнения нити, удерживающей один из таких объектов. Защита от зависания гарантирована при строго определенном порядке следования объектов: блокировка по условию должна запрашиваться до запроса listLock.
Очередь ожидающих нитей не обязательно должна быть частью структуры условия. Вместо этого можно применять глобальный набор каналов сна, точно такой же, как в традиционных системах UNIX. В этом случае объект ListLock в условии заменяется объектом блокировки, защищающим соответствующий канал сна. Оба приведенных метода обладают определенными достоинствами, о которых мы уже рассказывали ранее.
Одним из достоинств условных переменных является существование двух различных методов обработки события. После его возникновения можно возобновить работу либо одной нити (при помощи do_signal()), либо всех ожидающих нитей сразу (используя команду do_broadcast()). Каждый из этих вариантов может оказаться наиболее подходящим в той или иной ситуации. В случае применения механизма условных переменных серверными приложениями эффективнее всего возобновлять работу только одной нити, так как каждый запрос обычно обрабатывается единственной нитью. Однако существуют и иные ситуации, например, когда программа выполняется сразу же несколькими нитями, использующими совместно одну копию исходных кодов программы. Если код программы, не хранящийся постоянно в памяти, попытаются запросить сразу несколько нитей, результатом станет получение ошибки каждой из них. Первая нить инициирует доступ к странице, расположенной на диске. Остальные нити получают уведомление о начале операции чтения данных и приостановят выполнение в ожидании завершения ввода-вывода. Когда страница кода будет считана в память, наилучшим решением является вызов do_broadcast() и возобновление работы всех приостановленных нитей, после чего все они могут иметь доступ к этой странице без возникновения ошибок.
Опубликовал katy
July 06 2015 16:24:12 ·
0 Комментариев ·
2813 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
