log_hereА если дописать
1.
2.
3.
4.
5.
void foo::other() {
std::lock_guard<std::mutex> lock(mutex_);
bar_.change("some other change");
std::cout << "goodbay" << std::endl;
}
, то уже нельзя будет одновременно заходить в
и
, в предположении, что мьютекс является членом foo?
1.
2.
3.
4.
5.
class foo {
std::mutex mutex_;
// ...
int share_;
}
Заходить можно, но только до точки std::lock_guard<std::mutex> lock(mutex_);
Т.е. метод some или other получает управление, выполняет код который предшествует созданию объекта lock, и блокируется на вызове lock, если mutex_ уже занят.
Нет никакой необходимости размещать создание блокировки в самом начале метода. И нет нужды удерживать блокировку до самого конца. В методе можно сгруппировать код, который пишет/читает разделяемую память и защитить только этот блок кода.
....
{
std::lock_guard<std::mutex> lock(mutex_);
l = share_;
share_ = l + 1;
}
...
