很久没看APUE,今天一位朋友问道关于一个mutex的问题,又翻到了以前讨论过的东西,为了不让自己忘记,把曾经的东西总结一下。
先大体看下网上很多地方都有的关于pthread_cond_wait()的说明:
条件变量
条件变量是利用线程间共享的全局变量进行同步的一种机制,主要包括两个动作:一个线程等待"条件变量的条件成立"而挂起;另一个线程使"条件成立"(给出条件成立信号)。为了防止竞争,条件变量的使用总是和一个互斥锁结合在一起。
1. 创建和注销
条件变量和互斥锁一样,都有静态动态两种创建方式,静态方式使用PTHREAD_COND_INITIALIZER常量,如下:
pthread_cond_t cond=PTHREAD_COND_INITIALIZER
动态方式调用pthread_cond_init()函数,API定义如下:
int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr)
尽管POSIX标准中为条件变量定义了属性,但在LinuxThreads中没有实现,因此cond_attr值通常为NULL,且被忽略。
注销一个条件变量需要调用pthread_cond_destroy(),只有在没有线程在该条件变量上等待的时候才能注销这个条件变量,否则返回EBUSY。因为Linux实现的条件变量没有分配什么资源,所以注销动作只包括检查是否有等待线程。API定义如下:
int pthread_cond_destroy(pthread_cond_t *cond)
2. 等待和激发
int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex)
int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex, const struct timespec *abstime)
等待条件有两种方式:无条件等待pthread_cond_wait()和计时等待pthread_cond_timedwait(),其中计时等待方式如果在给定时刻前条件没有满足,则返回ETIMEOUT,结束等待,其中abstime以与time()系统调用相同意义的绝对时间形式出现,0表示格林尼治时间1970年1月1日0时0分0秒。
无论哪种等待方式,都必须和一个互斥锁配合,以防止多个线程同时请求pthread_cond_wait()(或pthread_cond_timedwait(),下同)的竞争条件(Race Condition)。mutex互斥锁必须是普通锁(PTHREAD_MUTEX_TIMED_NP)或者适应锁(PTHREAD_MUTEX_ADAPTIVE_NP),且在调用pthread_cond_wait()前必须由本线程加锁(pthread_mutex_lock()),而在更新条件等待队列以前,mutex保持锁定状态,并在线程挂起进入等待前解锁。在条件满足从而离开pthread_cond_wait()之前,mutex将被重新加锁,以与进入pthread_cond_wait()前的加锁动作对应。
激发条件有两种形式,pthread_cond_signal()激活一个等待该条件的线程,存在多个等待线程时按入队顺序激活其中一个;而pthread_cond_broadcast()则激活所有等待线程。
现在来看一段典型的应用:看注释即可。
- #include <pthread.h>
- #include <unistd.h>
-
- static pthread_mutex_t mtx = PTHREAD_MUTEX_INITIALIZER;
- static pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
-
- struct node {
- int n_number;
- struct node *n_next;
- } *head = NULL;
-
-
- static void cleanup_handler(void *arg)
- {
- printf("Cleanup handler of second thread./n");
- free(arg);
- (void)pthread_mutex_unlock(&mtx);
- }
- static void *thread_func(void *arg)
- {
- struct node *p = NULL;
-
- pthread_cleanup_push(cleanup_handler, p);
- while (1) {
- pthread_mutex_lock(&mtx);
- while (head == NULL) {
- pthread_cond_wait(&cond, &mtx);
-
- }
- p = head;
- head = head->n_next;
- printf("Got %d from front of queue/n", p->n_number);
- free(p);
- pthread_mutex_unlock(&mtx);
- }
- pthread_cleanup_pop(0);
- return 0;
- }
-
- int main(void)
- {
- pthread_t tid;
- int i;
- struct node *p;
- pthread_create(&tid, NULL, thread_func, NULL);
-
- for (i = 0; i < 10; i++) {
- p = malloc(sizeof(struct node));
- p->n_number = i;
- pthread_mutex_lock(&mtx);
- p->n_next = head;
- head = p;
- pthread_cond_signal(&cond);
- pthread_mutex_unlock(&mtx);
- sleep(1);
- }
- printf("thread 1 wanna end the line.So cancel thread 2./n");
- pthread_cancel(tid);
- pthread_join(tid, NULL);
- printf("All done -- exiting/n");
- return 0;
- }
互斥锁和条件变量
0人收藏此文章, 我要收藏发表于1年前(2011-09-23 21:47) , 已有
537次阅读 ,共
0个评论
&& false && 0>0)
互斥锁和条件变量是出自Posix线程标准,用来同步一个进程中各个线程的,同时也可以用来同步几个进程间的,不过这需要此互斥锁和条件变量是存放在多个进程间共享的某个内存区的。
互斥锁上锁与解锁:
3 |
int pthread_mutex_lock(pthread_mutex_t *mutex); |
4 |
int pthread_mutex_trylock(pthread_mutex_t *mutex); |
5 |
int pthread_mutex_unlock(pthread_mutex_t *mutex); |
互斥锁初始化的问题:
可以通过两种方式初始化一个互斥锁变量:
1,如果互斥锁变量是静态分配的,那么使用如下形式初始化:
static pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER;
2,如果互斥锁是动态分配的,那么我么可以用pthread_mutex_init函数初始化它。
1 |
int pthread_mutex_init(pthread_mutex_t *restrict mutex, |
3 |
const pthread_mutexattr_t *restrict attr); |
这两者有个很关键的地方,静态分配的话,只能使用默认的属性,而对于动态分配的,我们可以设置属性。
条件变量:等待与信号发送:
互斥锁有个劣势,那就是他仅仅是上锁和解锁,效率低,这时我们可以通过引入条件变量来解决问题,它允许一个线程或进程睡眠到某个事件为止。
3 |
int pthread_cond_timedwait(pthread_cond_t *restrict cond, |
4 |
pthread_mutex_t *restrict mutex, |
5 |
const struct timespec *restrict abstime); |
6 |
int pthread_cond_wait(pthread_cond_t *restrict cond, |
7 |
pthread_mutex_t *restrict mutex); |
3 |
int pthread_cond_broadcast(pthread_cond_t *cond); |
4 |
int pthread_cond_signal(pthread_cond_t *cond); |
每一个条件变量总是有一个互斥锁与之关联,我们再等待某个条件为真时,还会指定条件变量的地址和所关联的互斥锁的地址,这是什么意思呢?就是说,在使用pthread_cond_wait函数之前,我们要先用一个互斥锁锁住,然后当我们调用pthread_cond_wait函数进入睡眠。注意:该函数原子的执行两个动作:
1,给互斥锁解锁。(这就要求在调用这个函数之前要上锁)
2,把调用线程投入睡眠。
一旦这个函数被唤醒后,那么在此函数返回前重新给互斥锁上锁。这也就决定了在接下来的程序里必须有解锁的步骤。
互斥锁和条件变量的属性:
我们可以通过设置属性来选择是一个进程中多个线程同步还是多个进程间的同步。
3 |
int pthread_mutex_destroy(pthread_mutex_t *mutex); |
4 |
int pthread_mutex_init(pthread_mutex_t *restrict mutex, |
5 |
const pthread_mutexattr_t *restrict attr); |
6 |
int pthread_cond_destroy(pthread_cond_t *cond); |
7 |
int pthread_cond_init(pthread_cond_t *restrict cond, |
8 |
const pthread_condattr_t *restrict attr); |
互斥锁和条件变量的属性如同互斥锁和条件变量一样,也分为静态和动态分配及其初始化。
3 |
int pthread_mutexattr_destroy(pthread_mutexattr_t *attr); |
4 |
int pthread_mutexattr_init(pthread_mutexattr_t *attr); |
5 |
int pthread_condattr_destroy(pthread_condattr_t *attr); |
6 |
int pthread_condattr_init(pthread_condattr_t *attr); |
至于前面讲到的更改互斥锁和条件变量的属性来达到切换是线程间同步还是进程间同步的问题是通过如下函数来操作的:
03 |
int pthread_mutexattr_getpshared( const pthread_mutexattr_t * |
04 |
restrict attr, int *restrict pshared); |
05 |
int pthread_mutexattr_setpshared(pthread_mutexattr_t *attr, |
07 |
int pthread_condattr_getpshared( const pthread_condattr_t *restrict attr, |
08 |
int *restrict pshared); |
09 |
int pthread_condattr_setpshared(pthread_condattr_t *attr, |
pshared的值就是用来设置这个属性的值,它可以是PTHREAD_PROCESS_PRIVATE(线程间同步)或PTHREAD_PROCESS_SHARED(进程间同步)。
条件变量定时等待和广播:
用来唤醒阻塞在此条件变量上的所有线程。
3 |
int pthread_cond_broadcast(pthread_cond_t *cond); |
4 |
int pthread_cond_timedwait(pthread_cond_t *restrict cond, |
5 |
pthread_mutex_t *restrict mutex, |
6 |
const struct timespec *restrict abstime); |
7 |
int pthread_cond_wait(pthread_cond_t *restrict cond, |
8 |
pthread_mutex_t *restrict mutex); |
这里要说明一点,对于第二个函数所提到的abstime,这是绝对时间,而不是我们一般索说到的相差时间,也就是说这个时间是指自UTC时间以来所流逝的秒数和纳秒数,这样就有个一个好处:如果函数因为有信号到来而过早返回了,那么这个函数可以在无需更改参数的情况下继续再次被调用。
小结:
互斥锁用于保护代码临界区,从而保证任何时刻只有一个线程或者进程在临界区执行。有时候一个线程获得某个互斥锁后,发现自己需要等待某个条件变为真,这样线程就可以等待在某个条件上。条件变量总是有一个互斥锁与之关联。
互斥锁和条件变量可以静态分配并静态初始化。它们也可以动态分配并要求动态地初始化它们。动态初始化允许我们指定进程间共享属性,从而允许在不同进程间共享某个互斥锁或条件变量,其前提是该互斥锁或条件变量必须存在在由这些进程共享的内存区。