• 多线程编程


    1 线程的使用

    1.1 为什么要使用多线程

            在编写代码时,是否会遇到以下的场景会感觉到难以下手?
            要做 2 件事,一件需要阻塞等待,另一件需要实时进行。例如播放器:一边在屏幕上播放视频,一边在等待用户的按键操作。如果使用单线程的话,程序必须一会查询有无按键,一会播放视频。查询按键太久,就会导致视频播放卡顿;视频播放太久,就无法及时响应用户的操作。并且查询按键和播放视频的代码混杂在一起,代码丑陋。
            如果使用多线程,线程 1 单独处理按键,线程 2 单独处理播放,可以完美解决上述问题。

    1.2 线程概念        

            所谓线程,就是操作系统所能调度的最小单位。普通的进程,只有一个线程在执行对应的逻辑。我们可以通过多线程编程,使一个进程可以去执行多个不同的任务。相比多进程编程而言,线程享有共享资源,即在进程中出现的全局变量,每个线程都可以去访问它,与进程共享“4G ”内存空间,使得系统资源消耗减少。本章节来讨论 Linux POSIX 线程。

    1.3 线程的标识 pthread_t

            对于进程而言,每一个进程都有一个唯一对应的 PID 号来表示该进程,而对于线程而言,也有一个“类似于进程的 PID 号”,名为 tid ,其本质是一个pthread_t 类型的变量。线程号与进程号是表示线程和进程的唯一标识,但是对于线程号而言,其仅仅在其所属的进程上下文中才有意义。
    1. 获取线程号
    2. #include
    3. pthread_t pthread_self(void);
    4. 成功:返回线程号
            在程序中,可以通过函数 pthread_self ,来返回当前线程的线程号,例程 1 给出了打印线程 tid 号。

    测试例程 1

    1. #include
    2. #include
    3. int main()
    4. {
    5. pthread_t tid = pthread_self();
    6. printf("tid = %lu\n",(unsigned long)tid);
    7. return 0;
    8. }
    注意: 因采用 POSIX 线程接口,故在要编译的时候包含 pthread 库,使用 gcc 编译应 gcc xxx.c -lpthread 方可编译多线程程序。

    编译结果:

    1.4 线程的创建

            怎么创建线程呢?使用 pthread_create 函数:

    1. 创建线程
    2. #include
    3. int pthread_create(pthread_t *thread, const pthread_attr_t *attr,void *(*start_routine) (void *), void *arg);
    该函数第一个参数为 pthread_t 指针,用来保存新建线程的线程号;
    第二个参数表示了线程的属性,一般传入 NULL 表示默认属性;
    第三个参数是一个函数指针,就是线程执行的函数。这个函数返回值为 void* ,形参为 void*
    第四个参数则表示为向线程处理函数传入的参数,若不传入,可用 NULL 填充,有关线程传参后续小节会有详细的说明,接下来通过一个简单例程来使用该函数创建出一个线程。
    测试例程 2:
    1. #include
    2. #include
    3. #include
    4. #include
    5. void *fun(void *arg)
    6. {
    7. printf("pthread_New = %lu\n",(unsigned long)pthread_self());
    8. }
    9. int main()
    10. {
    11. pthread_t tid1;
    12. int ret = pthread_create(&tid1,NULL,fun,NULL);
    13. if(ret != 0){
    14. perror("pthread_create");
    15. return -1;
    16. }
    17. /*tid_main 为通过pthread_self获取的线程ID,tid_new通过执行pthread_create成功后tid指向的空间*/
    18. printf("tid_main = %lu tid_new = %lu \n",(unsigned long)pthread_self(),(unsigned long)tid1);
    19. /*因线程执行顺序随机,不加sleep可能导致猪线程先执行,导致进程结束,无法执行到子线程*/
    20. sleep(1);
    21. return 0;
    22. }
    运行结果:

            通 过 pthread_create 确 实 可 以 创 建 出 来 线 程 , 主 线 程 中 执 行 pthread_create 后 的 tid 指向了线程号空间,与子线程通过函数 pthread_self 打印出来的线程号一致。
            特别说明的是,当主线程伴随进程结束时,所创建出来的线程也会立即结束,不会继续执行。并且创建出来的线程的执行顺序是随机竞争的,并不能保证哪一个线程会先运行。可以将上述代码中 sleep 函数进行注释,观察实验现象。
            去掉上述代码 25 行后运行结果: .

            上述运行代码 3 次,其中有 2 次被进程结束,无法执行到子线程的逻辑,最后一 次则执行到了子线程逻辑后结束的进程。如此可以说明,线程的执行顺序不受控制,且整个进程结束后所产生的线程也随之被释放,在后续内容中将会描述如何控制线程执行。

    1.5 向线程传入参数

            pthread_create()的最后一个参数的为 void* 类型的数据,表示可以向线程传递一个 void* 数据类型的参数,线程的回调函数中可以获取该参数,例程 3 举例了如何向线程传入变量地址与变量值。
    测试例程 3
    1. #include
    2. #include
    3. #include
    4. #include
    5. void *fun1(void *arg)
    6. {
    7. printf("%s:arg = %d Addr = %p\n",__FUNCTION__,*(int *)arg,arg);
    8. }
    9. void *fun2(void *arg)
    10. {
    11. printf("%s:arg = %d Addr = %p\n",__FUNCTION__,(int)(long)arg,arg);
    12. }
    13. int main()
    14. {
    15. pthread_t tid1,tid2;
    16. int a = 50;
    17. int ret = pthread_create(&tid1,NULL,fun1,(void *)&a);
    18. if(ret != 0){
    19. perror("pthread_create");
    20. return -1;
    21. }
    22. ret = pthread_create(&tid2,NULL,fun2,(void *)(long)a);
    23. if(ret != 0){
    24. perror("pthread_create");
    25. return -1;
    26. }
    27. sleep(1);
    28. printf("%s:a = %d Add = %p \n",__FUNCTION__,a,&a);
    29. return 0;
    30. }
    运行结果:

            本例程展示了如何利用线程创建函数的第四个参数向线程传入数据,举例了如何以地址的方式传入值、以变量的方式传入值,例程代码的 21 行,是将变量 a 先行取地址后,再次强制类型转化为 void* 后传入线程,线程处理的回调函数中,先将万能指针 void* 转化为 int* ,再次取地址就可以获得该地址变量的值,其本质在于地址的传递。例程代码的 27 行,直接将 int 类型的变量强制转化为 void*进行传递(针对不同位数机器,指针对其字数不同,需要 int 转化为 long 在转指针,否则可能会发生警告),在线程处理回调函数中,直接将 void*数据转化为 int 类型即可,本质上是在传递变量 a 的值。
            上述两种方法均可得到所要的值,但是要注意其本质,一个为地址传递,一个为值的传递。当变量发生改变时候,传递地址后,该地址所对应的变量也会发生改变,但传入变量值的时候,即使地址指针所指的变量发生变化,但传入的为变量值,不会受到指针的指向的影响,实际项目中切记两者之间的区别。具体说明见例程 4

    测试例程 4:

    1. #include
    2. #include
    3. #include
    4. #include
    5. void *fun1(void *arg)
    6. {
    7. while(1){
    8. printf("%s:arg = %d Addr = %p\n",__FUNCTION__,*(int *)arg,arg);
    9. sleep(1);
    10. }
    11. }
    12. void *fun2(void *arg)
    13. {
    14. while(1){
    15. printf("%s:arg = %d Addr = %p\n",__FUNCTION__,(int)(long)arg,arg);
    16. sleep(1);
    17. }
    18. }
    19. int main()
    20. {
    21. pthread_t tid1,tid2;
    22. int a = 50;
    23. int ret = pthread_create(&tid1,NULL,fun1,(void *)&a);
    24. if(ret != 0){
    25. perror("pthread_create");
    26. return -1;
    27. }
    28. sleep(1);
    29. ret = pthread_create(&tid2,NULL,fun2,(void *)(long)a);
    30. if(ret != 0){
    31. perror("pthread_create");
    32. return -1;
    33. }
    34. while(1){
    35. a++;
    36. sleep(1);
    37. printf("%s:a = %d Add = %p \n",__FUNCTION__,a,&a);
    38. }
    39. return 0;
    40. }

    运行结果:

            上述例程讲述了如何向线程传递一个参数,在处理实际项目中,往往会遇到传递多个参数的问题,我们可以通过结构体来进行传递,解决此问题。
    测试例程 5
    1. #include
    2. #include
    3. #include
    4. #include
    5. #include
    6. struct Stu{
    7. int Id;
    8. char Name[32];
    9. float Mark;
    10. };
    11. void *fun1(void *arg)
    12. {
    13. struct Stu *tmp = (struct Stu *)arg;
    14. printf("%s:Id = %d Name = %s Mark = %.2f\n",__FUNCTION__,tmp->Id,tmp->Name,tmp->Mark);
    15. }
    16. int main()
    17. {
    18. pthread_t tid1,tid2;
    19. struct Stu stu;
    20. stu.Id = 10000;
    21. strcpy(stu.Name,"ZhangSan");
    22. stu.Mark = 94.6;
    23. int ret = pthread_create(&tid1,NULL,fun1,(void *)&stu);
    24. if(ret != 0){
    25. perror("pthread_create");
    26. return -1;
    27. }
    28. printf("%s:Id = %d Name = %s Mark = %.2f\n",__FUNCTION__,stu.Id,stu.Name,stu.Mark);
    29. sleep(1);
    30. return 0;
    31. }
    运行结果:

    1.6 线程的退出与回收

            线程的退出情况有三种:第一种是进程结束,进程中所有的线程也会随之结束。第二种是通过函数 pthread_exit 来主动的退出线程。第三种被其他线程调 用 pthread_cancel 来被动退出。
            线程结束后,主线程可以通过函数 pthread_join/pthread_tryjoin_np 来回收线程的资源,并且获得线程结束后需要返回的数据。

    1.6.1 线程主动退出

    pthread_exit 函数原型如下:
    1. 线程主动退出
    2. #include
    3. void pthread_exit(void *retval);
            pthread_exit 函数为线程退出函数,在退出时候可以传递一个 void* 类型的数据带给主线程,若选择不传出数据,可将参数填充为 NULL

    1.6.2 线程被动退出

    1. 线程被动退出,其他线程使用该函数让另一个线程退出
    2. #include
    3. int pthread_cancel(pthread_t thread);
    4. 成功:返回 0
            该函数传入一个 tid 号,会强制退出该 tid 所指向的线程,若成功执行会返回 0

    1.6.3 线程资源回收(阻塞方式)

    1. 线程资源回收(阻塞)
    2. #include
    3. int pthread_join(pthread_t thread, void **retval);

            该函数为线程回收函数,默认状态为阻塞状态,直到成功回收线程后才返回。第一个参数为要回收线程的 tid 号,第二个参数为线程回收后接受线程传出的数据。

    1.6.4 线程资源回收(非阻塞方式)

    pthread_tryjoin_np 函数原型如下:
    1. 线程资源回收(非阻塞)
    2. #define _GNU_SOURCE
    3. #include
    4. int pthread_tryjoin_np(pthread_t thread, void **retval);
            该函数为非阻塞模式回收函数,通过返回值判断是否回收掉线程,成功回收则返回 0 ,其余参数与 pthread_join 一致。

    测试例程 6

    1. #include
    2. #include
    3. #include
    4. #include
    5. void *fun1(void *arg)
    6. {
    7. static int tmp = 0;//必须要static修饰,否则pthread_join无法获取到正确值
    8. //int tmp = 0;
    9. tmp = *(int *)arg;
    10. tmp+=100;
    11. printf("%s:Addr = %p tmp = %d\n",__FUNCTION__,&tmp,tmp);
    12. pthread_exit((void *)&tmp);
    13. }
    14. int main()
    15. {
    16. pthread_t tid1;
    17. int a = 50;
    18. void *Tmp = NULL;
    19. int ret = pthread_create(&tid1,NULL,fun1,(void *)&a);//将变量以地址的形式传入线程,在线程中做出了自加100 的操作
    20. if(ret != 0){
    21. perror("pthread_create");
    22. return -1;
    23. }
    24. pthread_join(tid1,&Tmp);
    25. printf("%s:Addr = %p Val = %d\n",__FUNCTION__,Tmp,*(int *)Tmp);
    26. return 0;
    27. }
    运行结果:

            上述例程先通过 23 行将变量以地址的形式传入线程,在线程中做出了自加100 的操作,当线程退出的时候通过线程传参,用 void* 类型的数据通过 pthread_join 接 受 。 此 例 程 去 掉 了 之 前 加 入 的 sleep 函 数 , 原 因 是 pthread_join 函数具备阻塞的特性,直至成功收回掉线程后才会冲破阻塞,因此不需要靠考虑主线程会执行到 30 行结束进程的情况。特别要说明的是例程第 8 行,当变量从线程传出的时候,需要加 static 修饰,对生命周期做出延续,否则无法传出正确的变量值。
    测试例程 7
    1. #include
    2. #include
    3. #include
    4. #include
    5. #include
    6. struct Stu{
    7. int Id;
    8. char Name[32];
    9. float Mark;
    10. };
    11. void *fun1(void *arg)
    12. {
    13. struct Stu *tmp = (struct Stu *)arg;
    14. printf("%s:Id = %d Name = %s Mark = %.2f\n",__FUNCTION__,tmp->Id,tmp->Name,tmp->Mark);
    15. }
    16. int main()
    17. {
    18. pthread_t tid1,tid2;
    19. struct Stu stu;
    20. stu.Id = 10000;
    21. strcpy(stu.Name,"ZhangSan");
    22. stu.Mark = 94.6;
    23. int ret = pthread_create(&tid1,NULL,fun1,(void *)&stu);
    24. if(ret != 0){
    25. perror("pthread_create");
    26. return -1;
    27. }
    28. printf("%s:Id = %d Name = %s Mark = %.2f\n",__FUNCTION__,stu.Id,stu.Name,stu.Mark);
    29. sleep(1);
    30. return 0;
    31. }
    运行结果:

            例程 7 展示了如何使用非阻塞方式来回收线程,此外也展示了多个线程可以指向同一个回调函数的情况。例程 6 通过阻塞方式回收线程几乎规定了线程回收的顺序,若最先回收的线程未退出,则一直会被阻塞,导致后续先退出的线程无法及时的回收。
            通过函数 pthread_tryjoin_np ,使用非阻塞回收,线程可以根据退出先后顺序自由的进行资源的回收。
    测试例程 8
    1. #define _GNU_SOURCE
    2. #include
    3. #include
    4. #include
    5. #include
    6. void *fun1(void *arg)
    7. {
    8. printf("Pthread:1 come!\n");
    9. while(1){
    10. sleep(1);
    11. }
    12. }
    13. void *fun2(void *arg)
    14. {
    15. printf("Pthread:2 come!\n");
    16. pthread_cancel((pthread_t )(long)arg);
    17. pthread_exit(NULL);
    18. }
    19. int main()
    20. {
    21. int ret,i,flag = 0;
    22. void *Tmp = NULL;
    23. pthread_t tid[2];
    24. ret = pthread_create(&tid[0],NULL,fun1,NULL);
    25. if(ret != 0){
    26. perror("pthread_create");
    27. return -1;
    28. }
    29. sleep(1);
    30. ret = pthread_create(&tid[1],NULL,fun2,(void *)tid[0]);
    31. if(ret != 0){
    32. perror("pthread_create");
    33. return -1;
    34. }
    35. while(1){
    36. for(i = 0;i <2;i++){
    37. if(pthread_tryjoin_np(tid[i],NULL) == 0){
    38. printf("Pthread : %d exit !\n",i+1);
    39. flag++;
    40. }
    41. }
    42. if(flag >= 2) break;
    43. }
    44. return 0;
    45. }
    运行结果:

            例程 8 展示了如何利用 pthread_cancel 函数主动的将某个线程结束。 27 行与 33 行创建了线程,将第一个线程的线程号传参形式传入了第二个线程。第一个的线程执行死循环睡眠逻辑,理论上除非进程结束,其永远不会结束,但在第二个线程中调用了 pthread_cancel 函数,相当于向该线程发送一个退出的指令,导致线程被退出,最终资源被非阻塞回收掉。此例程要注意第 32 行的 sleep 函数,一定要确保线程 1 先执行,因线程是无序执行,故加入该睡眠函数控制顺序,在本章后续,会讲解通过加锁、信号量等手段来合理的控制线程的临界资源访问与线程执行顺序控制。

    2 线程的控制

    2.1 多线程编临界资源访问

            当线程在运行过程中,去操作公共资源,如全局变量的时候,可能会发生彼此“矛盾”现象。例如线程 1 企图想让变量自增,而线程 2 企图想要变量自减,两个线程存在互相竞争的关系导致变量永远处于一个“平衡状态”,两个线程互相竞争,线程 1 得到执行权后将变量自加,当线程 2 得到执行权后将变量自减,变量似乎永远在某个范围内浮动,无法到达期望数值,如例程 9 所示。
    测试例程 9
    1. #define _GNU_SOURCE
    2. #include
    3. #include
    4. #include
    5. #include
    6. int Num = 0;
    7. void *fun1(void *arg)
    8. {
    9. while(Num < 3){
    10. Num++;
    11. printf("%s:Num = %d\n",__FUNCTION__,Num);
    12. sleep(1);
    13. }
    14. pthread_exit(NULL);
    15. }
    16. void *fun2(void *arg)
    17. {
    18. while(Num > -3){
    19. Num--;
    20. printf("%s:Num = %d\n",__FUNCTION__,Num);
    21. sleep(1);
    22. }
    23. pthread_exit(NULL);
    24. }
    25. int main()
    26. {
    27. int ret;
    28. pthread_t tid1,tid2;
    29. ret = pthread_create(&tid1,NULL,fun1,NULL);
    30. if(ret != 0){
    31. perror("pthread_create");
    32. return -1;
    33. }
    34. ret = pthread_create(&tid2,NULL,fun2,NULL);
    35. if(ret != 0){
    36. perror("pthread_create");
    37. return -1;
    38. }
    39. pthread_join(tid1,NULL);
    40. pthread_join(tid2,NULL);
    41. return 0;
    42. }
    运行结果:

            为了解决上述对临界资源的竞争问题,pthread 线程引出了互斥锁来解决临界资源访问。通过对临界资源加锁来保护资源只被单个线程操作,待操作结束后解锁,其余线程才可获得操作权。

    2.2 互斥锁 API 简述

            多个线程都要访问某个临界资源,比如某个全局变量时,需要互斥地访问:我访问时,你不能访问。
            可以使用以下函数进行互斥操作。

    2.2.1 初始化互斥量

    函数原型如下:
    int pthread_mutex_init(phtread_mutex_t *mutex, const pthread_mutexattr_t *restrict attr)
            该函数初始化一个互斥量,第一个参数是改互斥量指针,第二个参数为控制互斥量的属性,一般为 NULL 。当函数成功后会返回 0 ,代表初始化互斥量成功。
            当然初始化互斥量也可以调用宏来快速初始化,代码如下:
    pthread_mutex_t mutex = PTHREAD_MUTEX_INITALIZER;

    2.2.2 互斥量加锁/解锁

    函数原型如下:
    1. 互斥量加锁(阻塞)/解锁
    2. #include
    3. int pthread_mutex_lock(pthread_mutex_t *mutex);
    4. int pthread_mutex_unlock(pthread_mutex_t *mutex);
    5. 成功:返回 0
            lock 函数与 unlock 函数分别为加锁解锁函数,只需要传入已经初始化好的 pthread_mutex_t 互斥量指针。成功后会返回 0
            当某一个线程获得了执行权后,执行 lock 函数,一旦加锁成功后,其余线程遇到 lock 函数时候会发生阻塞,直至获取资源的线程执行 unlock 函数后。unlock 函数会唤醒其他正在等待互斥量的线程。
            特别注意的是,当获取 lock 之后,必须在逻辑处理结束后执行 unlock ,否则会发生死锁现象!导致其余线程一直处于阻塞状态,无法执行下去。在使用互斥量的时候,尤其要注意使用 pthread_cancel 函数,防止发生死锁现象!

    2.2.3 互斥量加锁(非阻塞方式)

    函数原型如下:
    1. 互斥量加锁(非阻塞)
    2. #include
    3. int pthread_mutex_trylock(pthread_mutex_t *mutex);
            该函数同样也是一个线程加锁函数,但该函数是非阻塞模式通过返回值来判断是否加锁成功,用法与上述阻塞加锁函数一致。

    2.2.4 互斥量加锁(非阻塞方式)

    函数原型如下:
    1. 互斥量销毁
    2. #include
    3. int pthread_mutex_destory(pthread_mutex_t *mutex);
    4. 成功:返回 0
            该函数是用于销毁互斥量的,传入互斥量的指针,就可以完成互斥量的销毁,成功返回 0

    2.2.5 程序示例

    1. #define _GNU_SOURCE
    2. #include
    3. #include
    4. #include
    5. #include
    6. pthread_mutex_t mutex;//互斥量变量 一般申请全局变量
    7. int Num = 0;//公共临界变量
    8. void *fun1(void *arg)
    9. {
    10. pthread_mutex_lock(&mutex);//加锁 若有线程获得锁,则会阻塞
    11. while(Num < 3){
    12. Num++;
    13. printf("%s:Num = %d\n",__FUNCTION__,Num);
    14. sleep(1);
    15. }
    16. pthread_mutex_unlock(&mutex);//解锁
    17. pthread_exit(NULL);//线程退出 pthread_join 会回收资源
    18. }
    19. void *fun2(void *arg)
    20. {
    21. pthread_mutex_lock(&mutex);加锁 若有线程获得锁,则会阻塞
    22. while(Num > -3){
    23. Num--;
    24. printf("%s:Num = %d\n",__FUNCTION__,Num);
    25. sleep(1);
    26. }
    27. pthread_mutex_unlock(&mutex);//解锁
    28. pthread_exit(NULL);//线程退出 pthread_join 会回收资源
    29. }
    30. int main()
    31. {
    32. int ret;
    33. pthread_t tid1,tid2;
    34. ret = pthread_mutex_init(&mutex,NULL);//初始化互斥量
    35. if(ret != 0){
    36. perror("pthread_mutex_init");
    37. return -1;
    38. }
    39. ret = pthread_create(&tid1,NULL,fun1,NULL);//创建线程 1
    40. if(ret != 0){
    41. perror("pthread_create");
    42. return -1;
    43. }
    44. ret = pthread_create(&tid2,NULL,fun2,NULL);//创建线程 2
    45. if(ret != 0){
    46. perror("pthread_create");
    47. return -1;
    48. }
    49. pthread_join(tid1,NULL);//阻塞回收线程 1
    50. pthread_join(tid2,NULL);//阻塞回收线程 2
    51. pthread_mutex_destroy(&mutex);//销毁互斥量
    52. return 0;
    53. }
    运行结果:
            上述例程通过加入互斥量,保证了临界变量某一时刻只被某一线程控制,实现了临界资源的控制。需要说明的是,线程加锁在循环内与循环外的情况。本历程在进入 while 循环前进行了加锁操作,在循环结束后进行的解锁操作,如果将加锁解锁全部放入 while 循环内,作为单核的机器,执行结果无异,当有多核机器执行代码时,可能会发生“抢锁”现象,这取决于操作系统底层的实现。

    2.3 多线程编执行顺序控制

            解决了临界资源的访问,但似乎对线程的执行顺序无法得到控制,因线程都是无序执行,之前采用 sleep 强行延时的方法勉强可以控制执行顺序,但此方法在实际项目情况往往是不可取的,其仅仅可解决线程创建的顺序,当创建之后执行的顺序又不会受到控制,于是便引入了信号量的概念,解决线程执行 顺序。
    测试例程 11
    1. #define _GNU_SOURCE
    2. #include
    3. #include
    4. #include
    5. #include
    6. void *fun1(void *arg)
    7. {
    8. printf("%s:Pthread Come!\n",__FUNCTION__);
    9. pthread_exit(NULL);
    10. }
    11. void *fun2(void *arg)
    12. {
    13. printf("%s:Pthread Come!\n",__FUNCTION__);
    14. pthread_exit(NULL);
    15. }
    16. void *fun3(void *arg)
    17. {
    18. printf("%s:Pthread Come!\n",__FUNCTION__);
    19. pthread_exit(NULL);
    20. }
    21. int main()
    22. {
    23. int ret;
    24. pthread_t tid1,tid2,tid3;
    25. ret = pthread_create(&tid1,NULL,fun1,NULL);
    26. if(ret != 0){
    27. perror("pthread_create");
    28. return -1;
    29. }
    30. ret = pthread_create(&tid2,NULL,fun2,NULL);
    31. if(ret != 0){
    32. perror("pthread_create");
    33. return -1;
    34. }
    35. ret = pthread_create(&tid3,NULL,fun3,NULL);
    36. if(ret != 0){
    37. perror("pthread_create");
    38. return -1;
    39. }
    40. pthread_join(tid1,NULL);
    41. pthread_join(tid2,NULL);
    42. pthread_join(tid3,NULL);
    43. return 0;
    44. }
    运行结果:

            通过上述例程可以发现,多次执行该函数其次序是无序的,线程之间的竞争无法控制,通过使用信号量来使得线程顺序为可控的。

    2.4 信号量 API 简述

            注意:信号量跟互斥量不一样,互斥量用来防止多个线程同时访问某个临界资源。信号量起通知作用,线程 A 在等待某件事,线程 B 完成了这件事后就可以给线程 A 发信号。

    2.4.1 初始化信号量

    函数原型如下:
    int sem_init(sem_t *sem,int pshared,unsigned int value);
    该函数可以初始化一个信号量,第一个参数传入 sem_t 类型指针;
    第二个参数传入 0 代表线程控制,否则为进程控制;
    第三个参数表示信号量的初始值, 0 代表阻塞, 1 代表运行。
    待初始化结束信号量后,若执行成功会返回 0

    2.4.2 信号量 P/V 操作

    函数原型如下:
    1. #include
    2. int sem_wait(sem_t *sem);
    3. int sem_post(sem_t *sem);
    4. 成功:返回 0
    sem_wait 函数作用为检测指定信号量是否有资源可用,若无资源可用会阻塞等待,若有资源可用会自动的执行“sem-1 ”的操作。所谓的“ sem-1 ”是与上述初始化函数中第三个参数值一致,成功执行会返回 0
    sem_post 函数会释放指定信号量的资源,执行“ sem+1 ”操作。通过以上 2 个函数可以完成所谓的 PV 操作,即信号量的申请与释放,完成对线程执行顺序的控制。

    2.4.3 信号量申请(非阻塞方式)

    函数原型如下:
    1. #include
    2. int sem_trywait(sem_t *sem);
    3. 成功:返回 0
            此函数是信号量申请资源的非阻塞函数,功能与 sem_wait 一致,唯一区别在于此函数为非阻塞。

    2.4.4 信号量销毁

    函数原型如下:
    1. #include
    2. int sem_destory(sem_t *sem);
    3. 成功:返回 0
            该函数为信号量销毁函数,执行过后可将信号量进行销毁。

    2.4.5 程序示例

    测试例程 12
    1. #define _GNU_SOURCE
    2. #include
    3. #include
    4. #include
    5. #include
    6. #include
    7. sem_t sem1,sem2,sem3;//申请的三个信号量变量
    8. void *fun1(void *arg)
    9. {
    10. sem_wait(&sem1);//因sem1本身有资源,所以不被阻塞 获取后sem1-1 下次会会阻塞
    11. printf("%s:Pthread Come!\n",__FUNCTION__);
    12. sem_post(&sem2);// 使得sem2获取到资源
    13. pthread_exit(NULL);
    14. }
    15. void *fun2(void *arg)
    16. {
    17. sem_wait(&sem2);//因sem2在初始化时无资源会被阻塞,直至14行代码执行 不被阻塞 sem2-1 下次会阻塞
    18. printf("%s:Pthread Come!\n",__FUNCTION__);
    19. sem_post(&sem3);// 使得sem3获取到资源
    20. pthread_exit(NULL);
    21. }
    22. void *fun3(void *arg)
    23. {
    24. sem_wait(&sem3);//因sem3在初始化时无资源会被阻塞,直至22行代码执行 不被阻塞 sem3-1 下次会阻塞
    25. printf("%s:Pthread Come!\n",__FUNCTION__);
    26. sem_post(&sem1);// 使得sem1获取到资源
    27. pthread_exit(NULL);
    28. }
    29. int main()
    30. {
    31. int ret;
    32. pthread_t tid1,tid2,tid3;
    33. ret = sem_init(&sem1,0,1); //初始化信号量1 并且赋予其资源
    34. if(ret < 0){
    35. perror("sem_init");
    36. return -1;
    37. }
    38. ret = sem_init(&sem2,0,0); //初始化信号量2 让其阻塞
    39. if(ret < 0){
    40. perror("sem_init");
    41. return -1;
    42. }
    43. ret = sem_init(&sem3,0,0); //初始化信号3 让其阻塞
    44. if(ret < 0){
    45. perror("sem_init");
    46. return -1;
    47. }
    48. ret = pthread_create(&tid1,NULL,fun1,NULL);//创建线程1
    49. if(ret != 0){
    50. perror("pthread_create");
    51. return -1;
    52. }
    53. ret = pthread_create(&tid2,NULL,fun2,NULL);//创建线程2
    54. if(ret != 0){
    55. perror("pthread_create");
    56. return -1;
    57. }
    58. ret = pthread_create(&tid3,NULL,fun3,NULL);//创建线程3
    59. if(ret != 0){
    60. perror("pthread_create");
    61. return -1;
    62. }
    63. /*回收线程资源*/
    64. pthread_join(tid1,NULL);
    65. pthread_join(tid2,NULL);
    66. pthread_join(tid3,NULL);
    67. /*销毁信号量*/
    68. sem_destroy(&sem1);
    69. sem_destroy(&sem2);
    70. sem_destroy(&sem3);
    71. return 0;
    72. }
    运行结果:

            该例程加入了信号量,使得线程的执行顺序变为可控的。在初始化信号量时,将信号量 1 填入资源,第一个线程调用 sem_wait 函数可以成功获得信号量,在执行完逻辑后使用 sem_pos 函数来释放。当执行函数 sem_wait 后,会执行 sem 自减操作,使下一次竞争被阻塞,直至通过 sem_pos 被释放。
            上述例程因 38 行初始化信号量 1 时候,使其默认获取到资源;第 43 48 行初始化信号量 2 3 时候,使之没有资源。于是在线程处理函数中,每个线程通过 sem_wait 函数来等待资源,发生阻塞。因信号量 1 初始值为有资源,故可以先执行线程 1 的逻辑。待执行完第 12 sem_wait 函数,会导致 sem1-1 ,使得下一次此线程会被阻塞。继而执行至 14 行,通过 sem_post 函数使 sem2 信号量获取资源,从而冲破阻塞执行线程 2 的逻辑 ... 以此类推完成线程的有序控制。

    2.5 条件变量

            条件变量时一种同步机制,用来通知其他线程条件满足了。一般是用来通知对方共享数据的状态信息,因此条件变量时结合互斥量来使用的。

    2.5.1 创建和销毁条件变量

      函数原型如下:

    1. #include
    2. // 初始化条件变量
    3. pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
    4. int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr);//cond_at
    5. tr 通常为 NULL
    6. // 销毁条件变量
    7. int pthread_cond_destroy(pthread_cond_t *cond);
    8. 这些函数成功时都返回 0

    2.5.2 等待条件变量

    函数原型如下:
    int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex);
    这需要结合互斥量一起使用,示例代码如下:
    1. pthread_mutex_lock(&g_tMutex);
    2. // 如果条件不满足则,会 unlock g_tMutex
    3. // 条件满足后被唤醒,会 lock g_tMutex
    4. pthread_cond_wait(&g_tConVar, &g_tMutex);
    5. /* 操作临界资源 */
    6. pthread_mutex_unlock(&g_tMutex);

    2.5.3 通知条件变量

    函数原型如下:
    int pthread_cond_signal(pthread_cond_t *cond);
            pthread_cond_signal 函数只会唤醒一个等待 cond 条件变量的线程,示例代码如下:
    pthread_cond_signal(&g_tConVar);

    2.5.4 程序示例

    1. #include
    2. #include
    3. #include
    4. #include
    5. #include
    6. static char g_buf[1000];
    7. static pthread_mutex_t g_tMutex = PTHREAD_MUTEX_INITIALIZER;
    8. static pthread_cond_t g_tConVar = PTHREAD_COND_INITIALIZER;
    9. static void *my_thread_func (void *data)
    10. {
    11. while (1)
    12. {
    13. //sleep(1);
    14. /* 等待通知 */
    15. //while (g_hasData == 0);
    16. pthread_mutex_lock(&g_tMutex);
    17. pthread_cond_wait(&g_tConVar, &g_tMutex);
    18. /* 打印 */
    19. printf("recv: %s\n", g_buf);
    20. pthread_mutex_unlock(&g_tMutex);
    21. }
    22. return NULL;
    23. }
    24. int main(int argc, char **argv)
    25. {
    26. pthread_t tid;
    27. int ret;
    28. char buf[1000];
    29. /* 1. 创建"接收线程" */
    30. ret = pthread_create(&tid, NULL, my_thread_func, NULL);
    31. if (ret)
    32. {
    33. printf("pthread_create err!\n");
    34. return -1;
    35. }
    36. /* 2. 主线程读取标准输入, 发给"接收线程" */
    37. while (1)
    38. {
    39. fgets(buf, 1000, stdin);
    40. pthread_mutex_lock(&g_tMutex);
    41. memcpy(g_buf, buf, 1000);
    42. pthread_cond_signal(&g_tConVar); /* 通知接收线程 */
    43. pthread_mutex_unlock(&g_tMutex);
    44. }
    45. return 0;
    46. }

    3 总结

    3.1 线程使用流程图

            有关多线程的创建流程如图 9.14 所示,首先需要创建线程,一旦线程创建完成后,线程与线程之间会发生竞争执行,抢占时间片来执行线程逻辑。在创建线程时候,可以通过创建线程的第四个参数传入参数,在线程退出时亦可传出参数被线程回收函数所回收,获取到传出的参数。

    3.2 互斥量使用流程图

            当多个线程出现后,会遇到同时操作临界公共资源的问题,当线程操作公共资源时需要对线程进行保护加锁,防止其与线程在此线程更改变量时同时更改变量,待逻辑执行完毕后再次解锁,使其余线程再度开始竞争。互斥锁创建流程下图所示。

    3.3 信号量使用流程图

            当多个线程出现后,同时会遇到无序执行的问题。有时候需要对线程的执行顺序做出限定,变引入了信号量,通过 PV 操作来控制线程的执行顺序,如下图所示。

  • 相关阅读:
    【python基础】函数的使用
    Gitcode 创建仓库并且 提交代码
    FastAPI学习-18.Response 返回 XML 格式
    音视频封装格式
    Spring Cloud Zuul 学习+实践
    ROS2——DDS(十三)
    算法题笔记 6-10 (青蛙跳台阶)
    3万字《SpringBoot微服务开发——Shiro(安全)》
    Stream流
    项目十一文件的应用
  • 原文地址:https://blog.csdn.net/weixin_48856218/article/details/134492075