Есть ли в stl такой мьютекс, который можно разблокировать из другого потока?

Question

[Sh0ttky]

std:mutex бросает исключение, если пытаться разблокировать его из другого потока.

Comments

[tsarevfs]

А зачем так делать? Выглядит как очень опасная идея.

[Sh0ttky]

tsarevfs: это примитив синхронизации, с ним можно делать всё что угодно.

Answer 1

[Евгений Шатунов]

Если тебе надо заблокировать один поток (или несколько, поставив их в очередь блокировки) до события в другом потоке, то тебе хорошо подойдет std::condition_variable.

На основе этой сущности можно реализовать механику "wait() -> notify/notifyall()" из pthread_monitor или из Java.

Comments

[Sh0ttky]

хорошо, тогда такой вопрос: если wait будет вызван после notify , он не повиснет?

[Евгений Шатунов]

Sh0ttky , Вызов `wait()` по его семантике всегда ставит поток в очередь ожидания.
В этом случае всегда нужно проверять условия и не вызывать `wait()` когда ему нет места.

Скажем, пусть у тебя есть пул потоков и очереди сообщений. Каждый поток пула должен взять сообщение из очереди и обработать его. А очередь, если она пустая, должна подвесить поток до появления сообщений.
В этом случае, в очереди сперва делается проверка на ее пустоту, после этого или возвращается сообщение, или вызывается `wait()` своего монитора. А при добавлении сообщения `notify()` у монитора вызывается только тогда, когда очередь была пустой.

Answer 2

[tsarevfs]

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