【Linux】多线程01 --- 理解线程 线程控制及封装(上)

简介: 【Linux】多线程01 --- 理解线程 线程控制及封装

一、线程概念 – 理解线程与进程的区别和联系


在Linux中其实没有真正线程的概念,在Linux中线程的概念其实就是进程内部的一个执行流。在宏观层面上理解,线程是执行流这句话放在任何一个OS上都没错,但落实到具体操作系统上,不同的OS多线程实现策略是不一样的,例如Windows底层就有真正的线程实现(所以程序开多了会卡),而Linux的线程只是一种轻量级进程,下面我们落实到Linux系统的多线程实现策略上,来一起学习一下!


1. 再次理解用户级页表和进程地址空间


在我们写出下面这两行代码时,为什么编译器会报错呢?但是只写第一行编译器会报个Warning,可以编译通过,有没有想过?

char *ptr = "hello world!";
*ptr = "Hello";

在语言级别,我们给出的解释是:


第一行代码能编过的原因是权限缩小,虽然ptr是可读可写的权限,但在指向常量字符串"hello world"(堆区)之后,ptr的权限就变为了只读,所以如果仅仅修改一下权限,g++并不会报错,只是报个warning罢了,

但当解引用ptr,将ptr指向的内容修改为"H"字符串后,编译器就会报错了,因为我们说ptr的权限是只读,因为常量字符串是不可修改的,你现在进行了ptr指向内容的修改,编译器则一定会报错!


现在我们来看看内核角度,为什么ptr指针指向一修改,编译器就能报错呢?进程就会退出呢?进程怎么知道的?怎么被终止的?


193222d6ce6a41bf87100071ef9a0dbc.png



实际上,页表帮我们做的事情不止虚拟地址到物理地址空间的映射转换这么简单!他还会记录虚拟地址映射到物理地址的权限,如读写及执行权限,用户层/内核层权限,虚拟地址是否有效命中到对应的物理地址上等等!

所以上面解引用指针ptr时,底层经过用户级页表映射,MMU会发现ptr这个虚拟地址对应的权限是R权限,那就是只读不能被修改,此时进程如果执意要进行修改,那就会导致硬件MMU直接报错,操作系统知晓MMU报错后,就会给对应的进程发11号信号(Segmentation fault),当进程在合适的时候就会去处理这个信号,处理信号的默认动作就是终止当前进程!


如何理解用户级页表和进程地址空间呢?-


从功能角度来谈,进程地址空间就是进程能够看到的资源的窗口,因为进程所占用的系统资源都是分配在物理内存上的,想要访问这些系统资源都需要地址空间来作为中间件去访问。

而页表真正决定了进程实际拥有资源的情况,进程对某个资源具有什么权限?访问此资源需要的进程级别?一个不属于当前进程的虚拟地址,进程能否通过这个地址访问对应物理内存上的资源呢?这些问题都需要依靠页表来解决!所以进程对资源的真正掌握情况是通过页表来实现的!

那该如何对进程的资源进行划分呢? 合理的对地址空间+页表进行资源划分,我们就可以对进程的所有资源进行分类!


那虚拟地址到底是如何转换到物理地址的?

实际上,OS作为软硬件资源的管理者,实施的还是那套经典方法:“先组织,在管理”。

我们知道Linux中虚拟地址到物理地址的转换是通过MMU(内存管理单元)和页表(page table)来实现的。而页表是OS的一种数据结构,用于存储虚拟地址和物理地址之间的映射关系。Linux使用多级页表,通常有四级:页全局目录(PGD)、页上级目录(PUD)、页中间目录(PMD)和页表(PT)。每一级页表都有一个索引,用于定位下一级页表的地址。最后一级页表中的表项包含了物理地址的基地址,再加上虚拟地址的偏移量,就得到了最终的物理地址。


这个过程可以用以下图来表示:


2502fb45f8554132bb0e59fdb788baf3.png


这样页表最多占用4MB ,而且可能有的页表不会加载

具体参考: Linux内核学习3——虚拟地址转换成物理地址


2.理解Linux的轻量级进程


1.我们可以将进程的资源划分给不同的线程,让线程来执行某些代码块儿,而线程就是进程内部的一个执行流。那么此时我们就可以通过地址空间+页表的方式将进程的资源划分给每一个线程,那么线程的执行粒度一定比之前的进程更细!


2.Linux中并没有专门为线程创建真正的数据结构来管理,而是直接复用进程的PCB当作线程的描述结构体,用PCB来当作Linux系统内部的"线程"。 这么做的好处是什么呢?如果要创建真正的线程结构体,那就需要对其进行维护,需要和进程构建好关系,每个线程还需要和地址空间进行关联,CPU调度进程和调度线程还不一样,操作系统要对内核中大量的进程和线程做管理,这样维护的成本太高了!不利于系统的稳定性和健壮性,所以直接复用PCB是一个很好的选择,维护起来的成本很低,因为直接复用原来的数据结构就可以实现线程。所以这也是linux系统既稳定又高效,成为世界上各大互联网公司服务器系统选择的原因。


3.所以Linux内核是怎么设计线程的? Linux用进程的PCB来模拟线程,是完全属于自己实现的一套方案!站在CPU的角度来看,每一个PCB,都可以称之为轻量级进程,因为它只需要PCB即可,而进程承担分配的资源更多,量级更重!

Linux线程是CPU调度的基本单位,进程是承担分配系统资源的基本实体!

进程用来整体向操作系统申请资源,线程负责向进程伸手要资源。如果线程向操作系统申请资源,实质上也是进程在向操作系统要资源,因为线程在进程内部运行,是进程内部的一部分!

用pcb模拟线程的好处是维护成本大大降低,系统变得更加可靠、高效、稳定。windows操作系统是给老百姓用的,可用性必须要高。linux是给程序用的,必须要可靠稳定高效。所以由于需求的不同,产生了不同实现方案的操作系统。


我们说Linux中没有线程只有轻量级进程,怎么证明呢?

因为Linux内核并没有单独为线程设计数据结构,而是复用了进程的PCB。所以Linux无法直接提供创建线程的系统调用接口,只能提供创建轻量级进程的接口。轻量级进程是建立在内核之上并由内核支持的用户线程,它是内核线程的高度抽象,每一个轻量级进程都与一个特定的内核线程关联。


Linux为了让用户能够得到他想要的线程,只能通过原生线程库来给用户他想要的,所以在用户和内核之间有一个软件层,这个软件层负责给程序员创建出程序员想要的线程。除这个原生线程库会创建出线程结构体外,但同时linux内核中会通过一个叫clone的系统调用来对应的创建出一个轻量级进程,所以我们称这个库是用户级线程库,因为linux是没有真正意义上的线程的,无法给用户创建线程,只能创建对应的PCB,也就是轻量级进程!

我们要证明Linux中没有线程只有轻量级进程,可以通过查看 /proc目录下的进程信息,或者使用ps -eLf 命令查看进程和线程的标识符。所以Linux下线程实际上是封装了原生线程库的!


4258e7338eeb4cf0a338112f45ac54cc.png


而且如果在编译时不带-lpthread选项,可以看到g++报错pthread_create()函数未定义,其实就是因为链接器链接不上具体的动态库,此时就可以看出来linux内核中并没有真正意义的线程,他无法提供创建线程的接口,而只能通过第三方库libpthread.so或libpthread.a来提供创建线程的接口。


2b8a9c02a31441db8a00078c21691da9.png

那线程切换的工作谁来做? OS

如何理解线程之间切换不需要切换地址空间、页表、cache缓存?

因为线程是共享这些资源的,所以当一个进程中两个线程进行切换时,它们不需要改变地址空间、页表、cache缓存,这样可以减少切换的开销和提高效率!另外我们要知道,虚拟地址空间和页表是由操作系统管理的,而cache缓存是由CPU管理的。如果切换的线程在不同的CPU核心上运行,那么chche缓存可能失效,因为不同的核心有不同的cache缓存。

如何理解cache缓存? 01

如何理解cache缓存? 02


3. 线程的属性


请简述什么是LWP?


LWP是轻量级进程,在Linux下进程是资源分配的基本单位,线程是cpu调度的基本单位,而线程使用进程pcb描述实现,并且同一个进程中的所有pcb共用同一个虚拟地址空间,因此相较于传统进程更加的轻量化。


12020156f02e481dbe8c503e2d7f6565.png


我们可以通过ps -aL 命令就可以看到正在运行的线程有哪些,可以看到有两个标识符,一个是PID,一个是LWP(light weight process),所以CPU在调度那么多的PCB时,其实是以LWP作为每个PCB的标识符,以此来区分进程中的多个轻量级进程(线程)。

主线程的PID和LWP是相同的,所以从CPU调度的角度来看,如果进程内只有一个执行流,那么LWP和PID标识符对于CPU来说都是等价的,但当进程内有多个执行流时,CPU是以LWP作为标识符来调度线程,而不是以PID来进行调度。


79b93b0b167f4ce6a3539a2da7b1a404.png


线程一旦被创建,几乎所有的资源都是共享的!

因为一个进程中的所有线程都共享进程地址空间,地址空间中的栈,堆,已初始化/未初始化数据段,代码段,这些区域中的资源都是共享的,每个线程都可以看到,那么任意一个线程就都可以去访问这些资源了!

所以如果线程想要通信,那成本是要比进程间通信低很多的,由于进程具有独立性,所以进程间通信的前提是让不同的进程能够看到同一份资源,看到同一份资源的成本就很大,例如之前我们所学的,通过创建管道或共享内存的方式来让进程先能够看到同一份资源,然后才能继续向下谈通信的话题。但是今天,对于线程来说完全不需要考虑看到同一份资源这个问题,因为一个进程内的所有线程天然的可以共享进程地址空间,你可以直接定义一个全局缓冲区,一个线程往里写,另一个线程立马就可以从缓冲区中看到另一个线程写的信息,所以线程通信的成本非常低!


296b4e206211449eb961c2f5ce862166.png


多线程程序中,一个线程崩溃,整个进程都绷了 为什么?线程是进程的执行分支,线程干了就是进程干了!(系统角度)


32de67781890480f9814b6bb6b91dc34.png

线程不需要考虑异常处理情况,进程会处理


那什么资源是线程应该私有的呢?


a.线程PCB的属性,例如线程id,线程调度优先级,线程状态等等…(这个回答不回答不重要,重要的是回答出下面那两点)

b.线程在被CPU调度时,也是需要进行切换的,所以,线程的上下文结构也必须是线程的私有资源。(这点可以体现出我们知道线程是动态的,CPU调度线程会轮换,线程会被切换上来也会被切换下去)

c.每个线程都会执行自己的线程函数,就是那个start_routine函数指针所指向的函数,所以每个线程都有自己的私有栈结构。

线程私有制最重要的两个概念: 一组寄存器 独立的栈结构


那我们如何理解线程拥有自己独立的栈结构?


4b7e48dcc65b4d68b007af71974c1f3b.png

通过地址打印可以发现线程库(管理线程,先描述在组织)对线程地址数据进行了组织封装

同样的在底层 :更改寄存器偏移量就能切换栈


eca6a1d66be746d69da9c4140b4f5fbb.pnga972891ebe11424587550b4e12abce3d.png



Linux中轻量级进程之间可以共享进程的资源和环境,如代码段、数据段、堆、文件描述符、信号处理器、当前工作目录等。但是轻量级进程也有自己的私有数据,如寄存器组、栈空间、错误返回码、信号屏蔽字、优先级等


小细节:

为什么一个变量要取首地址?地址最低的地址 — 为了方便拿数据 — 寄存器偏移



8016090e8fb9402a993f1e730537177d.png


4.线程的优点和缺点及应用


线程优点:


026d9151f4544aa3bfc051b2cbe7cf1c.png



缺点:



1d04e75392a446beb4b51e87d56f1168.png


线程的两种应用场景:



f9ec828e8db84a72a5b604f6b832a858.png



那线程越多越好吗? 对计算密集型一般选择CPU核数多少个创建多少个进程/线程最合适


e283504ef37646a186e9df807c6f9f94.png


二、线程的控制 — 学学接口使用


这里我们只讲解线程的基本控制 — 线程的创建终止和等待


1. 线程的创建


要创建一个新的线程,可以使用pthread_create()函数,它需要四个参数:


第一个参数是一个指向pthread_t类型的变量的指针,用来存储新创建的线程的标识符。

第二个参数是一个指向pthread_attr_t类型的变量的指针,用来设置新创建的线程的属性,如优先级、栈大小等。如果为NULL,则使用默认属性。

第三个参数是一个函数指针,指向新创建的线程要执行的函数。该函数必须返回void *类型,并接受一个void *类型的参数。

第四个参数是一个void *类型的变量,作为第三个参数所指向函数的参数传递给新创建的线程。

如果成功创建了新线程,则pthread_create函数返回0,并将新线程的标识符存储在第一个参数所指向的变量中;否则返回错误码,并不修改第一个参数所指向的变量。


下面是一个简单的示例代码,创建了两个新线程,并分别打印出"Hello"和"World":

#include <stdio.h>
#include <pthread.h>
void *say_hello(void *arg) {
    printf("Hello\n");
    return NULL;
}
void *say_world(void *arg) {
    printf("World\n");
    return NULL;
}
int main() {
    pthread_t tid1, tid2;
    int ret1, ret2;
    ret1 = pthread_create(&tid1, NULL, say_hello, NULL);
    if (ret1 != 0) {
        perror("pthread_create");
        return -1;
    }
    ret2 = pthread_create(&tid2, NULL, say_world, NULL);
    if (ret2 != 0) {
        perror("pthread_create");
        return -1;
    }
    pthread_exit(NULL); // 主线程退出,但不终止其他线程
}


2.线程的终止和等待


要终止一个线程,有三种方法:


第一种方法是让线程函数正常返回,返回值可以通过另一个线程调用pthread_join函数来获取。

第二种方法是让线程函数调用pthread_exit函数,并传递一个void *类型的参数作为返回值。该函数会立即终止调用者所在的线程,并释放其占用的资源。返回值同样可以通过pthread_join函数来获取。

第三种方法是让另一个线程调用pthread_cancel函数,并传递要终止的线程的标识符作为参数。该函数会向目标线程发送一个取消请求,但不一定会立即终止目标线程,因为目标线程可以设置自己对取消请求的响应方式。


为什么要有线程等待?pthread_join()

防止目标线程还没办完事就被结束释放了


我们写线程等待是为了让调用线程等待目标线程结束,然后获取它的返回值或者退出状态。如果不等待,那么目标线程可能还没有结束就被释放了,导致资源泄露或者不一致的结果。pthread_join()函数就是用来实现线程等待的。它需要传入一个线程标识符和一个指向void*的指针,如果目标线程正常退出,那么它的返回值会被存储在指针所指向的位置;如果目标线程被取消,那么指针所指向的位置会被设置为-1。pthread_join()函数只能等待一个可连接的线程,也就是说,目标线程没有被设置为分离状态。而且,同一个线程只能被等待一次,否则会导致未定义的行为。当pthread_join()函数成功返回时,目标线程就会被分离,不再占用系统资源。


下面是一个示例代码,主线程创建了两个子线程,并分别等待它们终止,并获取它们的返回值:

#include <stdio.h>
#include <pthread.h>
void *add(void *arg) {
    int a = 10;
    int b = 20;
    int c = a + b;
    printf("The sum is %d\n", c);
    pthread_exit((void *)&c); // 以c的地址作为返回值
}
void *sub(void *arg) {
    int a = 10;
    int b = 20;
    int c = a - b;
    printf("The difference is %d\n", c);
    return (void *)&c; // 以c的地址作为返回值
}
int main() {
    pthread_t tid1, tid2;
    int ret1, ret2;
    void *res1, *res2;
    ret1 = pthread_create(&tid1, NULL, add, NULL);
    if (ret1 != 0) {
        perror("pthread_create");
        return -1;
    }
    ret2 = pthread_create(&tid2, NULL, sub, NULL);
    if (ret2 != 0) {
        perror("pthread_create");
        return -1;
    }
    ret1 = pthread_join(tid1, &res1); // 等待第一个子线程结束,并获取其返回值
    if (ret1 != 0) {
        perror("pthread_join");
        return -1;
    }
    ret2 = pthread_join(tid2, &res2); // 等待第二个子线程结束,并获取其返回值
    if (ret2 != 0) {
        perror("pthread_join");
        return -1;
    }
    printf("The result of add is %d\n", *(int *)res1); // 打印第一个子线程返回值
    printf("The result of sub is %d\n", *(int *)res2); // 打印第二个子线程返回值
    return 0;
}


相关文章
|
2月前
|
存储 消息中间件 资源调度
C++ 多线程之初识多线程
这篇文章介绍了C++多线程的基本概念,包括进程和线程的定义、并发的实现方式,以及如何在C++中创建和管理线程,包括使用`std::thread`库、线程的join和detach方法,并通过示例代码展示了如何创建和使用多线程。
48 1
C++ 多线程之初识多线程
|
2月前
|
Java 开发者
在Java多线程编程中,创建线程的方法有两种:继承Thread类和实现Runnable接口
【10月更文挑战第20天】在Java多线程编程中,创建线程的方法有两种:继承Thread类和实现Runnable接口。本文揭示了这两种方式的微妙差异和潜在陷阱,帮助你更好地理解和选择适合项目需求的线程创建方式。
20 3
|
2月前
|
Java 开发者
在Java多线程编程中,选择合适的线程创建方法至关重要
【10月更文挑战第20天】在Java多线程编程中,选择合适的线程创建方法至关重要。本文通过案例分析,探讨了继承Thread类和实现Runnable接口两种方法的优缺点及适用场景,帮助开发者做出明智的选择。
19 2
|
2月前
|
Java
Java中多线程编程的基本概念和创建线程的两种主要方式:继承Thread类和实现Runnable接口
【10月更文挑战第20天】《JAVA多线程深度解析:线程的创建之路》介绍了Java中多线程编程的基本概念和创建线程的两种主要方式:继承Thread类和实现Runnable接口。文章详细讲解了每种方式的实现方法、优缺点及适用场景,帮助读者更好地理解和掌握多线程编程技术,为复杂任务的高效处理奠定基础。
31 2
|
2月前
|
Java 开发者
Java多线程初学者指南:介绍通过继承Thread类与实现Runnable接口两种方式创建线程的方法及其优缺点
【10月更文挑战第20天】Java多线程初学者指南:介绍通过继承Thread类与实现Runnable接口两种方式创建线程的方法及其优缺点,重点解析为何实现Runnable接口更具灵活性、资源共享及易于管理的优势。
36 1
|
2月前
|
安全 Java 开发者
Java多线程中的`wait()`、`notify()`和`notifyAll()`方法,探讨了它们在实现线程间通信和同步中的关键作用
本文深入解析了Java多线程中的`wait()`、`notify()`和`notifyAll()`方法,探讨了它们在实现线程间通信和同步中的关键作用。通过示例代码展示了如何正确使用这些方法,并分享了最佳实践,帮助开发者避免常见陷阱,提高多线程程序的稳定性和效率。
38 1
|
2月前
|
Java
在Java多线程编程中,`wait()` 和 `notify()/notifyAll()` 方法是线程间通信的核心机制。
在Java多线程编程中,`wait()` 和 `notify()/notifyAll()` 方法是线程间通信的核心机制。它们通过基于锁的方式,使线程在条件不满足时进入休眠状态,并在条件成立时被唤醒,从而有效解决数据一致性和同步问题。本文通过对比其他通信机制,展示了 `wait()` 和 `notify()` 的优势,并通过生产者-消费者模型的示例代码,详细说明了其使用方法和重要性。
28 1
|
2月前
|
存储 前端开发 C++
C++ 多线程之带返回值的线程处理函数
这篇文章介绍了在C++中使用`async`函数、`packaged_task`和`promise`三种方法来创建带返回值的线程处理函数。
52 6
|
2月前
|
存储 运维 NoSQL
Redis为什么最开始被设计成单线程而不是多线程
总之,Redis采用单线程设计是基于对系统特性的深刻洞察和权衡的结果。这种设计不仅保持了Redis的高性能,还确保了其代码的简洁性、可维护性以及部署的便捷性,使之成为众多应用场景下的首选数据存储解决方案。
42 1
|
2月前
|
C++
C++ 多线程之线程管理函数
这篇文章介绍了C++中多线程编程的几个关键函数,包括获取线程ID的`get_id()`,延时函数`sleep_for()`,线程让步函数`yield()`,以及阻塞线程直到指定时间的`sleep_until()`。
25 0
C++ 多线程之线程管理函数