首页 > 技术文章 > Linux多线程

cpsmile 2015-04-10 20:18 原文

1. Linux多线程概述

1.1. 概述

进程是系统中程序执行和资源分配的基本单位。每个进程有自己的数据段、代码段和堆栈段。这就造成进程在进行切换等操作时都需要有比较负责的上下文切换等动作。为了进一步减少处理器的空转时间支持多处理器和减少上下文切换开销,也就出现了线程。

线程通常叫做轻量级进程。线程是在共享内存空间中并发执行的多道执行路径,是一个更加接近于执行体的概念,拥有独立的执行序列,是进程的基本调度单元,每个进程至少都有一个main线程。它与同进程中的其他线程共享进程空间{堆 代码 数据 文件描述符 信号等},只拥有自己的栈空间,大大减少了上下文切换的开销。

线程和进程在使用上各有优缺点:线程执行开销小,占用的CPU少,线程之间的切换快,但不利于资源的管理和保护;而进程正相反。从可移植性来讲,多进程的可移植性要好些

同进程一样,线程也将相关的变量值放在线程控制表内。一个进程可以有多个线程,也就是有多个线程控制表及堆栈寄存器,但却共享一个用户地址空间。要注意的是,由于线程共享了进程的资源和地址空间,因此,任何线程对系统资源的操作都会给其他线程带来影响。

 

1.2. 线程分类

按调度者分为用户级线程和核心级线程

·用户级线程主要解决上下文切换问题,调度算法和调度过程全部由用户决定,在运行时不需要特定的内核支持。缺点是无法发挥多处理器的优势

·核心级线程:允许不同进程中的线程按照同一相对优先调度方法调度,发挥多处理器的并发优势

现在大多数系统都采用用户级线程和核心级线程并存的方法。一个用户级线程可以对应一个或多个核心级线程,也就是“一对一”或“一对多”模型。

1.3. 线程创建的Linux实现

Linux的线程是通过用户级的函数库实现的,一般采用pthread线程库实现线程的访问和控制。它用第3posix标准的pthread,具有良好的可移植性。编译的时候要在后面加上 –lpthread

        创建             退出                等待

        多进程         fork()            exit()               wait()

        多线程      pthread_create    pthread_exit()        pthread_join()

2. 线程的创建和退出

创建线程实际上就是确定调用该线程函数的入口点,线程的创建采用函数pthread_create。在线程创建以后,就开始运行相关的线程函数,在该函数运行完之后,线程就退出,这也是线程退出的一种方式。

另一种线程退出的方式是使用函数pthread_exit()函数,这是线程主动退出行为。这里要注意的是,在使用线程函数时,不能随意使用exit退出函数进行出错处理,由于exit的作用是使调用进程终止,往往一个进程包括了多个线程,所以在线程中通常使用pthread_exit函数来代替进程中的退出函数exit

由于一个进程中的多个线程是共享数据段的,因此通常在线程退出之后,退出线程所占用的资源并不会随着线程的终止而得到释放。正如进程之间可以通过wait()函数系统调用来同步终止并释放资源一样,线程之间也有类似的机制,那就是pthread_join函数。pthread_join函数可以用于将当前线程挂起,等待线程的结束。这个函数是一个线程阻塞函数,调用它的函数将一直等待直到被等待的线程结束为止,当函数返回时,被等待线程的资源被回收。

函数原型:

#include <pthread.h>

int pthread_create(pthread_t* thread, pthread_attr_t * attr, void *(*start_routine)(void *), void * arg);

void pthread_exit(void *retval);

通常的形式为:

pthread_t pthid;

pthread_create(&pthid,NULL,pthfunc,NULL);pthread_create(&pthid,NULL,pthfunc,(void*)3);

pthread_exit(NULL);pthread_exit((void*)3);//3作为返回值被pthread_join函数捕获。

函数pthread_create用来创建线程。返回值:成功,则返回0;失败,则返回-1。各参数描述如下:

·参数thread是传出参数,保存新线程的标识;

·参数attr是一个结构体指针,结构中的元素分别指定新线程的运行属性,attr可以用pthread_attr_init等函数设置各成员的值,但通常传入为NULL 即可;

·参数start_routine是一个函数指针,指向新线程的入口点函数,线程入口点函数带有一个void *的参数由pthread_create的第4个参数传入

·参数arg用于传递给第3个参数指向的入口点函数的参数,可以为NULL,表示不传递

函数pthread_exit表示线程的退出。其参数可以被其它线程用pthread_join函数捕获。

示例:

 1 #include<stdio.h>
 2 #include<pthread.h>
 3 
 4 void *threadFunc(void *parg)
 5 {
 6     int i = 0;
 7     for(; i < 10; i++)
 8     {
 9         printf("Hi,I'm child thread, arg is: %d\n",(int)parg);
10         sleep(1);
11     }
12     pthread_exit(NULL);
13 }
14 
15 int main()
16 {
17     pthread_t thdid;
18     pthread_create(&thdid,NULL,threadFunc,(void*)123);
19     int i = 0;
20     for(; i < 10; i++)
21     {
22         printf("Hi,I'm main thread,child thread id is:%d\n",thdid);
23         sleep(1);
24     }
25     return 0;
26 }
View Code

编译时需要带上线程库选项:

gcc  -o  a  a.c  -lpthread

3. 线程的等待退出

3.1. 等待线程退出

线程从入口点函数自然返回,或者主动调用pthread_exit()函数,都可以让线程正常终止

线程从入口点函数自然返回时,函数返回值可以被其它线程用pthread_join函数获取

pthread_join原型为:

#include <pthread.h>

int pthread_join(pthread_t th, void **thread_return);

1. 该函数是一个阻塞函数,一直等到参数th指定的线程返回;与多进程中的waitwaitpid类似。

thread_return是一个传出参数,接收线程函数的返回值。如果线程通过调用pthread_exit()终止,则pthread_exit()中的参数相当于自然返回值,照样可以被其它线程用pthread_join获取到。

Example:返回值的例子

 1 #include<stdio.h>
 2 #include<unistd.h>
 3 #include<pthread.h>
 4 
 5 void *threadFunc(void *parg)
 6 {
 7     int iarg = (int)parg;
 8     sleep(iarg);
 9     if(iarg < 3)
10         return (void*)(iarg*3);
11     else
12         pthread_exit((void*)(iarg*2));
13 }
14 
15 int main()
16 {
17     pthread_t thdid;
18     int iret = 0;
19 
20     pthread_create(&thdid,NULL,threadFunc,(void*)2);
21     pthread_join(thdid,(void**)&iret);
22     printf("The first child thread ret is :%d\n",iret);
23 
24     pthread_create(&thdid,NULL,threadFunc,(void*)4);
25     pthread_join(thdid,(void**)&iret);
26     printf("The second child thread ret is:%d\n",iret);
27     return 0;
28 }
View Code

2. 该函数还有一个非常重要的作用,由于一个进程中的多个线程共享数据段,因此通常在一个线程退出后,退出线程所占用的资源并不会随线程结束而释放。如果th线程类型并不是自动清理资源类型的,则th线程退出后,线程本身的资源必须通过其它线程调用pthread_join来清除,这相当于多进程程序中的waitpid。

Example:子线程释放空间

 1 #include<stdio.h>
 2 #include<pthread.h>
 3 #include<malloc.h>
 4 
 5 void *threadFunc(void *args)
 6 {
 7     char *p = (char*)malloc(10);
 8     int i = 0;
 9     for(; i < 10; i++)
10     {
11         printf("Hello,My name is CP!\n");
12         sleep(2);
13     }
14     free(p);
15     printf("p is freed\n");
16     pthread_exit((void*)3);
17 }
18 
19 int main()
20 {
21     pthread_t thdid;
22     pthread_create(&thdid,NULL,threadFunc,NULL);
23     int i = 1;
24     for(; i < 5; i++)
25     {
26         printf("Hi,nice to meet you\n");
27         sleep(2);
28     }
29     int retvalue = 0;
30     pthread_join(thdid,(void**)&retvalue);
31     printf("return value is:%d\n",retvalue);
32 
33     return 0;
34 }
View Code

3.2. 线程的取消

线程也可以被其它线程杀掉,在Linux中的说法是一个线程被另一个线程取消(cancel)。

线程取消的方法是一个线程向目标线程发cancel信号,但是如何处理cancel信号则由目标线程自己决定,目标线程或者忽略、或者立即终止、或者继续运行至cancelation-point(取消点)后终止。

取消点:

根据POSIX标准,pthread_join()pthread_testcancel()pthread_cond_wait()pthread_cond_timedwait()sem_wait()sigwait()等函数以及read()write()等会引起阻塞的系统调用都是Cancelation-point,而其他pthread函数都不会引起Cancelation动作。但是pthread_cancel的手册页声称,由于Linux线程库与C库结合得不好,因而目前C库函数都不是Cancelation-point;但CANCEL信号会使线程从阻塞的系统调用中退出,并置EINTR错误码,因此可以在需要作为Cancelation-point的系统调用前后调用pthread_testcancel(),从而达到POSIX标准所要求的目标,即如下代码段: 

pthread_testcancel(); 

retcode = read(fd, buffer, length); 

pthread_testcancel();

但是从RedHat9.0的实际测试来看,至少有些C库函数的阻塞函数是取消点,如read(),getchar()等,而sleep()函数不管线程是否设置了pthread_setcancelstate(PTHREAD_CANCEL_DISABLE,NULL),都起到取消点作用。总之,线程的取消一方面是一个线程强行杀另外一个线程,从程序设计角度看并不是一种好的风格,另一方面目前Linux本身对这方面的支持并不完善,所以在实际应用中应该谨慎使用!!

int pthread_cancel(pthread_t thread);  //尽量不要用,linux支持并不完善

3.3. 线程终止清理函数

不论是可预见的线程终止还是异常终止,都会存在资源释放的问题,在不考虑因运行出错而退出的前提下,如何保证线程终止时能顺利的释放掉自己所占用的资源,特别是锁资源,就是一个必须考虑解决的问题。 

最经常出现的情形是资源独占锁的使用:线程为了访问临界共享资源而为其加上锁,但在访问过程中该线程被外界取消,或者发生了中断,则该临界资源将永远处于锁定状态得不到释放。外界取消操作是不可预见的,因此的确需要一个机制来简化用于资源释放的编程。

POSIX线程API中提供了一个pthread_cleanup_push()/pthread_cleanup_pop()函数对用于自动释放资源--pthread_cleanup_push()的调用点到pthread_cleanup_pop()之间的程序段中的终止动作都将执行pthread_cleanup_push()所指定的清理函数API定义如下: 

void pthread_cleanup_push(void (*routine) (void *), void *arg) 

void pthread_cleanup_pop(int execute) 

pthread_cleanup_push()/pthread_cleanup_pop()采用先入后出的栈结构管理

void routine(void  *arg)函数在调用pthread_cleanup_push()时压入清理函数栈,多次对pthread_cleanup_push()的调用将在清理函数栈中形成一个函数链,在执行该函数链时按照压栈的相反顺序弹出。execute参数表示执行到pthread_cleanup_pop()时是否在弹出清理函数的同时执行该函数,为0表示不执行,非0为执行;这个参数并不影响异常终止时清理函数的执行。 

pthread_cleanup_push()/pthread_cleanup_pop()是以宏方式实现的,这是pthread.h中的宏定义: 

#define pthread_cleanup_push(routine,arg) \ 

    { 

  struct  _pthread_cleanup_buffer  _buffer; \ 

       _pthread_cleanup_push (&_buffer, (routine), (arg)); 

   #define pthread_cleanup_pop(execute) \ 

       _pthread_cleanup_pop (&_buffer, (execute)); 

可见,pthread_cleanup_push()带有一个"{",而pthread_cleanup_pop()带有一个"}",因此这两个函数必须成对出现,且必须位于程序的同一级别的代码段中才能通过编译。

pthread_cleanup_pop的参数execute如果为非0,则按栈的顺序注销掉一个原来注册的清理函数,并执行该函数;当pthread_cleanup_pop()函数的参数为0时,仅仅在线程调用pthread_exit函数或者其它线程对本线程调用pthread_cancel函数时,才在弹出清理函数的同时执行该清理函数

示例:

 1 #include<stdio.h>
 2 #include<pthread.h>
 3 
 4 void cleanFunc(void *parg)
 5 {
 6     printf("cleanFunc(%d)\n",(int)parg);
 7 }
 8 
 9 void *threadFunc(void *parg)
10 {
11     pthread_clean_push(cleanFunc,(void*)1);
12     pthread_clean_push(cleanFunc,(void*)2);
13     sleep(2);
14     pthread_cleanup_pop(1);
15     pthread_cleanup_pop(1);
16 }
17 
18 int main()
19 {
20     pthread_t thdid;
21     pthread_create(&thdid,NULL,threadFunc,(void*)2);
22     pthread_join(thdid,NULL);
23     return 0;
24 }
View Code

运行结果为:

CleanFunc(2)

CleanFunc(1)

如果将里面的两次pthread_cleanup_pop(1);改为pthread_cleanup_pop(0);推测一下结果是怎样?

没有任何输出(此时CleanFunc函数得不到执行)

如果修改为0之后,再在sleep(2)之后添加pthread_exit(NULL);则此时的结果又是如何:

跟pthread_cleanup_pop(1);实现的结果一样了。

4. 线程的同步与互斥

4.1. 线程的互斥

Posix Thread中定义了一套专门用于线程互斥的mutex函数。mutex是一种简单的加锁的方法来控制对共享资源的存取,这个互斥锁只有两种状态(上锁和解锁),可以把互斥锁看作某种意义上的全局变量。为什么需要加锁,就是因为多个线程共用进程的资源,要访问的是公共区间时(全局变量),当一个线程访问的时候,需要加上锁以防止另外的线程对它进行访问,实现资源的独占。在一个时刻只能有一个线程掌握某个互斥锁,拥有上锁状态的线程能够对共享资源进行操作。若其他线程希望上锁一个已经上锁了的互斥锁,则该线程就会挂起,直到上锁的线程释放掉互斥锁为止。

1. 创建和销毁锁

有两种方法创建互斥锁,静态方式和动态方式。

·静态方式:

POSIX定义了一个宏PTHREAD_MUTEX_INITIALIZER来静态初始化互斥锁,方法如下: 

     pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER; 

Linux Threads实现中,pthread_mutex_t是一个结构体,而PTHREAD_MUTEX_INITIALIZER则是一个宏常量。

 

·动态方式:

动态方式是采用pthread_mutex_init()函数来初始化互斥锁API定义如下:

#include <pthread.h>

     int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr)

    其中mutexattr用于指定互斥锁属性(见下),如果为NULL则使用缺省属性。通常为NULL 

 

pthread_mutex_destroy()用于注销一个互斥锁API定义如下:

int pthread_mutex_destroy(pthread_mutex_t *mutex);

销毁一个互斥锁即意味着释放它所占用的资源,且要求锁当前处于开放状态。由于在Linux中,互斥锁并不占用任何资源,因此Linux Threads中的pthread_mutex_destroy()除了检查锁状态以外(锁定状态则返回EBUSY)没有其他动作。

 

2. 互斥锁属性

互斥锁属性结构体的定义为:

typedef struct

{

   int __mutexkind; //注意这里是两个下划线

} pthread_mutexattr_t;

    互斥锁的属性在创建锁的时候指定,在LinuxThreads实现中仅有一个锁类型属性__mutexkind,不同的锁类型在试图对一个已经被锁定的互斥锁加锁时表现不同也就是是否阻塞等待。有三个值可供选择:

    ·PTHREAD_MUTEX_TIMED_NP,这是缺省值(直接写NULL就是表示这个缺省值),也就是普通锁(或快速锁)。当一个线程加锁以后,其余请求锁的线程将形成一个阻塞等待队列,并在解锁后按优先级获得锁。这种锁策略保证了资源分配的公平性

示例:初始化一个快速锁。

pthread_mutex_t  lock;

pthread_mutex_init(&lock, NULL);

·PTHREAD_MUTEX_RECURSIVE_NP,嵌套锁,允许同一个线程对同一个锁成功获得多次,并通过多次unlock解锁。如果是不同线程请求,则在加锁线程解锁时重新竞争。

示例:初始化一个嵌套锁。

pthread_mutex_t  lock;

pthread_mutexattr_t  mutexattr;

mutexattr.__mutexkind = PTHREAD_MUTEX_RECURSIVE_NP;

pthread_mutex_init(&lock, &mutexattr);

 

·PTHREAD_MUTEX_ERRORCHECK_NP,检错锁,如果同一个线程请求同一个锁,则返回EDEADLK,否则与PTHREAD_MUTEX_TIMED_NP类型动作相同。这样就保证当不允许多次加锁时不会出现最简单情况下的死锁。如果锁的类型是快速锁,一个线程加锁之后,又加锁,则此时就是死锁。

示例:初始化一个嵌套锁。

pthread_mutex_t  lock;

pthread_mutexattr_t  mutexattr;

mutexattr.__mutexkind = PTHREAD_MUTEX_ERRORCHECK_NP;

pthread_mutex_init(&lock, &mutexattr);

3.锁操作

锁操作主要包括

加锁 int pthread_mutex_lock(pthread_mutex_t *mutex)

解锁 int pthread_mutex_unlock(pthread_mutex_t *mutex)

测试加锁 int pthread_mutex_trylock(pthread_mutex_t *mutex)

·pthread_mutex_lock:加锁,不论哪种类型的锁,都不可能被两个不同的线程同时得到,而必须等待解锁。

对于普通锁类型,解锁者可以是同进程内任何线程;

而检错锁则必须由加锁者解锁才有效,否则返回EPERM

对于嵌套锁,文档和实现要求必须由加锁者解锁,但实验结果表明并没有这种限制,这个不同目前还没有得到解释。在同一进程中的线程,如果加锁后没有解锁,则任何其他线程都无法再获得锁。

 

·pthread_mutex_unlock:根据不同的锁类型,实现不同的行为:

对于快速锁,pthread_mutex_unlock解除锁定;

对于递规锁,pthread_mutex_unlock使锁上的引用计数减1

对于检错锁,如果锁是当前线程锁定的,则解除锁定,否则什么也不做。

 

·pthread_mutex_trylock:语义与pthread_mutex_lock()类似,不同的是在锁已经被占据时返回EBUSY而不是挂起等待

Example:比较pthread_mutex_trylock()pthread_mutex_lock()

 1 #include<stdio.h>
 2 #include<pthread.h>
 3 
 4 pthread_mutex_t lock;
 5 
 6 void* pthFunc(void *args)
 7 {
 8     pthread_mutex_lock(&lock); //先加一次锁
 9     pthread_mutex_lock(&lock);//再用lock加锁,会挂起阻塞
10 //    pthread_mutex_trylock(&lock);//用trylock加锁,则不会挂起阻塞
11 
12     printf("Hello\n");
13     sleep(1);
14     pthread_exit(NULL);
15 }
16 
17 int main()
18 {
19     pthread_t thdid = 0;
20     pthread_mutex_init(&lock,NULL);
21     pthread_create(&thdid,NULL,pthFunc,NULL);
22     pthread_join(thdid,NULL);
23     pthread_mutex_destory(&lock);
24     
25     return 0;
26 }
View Code

4. 加锁注意事项

如果线程在加锁后解锁前被取消,锁将永远保持锁定状态,因此如果在关键区段内有取消点存在,则必须在退出回调函数pthread_cleanup_push/pthread_cleanup_pop中解锁。同时不应该在信号处理函数中使用互斥锁,否则容易造成死锁。

 

5.  互斥锁实例

Example:火车站售票(此处不加锁,则会出现卖出负数票的情况)

 1 #include<stdio.h>
 2 #include<pthread.h>
 3 
 4 int ticket_count = 20;
 5 
 6 void *salewin1(void *args)
 7 {
 8     while(ticket_count > 0)
 9     {
10         printf("windows1 start sale ticket!the ticket is:%d\n",ticket_count);
11         sleep(3);
12         ticket_count--;
13         printf("sale ticket finish!the last ticket is:%d\n",ticket_count);
14     }
15 }
16 
17 void *salewin2(void *args)
18 {
19     while(ticket_count > 0)
20     {
21         printf("windows2 start sale ticket!the ticket is:%d\n",ticket_count);
22         sleep(3);
23         ticket_count--;
24         printf("sale ticket finish!the last ticket is:%d\n",ticket_count);
25     }
26 }
27 
28 int main()
29 {
30     pthread_t thdid1 = 0;
31     pthread_t thdid2 = 0;
32     pthread_create(&thdid1,NULL,salewin1,NULL);
33     pthread_create(&thdid2,NULL,salewin2,NULL);
34 
35     pthread_join(thdid1,NULL);
36     pthread_join(thdid2,NULL);
37     return 0;
38 }
View Code

Example:加锁之后的火车售票

 1 #include<stdio.h>
 2 #include<pthread.h>
 3 
 4 int ticket_count = 10;
 5 pthread_mutex_t lock;
 6 
 7 void *salewin1(void *args)
 8 {
 9     while(1)
10     {
11         pthread_mutex_lock(&lock);
12         if(ticket_count > 0)
13         {
14             printf("windows1 start sale ticket!the ticket is:%d\n",ticket_count);
15             sleep(3);
16             ticket_count--;
17             printf("sale ticket finish!the last ticket is:%d\n\n",ticket_count);
18         }
19         else
20         {
21             pthread_mutex_unlock(&lock);
22             pthread_exit(NULL);//退出线程
23         }
24         pthread_mutex_unlock(&lock);
25         sleep(1);//要放到锁的外面,让另一个有时间锁
26     }
27 }
28 
29 void *salewin2(void *args)
30 {
31     while(1)
32     {
33         pthread_mutex_lock(&lock);
34         if(ticket_count > 0)
35         {
36             printf("windows2 start sale ticket!the ticket is:%d\n",ticket_count);
37             sleep(3);
38             ticket_count--;
39             printf("sale ticket finish!the last ticket is:%d\n\n",ticket_count);
40         }
41         else
42         {
43             pthread_mutex_unlock(&lock);
44             pthread_exit(NULL);
45         }
46         pthread_mutex_unlock(&lock);
47         sleep(1);
48     }
49 }
50 
51 
52 int main()
53 {
54     pthread_t thdid1 = 0;
55     pthread_t thdid2 = 0;
56     pthread_mutex_init(&lock,NULL); //初始化锁
57     pthread_create(&thdid1,NULL,salewin1,NULL);
58     pthread_create(&thdid2,NULL,salewin2,NULL);
59 
60     pthread_join(thdid1,NULL);
61     pthread_join(thdid2,NULL);
62     pthread_mutex_destroy(&lock);//销毁锁
63     return 0;
64 }
View Code

总结:线程互斥mutex:加锁步骤如下:

1. 定义一个全局的pthread_mutex_t lock; 或者用

pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER;  //main函数中不用init

2. main中调用 pthread_mutex_init函数进行初始化

3. 在子线程函数中调用pthread_mutex_lock加锁

4. 在子线程函数中调用pthread_mutex_unlock解锁

5. 最后在main中调用 pthread_mutex_destroy函数进行销毁

4.2. 线程的同步

6 条件变量

条件变量是利用线程间共享的全局变量进行同步的一种机制,主要包括两个动作:一个线程等待条件变量的条件成立而挂起;另一个线程使条件成立(给出条件成立信号)。为了防止竞争,条件变量的使用总是和一个互斥锁结合在一起。 

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标准中为条件变量定义了属性,但在Linux Threads中没有实现,因此cond_attr值通常为NULL,且被忽略。

注销一个条件变量需要调用pthread_cond_destroy(),只有在没有线程在该条件变量上等待的时候能注销这个条件变量,否则返回EBUSY。因为Linux实现的条件变量没有分配什么资源,所以注销动作只包括检查是否有等待线程。API定义如下: 

int pthread_cond_destroy(pthread_cond_t *cond);

2、 等待和激发

等待条件有两种方式:无条件等待pthread_cond_wait()和计时等待pthread_cond_timedwait():

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);

线程解开mutex指向的锁并被条件变量cond阻塞。其中计时等待方式表示经历abstime段时间后,即使条件变量不满足,阻塞也被解除。无论哪种等待方式,都必须和一个互斥锁配合,以防止多个线程同时请求pthread_cond_wait()(或pthread_cond_timedwait(),下同)的竞争条件(Race Condition)。mutex互斥锁必须是普通锁(PTHREAD_MUTEX_TIMED_NP),且在调用pthread_cond_wait()前必须由本线程加锁(pthread_mutex_lock()),而在更新条件等待队列以前,mutex保持锁定状态,并在线程挂起进入等待前解锁。在条件满足从而离开pthread_cond_wait()之前,mutex将被重新加锁,以与进入pthread_cond_wait()前的加锁动作对应。(也就是说在pthread_cond_wait之前,往往要用pthread_mutex_lock进行加锁,而调用pthread_cond_wait函数会将锁解开,然后将线程挂起阻塞。直到条件被pthread_cond_signal激发,再将锁状态恢复为锁定状态,最后再用pthread_mutex_unlock进行解锁)。

激发条件有两种形式,pthread_cond_signal()激活一个等待该条件的线程,存在多个等待线程时按入队顺序激活其中一个;而pthread_cond_broadcast()则激活所有等待线程。

3、 其他

pthread_cond_wait()pthread_cond_timedwait()都被实现为取消点,也就是说如果pthread_cond_wait()被取消,则退出阻塞,然后将锁状态恢复,则此时mutex是保持锁定状态的,而当前线程已经被取消掉,那么解锁的操作就会得不到执行,此时锁得不到释放,就会造成死锁,因而需要定义退出回调函数来为其解锁。 

以下示例集中演示了互斥锁和条件变量的结合使用,以及取消对于条件等待动作的影响。在例子中,有两个线程被启动,并等待同一个条件变量,如果不使用退出回调函数(见范例中的注释部分),则tid2将在pthread_mutex_lock()处永久等待。如果使用回调函数,则tid2的条件等待及主线程的条件激发都能正常工作。 

实例:

 1 #include<stdio.h>
 2 #include<pthread.h>
 3 #include<unistd.h>
 4 
 5 pthread_mutex_t mutex;
 6 pthread_cond_t cond;
 7 
 8 void threadClean(void *arg)
 9 {
10     pthread_mutex_unlock(&mutex);    
11 }
12 
13 void *child1(void *arg)
14 {
15     //pthread_cleanup_push(threadClean,NULL);//1
16     while(1)
17     {
18         printf("thread1 get running\n");
19         printf("thread1 pthread_mutex_lock returns %d\n",pthread_mutex_lock(&mutex));
20         pthread_mutex_lock(&mutex);
21         pthread_cond_wait(&cond,&mutex);
22         printf("thread1 condition applied\n");
23         pthread_mutex_unlock(&mutex);
24         sleep(5);
25     }    
26     //pthread_cleanup_pop(0);
27 }
28 
29 void *child2(void *arg)
30 {
31     while(1)
32     {
33         sleep(3);//3
34         printf("thread 2 get running.\n");
35         printf("thread 2 pthread_mutex_lock returns %d\n",pthread_mutex_lock(&mutex));
36         pthread_cond_wait(&cond,&mutex);
37         printf("thread 2 condition applied\n");
38         pthread_mutex_unlock(&mutex);
39         sleep(1);
40     }
41 }
42 
43 int main(void)
44 {
45     pthread_t tid1, tid2;
46     printf("Hello.condition variable test\n");
47     pthread_mutex_init(&mutex,NULL);
48     pthread_cond_init(&cond,NULL);
49     pthread_create(&tid1,NULL,child1,NULL);
50     pthread_create(&tid2,NULL,child2,NULL);
51     while(1)//parent process
52     {
53         sleep(2);//4
54         pthread_cancel(tid1);//5
55         sleep(2);//6
56         pthread_cond_signal(&cond);
57     }
58     sleep(10);
59     return 0;
60 }
View Code

不做注释12则导致child1中的unlock得不到执行,锁一直没有关闭,而child2中的锁不能执行lock,则会一直在pthread_mutex_lock()处永久等待。如果不做注释5pthread_cancel()动作,即使没有那些sleep()延时操作,child1child2都能正常工作。注释3和注释4的延迟使得child1有时间完成取消动作,从而使child2能在child1退出之后进入请求锁操作。如果没有注释1和注释2的回调函数定义,系统将挂起在child2请求锁的地方,因为child1没有释放锁;而如果同时也不做注释3和注释4的延时,child2能在child1完成取消动作以前得到控制,从而顺利执行申请锁的操作,但却可能挂起在pthread_cond_wait()中,因为其中也有申请mutex的操作。child1函数给出的是标准的条件变量的使用方式:回调函数保护,等待条件前锁定,pthread_cond_wait()返回后解锁。 

 

条件变量机制和互斥锁一样,不能用于信号处理中,在信号处理函数中调用pthread_cond_signal()或者pthread_cond_broadcast()很可能引起死锁。

Example:火车售票,利用条件变量,当火车票卖完的时候,再重新设置票数为10

 1 #include<stdio.h>
 2 #include<stdlib.h>
 3 #include<pthread.h>
 4 
 5 int ticket_count = 10;
 6 pthread_mutex_t lock;//互斥锁
 7 pthread_cond_t cond;//条件变量
 8 
 9 void *salewin1(void *args)
10 {
11     while(1)
12     {
13         pthread_mutex_lock(&lock);//加锁
14         if(ticket_count > 0)
15         {
16             printf("window1 start sale ticket!the ticket is:%d\n",ticket_count);
17             ticket_count--;
18             if(ticket_count == 0)
19                 pthread_cond_signal(&cond);//通知没有票了
20             printf("Sale ticket finish!the last ticket is:%d\n\n",ticket_count);
21         }
22         else
23         {
24             pthread_mutex_unlock(&lock);//解锁
25             break;
26         }
27         pthread_mutex_unlock(&lock);
28         sleep(1);
29     }
30 }
31 
32 
33 void *salewin2(void *args)
34 {
35     while(1)
36     {
37         pthread_mutex_lock(&lock);
38         if(ticket_count > 0)
39         {
40             printf("window2 start sale ticket!the ticket is:%d\n",ticket_count);
41             ticket_count--;
42             if(ticket_count == 0)
43                 pthread_cond_signal(&cond);
44             printf("Sale ticket finish!the last ticket is:%d\n\n",ticket_count);
45         }
46         else
47         {
48             pthread_mutex_unlock(&lock);
49             break;
50         }
51         pthread_mutex_unlock(&lock);
52         sleep(1);
53     }
54 }
55  //重新设置票数
56 void *set_ticket(void *args)
57 {
58     pthread_mutex_lock(&lock);
59     if(ticket_count > 0)
60         pthread_cond_wait(&cond,&lock);//如果有票就解锁并阻塞,直到没有票就执行下面的
61     ticket_count = 10;
62     pthread_mutex_unlock(&lock);
63     sleep(1);
64     pthread_exit(NULL);
65 }
66 
67 int main()
68 {
69     pthread_t thd1, thd2, thd3;
70     pthread_mutex_init(&lock,NULL);
71     pthread_cond_init(&cond,NULL);
72 
73     pthread_create(&thd1,NULL,salewin1,NULL);
74     pthread_create(&thd2,NULL,salewin2,NULL);
75     pthread_create(&thd3,NULL,set_ticket,NULL);
76 
77     pthread_join(thd1,NULL);
78     pthread_join(thd2,NULL);
79     pthread_join(thd3,NULL);
80 
81     pthread_mutex_destroy(&lock);
82     pthread_cond_destroy(&cond);
83 
84     return 0;
85 }
View Code

7 信号灯 

信号灯与互斥锁和条件变量的主要不同在于""的概念,灯亮则意味着资源可用(即加锁),灯灭则意味着不可用(即解锁)。如果说后两种同步方式侧重于"等待"操作,即资源不可用的话,信号灯机制则侧重于点灯,即告知资源可用;没有等待线程的解锁或激发条件都是没有意义的,而没有等待灯亮的线程的点灯操作则有效,且能保持灯亮状态。当然,这样的操作原语也意味着更多的开销。 

信号灯的应用除了灯亮/灯灭这种二元灯以外,也可以采用大于1的灯数,以表示资源数大于1,这时可以称之为多元灯。

1. 创建和注销 

POSIX信号灯标准定义了有名信号灯和无名信号灯两种,但LinuxThreads的实现仅有无名灯,同时有名灯除了总是可用于多进程之间以外,在使用上与无名灯并没有很大的区别,因此下面仅就无名灯进行讨论。 

#include <semaphore.h>

int sem_init(sem_t *sem, int pshared, unsigned int value); //通常pshared0.表示线程间

这是创建信号灯的API,其中value为信号灯的初值,pshared表示是否为多进程共享而不仅仅是用于一个进程之间的多线程共享。LinuxThreads没有实现多进程共享信号灯,因此所有非0值的pshared输入都将使sem_init()返回-1,且置errnoENOSYS。初始化好的信号灯由sem变量表征,用于以下点灯、灭灯操作。 

int sem_destroy(sem_t * sem);

被注销的信号灯sem要求已没有线程在等待该信号灯,否则返回-1,且置errnoEBUSY。除此之外,LinuxThreads的信号灯注销函数不做其他动作。

2、 点灯和灭灯

int sem_post(sem_t * sem);

点灯操作将信号灯值原子地加1,表示增加一个可访问的资源。只有信号灯值大于0,才能访问公共资源。主要用来增加信号量的值。当有线程阻塞在这个信号量上时,调用这个函数会使其中的一个线程不在阻塞。

int sem_wait(sem_t * sem);

int sem_trywait(sem_t * sem);

sem_wait()为灭灯操作(等待灯亮操作),主要被用来阻塞当前线程直到信号量sem的值大于0,解除阻塞后将sem的值减一,表明公共资源经使用后减少。等待灯亮(信号灯值大于0),然后将信号灯原子地减1,并返回。sem_trywait()sem_wait()的非阻塞版,如果信号灯计数大于0,则原子地减1并返回0,否则立即返回-1errno置为EAGAIN

3. 获取灯值

int sem_getvalue(sem_t * sem, int * sval);

读取sem中的灯计数,存于*sval中,并返回0

4. 其他

sem_wait()被实现为取消点,而且在支持原子"比较且交换"指令的体系结构上,sem_post()是唯一能用于异步信号处理函数的POSIX异步信号安全的API

Examplesem_post表示点灯(资源可用,V操作),  sem_wait表示灭灯(资源不可用,P操作

 1 #include<stdio.h>
 2 #include<semaphore.h>
 3 #include<pthread.h>
 4 
 5 int ticket_count = 10;
 6 sem_t lock;
 7 void *chk1(void *args)
 8 {
 9     while(1)
10     {
11         sem_wait(&lock);//P操作
12         if(ticket_count > 0)
13         {
14             printf("window1 start sale ticket!the ticket is:%d\n",ticket_count);
15             ticket_count--;
16             sleep(3);
17             printf("Sale ticket finish!the last ticket is:%d\n\n",ticket_count);
18         }
19         else
20         {
21             sem_post(&lock);//V操作
22             break;
23         }
24         sem_post(&lock);
25         sleep(1);
26     }
27     pthread_exit(NULL);
28 }
29 
30 
31 void *chk2(void *args)
32 {
33     while(1)
34     {
35         sem_wait(&lock);
36         if(ticket_count > 0)
37         {
38             printf("window2 start sale ticket!the ticket is:%d\n",ticket_count);
39             ticket_count--;
40             sleep(3);
41             printf("Sale ticket finish!the last ticket is:%d\n\n",ticket_count);
42         }
43         else
44         {
45             sem_post(&lock);
46             break;
47         }
48         sem_post(&lock);
49         sleep(1);
50     }
51     pthread_exit(NULL);
52 }
53 
54 
55 
56 int main()
57 {
58     pthread_t thd1, thd2;
59     sem_init(&lock,0,1);
60 
61     pthread_create(&thd1,NULL,chk1,NULL);
62     pthread_create(&thd2,NULL,chk2,NULL);
63 
64 
65     pthread_join(thd1,NULL);
66     pthread_join(thd2,NULL);
67 
68     sem_destroy(&lock);
69 
70     return 0;
71 }
View Code

5. 生产者消费者问题

Example1、链表实现如下:

 1 #include<stdio.h>
 2 #include<unistd.h>
 3 #include<pthread.h>
 4 #include<malloc.h>
 5 
 6 static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
 7 static pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
 8 
 9 struct Node
10 {
11     int number;
12     struct Node* next;
13 }*head = NULL;
14 
15 static void cleanup_handler(void *arg)
16 {
17     printf("cleanup handler of second thread\n");
18     free(arg);
19     pthread_mutex_unlock(&mutex);
20 }
21 //consumer
22 static void *thread_func(void *arg)
23 {
24     struct Node* p = NULL;
25     pthread_cleanup_push(cleanup_handler,p);
26     while(1)
27     {
28         pthread_mutex_lock(&mutex);
29         while(head == NULL)
30         {
31             pthread_cond_wait(&cond,&mutex);
32         }
33         p = head;
34         head = head->next;
35         printf("Got %d from front of queue\n",p->number);
36         free(p);
37         pthread_mutex_unlock(&mutex);
38     }
39     pthread_exit(NULL);
40     pthread_cleanup_pop(0);
41 }
42 
43 int main(void)
44 {
45     pthread_t thd;
46     int i;
47     struct Node* p;
48     pthread_create(&thd,NULL,thread_func,NULL);
49     //producer
50     for(i = 0; i < 10; i++)
51     {
52         p = (struct Node*)malloc(sizeof(struct Node));
53         p->number = i;
54         pthread_mutex_lock(&mutex);
55         p->next = head;
56         head = p;
57         pthread_cond_signal(&cond);
58         pthread_mutex_unlock(&mutex);
59         sleep(1);
60     }
61     printf("thread 1 wanna end the line.So cancel thread 2.\n");
62     pthread_cancel(thd);
63     pthread_join(thd,NULL);
64     printf("All done...exiting\n");
65     return 0;
66 }
View Code

Example2、队列实现如下:

 

  1 #include<stdio.h>
  2 #include<stdlib.h>
  3 #include<time.h>
  4 #include<pthread.h>
  5 
  6 #define BUFFER_SIZE 16//表示一次最多可以不间断的生产16个产品
  7 #define OVER (-1)//结束标志
  8 
  9 
 10 struct products
 11 {
 12     int buffer[BUFFER_SIZE];/* 数据 */
 13     pthread_mutex_t lock;/* 加锁 */
 14     int readPos, writePos; /* 读pos  写位置 */
 15     pthread_cond_t notEmpty; /* 不空,可以读 */
 16     pthread_cond_t notFull;/* 不满,可以写 */
 17 };
 18 
 19 struct products buffer;
 20 
 21 void init(struct products* b)
 22 {
 23     pthread_mutex_init(&b->lock,NULL);
 24     pthread_cond_init(&b->notEmpty,NULL);
 25     pthread_cond_init(&b->notFull,NULL);
 26     b->readPos = 0;
 27     b->writePos = 0;
 28 }
 29 
 30 void destroy(struct products *b)
 31 {
 32     pthread_mutex_destroy(&b->lock);
 33     pthread_cond_destroy(&b->notEmpty);
 34     pthread_cond_destroy(&b->notFull);
 35 }
 36 
 37 //produce a product
 38 void put(struct products* b, int data)
 39 {
 40     pthread_mutex_lock(&b->lock);
 41     while((b->writePos + 1) % BUFFER_SIZE == b->readPos)//判断是不是满了
 42     {
 43         printf("wait for not full!\n");
 44         pthread_cond_wait(&b->notFull,&b->lock); //此时为满,不能生产,等待不满的信号
 45     }
 46     b->buffer[b->writePos] = data;
 47     b->writePos++;
 48     if(b->writePos >= BUFFER_SIZE)
 49         b->writePos = 0;//如果到达最后,就再转到开头
 50     pthread_cond_signal(&b->notEmpty);
 51     pthread_mutex_unlock(&b->lock);
 52 }
 53 
 54 //consume a product
 55 int get(struct products* b)
 56 {
 57     pthread_mutex_lock(&b->lock);
 58     while(b->writePos == b->readPos)
 59     {
 60         printf("wait for not empty!\n");
 61         pthread_cond_wait(&b->notEmpty,&b->lock);
 62     }
 63     int data = b->buffer[b->readPos];
 64     b->readPos++;
 65     if(b->readPos >= BUFFER_SIZE)
 66         b->readPos = 0;
 67     pthread_cond_signal(&b->notFull);
 68     pthread_mutex_unlock(&b->lock);
 69     return data;
 70 }
 71 
 72 
 73 void *producer(void *data)
 74 {
 75     int n = 0;
 76     for(; n < 50; n++)
 77     {
 78         printf("put-->%d\n",n);
 79         put(&buffer,n);
 80     }
 81     put(&buffer,OVER);
 82     printf("producer stopped!\n");
 83     pthread_exit(NULL);
 84 }
 85 
 86 void *consumer(void *data)
 87 {
 88     while(1)
 89     {
 90         int d = get(&buffer);
 91         if(d == OVER)
 92             break;
 93         printf("%d-->get\n",d);
 94     }
 95     printf("Consumer stopped!\n");
 96     pthread_exit(NULL);
 97 }
 98 
 99 int main(void)
100 {
101     pthread_t thd_a, thd_b;
102     init(&buffer);
103     pthread_create(&thd_a,NULL,producer,0);
104     pthread_create(&thd_b,NULL,consumer,0);
105     pthread_join(thd_a,NULL);
106     pthread_join(thd_b,NULL);
107     destroy(&buffer);
108     return 0;
109 }
View Code

8 线程的属性(选修)

pthread_create的第二个参数attr是一个结构体指针,结构中的元素分别指定新线程的运行属性,各成员属性为:

__detachstate表示新线程是否与进程中其他线程脱离同步,如果置位则新线程不能用pthread_join()来同步,且在退出时自行释放所占用的资源。缺省为PTHREAD_CREATE_JOINABLE状态。这个属性也可以在线程创建并运行以后用pthread_detach()来设置,而一旦设置为PTHREAD_CREATE_DETACH状态(不论是创建时设置还是运行时设置)则不能再恢复到PTHREAD_CREATE_JOINABLE状态。 

__schedpolicy,表示新线程的调度策略,主要包括SCHED_OTHER(正常、非实时)、SCHED_RR(实时、轮转法)和SCHED_FIFO(实时、先入先出)三种,缺省为SCHED_OTHER,后两种调度策略仅对超级用户有效。运行时可以用过pthread_setschedparam()来改变。 

__schedparam,一个sched_param结构,目前仅有一个sched_priority整型变量表示线程的运行优先级。这个参数仅当调度策略为实时(即SCHED_RRSCHED_FIFO)时才有效,并可以在运行时通过pthread_setschedparam()函数来改变,缺省为0。 

__inheritsched,有两种值可供选择:PTHREAD_EXPLICIT_SCHEDPTHREAD_INHERIT_SCHED,前者表示新线程使用显式指定调度策略和调度参数(即attr中的值),而后者表示继承调用者线程的值。缺省为PTHREAD_EXPLICIT_SCHED。 

__scope,表示线程间竞争CPU的范围,也就是说线程优先级的有效范围。POSIX的标准中定义了两个值:PTHREAD_SCOPE_SYSTEMPTHREAD_SCOPE_PROCESS,前者表示与系统中所有线程一起竞争CPU时间,后者表示仅与同进程中的线程竞争CPU。目前Linux仅实现了PTHREAD_SCOPE_SYSTEM一值。

属性设置是由一些函数来完成的,通常调用pthread_attr_init函数进行初始化。设置绑定属性的函数为pthread_attr_setscope,设置分离属性的函数是pthread_attr_setdetachstate,设置线程优先级的相关函数pthread_attr_getscehdparam(获取线程优先级)和pthread_attr_setschedparam(设置线程优先级)。再设置完成属性后,调用pthread_creat函数创建线程。

·线程属性初始化:

int pthread_attr_init (pthread_attr_t *attr);

attr:传出参数,表示线程属性,后面的线程属性设置函数都会用到。

返回值:成功0,错误-1

·设置绑定属性:

pthread_attr_setscope(pthread_attr_t *attr, init scope);

attr:线程属性

scopePTHREAD_SCOPE_SYSTEM(绑定)   PTHREAD_SCOPE_PRCESS(非绑定)

返回值:成功0,错误-1

·设置分离属性:

pthread_attr_setdetachstate(pthread_attr_t *attr, init detachstate);

attr:线程属性

detachstate PTHREAD_CREAT_DETACHED(分离) PTHREAD_CREAT_JOINABLE(非分离)

返回值:成功0,错误-1

·获取线程优先级:

int pthread_attr_getschedparam(pthread_attr_attr *attr, struct sched_param *param);

attr:线程属性

param:线程优先级

返回值:成功0,错误-1

·设置线程优先级:

int pthread_attr_setschedparam(pthread_attr_attr *attr, struct sched_param *param);

attr:线程属性

param:线程优先级

返回值:成功0,错误-1

实例:

 

 1 #include<stdio.h>
 2 #include<stdlib.h>
 3 #include<unistd.h>
 4 #include<pthread.h>
 5 
 6 void *threadFunc(void *arg);
 7 
 8 char message[] = "Hello world!";
 9 int thread_finished = 0;
10 
11 int main()
12 {
13     int res = 0;
14     pthread_t a_thread;
15     void *thread_result;
16     pthread_attr_t thread_attr;
17     struct sched_param scheduling_value;
18     res = pthread_attr_init(&thread_attr);
19     if(res != 0)
20     {
21         printf("Attribute creation failed!\n");
22         exit(EXIT_FAILURE);
23     }
24     //设置调度策略
25     res = pthread_attr_setschedpolicy(&thread_attr,SCHED_OTHER);
26     if(res != 0)
27     {
28         printf("Setting schedpolicy failed!\n");
29         exit(EXIT_FAILURE);
30     }
31     //设置脱离状态
32     res = pthread_attr_setdetachstate(&thread_attr,PTHREAD_CREATE_DETACHED);
33 
34     res = pthread_create(&a_thread,&thread_attr,threadFunc,(void*)message);
35     if(res != 0)
36     {
37         printf("Thread creaton failed!\n");
38         exit(EXIT_FAILURE);
39     }
40     //获取最大优先级别
41     int max_priority = sched_get_priority_max(SCHED_OTHER);
42     //获取最小优先级
43     int min_priority = sched_get_priority_min(SCHED_OTHER);
44     //重新设置优先级别
45     scheduling_value.sched_priority = min_priority + 5;
46     //设置优先级别
47     res = pthread_attr_setschedparam(&thread_attr,&scheduling_value);
48 
49     pthread_attr_destroy(&thread_attr);
50 
51     while(!thread_finished)
52     {
53         printf("waiting for thread to say it is finished...\n");
54         sleep(1);
55     }
56     printf("Other thread finished,bye!\n");
57     exit(EXIT_SUCCESS);
58 }
59 
60 void *threadFunc(void *arg)
61 {
62     printf("threadFunc is running.Argument was %s\n",(char*)arg);
63     sleep(4);
64     printf("Second thread setting finished flag,and exiting now\n");
65     thread_finished = 1;
66     pthread_exit(NULL);
67 }
View Code

 

推荐阅读