Condition Variables and Predicate Waiting

Synchronize thread activity based on state changes using condition variables to avoid busy-waiting loops.