Почему возникают ложные активации в потоках при использовании условных переменных?

Ложные активации потоков при использовании условных переменных возникают из-за сложностей при создании пробуждающего условия в многопроцессорных системах. 1

Некоторые причины:

• Несколько точек ожидания одной и той же условной переменной. 4 Например, один поток может интересоваться разными вещами или несколько потоков могут воровать посылки друг у друга. 4
• Условие может меняться быстрее, чем заинтересованный в нём поток. 4

Ложные активации означают, что поток может быть пробуждён, даже если никто не сигнализировал условной переменной. 1 Чтобы распознать такие активации, код, который ожидает, пока условие станет истинным, должен явно проверять это условие при возврате кода из функции wait. 5 Обычно это делается с помощью цикла. 5