操作系统第二章总结（持续更新）

2.1 前驱图（Precedence Graph)
定义：一个有向循环图，用于描述进程之间执行的先后顺序。
例：
程序并发执行特征：间断性，失去封闭性，不可再现性。

2.2 进程
定义：一种动态的过程，是系统进行资源分配和调度的基本单位，由程序段、相关数据段和PCB三部分构成实体。
特征：动态性（进程实质是进程实体的执行过程，即程序的一次执行）、并发性、独立性、异步性（进程以不可预知的速度前行），其中动态性是进程的最基本特征。
进程基本状态及转换
就绪（Ready)状态、执行（Running)状态、阻塞（Block)状态、创建（New)状态和终止(Terminated)状态；其中就绪、执行、阻塞为三种基本状态
挂起操作：减轻系统负荷，将一些不重要进程挂起，分为就绪挂起与阻塞挂起.

进程控制块PCB（PCB是进程存在的唯一标志）：进程管理所需的数据都在PCB中，主要包含
（1）进程标识符：外部标识符与内部标识符
（2）处理机状态
（3）进程调度信息
（4）进程控制信息
组织方式
（1）线性方式
（2）链接方式
（3）索引方式

进程控制：

进程通信：进程之间的信息交换。
类型：1、共享存储器系统（Shared-Memory System) 两个进程对共享空间的访问必须是互斥的
（1）基于共享数据结构的通信方式。（低级）
（2）基于共享存储区的通信方式。（高级）
2、管道（pipe)通信系统 半双工通信，某一时间段内只能实现单向传输，依旧要互斥
读进程最多只能有一个
3、消息传递系统（Message passing system)
直接通信方式：发送进程利用OS所提供的发送原语，直接把消息发送给目标进程；
间接通信方式；发送和接受进程，都通过共享中间实体（邮箱）的方式进行消息的发送和接受，完成进程间通信。

进程创建：
引起进程创建的事件：1 用户登录
2 作业调度
3 提供服务
4 应用请求

进程同步与互斥
进程同步（进程之间的直接制约关系）：为了解决进程异步（各个进程以不可预知的速度前行）所带来的问题，使得并发执行的进程之间能按照一定的规则和顺序共享系统资源。
进程互斥：为了互斥的访问临界资源（一个时间段内只允许一个进程使用的资源）。 分为四个部分：进入区、临界区、退出区和剩余区。

需要遵循的原则：1空闲让进 2忙则等待 3有限等待 4让权等待（当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入“忙等”状态

进程互斥的硬件实现方法：关中断、Test-and-Set 指令、Swap指令
关中断：在进入锁测试之前关闭中断，直到完成锁测试并上锁之后才能打开中断。 优点：简单高效； 缺点：只适用于单处理机，因为在一个处理机上关中断并不能防止进程在其他处理器上执行相同的临界代码。
TS指令：是用硬件实现的一条指令函数，其执行过程不可分割，是一条原语。

优点：实现简单，适用于多处理机环境；
缺点：无法满足让权等待，出现“忙等”。