Информация об изменениях

Сообщение Двойная блокировка переключатель от 16.09.2015 13:28

Изменено 16.09.2015 13:51 igor-booch

Блокировка эксклюзивно блокирует два ресурса.
Но не два одновременно, а напротив не допускает одновременного захвата обоих ресурсов.
Захвачен может быть только один ресурс, либо оба ресурса должны быть свободны.
Освобождение захваченного ресурса, происходит при захвате свободного ресурса.

Например, блокировка работает с 2-ми ресурсами A и B.

Предположим захвачен ресурс B
При захвате А, освобождается B
При освобождении А, B не захватывается, оба ресурса становятся свободными

И наоборот
Предположим захвачен ресурс A
При захвате B, освобождается A
При освобождении B, A не захватывается, оба ресурса становятся свободными

Не обязательно чтобы работало наоборот, мне достаточно чтобы работало только в прямом направлении (то ресурсы асимметричны), но если будет работать и наоборот (то ресурсы симметричны), то это не помешает.

Если оба ресурса свободны, то блокировка одного из них не к чему не приводит.

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

Есть ли такая блокировка в готовом виде? Можно ли её реализовать с помощью других примитивов синхронизации?
Блокировка эксклюзивно блокирует два ресурса.
Но не два одновременно, а напротив не допускает одновременного захвата обоих ресурсов.
Захвачен может быть только один ресурс, либо оба ресурса должны быть свободны.
Освобождение захваченного ресурса, происходит при захвате свободного ресурса.

Например, блокировка работает с 2-ми ресурсами A и B.

Предположим захвачен ресурс B
При захвате А, освобождается B
При освобождении А, B не захватывается, оба ресурса становятся свободными

И наоборот
Предположим захвачен ресурс A
При захвате B, освобождается A
При освобождении B, A не захватывается, оба ресурса становятся свободными

Не обязательно чтобы работало наоборот, мне достаточно чтобы работало только в прямом направлении (то есть ресурсы асимметричны), но если будет работать и наоборот (то есть ресурсы симметричны), то это не помешает.

Если оба ресурса свободны, то блокировка одного из них не к чему не приводит.

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

Есть ли такая блокировка в готовом виде? Можно ли её реализовать с помощью других примитивов синхронизации?