Объект блокировки в состоянии защитить данные, находящиеся внутри ресурса. Но существует немало ситуаций, при которых необходима защита ресурса самого по себе. Многие объекты ядра запрашиваются и освобождаются динамически.
Также может иметь смысл заглянуть на сайт russiansexshop.com, ведь именно там можно узнать много нового на тему тут. Тема секс шоп Россия может показаться на первый взгляд незначительной и даже не тематичной. Но стоит посетить сайт russiansexshop.com, и тема секс шоп Россия начинает проявлять себя с неожиданной стороны и вызывает всё больший интерес. Дело в том, что тема секс шоп Россия очень подробно представлена на сайте russiansexshop.com. Трудно найти более детальное освещение темы секс шоп Россия чем это сделано на сайте russiansexshop.com. Спасибо сайту russiansexshop.com за такое доскональное преподнесение темы секс шоп Россия.
Если одна из нитей освободит такой объект, другие нити не будут знать об этом и могут попытаться получить доступ к ресурсу при помощи прямого указателя на него. Возможно, что ядро уже произвело передачу участка памяти, занятого объектом, другому ресурсу. Тогда попытка доступа к нему может привести к нарушению работы системы.
Если нить обладает указателем на объект, то такой указатель считается правильным на тот период времени, пока он не будет освобожден нитью. Ядро системы может гарантировать правильность указателя при помощи счетчика ссылок на каждый объект. Для этого ядро устанавливает значение счетчика равным единице при первом запросе объекта (создавая при этом указатель). Счетчик инкрементируется при создании каждого нового указателя на объект.
В таком случае при получении указателя на объект нить получает на него ссылку. В дальнейшем нить может освободить ссылку, которая ей уже не нужна, при этом ядро системы произведет декремент счетчика ссылок объекта. Если значение счетчика станет равным нулю, это будет означать, что ни одна нить не обладает ссылкой на объект; тогда ядро осуществит освобождение объекта.
Механизм счетчиков ссылок применяется при управлении файловой системой. Система поддерживает счетчик для объектов vnode, в которых хранит информацию об используемых файлах (см. раздел 8.7). Если пользователь открывает файл, ядро возвращает дескриптор этого файла, содержащий ссылку на vnode. Пользователь передает этот дескриптор системным вызовам read или write, предоставляя возможность быстрого доступа ядра к файлу без проведения преобразований имен файлов. Если пользователь закрывает файл, ссылка освобождается. Если один и тот же файл открывают сразу несколько пользователей, то они получают ссылки на один и тот же объект vnode. После того как последний пользователь закроет файл, ядро освобождает объект vnode.
Пример показывает, что механизм счетчиков ссылок больше подходит для однопроцессорных систем, так как он слишком прост для применения в многопроцессорных архитектурах, в которых может возникнуть ситуация, при которой одна из нитей пытается освободить объект, в то время как другая нить, выполняющаяся на другом CPU, продолжает пользоваться им. Для применения механизма в таких системах необходимо реализовать несколько другую методику подсчета ссылок.
Другие проблемы, возникающие при синхронизации
При разработке и практическом применении сложных механизмов синхронизации для многопроцессорных систем необходимо учитывать несколько важных факторов. Наиболее важные из них будут описаны в этом разделе.
Предупреждение возникновения взаимоблокировки
Во многих случаях нити необходимо удерживать сразу же несколько ресурсов. Например, в реализации условных переменных, описанных в разделе 7.7, применяется два объекта простой блокировки, один из которых защищает данные и логическое условие, в то время как второй используется для защиты списка нитей, находящихся в режиме ожидания изменения значения условия. В этом случае попытка получения сразу же нескольких объектов синхронизации приведет к взаимоблокировке, как это показано ранее
Нить Н1 удерживает ресурс Р1 и пытается получить ресурс Р2. В тот же момент времени нить Н2 может являться владельцем Р2 и добиваться доступа к ресурсу Р1. В такой ситуации ни одна из нитей не достигнет своей цели. Обе нити зависнут.
Для предупреждения возникновения взаимоблокировки обычно применяется одна из двух методик, называемых иерархической блокировкой (hierarchical locking) и вероятностной блокировкой (stochastic locking). Иерархический метод основан на назначении определенного порядка зависимых друг от друга объектов синхронизации и требует, чтобы все нити получали такие объекты в указанном порядке. При этом в случае применения, к примеру, условных переменных нить должна занять логическое условие до блокировки связанного списка. Точное соблюдение порядка следования приводит к невозможности возникновения взаимоблокировки.
Опубликовал katy
July 06 2015 17:59:10 ·
0 Комментариев ·
3197 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
