操作系统 | 课程笔记 · 进程的描述与控制

第二章 进程的描述与控制

2.1 前趋图和程序执行

1）前驱图

• 定义
  • 前趋图：有向无环图，用于描述进程之间执行的先后顺序。
  • 结点：一个进程、程序、一条语句。
  • 有向边：两个结点之间的前趋关系。
• 前趋图中不允许有循环，否则会产生不可能实现的前趋关系。
  

2）程序执行

• 程序的顺序执行
  • 含义
    • 对于多个用户程序来说，所有程序是依次执行的。（外部顺序性）
    • 对于一个程序来说，它的所有指令是按序执行的。（内部顺序性）
  • 特征
    • ①顺序性：处理机的操作严格按照程序所规定的顺序执行，即每一操作必须在下一操作开始之前结束（或者说下一操作必须在当前操作结束后才能开始）。
    • ②封闭性：程序是在封闭的环境下执行的。
      • a. 程序运行时独占全机资源，资源的状态（除初始态外）只有本程序才能改变它。
      • b. 程序一旦开始执行，其执行结果不受外界影响。
    • ③可再现性：只要程序执行时的环境和初始条件相同，当程序重复执行时，都将获得相同的结果。
• 程序的并发执行
  • 含义
    • 对于一个程序来说，它的所有指令是按序执行的。（内部顺序性）
    • 对于多个程序来说，是交叉执行的。（外部并发性）
  • 特征
    • 间断性：程序在并发执行时，由于它们共享系统资源，以及为完成同一任务而相互合作，致使这些并发执行的程序之间形成了相互制约的关系。（互斥关系、同步关系）
    • 失去封闭性：程序在并发执行时，由于多个程序共享系统资源，因而这些资源的状态将由多个程序来改变，致使程序的运行已失去了封闭性。
    • 不可再现性：程序在并发执行时，由于失去了封闭性，也将导致其再失去可再现性。

  • 只有不存在前趋关系的程序之间才有可能并发执行。

2.2 进程的描述

1. 进程的定义及特征

• 定义：程序在一个数据集上的运行过程，是系统进行资源分配和调度的一个独立单位。（传统OS的定义）

  通常的程序是不能并发执行的，为使程序（含数据）能独立运行，应为之配置一进程控制块（即PCB）

• 特征
  • 结构特征：程序段、相关的数据段、PCB三部分构成了进程实体。
  • 动态性：进程的实质是进程实体的一次执行过程，故动态性是进程的最基本特征。
  • 并发性：多个进程实体同存于内存中，且能在一段时间内同时运行。
  • 独立性：在传统的OS中，独立性是指进程实体是一个能独立运行、独立分配资源和独立接受调度的基本单位。
  • 异步性：进程按各自独立的、不可预知的速度向前推进，或说进程实体按异步方式运行。

2. 进程的基本状态及转换

• 三种基本状态
  • 就绪（Ready）状态：当进程已分配到除CPU以外的所有资源后，只要再获得CPU，便可立即执行，进程这时的状态称为就绪状态。

    系统中处于就绪状态的进程可能有多个，通常将它们排成一个队列，称为就绪队列。

  • 执行（Running）状态：进程已获得CPU，其程序正在执行。
  • 阻塞（Blocked）状态：正在执行的进程由于发生某事件而暂时无法继续执行时，便放弃处理机而处于暂停状态，亦即进程的执行受到阻塞，把这种暂停状态称为阻塞状态（或等待状态）。

    使进程阻塞的典型事件：请求I/O，申请缓冲空间等等。

• 三种基本状态的转换（引起进程状态转换的典型事件）
  • 进程调度：就绪态→执行态
  • 时间片完：执行态→就绪态
  • 请求I/O：执行态→阻塞态
  • I/O完成：阻塞态→就绪态
    
• 创建状态
  创建进程的步骤
  • 申请空白PCB，填写相关控制信息
  • 分配必须的资源
  • 进程转入就绪状态，插入就绪队列
• 终止状态
  终止进程的步骤
  • 操作系统进行相关的善后处理
  • PCB清零，把PCB空间返还系统

3. 挂起操作及进程状态的转换

• 挂起操作
  引入挂起操作的原因
  • 终端用户的请求：当终端用户在自己的程序运行期间发现有可疑问题时，希望暂停执行。
  • 父进程请求：希望考察和修改子进程，或协调各子进程间的活动时。
  • 负荷调节的需要 ：实时系统中工作负荷较重时，系统可把一些不重要的进程挂起。
  • 操作系统的需要 ：操作系统有时希望挂起某些进程，以便检查运行中的资源使用情况或进行记账。
• 挂起状态
  进程状态的转换
  • 活动就绪→静止就绪
  • 活动阻塞→静止阻塞
  • 静止就绪→活动就绪
  • 静止阻塞→活动阻塞
    

4. 进程管理中的数据结构

2.3 进程控制

2.3.1 操作系统内核

2.3.2 进程的创建

2.3.3 进程的终止

2.3.4 进程的阻塞和唤醒

2.3.5 进程的挂起和激活

2.4 进程同步

• 由于进程的异步性，尤其是它们竞争临界资源时，可能会给系统造成混乱。
• 进程同步的主要任务，是使并发执行的进程之间能有效地共享资源和相互合作，从而使程序的执行具有可再现性。

2.4.1进程同步的基本概念

2.4.2 硬件同步机制

2.4.3 信号量机制

2.4.4 信号量的应用

2.5 经典进程同步问题

2.5.1 生产者-消费者问题

2.5.2 哲学家进餐问题

2.5.3 读者-写者问题

2.6 进程通信

2.6.1 进程通信的类型

2.6.2 消息传递通信的实现方法

2.6.3 消息缓冲队列通信机制

2.7 线程的基本概念

2.7.1 线程的引入

2.7.2 线程的与进程的比较

2.7.3 线程的状态和线程控制块