Функция, которая может ложно пробуждаться, не заключенная в цикл, возникает, когда из-за пределов цикла вызываются следующие функции ожидания условия:

Функции ожидания состояния приостанавливают выполнение вызывающего потока при выполнении указанного условия. Поток пробуждается и возобновляется, как только другой поток уведомляет его cnd_broadcast() или эквивалентную функцию. Уведомление о пробуждении может быть ложным или вредоносным.

Если поток получает ложное уведомление о пробуждении и состояние функции ожидания условия не проверяется, поток может пробудиться преждевременно. Пробуждение может вызвать неожиданный поток управления, неопределенное блокирование других потоков или отказ в обслуживании.

Оберните функции ожидания состояния, которые могут ложно проснуться в цикле. Цикл проверяет состояние пробуждения после возможного ложного уведомления пробуждения.

#include <stdio.h>
#include <stddef.h>
#include <thread>
#include <mutex>

#define THRESHOLD 100

std::mutex myMutex;
std::condition_variable cv;

void func(int input)
{
	std::unique_lock<std::mutex> lk(myMutex);
	// test condition to pause thread 
	if (input > THRESHOLD) {
	//pause current thread
		cv.wait(lk);//Noncompliant
	}
}

В этом примере поток использует std::condition_variable::wait приостановка выполнения при input больше, чем THRESHOLD. Приостановленный поток может возобновиться, если другой поток использует std::condition_variable::notify_all, который уведомляет все потоки. Это уведомление вызывает пробуждение потока даже в том случае, если условие паузы остается верным.

Одной из возможных корректировок является перенос вызова в std::condition_variable::wait в while цикл. Цикл проверяет состояние паузы после получения потоком возможного ложного уведомления о пробуждении.

#include <stdio.h>
#include <stddef.h>
#include <thread>
#include <mutex>

#define THRESHOLD 100

std::mutex myMutex;
std::condition_variable cv;

void func(int input)
{
	std::unique_lock<std::mutex> lk(myMutex);
	// test condition to pause thread 
	while (input > THRESHOLD) {
	//pause current thread
		cv.wait(lk);
	}
}

std::condition_variable::wait имеет перегрузку, которая принимает лямбда-функцию в качестве второго аргумента. Предикат функции Лямбда указывает, когда безопасно остановить ожидание и продолжить выполнение кода. Эта перегрузка std::condition_variable::wait функция ведет себя так, как будто неявно заключена в цикл. В этом коде функцияstd::condition_variable::wait вызывается с помощью лямбда-функции. Здесь нежелательное пробуждение потока предотвращается, поскольку поток пробуждается, когда предикат функции Лямбда верен.

#include <stdio.h>
#include <stdio.h>
#include <stddef.h>
#include <thread>
#include <mutex>
#define THRESHOLD 100

std::mutex myMutex;
std::condition_variable cv;

void func(int input)
{
	std::unique_lock<std::mutex> lk(myMutex);
	cv.wait(lk,[&input]{ return !(input>THRESHOLD); });
	
}