Переменная условия ложного пробуждения / кругового задания

Я новичок в потоках C ++, и я пытаюсь написать диспетчер задач с циклическим циклом (кооператив), используя потоки C ++. Действительно ли объявление round_robin_task_ulock ниже допустимо — это глобальная статическая переменная. Я хочу отложить блокировку мьютекса, пока не запустится поток менеджера задач.

static std::mutex                      round_robin_task_mutex;
static std::condition_variable         task_manager_cvar;
static thread                          round_robin_task_manager_thread;
static std::unique_lock<std::mutex>
round_robin_task_ulock(round_robin_task_mutex, std::defer_lock);

static void round_robin_task_manager()
{
round_robin_task_ulock.lock();
//..
}

После запуска потока диспетчера задач он может запустить задачу циклического перебора с уведомлением и последующим ожиданием.

 round_robin_tasks[current_task_id].task_cvar.notify_one();
// release the mutex and go to sleep
task_manager_cvar.wait(round_robin_task_ulock);
// now we own the mutex again

и когда задача циклического перебора хочет приостановить себя, она уведомляет поток диспетчера задач

 task_manager_cvar.notify_one();
round_robin_tasks[current_task_id].task_cvar.wait
(round_robin_task_ulock, [] { return
round_robin_tasks[my_task_id].task_running_now; } );

Есть ли очевидные проблемы с этим? Я читал о ложных следах. Возможно ли, что ложное пробуждение может разбудить поток диспетчера задач, пока задача круглого робота все еще владеет мьютексом, или гарантируется, что при возврате функции ожидания мьютекс всегда принадлежит (заблокирован) потоку, вызвавшему ожидание.