条件变量为什么必须和互斥锁、while 条件检查一起使用？

条件变量为什么必须和互斥锁、while 条件检查一起使用？

请先给出定义，再结合嵌入式工程中的边界、错误现象和验证方式回答。