linux--多线程(一)

文章目录

- - Linux线程的概念
  - - 线程的优点
    - 线程的缺点
    - 线程异常
  - 线程的控制
  - - 创建线程
    - 线程ID以及进程地址空间
    - 终止线程
    - 线程等待
    - 线程分离
    - 线程互斥
    - - 进程线程间的互斥相关概念
      - 互斥量mutex
      - 有线程安全问题的售票系统
      - 查看ticket--部分的汇编代码
      - 互斥量的接口
      - 互斥量实现原理探究
    - 可重入和线程安全
    - - 常见的线程不安全的情况
      - 常见的线程安全的情况
      - 常见不可重入的情况
      - 常见可重入的情况
      - 可重入与线程安全的联系与区别
    - 常见锁的概念
    - - 死锁
      - 死锁的四个必要条件

Linux线程的概念

在一个程序里的一个执行路线就叫做线程（thread），更准确的定义是：线程是”一个进程内部的控制序列“
一切进程至少都有一个执行线程，线程在进程内部运行，本质是在进程地址空间内运行
在Linux系统中，在CPU眼里，看到的PCB要比传统的进程更加轻量化

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-KKOvTHlq-1677599958611)(D:\blogs\Linux中的执行流共享内存空间.png)]

线程的优点

创建一个新线程的代价要比创建一个新进程要小得多
与进程之间的切换相比，线程之间的切换需要操作系统做的工作要少很多
线程占用的资源要比进程少很多
能充分利用多处理器的可并行数量
在等待慢速I/O操作结束的同时，程序可执行其他的计算任务
计算密集型应用：为了能在多处理系统上运行，将计算分解到多个线程中实现
I/O密集型应用：为了提高性能，将I/O操作重叠。线程可以同时等待不同的I/O操作

线程的缺点

性能损失

一个很少被外部事件阻塞的计算密集型线程往往无法与其他线程共享同一个处理器。如果计算密集型线程的数量比可用的处理器多，那么可能会有较大的性能损失，这里的性能损失指的是增加了额外的同步和调度开销，而可用的资源不变。

健壮性降低

编写多线程程序需要更全面更深入的考虑，在一个多线程程序里，因时间分配上的细微偏差或者因共享了不该共享的变量而造成不良影响的可能性是很大的，也就是说线程之间是缺乏保护的

缺乏访问控制

进程是访问控制的基本粒度，在一个线程中调用某些OS函数会对整个进程造成影响

线程异常

单个线程如果出现除零，野指针问题导致线程崩溃，进程也会随着崩溃
线程是进程的执行分支，线程出异常，就类似进程出异常，进而触发信号机制，终止进程，进程终止，该进程内的所有线程也随即退出

线程的控制

与线程有关的函数构成了一个完整的系列，绝大多数函数的名字都是以"pthread_“打头的。要使用这些函数库要通过引入头文件<pthread.h>，链接这些线程函数库时要使用编译器命令的”-lpthread"选项。

创建线程

/*
功能：创建一个新的线程
函数原型:int pthread_create(pthread_t* thread, const pthread_attr_t *arrt, void* (*call)(void*), void* arg);thread:返回线程IDattr:设置线程的属性，attr为NULL表示使用默认属性call:是一个函数指针，线程启动后要执行的函数arg:传给线程启动函数的参数
返回值：成功返回0，失败返回错误码
*/#include <unistd.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <pthread.h>void* call_back(void* arg)
{for(;;){printf("我是线程:%d&& %s\n",pthread_self(),(char*)arg);sleep(1);}
}int main()
{pthread_t tid;pthread_create(&tid,NULL,call_back,"hello word");while(1){printf("我是父线程：%d, 创建了子线程：%d\n",pthread_self(),tid);sleep(1);}return 0;
}

创建线程的运行结果

在这里插入图片描述

线程ID以及进程地址空间

pthread_create函数会产生一个线程ID，存放在第一个参数指向的地址中。该线程ID和前面说的线程ID不是一回事

前面说的线程ID属于进程调度的范畴。因为线程是轻量级进程，是操作系统调度器的最小单位，所以需要一个数值来唯一表示该线程

pthread_create函数第一个参数指向一个虚拟内存单元，该内存单元的地址即为新创建线程的线程ID，属于NPTL线程库的范畴，线程库的后续操作，就是根据该线程ID来操作线程的

NPTL线程库提供了pthread_self函数，可以获得线程自身的ID
pthread_t pthread_self(void);

pthread_t类型的线程ID，本质就是一个进程地址空间上的一个地址

在这里插入图片描述

终止线程

终止一个线程而不终止整个进程，有三种方法：

从线程函数return，这种方法对主线程不适用，从main函数return相当于调用exit

线程可以调用pthread_exit终止自己

/*
功能：终止线程
原型
*/
int pthread_exit(void* value_ptr);
/*参数*/
// value_ptr:value_ptr不要指向一个局部变量,它指向的数据将作为线程退出时的返回值，如果线程不需要返回任何数据，将value_ptr参数置为NULL即可
// 无返回值，跟进程一样，线程借宿的时候无法返回到它的调用者// 举个例子
#include <unistd.h>
#include <pthread.h>
#include <stdio.h>void* func(void* args)
{printf("欢迎光临\n");sleep(3);pthread_exit((void*)"tuichu");
}int main()
{int ret = 0;void* str;pthread_t tid;ret = pthread_create(&tid,NULL,func,NULL);pthread_join(tid,&str);printf("%s\n",(char*)str);return 0;
}

在这里插入图片描述

一个线程可以调用pthread_cancel终止同一进程中的另一个线程

/*功能取消一个线程*/
//原型void pthread_cancel(pthread_t tid);
// 参数tid:线程ID
// 返回值：成功返回0，失败返回错误码
// 举个例子
#include <unistd.h>
#include <pthread.h>
#include <stdio.h>void* func(void* args)
{while(1){printf("我是线程%d\n",pthread_self()); sleep(1);}
}int main()
{pthread_t tid1, tid2;pthread_create(&tid1,NULL,func,NULL);pthread_create(&tid2,NULL,func,NULL);pthread_detach(tid1);pthread_detach(tid2);sleep(3);pthread_cancel(tid1);printf("取消线程%d\n",tid1);sleep(2);printf("取消线程%d\n",tid2);pthread_cancel(tid2);return 0;
}

在这里插入图片描述

线程等待

已经退出的线程，其空间没有被释放，任然在进程的地址空间内。此时创建新的线程是不会复用刚才退出线程的地址空间的

//功能：等待线程结束
//原型int pthread_join(pthread_t tid, void** value_ptr);
// 参数
/*tid：线程IDvalue_ptr:它指向一个指针，后者指向线程的返回值返回值：成功返回0，失败返回错误码
*/

调用该函数的线程将挂起等待，直到id为thread的线程终止。thread线程以不同的方法终止，通过pthread_join得到的终止状态是不同的，总结如下

如果thread线程通过return返回，value_ptr所指向的单元里存放的是thread线程函数的返回值。
如果thread线程被别的线程调用pthread_cancel异常终止，value_ptr所指向的单元里存放的是常数PTHREAD_CANCELD
如果thread线程是自己调用pthread_exit终止的，value_ptr所指向的单元存放的是传给phtread_exit的参数
如果不考虑线程的终止状态，可以传NULL给value_ptr

线程分离

默认情况下，新创建的线程是joinable的，线程退出后，需要对其进行pthread_join操作，否则无法释放资源，从而造成系统泄露
如果不关心线程的返回值，join是一种负担，因为主线程会阻塞在join这一步，这个时候我们可以告诉系统，当线程退出时，自动释放线程资源

// 可以主线程分离子线程
int pthread_detach(pthread_t tid);
// 也可以子线程自己分离自己
int pthread_detach(pthread_self);
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <pthread.h>
void *thread_run( void * arg )
{pthread_detach(pthread_self());printf("%s\n", (char*)arg);return NULL;
}
int main( void )
{pthread_t tid;if ( pthread_create(&tid, NULL, thread_run, "thread1 run...") != 0 ) {printf("create thread error\n");return 1;}int ret = 0;sleep(1);//很重要，要让线程先分离，再等待if ( pthread_join(tid, NULL ) == 0 ) {printf("pthread wait success\n");ret = 0;} else {printf("pthread wait failed\n");ret = 1;}return ret;
}

线程互斥

进程线程间的互斥相关概念

临界资源：多线程执行流共享的资源就叫做临界资源
临界区：每个线程内部，访问临界资源的代码，就叫做临界区
互斥：任何时刻，互斥保证有且只有一个执行流进入临界区，访问临界资源，通常对临界资源起保护作用
原子性：不会被任何调度机制打断的操作，该操作只有两种状态，要么完成，要么未完成

互斥量mutex

大部分情况，线程使用的数据都是局部变量，变量的地址空间在线程栈空间内，这种情况，变量归属单个线程，其他线程无法获得这种变量
很多变量都需要在线程间共享，这样的变量称为共享变量，可以通过数据的共享，完成线程之间的交互

有线程安全问题的售票系统

// 操作共享变量会有问题的售票系统代码
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <pthread.h>
// 定义100张票
int ticket = 100;// 线程的回调函数
void* route(void* arg)
{char* id = (char*)arg;while(1){if(ticket > 0){usleep(1000);printf("%s sells ticket:%d\n", id, ticket);ticket--; // 剩余票数减一}else{break;}}
}int main()
{// 创建4个线程模拟买票操作pthread_t t1, t2, t3, t4;pthread_create(&t1, NULL, route, "thread 1");pthread_create(&t2, NULL, route, "thread 2");pthread_create(&t3, NULL, route, "thread 3");pthread_create(&t4, NULL, route, "thread 4");pthread_join(t1, NULL);pthread_join(t2, NULL);pthread_join(t3, NULL);pthread_join(t4, NULL);return 0;
}

在这里插入图片描述

查看执行结果我们发现售卖的票为0的时候还在往外售出，这肯定是存在问题，那么是为什么会导致这样的情况出现呢？

if语句判断条件为真以后，代码可以并发的切换到其他线程
usleep这个模拟漫长业务的过程，在这个漫长的业务过程中，可能有很多个线程会进入该代码段
--ticket操作本身就不是一个原子操作

查看ticket–部分的汇编代码

使用 objdump -d ticketing_system > test.objdump指令获取汇编代码

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-NAH0hGOq-1677599958615)(D:\blogs\ticket–的汇编代码.png)]

可以看到--操作是由很多步构成的，并不是原子的

load：将共享变量ticket从内存加载到寄存器中
update：更新寄存器里面的值，执行-1操作
store：将新值，从寄存器写回共享变量ticket的内存地址

要解决以上问题，需要做到三点

代码必须要有互斥行为：当代码进入临界区执行时，不允许其他线程进入该临界区
如果多个线程同时要求执行临界区的代码，并且临界区没有线程在执行，那么只能允许一个线程进入该临界区
如果线程不在临界区中执行，那么该线程不能阻止其他线程进入临界区

要做到以上三点，本质上就是需要一把锁，Linux上提供的这把锁叫互斥量。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-AKlm0Ls3-1677599958615)(D:\blogs\互斥量.png)]

互斥量的接口

初始化互斥量

初始化互斥量有两种方法：

方法1：静态分配

pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER

方法2：动态分配

int pthread_mutex_init(pthread_mutex_t* restrict mutex, const pthread_mutexattr_t* restrict attr);
/*
参数：mutex：要初始化的互斥量attr：NULL
*/

销毁互斥量

销毁互斥量需要注意：

使用PTHREAD_MUTEX_INITIALIZER初始化的互斥量不需要销毁
不要销毁一个已经加锁的互斥量
已经销毁的互斥量，要确保后面不会有线程再尝试加锁

int pthread_mutex_destroy(pthread_mutex_t* mutex);

互斥量加锁和解锁

int pthread_mutex_lock(pthread_mutex_t* mutex);
int pthread_mutex_unlock(pthread_mutex_t* mutex);
返回值：成功返回0，失败返回错误号

调用pthread_lock时，可能回遇到以下情况：

互斥量处于未锁状态，该函数会将互斥量锁定，同时返回成功
发起函数调用时，其他线程已经锁定互斥量，或者存在其他线程同时申请互斥量，但没有竞争到互斥量，那么pthread_lock调用回陷入阻塞，等待互斥量解锁

改进后的售票系统

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <pthread.h>
#include <sched.h>int ticket = 100;
// 定义互斥量
pthread_mutex_t mutex;
void *route(void *arg)
{char *id = (char *)arg;// 加锁while (1){pthread_mutex_lock(&mutex);if (ticket > 0){usleep(1000);printf("%s sells ticket:%d\n", id, ticket);ticket--;// 解锁pthread_mutex_unlock(&mutex);}else{// 如果没有票了也要释放锁pthread_mutex_unlock(&mutex);break;}}
}int main()
{pthread_t t1, t2, t3, t4;// 初始化锁pthread_mutex_init(&mutex, NULL);pthread_create(&t1, NULL, route, "thread 1");pthread_create(&t2, NULL, route, "thread 2");pthread_create(&t3, NULL, route, "thread 3");pthread_create(&t4, NULL, route, "thread 4");pthread_join(t1, NULL);pthread_join(t2, NULL);pthread_join(t3, NULL);pthread_join(t4, NULL);// 销毁锁pthread_mutex_destroy(&mutex);return 0;
}

互斥量实现原理探究

经过上面的例子，大家已经意识到单纯的++i或者i++都不是原子的，有可能会有数据一致性问题
为了实现互斥锁操作，大多数体系结构都提供了swap或者exchange指令，该指令的作用是把寄存器喝内存单元的数据相交换，由于只有一条指令，保证了原子性，即使是多处理器平台，访问内存的总线周期也有先后，一个处理上的交换指令执行时另一个处理器的交换指令只能等待总线周期

把lock和unlock的伪代码改一下

lock:movb $0, %al xchgb %al, mutex // 原子操作，直接将al的值和mutex交换if(al寄存器的内容 > 0) // 竞争到锁{return 0;}else // 没竞争到锁挂起等待;goto lock;
unlock:movb $1, mutex唤醒等待mutex的线程;return 0;

可重入和线程安全

线程安全：多个线程并发同一段代码时，不会出现不同的结果。常见对全局变量或者静态变量进行操作，并且没有锁保护的情况下，会出现线程安全问题。
重入：同一个函数被不同的执行流调用，当一个流程还没有执行完，就有其他的执行流再次进入，我们称之为重入。一个函数在重入情况下，运行结果不会出现任何不同或者任何问题，则函数被称为可重入函数，否则，是不可重入函数。