本文目录
目录
文章首发:进程知多少?
@
Java 多线程系列文章第 1 篇
要讲线程,一般都得讲一讲进程,进程是何方神圣呢?下面来简单介绍一下。
先通过任务管理器看看 Windows 系统下的进程。
从图片来看,每一个进程都占有 CPU、内存、磁盘、网络等资源。站在操作系统的角度,进程是分配资源的基本单位,也是最小单位。
进程为什么出现?
引入进程的目的:为了使多个程序能并发执行,以提高资源的利用率和系统的吞吐量。怎么理解这句话呢?一个程序在运行过程中会涉及很多操作,利用 CPU 计算、通过磁盘 IO 进行数据传输等等,我们知道当程序在进行磁盘 IO 的时候,因为速度问题,会比较慢,所在在这个过程中 CPU 会空闲下来,这会造成资源的浪费,正因为引入进程,在 A 进程进行磁盘 IO 的时候,会让出 CPU 给 B 进程,合理地利用了 CPU 资源,使得程序之间可以并发执行。
从 CPU 角度,执行过程是这样子的:CPU 一直在负责执行指令,进程之间互相竞争 CPU 资源,下图有 A 和 B 进程,在一个时间点,CPU 只执行一个进程的指令,因为 CPU 运行很快,所以在咱们看起来,像是多个进程在同时跑。这就是进程带来的好处:提高资源利用率,并发地执行多个程序。
当然引入进程也不是有益无害,它增加了系统的时间和空间开销。空间开销这个好理解,进程有自己的组成部分(下面会讲),这个就占用了空间。时间开销则是进程切换需要时间。
进程的组成
进程由 3 个部分组成,分别是程序代码、数据集、栈和进程控制块(Process Control Block)。
各自的作用如下:
- 程序代码:描述了进程需要完成的功能。
- 数据集、栈:程序在执行时所需要的数据和工作区。
- 进程控制块:包含进程的描述信息和控制信息,它是进程存在的唯一标识。
如何竞争资源(调度算法)
进程之间需要竞争资源,一般都是竞争 CPU 资源,因为 CPU 运行速度太快了,其他介质都赶不上。有了竞争就需要有规则,就像游戏一样,每个游戏都需要规则,不同规则会有不同的侧重点,这个看过“最强大脑”这个节目的朋友就非常清楚,每道题都有不同的考核侧重点,有些是侧重空间思维、有些侧重逻辑推算等等。下面我们就简单地一一讲解竞争资源的游戏规则。
FCFS
First In First Out(先来先服务):最先进入就绪队列的进程,先运行,运行到完成或者阻塞时,再重新调度。一般情况下,这种调度算法会和优先级策略结合,比如每个优先级一条队列,每条队列中的调度都使用 FCFS。
特点:简单、比较偏于长进程、相对于其他调度算法平均周转时间长。
RR
Round Robin(轮转):进程按提交顺序存在就绪队列,依次轮流占用 CPU 资源,运行一段固定的时间,时间到后如果还没执行完,就继续进入就绪队列队尾,排队等待下次执行。
特点:公平、对进程的响应时间较短。
SPN
Shortest Job Next(最短进程优先):将预期占用运行时间最短的进程优先执行,直到运行完成或阻塞时,再重新调度。
特点:有利于短进程。
SRT
Shortest Remaining Time(最短剩余时间优先):新进程进来时,如果新进程的预计运行时间比当前进程的剩余运行时间更短,就抢占当前进程,
特点:有利于短进程,和 SPN 的差别在于抢占这个一点,因为抢占,所以效率会比 SPN 好一些。
HRRN
Highest Response Ratio Next(最高响应比优先):当前运行的进程完成或者阻塞时发生调度,每次调度前,计算所有就绪进程的响应比,响应比高的进程优先运行。
响应比公式如下所示:
特点:有利于短进程,服务时间相同的进程,先来的服务会优先执行,长进程因为在等待的过程中,优先级越来越高,所以不会一直不执行。
FB
Feedback (反馈):由多个就绪队列组成的反馈机制,它有如下规则:
- 在同一个队列的进程,按 FCFS 算法调度,最后一个就绪队列按 RR 算法调度;
- 优先级越高的队列,时间片越小;
- 进程在一个时间片内未运行完,则降到下一个队列末尾;
- 只有上级队列无就绪进程时,才运行本级就绪队列,本级就绪队列无进程时,才运行下级就绪队列,以此类推
进程执行过程如下图所示
特点:短进程有非常大的优势,排在前面的队列都是时间较短的。
以上就是几个抢占资源的调度算法的说明。
进程状态
上面我们讲到,进程之间是在竞争资源,得到资源就运行,没得到就等待,这个需要有状态来维护,像很多系统一样,需要一个状态机。
三态图
三态图也是描述进程状态最简单最基础的图,它包含了进程的最基本的 3 个状态,分别是:就绪态、运行态和阻塞态。
Read(就绪态):进程已得到除 CPU 以外的其他所需资源。
Running(运行态):进程的指令正被执行。
Blocked(阻塞态):进程正等待资源或某事件发生。
就绪态的进程在被调度的时候,进入了运行态,如果时间片运行完或者有更高级别进程抢占资源,则变成就绪态等待再次被调度;如果发生事件(比如 IO 事件),则从运行态转到阻塞态,进入阻塞态的进程只能等待事件解除重新进入就绪态。
五态图
基于三态图,新增了 2 个状态,分别是:新建态和退出态。
New(新建态):进程正被创建。分配内存后将被设为就绪态。
Exit(退出态):进程已正常结束或出现异常结束。回收资源。
新进程刚创建还没有分配资源的时候是新建态,等到分配了资源,被加载后就进入就绪态。当进程运行完后,就从运行态进入退出态。
七态图
基于五态图,新增了 2 种挂起态,分别是就绪挂起态和阻塞挂起态。
就绪挂起态:另叫外存就绪态。由于内存容量有限,将原位于内存的就绪进程转存到外存(磁盘)上。
阻塞挂起态:另叫外存阻塞态。一样因为内存容量有限,将原位于内存的阻塞进程转存到外存(磁盘)上。
我们可以看出,图中新增了解除挂起的状态转换过程,一般是由于挂起进程优先级比较高或者内存空间足够,把位于外存(磁盘)的进程转存到内存中。
进程关系
进程之间其实比较独立,比如我们在日常使用的 QQ 和微信,它们运行起来的进程有什么关系么?其实除了互相竞争资源之外,没有任何关系。
父子关系
虽然上面说的进程之间没有关系,但是有一个特殊关系需要讲,就是父子关系。
先做个试验,验证进程的父子关系。操作步骤:
- 打开 CMD 命令行程序,将当前的窗口设置为 Father,在 Father 窗口通过命令
start cmd
启动另一个 CMD 命令行程序; - 将新开的 CMD 命令行程序的窗口设置为 Son,在 Son 窗口通过命令
start cmd
启动另一个 CMD 命令行程序; - 将新开的 CMD 命令行程序的窗口设置为 Grandson。
操作过程如下图所示。
通过 ProcessExplorer 可以很清晰看到这 3 个 CMD 进程之间的关系。(想要 ProcessExplorer 插件可以通过百度网盘下载链接:https://pan.baidu.com/s/19531gf5tD_of1CWxpFR9Dg 提取码:qhc6)
我们看到 Father、Son、Grandson 三个进程呈现出我们预料中的树形。那么什么是父子进程呢?简单的说就是在进程中创建出新的进程,这个新的进程就是子进程,一个进程可以有多个子进程,但是只能有一个父进程。在 Unix 系统中,父进程通过调用 fork()
创建子进程,父子进程有如下特点:
- 父、子进程并发执行;
- 父、子进程共享父进程的所有资源;
- 子进程复制父进程的地址空间,甚至有相同的正文段和程序计数器 PC 值;
- 利用写时复制(Copy On Write)技术减少不必要的复制:fork 时父子共用父空间,当一方试图修改时才复制。
这里重点讲一下Copy On Write,使用了这个技术,父进程创建子进程的时候不会复制所有数据到子进程,省了复制的时间以及减少了大量的内存。这个复制不是必要的,因为如果应用程序在进程复制之后立即加载新程序,那之前的复制工作就是浪费时间和内存了。
讲了进程父子关系,就免不了提一下僵尸进程和孤儿进程,下面分别介绍一下。
僵尸进程
僵尸进程:子进程退出后,父进程没有调用 wait 或 waitpid 获取子进程的状态信息,子进程的进程描述符仍保存在系统中,这种进程叫僵尸进程。
僵尸进程的危害:僵尸进程会一直占用进程号,系统能使用的进程号又是有限的,如果有大量的僵尸进程,会因为没有可用进程号导致无法创建新的进程。
孤儿进程
孤儿进程:父进程结束退出,而它的子进程还在运行,这时的子进程就叫做孤儿进程。孤儿进程就被 init 进程(进程号为 1)收养,init 进程将对孤儿进程完成状态收集工作。
孤儿进程没有危害,因为被 init 进程托管了,init 进程会处理孤儿进程的收集工作。
执行模式
指令分为特权指令(只能由操作系统内核使用的指令)和非特权指令(只能由用户程序使用的指令),因为指令有特权和非特权之分,所以 CPU 也分为 2 种执行模式:系统态(可以执行所有指令,使用所有资源以及改变 CPU 状态)和用户态(只能执行非特权指令)。
CPU 的系统态和用户态之间的切换。
进程间通讯
当进程之间需要数据传输、共享数据时,进程间就需要互相通讯,通讯方式有如下几种,这里只是简单概括一下,不展开讲,咱的重点在于多线程,进程咱们简单了解一下就可以,感兴趣的同学可以根据要点进行深入学习。
管道(Pipe)
管道是半双工通讯,数据是单向流动,要建立进程间互相通讯,则需要 2 个管道,这种通讯方式只能在亲戚关系的进程间使用,比如父子进程。
流管道(Flow Pipe)
流管道是管道进化来的,数据不再是单向流动,可以双向流动,但是依旧是只能在亲戚关系的进程间使用。
有名管道(Named Pipe)
有名管道提供了新的功能,就是给管道设置名字,它改善了上面 2 种管道通讯方式,支持了非亲戚关系的进程通讯。
信号量(Semophore)
信号量相当于计数器,利用它来控制多个进程访问共享资源,当一个进程A在访问共享资源时,信号量防止其他进程来访问,只有当进程A不访问共享资源了,其他进程才能访问。
信号(Signal)
信号可以在任何时候发给某一进程,不需要知道该进程当前的状态,如果对方进程未执行,信号会存在内核中,直到进程执行后传递给它;如果对方进程是阻塞,则信号会延迟传递,等到对方进程阻塞取消后才传递给它。
消息队列(Message Queue)
消息队列是存放在内核中的链表,可以有多个进程对这个链表进行写入和读取,它解决了信号传递信息少、管道只能传输无格式字节流和缓冲区大小受限的缺点。目前有 POSIX 消息队列和 System V 消息队列。
共享内存(Shared Memory)
共享内存即为一段能被其他进程访问的内存,多个进程访问同一个内存,达到了通讯的效果。
套接字(Socket)
套接字就是我们网络编程里面的那个套接字,可以通过网络也可以在本机进行通信,它的好处在于可以跨主机进行通信。
总结
总的来说,进程是程序在一个数据集上的一次执行过程,它就是程序运行起来的表现。这是我们学习多线程的开篇,希望通过这篇文章,让大家简单地了解进程是什么,后面我们再来深入了解多线程。
推荐阅读
公众号后台回复『设计模式』可以获取《一故事一设计模式》电子书
觉得文章有用帮忙转发&点赞,多谢朋友们!