使用互斥和条件进行pthread调度

时间:2013-11-29 16:28:19

标签: c++ pthreads mutex conditional-statements

有人可以解释为什么在发出状态后可以锁定主线程的互斥锁吗?

pthread_t t, v;
pthread_mutex_t m;
pthread_cond_t c;
int res=0;
void* f(void*)
{
    pthread_mutex_lock(&m);
    printf("f-locked\n");
    pthread_cond_wait(&c,&m);
    res=1;
    printf("action!\n");
    pthread_mutex_unlock(&m);
    pthread_exit(NULL);
}
void* mainthread(void*)
{
    setbuf(stdout,NULL);
    struct sched_param sp1;
    sp1.sched_priority=0;
    pthread_mutex_init(&m,NULL);
    pthread_cond_init(&c,NULL);
    pthread_setschedparam(t,SCHED_MIN,&sp1);
    pthread_create(&t,NULL,f,NULL);
    for(int i=0;i<10000000;++i);
    pthread_mutex_lock(&m);
    pthread_cond_signal(&c);
    pthread_mutex_unlock(&m);

    //Why can I lock the mutex again immediately???
    pthread_mutex_lock(&m);
    printf("wtf?\n");
    res=2;
    pthread_mutex_unlock(&m);
    pthread_join(t,NULL);
    printf("\n\nres: %d\n",res);
    pthread_exit(NULL);
}
int main(int argc, char** argv)
{
    struct sched_param sp0;
    sp0.sched_priority=1;
    pthread_setschedparam(v,SCHED_MIN,&sp0);
    pthread_create(&v,NULL,mainthread,NULL);
    pthread_join(v,NULL);
    return 0;
}

结果将是

f-locked
wtf?
action!
res: 1

我相信在主线程发出信号并释放互斥锁之后,互斥锁将立即被f函数锁定,但它的行为有所不同。

提前致谢!

2 个答案:

答案 0 :(得分:0)

抱歉,我第一次没有正确阅读。你所拥有的是一种竞争条件。 pthread_cond_wait释放互斥锁,并在发出信号时再次锁定互斥锁。我想this answer explains it pretty well.

  

没有保证第三个线程会看到来自的数据   都。 pthread_cond_signal将唤醒第三个线程,但它可能不会   立即使用互斥锁。

无法保证f在主线程之前获取锁定。

答案 1 :(得分:0)

我认为这是因为你没有正确使用pthread_mutex_unlock()。 你明白了吗

printf("action!\n");
pthread_mutex_unlock(&m);
pthread_exit(NULL);

在退出此子线程之前解锁互斥锁。当程序执行pthread_mutec_unlock()时,它将首先查找是否有某个线程被锁定。

因此,如果您这样写,执行此指令后,程序的控制将立即返回到阻塞主线程。