Вопрос о использовании mutex и lock_guard?

Question

[Chemodan228]

Вопрос такой : Допустим у нас есть структура в которой есть lock_guard. Мы создаём переменную типа этой структуры(в конструкторе передаём mutex в lock_guard). И получается участок кода(с создания переменной и до вызова диструктора) код будет выполняться только одним потоком?

Comments

[xorknown]

Лучше зайти с другой стороны. Всегда когда ты лочишь мьютекс(обычный), еще раз залочить ты его не можешь. Будешь либо спать, либо UB, в зависимости от того в каком потоке вызвано. Собственно, в твоей структуре, когда разлочится мьютекс, тогда и получат доступ другие потоки. А если у тебя lock_guard - член класса, то значит до деструктора дойдет, да. Главное позаботиться о времени жизни mutex

[xorknown]

https://github.com/facebook/folly/blob/master/foll...

Вот пример такой структуры в библиотеке фейсбука.

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

Chemodan228 , на заметку просто.
std::lock_guard является реализацией идиомы Scope Guard - прикладного шаблона, суть которого состоит в гарантии освобождения ресурса при выходе из области видимости функции.
Собственно, ресурсом тут является критическая секция.

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

Answer 1

[res2001]

И получается участок кода(с создания переменной и до вызова диструктора) код будет выполняться только одним потоком?

Как напишете, так и будет выполнятся.
По моему не зачем зашивать lock_guard в структуру/класс, он должен быть в функции/методе тут же создаваться и удаляться максимально быстро. Если это приведет к дополнительному коду - это небольшая расплата за потокобезопасность.