linux下的线程控制-互斥锁与条件变量.doc

近期在学习linux下的线程控制， 对于线程同步中的互斥锁和条件变量有些问题，不过在参考了一些书目，还有和同学讨论后也是有了自己的一些认识和见解，现在分享下。 先看看互斥锁API pthread_mutex_lock(pthread_mutex_t *mutex; 用此函数加锁时，如果mutex已经被锁住，当前尝试加锁的线程就会阻塞，直到互斥锁被其他线程释放。当此函数返回时，说明互斥锁已经被当前线程成功加锁. pthread_mutex_trylock(pthread_mutex_t *mutex); 用此函数加锁时，如果mutex已经卑琐主，当前尝试加锁的线程不会阻塞，而是立即返回，返回的错误码为EBUSY,而不是阻塞等待。 pthread_mutex_unlock(pthread_mutex_t *mutex); 注意使用锁之前要记得初始化。 互斥锁的初始化有两种初始化方式: 1.对于静态分配的互斥锁一半用宏赋值的方式初始化 eg: static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER; 2.对于动态分配的互斥锁（如调用malloc）或分配在共享内存中，则必须调用pthread_mutex_init(pthread_mutex *mutex, pthread_mutexattr_t *mutexattr)函数来进行初始化。 有时候省略了初始化操作代码，因为它所在的实现把初始化常值定义为0（而且静态分配的变量被自动初始化为0）,不过省略初始操作是不正确的！ 互斥锁的作用： 互斥锁是用来保护临界区资源，一般是一些可供线程间使用的全局变量，来达到线程同步的目的,即保证任何时刻只有一个线程或进程在执行其中的代码.也许有人会问什么是同步？我以开始也不知道后来在百度找到了答案。 线程同步：发生在多个线程共享相同内存的时候，这事要保证每个线程在每个时刻看到的共享数据是一致的，如果每个线程使用的变量都是其他线程不会使用的readwrite或者变量是只读的，就不存在一致性的问题，但是如果两个或两个以上的线程可以read/write同一个变量时，就需要对线程进行同步，以确保他们在访问该变量的时不会得到无效的值，同时也可以唯一地修改变量并使它生效。 通俗点说：一个父亲给三个盲人儿子分蛋糕， 父亲不吃，只是分配。按照年龄分配，小儿子先吃了三分之一，然后给父亲，父亲接着将蛋糕给二儿子并告诉二儿子蛋糕剩下三分之二，二儿子又吃了三分之一后还给父亲，接着父亲告诉大儿子剩下三分之一，然后大儿子吃完了。最后父亲告诉三个儿子蛋糕都被你们吃完了。让儿子们都知道蛋糕还剩多少，这就叫做同步。此处父亲就像CUP，蛋糕就像三个线程的共享变量，三个儿子就是三个线程. 按照年龄分配就像是线程调度的按优先级分配的策略。 互斥锁的存在正是用来保护这种共享变量的， 一般的加锁轮廓： 1.pthread_mutex_lock() 2./*数据（变量）*/ 3.pthread_mutex_unlock() 1为接下来的操作加锁，实际上是为数据(data)加锁,这样保证在执行第3句pthread_mutex_unlock（）前，其他的线程不能访问第二句中的数据，只能阻塞等待解锁后来访问该数据。 如果有多个线程阻塞在等待同一个互斥锁上，那么当该互斥锁解锁，哪一个线程会开始运行呢？ 答：1003.1b-1993标准增加的特性之一是提供一个优先级调度选项。一下为概括，不同的线程可被赋予不同的优先级，同步函数（互斥锁，读写锁，信号量）将唤醒优先级最高的被阻塞线程。 关于互斥锁的编程技巧 将共享数据和他们的同步变量（互斥锁，条件变量或信号量）收集到一个结构体中。但是，对于动态分配的，如链表，可以将链表的头以及链表的同步变量存放到一个结构体中，但是其他共享数据（该链表的其他部分）却不在该结构中，因此这种方式通常是不完善的。 Example: strcut{ pthread_mutex_tmutex; intbuff[MAXITEMS]; int nput; int nval; }shared = { PTHREAD_MUTEX_INITIALIZER } 条件变量API pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex); 使用时需要注意: 条件变量的使用是与互斥锁共通使用的。 参数cond使用前 需要用 pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr);初始化！ 参数mutex为已经初始化后，并且是已经上锁的状态! pthread_cond_tim