Я немного запутался в использовании std::condition_variable
. Я понимаю, что перед тем, как позвонить condition_variable.wait()
, мне нужно создать unique_lock
на mutex
. Я не могу найти, должен ли я также получить уникальный замок перед вызовом notify_one()
или notify_all()
.
Примеры cppreference.com противоречивы. Например, страница notify_one дает следующий пример:
#include <iostream>
#include <condition_variable>
#include <thread>
#include <chrono>
std::condition_variable cv;
std::mutex cv_m;
int i = 0;
bool done = false;
void waits()
{
std::unique_lock<std::mutex> lk(cv_m);
std::cout << "Waiting... \n";
cv.wait(lk, []{return i == 1;});
std::cout << "...finished waiting. i == 1\n";
done = true;
}
void signals()
{
std::this_thread::sleep_for(std::chrono::seconds(1));
std::cout << "Notifying...\n";
cv.notify_one();
std::unique_lock<std::mutex> lk(cv_m);
i = 1;
while (!done) {
lk.unlock();
std::this_thread::sleep_for(std::chrono::seconds(1));
lk.lock();
std::cerr << "Notifying again...\n";
cv.notify_one();
}
}
int main()
{
std::thread t1(waits), t2(signals);
t1.join(); t2.join();
}
Здесь блокировка не получена для первого notify_one()
, но приобретается для второго notify_one()
. Глядя на другие страницы с примерами, я вижу разные вещи, в основном не приобретая замок.
- Могу ли я сам выбрать блокировку мьютекса перед вызовом
notify_one()
, и почему я решил заблокировать его? - В приведенном примере, почему нет блокировки для первого
notify_one()
, но для последующих вызовов. Является ли этот пример неправильным или есть какое-то обоснование?