How to provide a sequence of interleaving threads to show that a code breaks and doesn't provide perfect synchronization?

Question

I know what the following code does and I know why it is a broken code for synchronization as it has only one conditional variable while we need two but I don\'t know how to pro

Answer 1

"cond" is not initialized. You have a race condition between consumer and producer. If any of the "while" condition becomes true, they will result in infinite loop as no instruction changes the values of "count" in the "while" scopes (both).