Я немного запутался в использовании 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(), но для последующих вызовов. Является ли этот пример неправильным или есть какое-то обоснование?