这次学习和互斥锁一起应用的cond--条件变量
1.互斥锁的存在问题:
互斥锁一个明显的缺点是它只有两种状态:锁定和非锁定。设想一种简单情景:多个线程访问同一个共享资源时,并不知道何时应该使用共享资源,如果在临界区里加入判断语句,或者可以有效,但一来效率不高,二来复杂环境下就难以编写了,这是我们需要一个结构,能在条件成立时触发相应线程,进行变量修改和访问。
2.条件变量:
条件变量通过允许线程阻塞和等待另一个线程发送信号的方法弥补了互斥锁的不足,它常和互斥锁一起使用。使用时,条件变量被用来阻塞一个线程,当条件不满足时,线程往往解开相应的互斥锁并等待条件发生变化。一旦其它的某个线程改变了条件变量,它将通知相应的条件变量唤醒一个或多个正被此条件变量阻塞的线程。这些线程将重新锁定互斥锁并重新测试条件是否满足。
3.条件变量的相关函数
头文件:#include <pthread.h>
详细说明:
条件变量和互斥锁一样,都有静态动态两种创建方式
静态方式使用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)等待和激发
a.等待
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)//有时等待
wait的执行:调用wait这个线程把锁住的互斥量传给该wait,函数把调用者线程放到等待条件的线程列表上,然后对互斥量解锁,这两个操作时原子操作。
pthread_cond_wait会先解除之前的pthread_mutex_lock锁定的mtx,然后阻塞在等待对列里休眠,直到再次被唤醒(大多数情况下是等待的条件成立而被唤醒,唤醒后,该进程会先锁定先pthread_mutex_lock(&mtx);,再读取资源 。 //用这个流程是比较清楚的/*block-->unlock-->wait() return-->lock*/
等待条件有两种方式:无条件等待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()前的加锁动作对应。
b.激发
激发条件有两种形式,pthread_cond_signal()激活一个等待该条件的线程,存在多个等待线程时按入队顺序激活其中一个;而pthread_cond_broadcast()则激活所有等待线程。
(3). 其他操作
pthread_cond_wait ()和pthread_cond_timedwait()都被实现为取消点,因此,在该处等待的线程将立即重新运行,在重新锁定mutex后离开 pthread_cond_wait(),然后执行取消动作。也就是说如果pthread_cond_wait()被取消,mutex是保持锁定状态的,因而需要定义退出回调函数来为其解锁。
4. 异步信号安全(Async-signal Safety)
5. 返回值
6. 错误代码
7. 举例
8、看完基本操作后做一个小练习:
建立两个线程1、2,两个线程分别访问共享资源,并进行加 1操作,当共享资源<=3时,线程1挂起不操作,这时线程2工作,共享资源>3后,两者都工作
-
- #include
<stdlib.h> - #include
<stdio.h> - #include
<pthread.h> - #include
<errno.h>
-
-
- int
gnum = 0; -
- pthread_mutex_t
mutex; -
- pthread_cond_t
cond; -
-
- static
void pthread_func_1 (void); - static
void pthread_func_2 (void); -
- int
main (void) - {
-
-
pthread_t pt_1 = 0; -
pthread_t pt_2 = 0; -
int ret = 0; -
-
-
pthread_mutex_init (&mutex, NULL); -
-
pthread_cond_init(&cond,NULL); -
-
ret = pthread_create (&pt_1, //线程标识符指针 -
NULL, //默认属性 -
(void *)pthread_func_1,//运行函数 -
NULL); //无参数 -
if (ret != 0) -
{ -
perror ("pthread_1_create"); -
} -
-
ret = pthread_create (&pt_2, //线程标识符指针 -
NULL, //默认属性 -
(void *)pthread_func_2, //运行函数 -
NULL); //无参数 -
if (ret != 0) -
{ -
perror ("pthread_2_create"); -
} -
-
pthread_join (pt_1, NULL); -
pthread_join (pt_2, NULL); -
-
printf ("main programme exit!\n"); -
return 0; - }
-
-
- static
void pthread_func_1 (void) - {
-
int i = 0; -
-
for (;;) -
{ -
printf ("This is pthread1!\n"); -
pthread_mutex_lock(&mutex); -
-
sleep (1); -
-
while (gnum <= 3) { -
pthread_cond_wait(&cond, &mutex); -
} -
-
-
gnum++; -
printf ("Thread1 add one to num:%d\n",gnum); -
pthread_mutex_unlock(&mutex); -
-
-
-
} - }
-
- static
void pthread_func_2 (void) - {
-
int i = 0; -
-
for (;;) -
{ -
printf ("This is pthread2!\n"); -
pthread_mutex_lock(&mutex); -
-
sleep (1); -
-
gnum++; -
printf ("Thread2 add one to num:%d\n",gnum); -
-
if (gnum == 4) -
pthread_cond_signal(&cond); -
-
pthread_mutex_unlock(&mutex); -
-
} -
-
pthread_exit (0); - }