条件变脸pthread_cond_signal丢失问题

直接上代码:

static bsem_t bsem;
void* t1(void *arg)
{
    /*printf("enter task 1\n");*/
    /*while(1)*/
    /*{*/
        /*sleep(2);*/
        bsem_post(&bsem);
        /*bsem_post_all(&bsem);*/
        /*printf("this is task1, post sem\n");*/

}

void* t2(void *arg)
{
    /*printf("enter task 2\n");*/
    while(1)
    {
        /*usleep(100000);*/
        bsem_wait(&bsem);
        printf("this thread[%u],is wait task2\n", pthread_self());
    }
}

int main()
{
    printf("enter main .... \n");
    int ret = 0;
    bsem_init(&bsem, 0);
    pthread_t thread1[2];
    pthread_t thread2[5];

    int i;
    for(i=0; i< 2; i++)
    {
        ret = pthread_create(&thread2[i], NULL,(void*)t2, NULL);
        if(ret!=0)
        {
             printf("pthread create fail");
        }
    }

    /*sleep(1);*/
    /*for(i=0; i< 2; i++)*/
    /*{*/
        ret = pthread_create(&thread1[0], NULL,(void*)t1, NULL);
        if(ret!=0)
        {
             printf("pthread create fail");
        }
    /*}*/
        /*sleep(1);*/
        ret = pthread_create(&thread1[0], NULL,(void*)t1, NULL);

    while(1);

    return 0;
}

在main函数中会先创建两个wait thread, 然后在创建两个post线程,运行多次会发现pthread_cond_signal丢失的显现,如下图:

可以发现执行post的条件是获取mutex, 这个mutex是所有情况大家都共用的,所以就会存在可能:
wait 和 post都在等待这个mutex, 某些时候wait获取锁不及时,被两个连续的post获取mutex两次,然后执行啦两次signal,但是只出发了一个wait等待。

wait只知道被触发,但是它并不知道是被第几个signal触发的。

在这个条件变量的实现中,V=1的时候才会触发成功,V=0会执行wait动作, 所以当:
V=1, wait, V=0  --> V=1,wait, V=0 这种是我们希望得到的顺序,但是也有上面的那种可能就是:
V=1, V=1, wait, V=0 -> wait,  知道等待新的Post把V置为1,才会继续向下执行。

 

修改如下,解决此问题:

增加count的计数。这个时候这个bsem就像是semphore的功能,但并不是完全是, V的值表示会触发多少个wait等待。

posted @ 2017-01-24 22:50  Magnum Programm Life  阅读(2297)  评论(0编辑  收藏  举报