条件变量是多线程编程中用于线程等待和通知的同步机制，允许线程在某个条件满足前等待，以避免忙等待并提高多线程程序效率。