Is there progress in interested variable mechanism in process synchronization in operating system?

Question

Two processes, P1 and P2, need to access a critical section of code. Consider the following synchronization construct used by the processes:

/*  P1   */
while (tr