Page History

0

3

0

Thread 3 executes the first time: the predicate is false -> wait()

1

2

0

Thread 2 executes the first time: the predicate is false -> wait()

2

4

0

Thread 4 executes the first time: the predicate is false -> wait()

3

0

0

Thread 0 executes the first time: the predicate is true -> currentStep++; notify_one()

4

1

1

Thread 1 executes the first time: the predicate is true -> currentStep++; notify_one()

5

3

2

Thread 3 wakes up (scheduler choice): the predicate is false -> wait()

6

—

—

Thread exhaustion! There are no more threads to run, and a conditional variable signal is needed to wake up the others.