线程间同步，条件变量，互斥锁的使用-优快云博客

http://blog.chinaunix.net/uid-24922718-id-3311199.html

#include <iostream>

#include <pthread.h>

using namespace std;

pthread_cond_t qready = PTHREAD_COND_INITIALIZER;    //初始构造条件变量

pthread_mutex_t qlock = PTHREAD_MUTEX_INITIALIZER;    //初始构造锁

pthread_t tid1,tid2,tid3;

int x = 10;

int y = 20;

void *thrd_1(void *arg)

{

    pthread_mutex_lock(&qlock);

    while(x<y)

    {

        pthread_cond_wait(&qready,&qlock);

    }

    pthread_mutex_unlock(&qlock);

    cout<<"1"<<endl;

    sleep(5);

}

void *thrd_2(void *arg)

{

    pthread_mutex_lock(&qlock);

    x = 20;

    y = 10;

    cout<<"has change x and y"<<endl;

    pthread_mutex_unlock(&qlock);

    if(x > y)

    {

        pthread_cond_signal(&qready);

    }

    cout<<"2"<<endl;

}

void *thrd_3(void *arg)

{

    pthread_join(tid1,NULL);

    cout<<"3"<<endl;

}

int main(int argc,char **argv)

{

    int err;

    err = pthread_create(&tid1,NULL,thrd_1,NULL);

    if(err != 0)

    {

        cout<<"pthread 1 create error"<<endl;

    }

    err = pthread_create(&tid2,NULL,thrd_2,NULL);

    if(err != 0)

    {

        cout<<"pthread 2 create error"<<endl;

    }

    err = pthread_create(&tid3,NULL,thrd_3,NULL);

    if(err != 0)

    {

        cout<<"pthread 3 create error"<<endl;

    }

    while(1)

    {

        sleep(1);

    }

    return 0;

}

可以看到，创建了3个线程后，执行顺序2，1，3，即打印出的数字是213。为什么是这个顺序呢？我们接下去看，当创建tid1线程的时候，进入线程函数，并且加上了锁，然后进入pthread_cond_wait函数，这个函数的功能是等待qready这个条件变量成功，这个条件是什么呢？我们稍后在看，现在我们只要知道，这个函数在qready条件没满足的时候会卡在这里，并且，会把传入的互斥锁解锁，为什么要解锁的，拟可以想想，如果不解锁的话，那外部就没有可以对x，y的修改权，应为其他两个线程想要修改这两个值的话都需要对qclock进行枷锁。

好了线程1就这样，那之后就会运行线程2，我们看线程2的线程函数，该函数一开始也加了锁，但当线程1的pthread_cond_wait解锁之后，他就可以继续运行了，并且，在之后，它对x，y进行了修改，改好之后进行了解锁，并且调用了pthread_cond_signal通知线程1，现在可以知道了吧。这个满足的条件就是要x>y。

现在这里有个问题，一定要在发送通知之前解锁吗？答案是肯定的，为什么，因为如果先发送通知信号给线程1的时候，pthread_cond_wait可能在线程2的解锁之前就返回，而当它返回的时候，会再次将这个所进行锁定，而这个所还没有在线程2中解锁，应次会使其在次卡住。虽然这个卡住在线程2运行到解锁处会消除，但这并不符合我们有时的需求，所以最好还是在解锁之后在发送信号。

所以可以看出为什么线程2总是在线程1之前执行完毕，线程3就更不用说了，pthread_join你们懂的！！！