In the code below, mutex is a mutex and wait_for_another is a condition variable. x is a pointer to a shared integer. For each option, the checkbox is above the code snippet lock(mutex); if(*x >= 10){...

Which ones of these statements are correct and why?

Extracted text: In the code below, mutex is a mutex and wait_for_another is a condition variable. x is a pointer to a shared integer. For each option, the checkbox is above the code snippet lock(mutex); if(*x >= 10){ wait (wait_for_another); } unlock(mutex); lock(mutex); while(*x >= 10){ wait (wait_for_another); unlock(mutex); lock(mutex); while(*x >= 10){ unlock(mutex); wait (wait_for_another); } while(*x >= 10){ wait (wait_for_another); } The statement is correct.