linux 进程

news/2024/11/20 11:34:59/

文章目录

    • 1、进程的状态
    • 2、进程的组织
    • 3、进程的控制
      • 3.1、进程的创建
        • fork 函数
          • fork 拷贝和共享
          • fork 原理
          • fork 的写时复制
        • exec 函数族
          • exec 原理
      • 3.2、进程的终止
        • exit 函数
        • * 僵死进程
        • * 孤儿进程
      • 3.3、进程的阻塞和唤醒
      • 3.4、进程的切换
    • 4、进程间通信
    • 5、进程调度算法

进程是可执行程序的实例,是资源分配和调度的基本单位。

进程:动态执行的程序 + 虚拟内存 + 虚拟 CPU

1、进程的状态

进程的基本状态

  • 运行态 Running:进程正在占用 CPU。
  • 就绪态 Ready:进程具备执行条件,等待获取 CPU。
  • 阻塞态 Blocked:进程等待某一事件而暂停运行。

在这里插入图片描述

一个进程从运行态到阻塞态是主动行为,而从阻塞态到就绪态是被动行为,需要其他进程的协助

此外,进程的状态还包括

  • 创建态 New:进程正在被创建
  • 结束态 Exit:进程正在从系统中消失

为减少阻塞态的进程占用物理内存,在虚拟内存管理的操作系统中,通常会把阻塞态的进程换出到硬盘,等待再次运行时,再从硬盘换入到物理内存。这种进程没有占用物理内存的情况称为挂起态。ctrl + z

挂起态分为

  • 阻塞挂起态:进程在外存并等待某个事件的出现
  • 就绪挂起态:进程在外存,但只要进入内存,就能立刻执行

在这里插入图片描述

查看进程的状态

# 查看进程状态
ps -elf 'UNIX风格
ps aux  'BSD风格# 查看系统的内存占用
free# 动态显示系统当中的进程
top

2、进程的组织

进程映像(进程实体):PCB + 程序段 + 数据段

  • 进程控制块 PCB:描述进程的基本情况和运行状态,进而控制和管理进程。
  • 程序段:进程调度到 CPU 执行的代码段,可被多进程共享
  • 数据段

PCB 是进程存在的唯一标识。创建进程就是创建进程映像中的 PCB,撤销进程就是撤销进程的 PCB。其中存储了各种静态信息,包括进程描述信息、进程控制和管理信息、资源分配清单、CPU 相关信息等。

例如:进程描述信息

  • 进程标识符 PID:唯一标识进程
  • 用户标识符 UID:进程归属的用户,用于共享和保护
// 返回调用进程的 PID
pid_t getpid(void);
// 返回父进程的 PID(创建调用进程的进程)
pid_t getppid(void);// 获取用户ID
uid_t getuid(void);
// 获取有效用户ID 
uid_t geteuid(void);// 获取组ID
gid_t getgid(void);
// 获取有效组ID
gid_t getegid(void);   

为了方便进程的调度和管理,内核将各进程的 PCB 组织起来,常用的方法有链接方式和索引方式。

链接方式:内核把相同状态的 PCB 链接到一个双向循环链表,组成任务队列。链表的节点类型为 task_struct ,也就是进程控制块 PCB。不同状态对应不同的任务队列,例如:就绪队列和阻塞队列

在这里插入图片描述

索引方式:将相同状态的进程组织在一个索引表中,索引表的表项指向相应的 PCB,不同状态对应不同的索引表等。

3、进程的控制

3.1、进程的创建

创建进程的过程(创建原语)

  • 为新进程分配 PID,并申请一个空白的 PCB
  • 为进程分配资源
  • 初始化 PCB
  • 将 PCB 插入到就绪队列,等待被调度运行;

fork 函数

父进程通过调用 fork 函数创建一个子进程。子进程是父进程的拷贝,子进程继承了父进程的地址空间(地址空间相同但是独立),共享文件。最大区别在于二者拥有不同的 PID。

fork 函数只被调用一次,却会返回两次:在父进程中,fork 返回子进程的 PID。在子进程中,fork 返回 0 。

// 返回值:子进程返回值为 0,父进程返回子进程的 PID。
pid_t fork(void);
fork 拷贝和共享
  • 用户态拷贝:堆、栈、数据段、代码段,进程上下文,文件流,文件缓冲区
  • 内核态:部分拷贝(文件描述符数组),部分共享(文件描述符指向的文件对象)
fork 原理
  • 上半部:拷贝地址空间,修改子进程 task_struct,调整 PID 和 PPID 。随后,将子进程放入就绪队列等待调度,并将子进程的 fork 的返回值修改为 0,父进程的返回值设置为子进程的 PID。该过程不可抢占。
  • 下半部:将返回值返回给两个进程,随后修改 PC 指针,让各进程继续执行后续的命令
fork 的写时复制

写时复制(Copy on Write, COW):fork 调用时页表复制,并且将两个进程的每个页面标记为只读,父子进程共用一块物理内存。当有进程试图写操作时,触发缺页中断,从而进行物理内存的复制,并更新其页表项指向这个新的物理内存,然后恢复这个页面的可写权限。总之,谁修改,谁拷贝内存,子进程指向这块新内存。

在这里插入图片描述

写时复制的最充分地使用了稀有的物理内存,只有在发生写操作的时候,系统才会去复制物理内存,从而避免物理内存的复制过程导致进程长时间阻塞。

exec 函数族

在当前进程的上下文加载并执行一个程序

fork 函数在子进程中运行相同的程序,新的子进程是父进程的一个副本;exec 函数在当前进程的上下文加载并运行一个新的程序,会覆盖当前进程的地址空间。

exec 原理
  • 代码段,数据段被替换
  • 堆栈清空
  • PC指针重新返回代码段的开始

例:实现 system 函数功能

#include <sys/types.h>
#include <sys/wait.h>
#include <unistd.h>extern char **environ;int Mysystem(const char* CMD) {if (CMD == NULL) {return 1;}if(fork() == 0) {execl("/bin/sh", "sh", "-c", CMD, NULL);_exit(127);}wait(NULL);
}// 测试样例:./mysystem date 实现 sysytem("date")
int main(int argc,char*argv[]) {Mysystem(argv[1]);return 0;
}

3.2、进程的终止

终止进程的过程(撤销原语)

  • 根据被终止进程的 PID,检索 PCB,读取该进程的状态
  • 若进程处于运行态,立即终止该进程的执行,然后将 CPU 资源分配给其他进程;
  • 如果进程还有子进程,则将该进程的子进程交给 init 进程(pid = 1)回收
  • 将该进程所拥有的全部资源,或归还给其父进程,或归还给操作系统;
  • 将该 PCB 从所在队列中删除

exit 函数

以 status 退出状态来终止进程。

#include <unistd.h>
void _exit(int status);

当一个进程由于某种原因终止时,内核并不是立即把它从系统中删除。相反,进程被保持在一种已终止的状态,直到被它的父进程回收。当父进程回收已终止的子进程时,内核将子进程的退出状态传递给父进程,然后抛弃已终止的进程,至此该进程被终止。

* 僵死进程

僵死进程:一个终止但并未被回收的进程。

父进程需要及时回收已终止的子进程。因为僵死进程即使没有运行,仍然消耗系统的内存资源。

父进程调用 wait 或 waitpid 函数来等待它的子进程终止或停止。

#include <sys/types.h>
#include <sys/wait.h>// 随机等待一个子进程
pid_t wait(int *status);
// 等待指定 pid 的子进程
pid_t waitpid(pid_t pid, int *status, int options);

* 孤儿进程

孤儿进程:父进程先于子进程退出。自动被养父 init 进程(pid = 1)收养。当一个孤儿进程退出后,它的资源清理会交给它的父进程(init 进程)来处理。但在此之前,它一直消耗系统的资源,要尽量避免。

3.3、进程的阻塞和唤醒

阻塞进程的过程:进程等待事件,主动调用 Block 原语

  • 找到将要被阻塞进程 PID 对应的 PCB
  • 如果该进程为运行状态,则保护其现场,将其状态转为阻塞态,停止运行
  • 将该 PCB 插入到相应事件的等待队列,将 CPU 调度给其他就绪进程

唤醒进程:其他相关进程调用,Wakeup 原语

唤醒进程的过程如下:

  • 在该事件的等待队列中找到相应进程的 PCB
  • 将其从队列中移出,并置其状态为就绪态
  • 把该 PCB 插入就绪队列中,等待调度

Block 原语和 Wakeup 是一对作用相反的原语,必须成对使用。

3.4、进程的切换

进程切换:处理机从一个进程的运行转到另一个进程上运行,这个过程中,进程运行环境产生了实质性变化。

调度是指资源分配给哪一进程的行为,是一种决策;切换是指实际分配的行为,是执行行为。一般来说,先有资源的调度,然后才有进程的切换。

进程切换的过程

  • 保存 CPU 上下文,包括程序计数器和其他寄存器
  • 更新 PCB信息
  • 把进程的 PCB 移入相应的队列
  • 选择另一个进程执行,更新 PCB
  • 更新内存管理的数据结构
  • 恢复 CPU 上下文

4、进程间通信

进程间主要通信方式有:管道、共享内存、信号、信号量、消息队列、套接字

参考我的博客:linux 进程间通信

5、进程调度算法

进程调度算法

  • 先来先服务:选择最先进入队列的
  • 短作业优先:选择完成时间最短的
  • 优先级调度:选择优先级别最高的
  • 高响应比优先:选择响应比最高的
  • 时间片轮转:总是选择就绪队列中第一个进程,但仅能运行一个时间片
  • 多级反馈队列:时间片轮转 + 优先级调度

参考

  • 进程管理
  • 深入理解计算机系统

http://www.ppmy.cn/news/24159.html

相关文章

IDEA下java程序的调试(简易实例图示版)

在线排版不太好看&#xff0c;介意的读者可下载word下来看&#xff1a;https://download.csdn.net/download/xijinno1/87441301IDEA下java程序的简单调试-System.out.println首先本次进行调试的一个程序是实现从1累加到100的功能&#xff0c;是在IDEA下进行编写的。如图所示&am…

数据结构 第八章 查找(静态查找表)

集合 1、集合中的数据元素除了属于同一集合外,没有任何的逻辑关系 2、在集合中,每个数据元素都有一个区别于其他元素的唯一标识(键值或者关键字值) 3、集合的运算&#xff1a; 1 查找某一元素是否存在(内部查找、外部查找) 2 将集合中的元素按照它的唯一标识进行排序4、集合的…

【LeetCode】每日一题(1)

目录 题目&#xff1a; 解题思路&#xff1a; 代码&#xff1a; 写在最后&#xff1a; 题目&#xff1a; 这是他给出的接口&#xff1a; class Solution { public:int fillCups(vector<int>& amount) {} }; 作为一个数学学渣&#xff0c;我想不出厉害的数学算法…

江苏五年制专转本应该复习几轮?

五年制专转本应该复习几轮&#xff1f; 据调查统计&#xff1a;2022年专转本17%的考生复习三轮及以上&#xff0c;23%的考生复习了两轮。这两类的考生录取率高至85%。可见复习轮数多&#xff0c;专转本上岸的概率也大。综合多方因素&#xff0c;建议同学们专转本复习四轮&#…

企业进存销管理系统

技术&#xff1a;Java、JSP等摘要&#xff1a;随着当今世界计算机技术的飞速发展&#xff0c;计算机在企业管理中应用的普及&#xff0c;利用计算机实现企业进销存管理势在必行。本系统结合公司实际的进销存制度&#xff0c;通过对本公司的供应商、客户、商品、进货、销售、进销…

前端高频面试题—JavaScript篇(一)

&#x1f4bb; 前端高频面试题—JavaScript篇&#xff08;一&#xff09; &#x1f3e0;专栏&#xff1a;前端面试题 &#x1f440;个人主页&#xff1a;繁星学编程&#x1f341; &#x1f9d1;个人简介&#xff1a;一个不断提高自我的平凡人&#x1f680; &#x1f50a;分享方…

Pandas——Series操作【建议收藏】

pandas——Series操作 作者&#xff1a;AOAIYI 创作不易&#xff0c;觉得文章不错或能帮助到你学习&#xff0c;可以点赞收藏评论哦 文章目录pandas——Series操作一、实验目的二、实验原理三、实验环境四、实验内容五、实验步骤1.创建Series2.从具体位置的Series中访问数据3.使…

有趣的KaTeX(附源码)

两年半未见&#xff0c;甚是想念 给大家带来有趣的KaTeX\KaTeXKATE​X&#xff0c;可以放在洛谷主页 文章目录1234561 1#include<bits/stdc.h>\texttt{1 \color{orange}\#include <bits/stdc.h>}1 #include <bits/stdc.h> 2usingnamespacestd;\texttt{2 \col…