Why do you need a while loop while waiting for a condition variable

Question

Say you have this code

pthread_mutex_lock(&cam->video_lock);
while(cam->status == WAIT_DISPLAY) // <-- Why is this a \'while\' and not an \'if\'         


        

Answer 1

It is recommended that all threads check the condition after returning from pthread_cond_wait because there are several reasons the condition might not be true. One of these reasons is a spurious wakeup; that is, a thread might get woken up even though no thread signalled the condition.

Source : Spurious wakeup

Answer 2

Spurious wakeups are one reason, but legitimate but extraneous wakeups are another.

Consider:

1. You put a job on a queue.

2. You signal the condition variable, waking thread A.

3. You put a job on a queue.

4. You signal the condition variable, waking thread B.

5. Thread A gets scheduled, does the first job.

6. Thread A finds the queue non-empty and does the second job.

7. Thread B gets scheduled, having been woken, but finds the queue still empty.

Answer 3

For performance reasons, the POSIX API allows the OS to wake up your thread even if the condition has not been fulfilled (that's called a spurious wakeup).