While vs If: The Correctness-Critical Choice - Signal Semantics in Condition Variables | OneNoughtOne