内容为B站视频王道计算机考研 操作系统笔记
进程的定义
进程与程序的不同:
程序:就是一个指令序列
从不同的角度,进程可以有不同的定义,比较传统典型的定义有
- 进程是程序的一次执行过程。
- 进程是一个程序及其数据在处理机上顺序执行时所发生的活动。
- 进程是具有独立功能的程序在数据集合上运行的过程,它是系统进行资源分配和调度的一个独立单位(强调“动态性”)
进程的组成
程序段、数据段、PCB三部分组成了进程实体(进程映像)。一般情况下,我们把进程实体就简称为进程,例如,所谓创建进程,实质上是创建进程实体中的PCB;而撤销进程,实质上是撤销进程实体中的PCB。
PCB是进程存在的唯一标志!
引入进程实体的概念后,可把进程定义为:
进程是进程实体的运行过程,是系统进行资源分配和调度的一个独立单位。
**注:**严格来说,进程实体和进程并不一样,进程实体是静态的,进程则是动态的。不过,除非题目专门考察二者区别,否则可以认为进程实体就是进程。因此我们也可以说“进程由程序段、数据段、PCB三部分组成”。
下图给出进程组成的具体内容
进程的组织
链接方式
- 按照进程状态将PCB分为多个队列
- 操作系统持有指向各个队列的指针
索引方式
- 根据进程状态的不同,建立几张索引表
- 操作系统持有指向各个索引表的指针
进程的特征
-
动态性(动态性是进程最基本的特征)
进程是程序的一次执行过程,是动态地产生、变化和消亡的
-
并发性
内存中有多个进程实体,各进程可并发执行
-
独立性(进程是资源分配、接受调度的基本单位)
进程是能独立运行、独立获得资源、独立接受调度的基本单位
-
异步性(异步性会导致并发程序执行结果的不确定性)
各进程按各自独立的、不可预知的速度向前推进,操作系统要提供"进程同步机制"来解决异步问题
-
结构性
每个进程都会配置一个PCB。结构上看,进程由程序段、数据段、PCB组成
进程的状态
-
执行态
(Running)
:占有CPU,并在CPU上运行**注意:**单核处理机环境下,每一时刻最多只有一个进程处于运行态。(双核环境下可以同时有两个进程处于运行态)
-
就绪态
(Ready)
:已经具备了运行条件,但由于没有空闲的CPU,而暂时不能运行进程已经拥有了除处理机之外所有需要的资源,一旦获得处理机即可立即进入运行态开始运行。即:万事俱备,只欠CPU
-
阻塞态
(Blocked)
:因等待某一事件而暂时不能运行如:等待操作系统分配打印机、等待读磁盘操作的结果。CPU是计算机中最昂贵的部件,为了提高CPU的利用率,需要先将其他进程需要的资源
分配到位,才能得到CPU的服务 -
创建态(又新建态)
(New)
:进程正在被创建,操作系统为进程分配资源、初始化PCB -
终止态(又结束态)
(Terminated)
:进程正在从系统中撤销,操作系统会回收进程拥有的资源、撤销PCB
进程状态的转换
进程控制
实现进程状态转换
进程是用原语实现的进程控制。原语的特点是执行期间不允许中断,通过关中断指令和开中断指令实现。
原语实现的功能
-
更新PCB中的信息(如修改进程状态标志、将运行环境保存到PCB、从PCB恢复运行环境)
a. 所有的进程控制原语一定都会修改进程状态标志
b. 剥夺当前运行进程的CPU使用权必然需要保存其运行环境c.某进程开始运行前必然要恢复期运行环境
c. 某进程开始运行前必然要恢复期运行环境2.将PCB插入合适的队列
-
将PCB插入合适的队列
-
分配/回收资源
原语的类型
创建原语:
终止原语:
阻塞和唤醒原语:
切换原语:
进程通信
进程之间的信息交换。进程是分配系统资源的单位(包括内存地址空间),因此各进程拥有的内存地址空间相互独立。
为了保证安全,一个进程不能直接访问另一个进程的地址空间。
共享存储
两个进程对共享空间的访问必须是互斥的(互斥访问通过操作系统提供的工具实现)
操作系统只负责提供共享空间和同步互斥工具(如P、V操作)
- 基于数据结构的共享:比如共享空间里只能放一个长度为10的数组。这种共享方式速度慢、限制多,是一种低级通信方式
- 基于存储区的共享:在内存中画出一块共享存储区,数据的形式、存放位置都由进程控制,而不是操作系统。相比之下,这种共享方式速度更快,是一种高级通信方式。
管道通信
“管道”是指用于连接读写进程的一个共享文件,又名pipe文件。其实就是在内存中开辟一个大小固定的缓冲区
- 管道只能采用半双工通信,某一时间段内只能实现单向的传输。如果要实现双向同时通信,则需要设置两个管道。
- 各进程要互斥地访问管道。
- 数据以字符流的形式写入管道,当管道写满时,写进程的
write()
系统调用将被阻塞,等待读进程将数据取走。当读进程将数据全部取走后,管道变空,此时读进程的read()
系统调用将被阻塞。 - 没写满,就不允许读;没读空,就不允许写
- 数据一旦被读出,就从管道中被抛弃,这就意味着读进程最多只能有一个,否则可能会有读错数据的情况。
消息传递
进程间的数据交换以格式化的消息(Message)为单位。进程通过操作系统提供的“发送消息/接收消息”两个原语进行数据交换。
-
直接通信方式
消息直接挂到接收进程的消息缓冲队列上
-
间接通信方式
消息要先发送到中间实体(信箱)中,因此也称“信箱通信方式”。Eg:计网中的电子邮件系统