【Linux】volatile | SIGCHLD | 多线程概念

简介: 【Linux】volatile | SIGCHLD | 多线程概念

1. volatile

在vscode中,创建signal.c文件

b1329a4cb3a548ac91d537d443ce2a44.png

故意在while中没有写代码块,让编译器认为在main中,quit只会被检测

510c236a355f4be8bf52bd6244d6e24e.png

运行可执行程序后,当输入 2号信号时,调用自定义方法将quit置为1,跳出while循环


编译器优化

编译器有对应的编译优化级别 -O1 -O2 -O3

b317bbd4ab074df895a042ebd664020d.png

在makefile中,添加-O2的优化级别

66264f156b7a41389b60f231cef8650b.png

再次执行可执行程序时,输入2号信号,只调用了对应的自定义方法,说明进入main中的while循环 无法停止

68fa458cd3f846389106c3864d437d10.png

全局变量被加载到内存中

while循环判断实际上是一种计算,会在CPU去执行的

进行计算时,将内存中的数据load到CPU中的寄存器上,然后才对quit进行真假判断

内存中有当前进程的代码和数据,CPU中有对应的PC指针去指向

若while循环条件满足,pc指针继续指向while循环的代码


10f113c3c966418eae0c1af564b39593.png

若while循环条件不满足,则pc指针会向下移动,指向下一条语句,并向后执行


正常来说,每次都要尝试数据从内存load到CPU的过程

在main函数中 quit是没有被修改的,只是被检测,编译器发现quit变量没有被修改,就不会重复把数据从内存load到CPU中

因此编译器会优化,只需第一次把数据从内存load到CPU中,后续只需要检测寄存器中的数据即可


fa721e2a39584607bb7155eb5fced8b1.png

所以刚开始quit为0,将0传给CPU中,后续输入2号信号后,调用自定义方法,quit变为1,

但是在CPU中依旧quit为0,修改了内存中的quit,那CPU中quit就无法影响内存的quit了

一直使用quit为0,所以while循环无法退出


所以要告诉编辑器,保证每次检测,都要从内存中进行数据读取,不要用寄存器中的数据

为了解决这个问题,使用volatile


58eeaf4c67d241f4a704e0d6a125f93c.png

使quit变为volatile修饰的全局变量

volatile作用:杜绝对quit变量进行寄存器级别的优化,保证内存可见性

56b7cbdd21d64fb6a8b88771a2106e26.png


再次运行可执行程序,输入2号信号,跳出while循环,执行main中的printf打印

2.SIGCHLD信号

子进程在运行时会退出,若父进程不关心子进程退出,子进程就会变成僵尸状态

父进程要使用 wait/waitpid去等待子进程 回收僵尸,获取子进程的退出结果

即父进程进行阻塞式等待(什么都不干,就等待子进程的退出结果)

父进程主动检测--------因为子进程退出了,父进程暂时不知道


子进程要退出时,会向父进程发信号 SIGCHLD

父进程对于该信号的处理动作是SIG_DFL 什么都不做

验证SIGCHLD的存在

#include<stdio.h>
#include<signal.h>
#include<unistd.h>
#include<sys/types.h>
#include<stdlib.h>
pid_t id;
void handler(int signo)
{
    sleep(5);
    printf("捕捉到一个信号:%d,who:%d\n",signo,getpid());
    //-1代表等待任意一个子进程
    pid_t ret=waitpid(-1,NULL,0);
    if(ret>0)
    {
        printf("wait success,ret:%d,id:%d\n",ret,id);
    }
}
int main()
{
    signal(SIGCHLD,handler);//自定义捕捉
   id=fork();
  if(id==0)
  {
    //子进程
    int cnt=5;
    while(cnt)
    {
        printf("我是子进程,我的pid是:%d,ppid:%d\n",getpid(),getppid());
        sleep(1);
        cnt--;
    }
    exit(1);
  }
  //父进程
  while(1)
  {
    sleep(1);
  }
    return 0;
}


实现一个自定义方法,当子进程退出时,会向父进程发送信号SIGCHLD

调用对应的自定义方法,打印出对应的信号以及父进程的pid值


27f580b0112248878a2c3a19737cb47a.png


运行可执行程序后,who的pid值就是父进程的pid

17号信号就是SIGCHLD

同时通过waitpid返回的pid值与子进程的pid值相同


通过for循环创建出10个子进程,若10个子进程发送信号,处理信号需要一个一个处理,所以当发送一个信号时,可能暂时被保留下来,但是父进程只有一个比特位 pending位图保留信号,当再次保留信号时,pending位图再次被置为1

,把上次信号覆盖掉,造成信号丢失,最后处理信号时可能比发送信号的数量少


b125aced06fa43ce98de7dcbc5543c69.png

有多少子进程,就回收几次,若没有子进程就退出即可

3. 多线程

多线程概念

1.线程是一个执行分支,执行粒度比进程更细,调度成本更低

2.线程是进程内部的一个执行流

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


下面将会对于这些概念进行解析


理解概念

什么是多线程

37a8c904fd044c879accb813d5d0321a.png

创建子进程时,只创建PCB,创建出来的PCB继续指向父进程的地址空间

代码区假设有很多函数存在,让不同的PCB执行不同的函数

相当于在一个进程内部包含多个执行流,指向同一个进程内的不同代码区域

每个PCB都是单独的线程

线程在地址空间内运行,所以该线程属于进程

调度成本低

多个线程之间使用的是同一个地址空间和页表

若为新的进程,则还需再次找到新的地址空间和页表并进行切换


局部性原理

CPU内部存在一个硬件cache

把一部分数据预先加载到缓冲区里,提高整机的效率

如CPU正在访问第100行代码,未来有很大概率访问101行,

所以一旦访问到第100行就把100行附近的数据全部load到内存中或者CPU的cache中


多线程在执行代码和数据时,依旧属于这个进程,CPU里面的cache会缓存各种各样的数据

261775586121490c9b56e91b1fc2fbb3.png

若进行线程切换,因为都属于同一个进程,cache中缓存的数据是不变的

083e5823917c4488bdb3979b6d2cf24d.png

若进行进程切换,把当前缓存的数据设为失效,cache要重新加载当前的代码和数据

调度成本更低,体现在不用对cache进行切换

什么叫做进程

0b1f844489794e4383c00ded88724c9d.png

task_struct 叫做执行流

进程包含 一大堆的执行流、地址空间、页表以及该进程对应的代码和数据

所以进程是承担分配系统资源的基本实体


相关文章
|
3天前
|
安全 Java Kotlin
Java多线程——synchronized、volatile 保障可见性
Java多线程中,`synchronized` 和 `volatile` 关键字用于保障可见性。`synchronized` 保证原子性、可见性和有序性,通过锁机制确保线程安全;`volatile` 仅保证可见性和有序性,不保证原子性。代码示例展示了如何使用 `synchronized` 和 `volatile` 解决主线程无法感知子线程修改共享变量的问题。总结:`volatile` 确保不同线程对共享变量操作的可见性,使一个线程修改后,其他线程能立即看到最新值。
|
24天前
|
调度 开发者
核心概念解析:进程与线程的对比分析
在操作系统和计算机编程领域,进程和线程是两个基本而核心的概念。它们是程序执行和资源管理的基础,但它们之间存在显著的差异。本文将深入探讨进程与线程的区别,并分析它们在现代软件开发中的应用和重要性。
45 4
|
2月前
|
资源调度 Linux 调度
Linux C/C++之线程基础
这篇文章详细介绍了Linux下C/C++线程的基本概念、创建和管理线程的方法,以及线程同步的各种机制,并通过实例代码展示了线程同步技术的应用。
35 0
Linux C/C++之线程基础
|
2月前
|
Ubuntu Java Linux
Linux操作系统——概念扫盲I
Linux操作系统——概念扫盲I
54 4
|
2月前
|
缓存 Java 编译器
【多线程-从零开始-伍】volatile关键字和内存可见性问题
【多线程-从零开始-伍】volatile关键字和内存可见性问题
44 0
|
2月前
|
安全 Linux
Linux线程(十一)线程互斥锁-条件变量详解
Linux线程(十一)线程互斥锁-条件变量详解
|
3月前
|
数据采集 消息中间件 并行计算
进程、线程与协程:并发执行的三种重要概念与应用
进程、线程与协程:并发执行的三种重要概念与应用
78 0
|
4月前
|
存储 缓存 Linux
在Linux中,文件系统概念是什么?
在Linux中,文件系统概念是什么?
|
4月前
|
存储 安全 Linux
在Linux中,用户和组的概念是什么?
在Linux中,用户和组的概念是什么?
|
4月前
|
Linux 持续交付 虚拟化
在Linux中,Docker和容器虚拟概念是什么?
在Linux中,Docker和容器虚拟概念是什么?