条件变量 - 为什么在调用pthread_cond_wait()之前调用pthread_cond_signal()是一个逻辑错误?

它是用POSIX线程教程编写的 https://computing.llnl.gov/tutorials/pthreads/ 这是一个逻辑错误。 我的问题是为什么它是一个逻辑错误? 在我的程序中,我需要使用这些信号,但是我不能保证会有一个处于_cond_wait状态的线程。我试图测试它,没有任何反应。这会导致意外行为还是更糟? 谢谢!     
已邀请:
大火的答案最接近,但并不完全清楚: 条件变量只应用于表示条件的变化。 线程1检查条件。如果条件不满足,他会等待条件变量,直到条件满足为止。因为首先检查条件,所以他不应该关心条件变量是否已发出信号:
pthread_mutex_lock(&mutex); 
while (!condition)
    pthread_cond_wait(&cond, &mutex); 
pthread_mutex_unlock(&mutex);
线程2改变条件并通过条件变量发出变化信号。他不关心线程是否在等待:
pthread_mutex_lock(&mutex); 
changeCondition(); 
pthread_mutex_unlock(&mutex); 
pthread_cond_signal(&cond)
底线是:通过某种条件完成通信。条件变量仅唤醒等待线程,以便它们可以检查条件。 条件示例: 队列不为空,因此可以从队列中获取条目 设置了布尔标志,因此线程等待直到另一个线程发出信号可以继续 设置了位集中的一些位,因此等待线程可以处理相应的事件 另见pthread示例     
我的2美分:当没有线程被阻止调用* pthread_cond_wait()*时,我不知道调用* pthread_cond_signal()*的副作用。这实际上是一个实现细节 我认为,如果你的线程/ timimg模型不能保证等待和信号之间的严格顺序,你可能应该考虑一个不同的同步机制[例如,像一个简单的信号量],当你可以从线程B发信号通知信号量时如果线程A还没有到达同步点。当线程A到达同步点时,它将发现信号量递增并将进入关键会话。     
条件变量允许一个线程从等待中唤醒另一个线程。只有当您触发条件时有一个等待线程时,它们才起作用。确保这种情况的方法是等待线程锁定与条件链接的互斥锁,并使信号线程在触发条件之前锁定该互斥锁。换句话说,如果另一个线程已锁定互斥锁但现在正在等待,则信令线程只能锁定互斥锁并触发条件。 我最熟悉boost,所以我会在这个例子中使用它:
// A shared mutex, global in this case.
boost::mutex myMutex;

// Condition variable
boost::condition_variable myCondition;

void threadProc()
{
    // Lock the mutex while the thread is running.
    boost::mutex::scoped_lock guard( myMutex );

    while( true )
    {
        // Do stuff, then...

        myCondition.wait( guard ); // Unlocks the mutex and waits for a notification.
    }
}

void func()
{
    // Function wants to trigger the other thread. Locks the mutex...
    boost::mutex::scoped_lock guard( myMutex );

    // Since the mutex is locked, we know that the other thread is
    // waiting on the condition variable...
    myCondition.notify_all();
}
在没有相应的等待时发出条件变量的信号是一个逻辑错误,因为没有任何东西会收到信号。条件变量不会保持信号状态。     
如果你不在乎这个信号会丢失 - 没有错误。如果您希望以后等待的线程立即从cond_wait()唤醒,那只是一个错误。 由于这是pthread_cond的常用用法,因此tutorial会调用此逻辑错误。但没有任何事情会崩溃,也不会发生意外行为。在正常执行流程中,cond_signal()仍然可以在cond_wait()中没有线程时发出:f.e。,当writer在队列中添加另一个数据块时,所有读者可能只是在进行消息处理。     

要回复问题请先登录注册