在使用条件变量与互斥锁控制进程同步时，初始化mutex和cond后要先对共享资源进行加锁，之后对条件变量进行判断。若条件变量不满足，则需要解锁并阻塞等待信号唤醒线程。之后若线程被唤醒，则需要再次加锁，判断条件变量状态。问：为什么在线程因条件变量满足被唤醒后，要重新加锁并再次判断条件变量的状态？

在线程因条件变量满足而被唤醒后，需要重新加锁并再次判断条件变量的状态，是因为在解锁和阻塞等待信号唤醒线程的过程中，可能会有其他线程修改了共享资源的状态，导致条件变量状态发生了变化。所以在线程被唤醒后，需要重新加锁并再次判断条件变量的状态，以确保条件变量满足并且共享资源处于正确的状态，从而避免出现竞态条件和数据不一致的问题。