Можем ли мы использовать два разных мьютекса при ожидании одной и той же условной переменной?

Я наблюдаю, что notify_all() пробуждает не оба потока, а только один из двух. Если бы я заменил mutexLk2 на mutexLk1. Я получаю функциональный код.
Чтобы воспроизвести проблему, рассмотрим ниже измененный пример из cppref

Код: Выделить всё

#include 
#include 
#include 
#include 

std::condition_variable cv;
std::mutex cv_m1;
std::mutex cv_m; // This mutex is used for three purposes:
// 1) to synchronize accesses to i
// 2) to synchronize accesses to std::cerr
// 3) for the condition variable cv
int i = 0;

void waits1()
{
std::unique_lock lk(cv_m);
std::cerr 

Подробнее здесь: [url]https://stackoverflow.com/questions/70393722/can-we-use-two-different-mutex-when-waiting-on-same-conditional-variable[/url]

1719602581

Anonymous

Рассмотрите приведенный ниже сценарий:
[b]Последовательность 1[/b]
[code]mutexLk1_
gcondVar_.wait(mutexLk1);
[/code]
[b]Тема 2[/b]
[code]mutexLk2_
gcondVar_.wait(mutexLk2);
[/code]
[b]Тема 3[/b]
[code]condVar_
gcondVar_.notify_all();
[/code]
Я наблюдаю, что notify_all() пробуждает не оба потока, а только один из двух. Если бы я заменил mutexLk2 на mutexLk1. Я получаю функциональный код.
Чтобы воспроизвести проблему, рассмотрим ниже [b]измененный[/b] пример из cppref
[code]#include 
#include 
#include 
#include 

std::condition_variable cv;
std::mutex cv_m1;
std::mutex cv_m; // This mutex is used for three purposes:
// 1) to synchronize accesses to i
// 2) to synchronize accesses to std::cerr
// 3) for the condition variable cv
int i = 0;

void waits1()
{
std::unique_lock lk(cv_m);
std::cerr 

Подробнее здесь: [url]https://stackoverflow.com/questions/70393722/can-we-use-two-different-mutex-when-waiting-on-same-conditional-variable[/url]