Блокировка (программирование): различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м Перемещение 13 интервики-ссылок в Викиданные (d:Q1427251)
м Разрешение значений с помощью бота: Синхронизация (информатика) — изменение ссылок на Синхронизация процессов
 
(не показано 11 промежуточных версий 9 участников)
Строка 1: Строка 1:
{{Значения|Блокировка}}
{{Значения|Блокировка}}
{{нет источников|дата=2013-12-02}}
В [[Информатика|информатике]], '''блокировка''' это механизм [[Синхронизация (информатика)|синхронизации]] позволяющий обеспечить исключительный доступ к разделяемому ресурсу между несколькими [[Многопоточность|потоками]]. Блокировки один из способов обеспечить политику [[управление распараллеливанием|управления распараллеливанием]].
В [[Информатика|информатике]], '''блокировка''' — механизм [[Синхронизация процессов|синхронизации]], позволяющий обеспечить исключительный доступ к разделяемому ресурсу между несколькими [[Многопоточность|потоками]]. Блокировки — это один из способов обеспечить политику [[управление распараллеливанием|управления распараллеливанием]].


== Типы блокировок ==
== Типы блокировок ==
В основном, используется '''мягкая блокировка''', при этом предполагается что каждый поток пытается получить блокировку перед доступом к соответствующему разделяемому ресурсу. В некоторых системах предоставляется механизм '''обязательной блокировки''', при его использовании попытка несанкционированного доступа к заблокированному ресурсу будет прервана, через создание [[Обработка исключений|исключения]] в потоке, который пытался получить доступ.
В основном, используется '''мягкая блокировка''', при этом предполагается что каждый поток пытается получить блокировку перед доступом к соответствующему разделяемому ресурсу. В некоторых системах предоставляется механизм '''обязательной блокировки''', при его использовании попытка несанкционированного доступа к заблокированному ресурсу будет прервана через создание [[Обработка исключений|исключения]] в потоке, который пытался получить доступ.


[[Семафор (информатика)|Семафор]] самый простой тип блокировки. С точки зрения '''доступа к данным''' не делается никаких различий между режимами доступа: общим (только чтение) или эксклюзивным (чтение и запись). В режиме общего доступа несколько потоков могут запросить блокировку для доступа к данным в режиме только чтение. Также используется эксклюзивный режим доступа в алгоритмах обновления и удаления.
[[Семафор (информатика)|Семафор]] — самый простой тип блокировки. С точки зрения '''доступа к данным''' не делается никаких различий между режимами доступа: общим (только чтение) или эксклюзивным (чтение и запись). В режиме общего доступа несколько потоков могут запросить блокировку для доступа к данным в режиме «только чтение». Также используется эксклюзивный режим доступа в алгоритмах обновления и удаления.


Типы блокировок различают по [[стратегия блокировки|стратегии блокировки]] продолжения исполнения потока. В большинстве реализаций запрос блокировки препятствует дальнейшему исполнению потока пока не появится доступ к заблокированному ресурсу.
Типы блокировок различают по [[стратегия блокировки|стратегии блокировки]] продолжения исполнения потока. В большинстве реализаций запрос блокировки препятствует дальнейшему исполнению потока, пока не появится доступ к заблокированному ресурсу.


[[Spinlock|Спинлок]] это блокировка которая ожидает в цикле пока не появится доступ. Такая блокировка очень эффективна если поток ожидает блокировку незначительный интервал времени, это позволяет избежать избыточной перепланировки потоков. Затраты на ожидание доступа будут значительными при длительном удержании блокировки одним из потоков.
[[Spinlock|Спинлок]] — это блокировка, которая ожидает в цикле, пока не появится доступ. Такая блокировка очень эффективна, если поток ожидает блокировку незначительный интервал времени, это позволяет избежать избыточной перепланировки потоков. Затраты на ожидание доступа будут значительными при длительном удержании блокировки одним из потоков.


Для эффективной реализации механизма блокировки требуется поддержка на аппаратном уровне. Аппаратная поддержка может быть реализована в виде одной или нескольких [[Атомарные операции|атомарных операциях]] таких как "[[test-and-set]]", "[[fetch-and-add]]" или "[[Сравнение с обменом|compare-and-swap]]". Такие инструкции позволяют без прерываний проверить, что блокировка свободна и если это так то занять блокировку.
Для эффективной реализации механизма блокировки требуется поддержка на аппаратном уровне. Аппаратная поддержка может быть реализована в виде одной или нескольких [[Атомарные операции|атомарных операций]], таких как «[[test-and-set]]», «[[fetch-and-add]]» или «[[Сравнение с обменом|compare-and-swap]]». Такие инструкции позволяют без прерываний проверить, что блокировка свободна и, если это так, то занять блокировку.

В однопроцессорных системах есть возможность исполнять инструкции без аппаратных прерываний используя специальные инструкции или префиксы инструкции, которые временно отключают прерывания, но такой подход не работает в многопроцессорных системах с общей памятью. Полная поддержка блокировок в [[Многопроцессорность|многопроцессорном]] окружении может потребовать достаточно сложной аппаратной и программной поддержки, со значительными проблемами [[Synchronization|синхронизации]].


В однопроцессорных системах есть возможность исполнять инструкции без аппаратных прерываний, используя специальные инструкции или префиксы инструкции, которые временно отключают прерывания, но такой подход не работает в многопроцессорных системах с общей памятью. Полная поддержка блокировок в [[Многопроцессорность|многопроцессорном]] окружении может потребовать достаточно сложной аппаратной и программной поддержки со значительными проблемами синхронизации.
<!--== Детализация ==-->
<!--== Детализация ==-->


== Блокировки уровня базы данных ==
== Блокировки уровня базы данных ==
{{main|Блокировка (СУБД)}}
{{В планах|дата=2016-06-30}}<!--== Проблемы с блокировками ==--><!--== Поддержка в языках ==-->


== Примечания ==
{{main|Блокировка_(СУБД)}}
{{примечания}}

<!--== Проблемы с блокировками ==-->

<!--== Поддержка в языках ==-->

<!--== См. также ==-->

== Ссылки ==


[[Категория:Управление конкурентными потоками]]
[[Категория:Управление конкурентными потоками]]
[[Категория:Шаблоны проектирования]]

Текущая версия от 14:22, 3 июня 2024

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

Типы блокировок

[править | править код]

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

Семафор — самый простой тип блокировки. С точки зрения доступа к данным не делается никаких различий между режимами доступа: общим (только чтение) или эксклюзивным (чтение и запись). В режиме общего доступа несколько потоков могут запросить блокировку для доступа к данным в режиме «только чтение». Также используется эксклюзивный режим доступа в алгоритмах обновления и удаления.

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

Спинлок — это блокировка, которая ожидает в цикле, пока не появится доступ. Такая блокировка очень эффективна, если поток ожидает блокировку незначительный интервал времени, это позволяет избежать избыточной перепланировки потоков. Затраты на ожидание доступа будут значительными при длительном удержании блокировки одним из потоков.

Для эффективной реализации механизма блокировки требуется поддержка на аппаратном уровне. Аппаратная поддержка может быть реализована в виде одной или нескольких атомарных операций, таких как «test-and-set», «fetch-and-add» или «compare-and-swap». Такие инструкции позволяют без прерываний проверить, что блокировка свободна и, если это так, то занять блокировку.

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

Блокировки уровня базы данных

[править | править код]

Примечания

[править | править код]