Linux中线程的介绍

目录

一.线程概念

1.什么是线程

二.Linux进程与线程

三.pthread库

3.1线程创建

3.2线程等待

3.2线程终止

 3.4分离线程

四.线程ID及进程地址空间布局


一.线程概念

1.什么是线程

1.在一个程序里的一个执行路线就叫做线程(thread)。更准确的定义是:线程是“一个进程内部的控制序列”
2.一切进程至少都有一个执行线程
3.线程在进程内部运行,本质是在进程地址空间内运行
4.在Linux系统中,在CPU眼中,看到的PCB都要比传统的进程更加轻量化
5.透过进程虚拟地址空间,可以看到进程的大部分资源,将进程资源合理分配给每个执行流,就了线程执行流
补充:一个进程的创建实际上伴随着其进程控制块(task_struct)、进程地址空间(mm_struct)以及页表的创建,虚拟地址和物理地址就是通过页表建立映射的。进程都有自己独立的进程地址空间和独立的页表,也就意味着所有进程在运行时本身就具有独立性。
如果我们在创建“进程”时,只创建task_struct,并要求创建出来的task_struct和父task_struct共享进程地址空间和页表,如图:
Linux中线程的介绍_第1张图片

上面就创建了4个线程,其中每一个线程都是当前进程里面的一个执行流。

重新理解进程与线程:

进程:是上面图中框中的内容,包含task_struct,进程地址空间,页表,文件。信号等等,合起来称之为一个进程。站在内核角度来理解进程:承担分配系统资源的基本实体,叫做进程。

线程:是最小的基本调度单位,一个进程内的线程共享其中的资源。

其中,Linux系统中没有真正意义上的线程,而是用进程模拟的。

操作系统要支持真的线程,那么就需要对这些线程进行管理。比如说创建线程、终止线程、调度线程、切换线程、给线程分配资源、释放资源以及回收资源等,而在Linux看来,描述线程的控制块和描述进程的控制块是类似的,因此Linux并没有重新为线程设计数据结构,而是直接复用了进程控制块,所以我们说Linux中的所有执行流都叫做轻量级进程。没有真正的线程,那么也就绝对没有真正意义上的线程相关的系统调用!

但是Linux可以提供创建轻量级进程的接口,如vfork函数,原生线程库pthread

pid_t vfork(void);

返回值与fork函数相同

  • 给父进程返回子进程的PID。
  • 给子进程返回0。

原生线程库:原生线程库实际就是对轻量级进程的系统调用进行了封装,在用户层模拟实现了一套线程相关的接口。

线程的优点:

创建一个新线程的代价要比创建一个新进程小得多。
与进程之间的切换相比,线程之间的切换需要操作系统做的工作要少很多。
线程占用的资源要比进程少很多。
能充分利用多处理器的可并行数量。
在等待慢速IO操作结束的同时,程序可执行其他的计算任务。
计算密集型应用,为了能在多处理器系统上运行,将计算分解到多个线程中实现。
IO密集型应用,为了提高性能,将IO操作重叠,线程可以同时等待不同的IO操作。
线程的缺点:
性能损失: 一个很少被外部事件阻塞的计算密集型线程往往无法与其他线程共享同一个处理器。如果计算密集型线程的数量比可用的处理器多,那么可能会有较大的性能损失,这里的性能损失指的是增加了额外的同步和调度开销,而可用的资源不变。

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

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

编程难度提高: 编写与调试一个多线程程序比单线程程序困难得多。
线程异常:
  • 单个线程如果出现除零、野指针等问题导致线程崩溃,进程也会随着崩溃。
  • 线程是进程的执行分支,线程出异常,就类似进程出异常,进而触发信号机制,终止进程,进程终止,该进程内的所有线程也就随即退出。

二.Linux进程与线程

进程是资源分配的基本单位 ,线程是调度的基本单位
线程共享进程数据,但也拥有自己的一部分数据:
线程ID
一组寄存器(存储每个线程的上下文信息)
栈(每个线程都有临时的数据,需要压栈出栈)
errno(C语言提供的全局变量,每个线程都有自己的)
信号屏蔽字
调度优先级
进程的多个线程共享:

因为是在同一个地址空间,因此所谓的代码段(Text Segment)、数据段(Data Segment)都是共享的:

如果定义一个函数 , 在各线程中都可以调用, 如果定义一个全局变量 , 在各线程中都可以访问到

除此之外,各线程还共享以下进程资源和环境:

文件描述符表。(进程打开一个文件后,其他线程也能够看到)
每种信号的处理方式。(SIG_IGN、SIG_DFL或者自定义的信号处理函数)
当前工作目录。(cwd)
用户ID和组ID。

三.pthread库

pthread线程库是应用层的原生线程库:

  • 要使用这些函数库,要通过引入头文件
  • 链接这些线程函数库时,要使用编译器命令的“-lpthread”选项
  • 应用层指的是这个线程库并不是系统接口直接提供的,而是由第三方帮我们提供的。
  • 原生指的是大部分Linux系统都会默认带上该线程库。
  • 与线程有关的函数构成了一个完整的系列,绝大多数函数的名字都是以“pthread_”打头的。

3.1线程创建

创建线程的函数:pthread_create

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

参数介绍:

  • thread:获取创建成功的线程ID,该参数是一个输出型参数。
  • attr:用于设置创建线程的属性,传入NULL表示使用默认属性。
  • start_routine:该参数是一个函数地址,表示线程例程,即线程启动后要执行的函数。
  • arg:传给线程例程的参数。

返回值:线程创建成功返回0,失败返回错误码。

一个程序启动时,就有一个进程被操作系统创建,与此同时一个线程也立刻运行,这个线程就叫做主线程。主线程调用pthread_create函数创建一个新线程,此后新线程就会跑去执行自己的新例程,而主线程则继续执行后续代码。

例如:

#include
using namespace std;
#include
#include
void* rountine(void* argv)
{
  while (true)
  {
    string s = (char *)argv;
    cout << s << " pid=" << getpid() << endl;
    sleep(1);
  }
}
int main()
{
  pthread_t tid1;
  pthread_t tid2;
  pthread_t tid3;

  pthread_create(&tid1,nullptr,rountine,(void*)"thread1");
  pthread_create(&tid2,nullptr,rountine,(void*)"thread2");
  pthread_create(&tid3,nullptr,rountine,(void*)"thread3");

  while(true)
  {
    cout<<"mainthread running"<<"pid= "<

结果:

Linux中线程的介绍_第2张图片

 用ps -aL命令查看显示当前的轻量级进程。

  • 默认情况下,不带-L,看到的就是一个个的进程。
  • -L就可以查看到每个进程内的多个轻量级进程。

例如:

Linux中线程的介绍_第3张图片

 其中,LWP(Light Weight Process)就是轻量级进程的ID,可以看到显示的三个轻量级进程的PID是相同的,因为它们属于同一个进程。

注意: 在Linux中,应用层的线程与内核的LWP是对应的,实际上操作系统调度的时候采用的是LWP,而并非PID,只不过我们之前接触到的都是单线程进程,其PID和LWP是相等的,所以对于单线程进程来说,调度时采用PID和LWP是一样的。

获取线程ID:

  • 创建线程时通过输出型参数获得。
  • 通过调用pthread_self函数获得。

pthread_self函数:

pthread_t pthread_self(void);

例如:

void *rountine(void *argv)
{
  while (true)
  {
    string s = (char *)argv;
    cout << s << " pid=" << getpid() <<" "<<"tid="<Linux中线程的介绍_第4张图片

 可以看出主线程打印的tid与每个线程打印的tid是相同的。

注意: 用pthread_self函数获得的线程ID与内核的LWP的值是不相等的,pthread_self函数获得的是用户级原生线程库的线程ID,而LWP是内核的轻量级进程ID,它们之间是一对一的关系。

3.2线程等待

与进程类似,如果主线程不对新线程进行等待,那么这个新线程的资源也是不会被回收的。所以线程需要被等待,如果不等待会产生类似于“僵尸进程”的问题,也就是内存泄漏。

等待线程函数:pthread_join

int pthread_join(pthread_t thread, void **retval);

参数说明:

  • thread:被等待线程的ID。
  • retval:线程退出时的退出码信息。

返回值说明:

  • 线程等待成功返回0,失败返回错误码。

注意:调用该函数的线程会将挂起等待,直到ID为thread的线程终止,thread线程以不同的方法终止,通过pthread_join得到的终止状态是不同的。

如果thread线程通过return返回,retval所指向的单元里存放的是thread线程函数的返回值。
如果thread线程被别的线程调用pthread_cancel异常终止掉,retval所指向的单元里存放的是常数PTHREAD_CANCELED。
如果thread线程是自己调用pthread_exit终止的,retval所指向的单元存放的是传给pthread_exit的参数。
如果对thread线程的终止状态不感兴趣,可以传NULL给retval参数。

3.2线程终止

  1. 从线程函数return。
  2. 线程可以自己调用pthread_exit函数终止自己。
  3. 一个线程可以调用pthread_cancel函数终止同一进程中的另一个线程。

例如:

void *rountine(void *argv)
{
  while (true)
  {
    string s = (char *)argv;
    cout << s << " pid=" << getpid() <<" "<<"tid="<

举例子:

主线程运行3秒后,取消1,2号线程,3号线程运行5秒后自己退出。

void *rountine(void *argv)
{
  while (true)
  {
    string s = (char *)argv;
    cout << s << " pid=" << getpid() <<" "<<"tid="<Linux中线程的介绍_第5张图片

 3.4分离线程

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

补充:

线程被分离后,只是当其退出时不需要pthread_join操作,其未退出前依旧使用该进程的资源,甚至这个线程崩溃了也会影响其他线程。

可以是线程组内其他线程对目标线程进行分离,也可以是线程自己分离。

joinable和分离是冲突的,一个线程不能既是joinable又是分离的。

线程分离函数:

int pthread_detach(pthread_t thread);

线程分离成功返回0,失败返回错误码。

四.线程ID及进程地址空间布局

1.pthread_create函数会产生一个线程ID,该值与pthread_self()函数产生的结果是一样的,但与内核中的LWP不同。

2.内核中的LWP属于进程调度的范畴,因为线程是轻量级进程,是操作系统调度器的最小单位,所以需要一个数值来唯一表示该线程。

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

前面以介绍了Linux没有实现真正的线程,只提供LWP,也就意味着操作系统只需要对内核执行流LWP进行管理,而供用户使用的线程接口等其他数据,应该由线程库自己来管理。可以再来看下线程库。其实该库是一个动态库。

如图:

Linux中线程的介绍_第6张图片

 进程运行时动态库被加载到内存,然后通过页表映射到进程地址空间中的共享区,此时该进程内的所有线程都是能看到这个动态库的。每个线程都有自己私有的栈,其中主线程采用的栈是进程地址空间中原生的栈,而其余线程采用的栈就是在共享区中开辟的,线程的各种属性,还有自己的线程局部存储,当中包含了对应线程被切换时的上下文数据等就在该共享区的一块区域中,因此我们要找到一个用户级线程只需要找到该线程内存块的起始地址,然后就可以获取到该线程的各种信息。就可以认为该线程ID就是地址。

Linux中线程的介绍_第7张图片

你可能感兴趣的:(Linux学习,开发语言,linux)