Linux 线程概念
什么是线程
- 在一个程序里的一个执行路线就叫做线程(thread)。更准确的定义是: 线程是“一个进程内部的控制序列”。
- 一切进程至少都有一个执行线程。
- 在linux系统中,在CPU眼里,看到PCB都要比传统的进程更加轻量化。
- 透过进程虚拟地址空间,可以看到进程的大部分资源,将进程资源合理分配给每一个执行流,就形成了线程执行流。
线程的优点
- 创建一个新线程的代价要比创建一个新进程小得多。
- 与进程之间切换相比,线程之间切换需要操作系统做的工作要少很多。
- 线程占用资源要比进程少很多。
- 能充分利用多处理器的可并行数量。
- 在等待慢速I/O操作结束同时,程序可执行其他计算任务。
- 计算密集型应用,为了能在多处理器系统上运行,将计算分解到多个线程中实现。
- I/O密集型应用,为了提高性能,将I/O操作重叠。线程可以同时等待不同的I/O操作。
线程的缺点
- 性能损失
- 一个很少被外部时间阻塞的计算密集型线程往往无法与其他线程共享同一个处理器。如果计算密集型线程的数量比可用的处理器多,那么可能会有较大性能损失,这样的性能损失是指增加了额外的同步和调度开销,而可用资源不变。
- 健壮性降低
- 编写多线程需要更全面深入的考虑,在一个多线程程序里,因时间分配上的细微偏差或者因共享了不改共享的变量而造成不良影响的可能性是很大的,换句话说线程之间是缺乏保护的。
- 缺乏访问控制
- 进程是访问控制的基本粒度,在一个线程中调用某些OS函数会对整个进程造成影响。
- 编程难度提高
- 编写与调试一个多线程程序比单线程程序困难得多。
线程异常
- 单个线程如果出现除0,野指针问题导致线程崩溃,进程也会随着崩溃。
- 线程是进程的执行分支,线程出异常,就类似于进程初出异常,进而触发信号机制,终止进程,进程终止,该进程内的所有线程也就退出了。
线程用途
- 合理的使用多线程,能提高CPU密集型程序的执行效率。
- 合理的使用多线程,能提高I/O密集型程序的用户体验。
Linux 进程 VS 线程
进程和线程
- 进程是资源分配的基本单位。
- 线程是调度的基本单位。
- 线程共享进程数据,但也拥有自己的一部分数据。
- 线程 ID
- 一组寄存器
- 栈
- errno
- 信号屏蔽字
- 调度优先级
进程的多个线程共享,同一地址空间,因此Text Segment、DataSegment都是共享的。如果定义一个函数,在各个线程中都可以嗲用。如果定义一个全局变量,在各线程中都可以访问到。除此之外,各个线程还共享以下进程资源和环境:
- 文件描述符表
- 每种信号的处理方式(SIG_IGN、SIG_DFL 或者自定义的信号处理函数)
- 当前工作目录
- 用户id和组id
进程和线程的关系
Linux 线程控制
POSIX 线程库
- 与线程有关的函数构成了一个完整的系列,绝大多数函数的名字都是以"pthread_"打头的。
- 要使用这些函数库,要通过引入头文件<pthread.h>。
- 链接这些线程函数库是要使用编译器命令的“-lpthread”选项。
创建线程
实例:
进程ID 和线程 ID
- 在 Linux 中,目前的线程实现是Native POSIX Thread Library, 简称NPTL。在这种实现下,线程又被称为轻量级进程(Light Weighted Process),每个用户态的线程,在内核中都对应一个调度实体,也拥有自己的进程描述符(task_struct结构体)。
- 没有线程之前,一个进程对应内核里的一个文件描述符,对应一个进程ID。但是映入引入线程概念之后,情况发生了变化,一个用户进程下管辖N个用户态线程,每个线程作为一个独立的调度实体在内核态都有自己的进程描述符,进程和内核的描述符一下子变成了1:N的关系,POSIX标准又要求进程内的所有线程调用getpid()函数返回相同的进程ID,如何解决上述问题?
- linux 内核引入了线程组的概念。
- 多线程的进程又被称为线程组,线程组内的每一个线程在内核中都存在一个进程描述符(task_struct) 与之对应。进程描述符结构体中的pid,表面上看对应的是进程ID,其实不然,它对应的是线程ID,进程描述符中的tgid,含义是Thead Group ID,该值对应的是用户层面的进程ID。
线程ID,不同于pthread_t 类型的线程ID,和进程ID是一样,线程ID是pid_t 类型的变量,而且是用来唯一标示线程的一个整形变量。 如何查看一个线程的ID呢?
线程ID及进程地址空间布局
线程终止
pthread_exit 函数
pthread_cancel 函数
线程等待,线程为什么需要等待?
实例:
分离线程
linux 线程互斥
背景
互斥量 mutex
实例
互斥量实现原理
可重入锁 VS 线程安全
常见的线程不安全情况
常见的线程安全情况
常见不可重入情况
可重入与线程安全联系
可重入线程安全区别
死锁
避免死锁
条件变量
同步概念与竞态条件
条件变量函数
初始化
销毁
等待条件满足
唤醒等待
案例:
为什么ptrhead_cond_wait 需要互斥量
- 条件等待是线程间同步的一种手段,如果只有一个线程,条件不满足,一直等都不会满足,所以必须要有一个线程通过某些操作,改变共享变量,使原先不满足的条件变得满足,并且有好的通知等待在条件变量的线程。
- 条件变量不会无缘无故的突然变得满足,必然会牵扯到共享数据的变化。所以一定要用互斥锁来保护。没有互斥锁就无法安全的获取和修改共享数据。
条件变量使用规范
生产者消费者模型
POSIX 信号量
基于二元信号量实现单一生产者单一消费者模型
读写锁
读写锁接口
设置读写优先
初始化
销毁
加锁解锁
案例
线程池
应用场景
实例
线程安全的单例模式
STL、智能指针和线程安全