【学习篇】【操作系统理论】

相关学习帖子如下：
https://blog.csdn.net/weixin_43914604/article/details/104415990

---

进程

传统典型的定义：（强调“动态性”）

1. 进程是一个程序的执行过程，执行前需要将该程序放到内存中，才能被CPU处理。
2. 一个程序及其数据在处理机上顺序执行时所发生的活动
3. 具有独立功能的程序在数据集合上运行的过程，是系统进行资源分配和调度的一个独立单位。

程序：就是一个指令序列

进程实体（进程映像）：进程控制块(PCB)、程序段、数据段

• PCB是进程存在的唯一标志
• 因此进程也可定义为：
  进程是进程实体的运行过程，是系统进行资源分配和调度的一个独立单位。

进程的三种基本状态

1. 运行态：处理机✓ 其他✓
2. 就绪态：处理机× 其他✓
3. 阻塞态：处理机× 其他×

另外的两个状态：
创建态：操作系统味新进程分配资源，创建PCB
终止态：操作系统回收进程的资源，撤销PCB

运行态->阻塞态 是一种进程自身做出的主动行为
阻塞态->就绪态 不是进程自身能控制的，是被动行为

进程控制

实现进程状态的转换

用原语实现进程控制。原语的特点是执行期间不允许中断，只能一气呵成。
这种不可被中断的操作即原子操作。
原语采用“关中断指令”和“开中断指令”实现

阻塞原语和唤醒原语必须成对使用，因何事阻塞就应由何事唤醒。

进程通信

各进程拥有的内存地址空间相互独立，一个进程不能直接访问另一个进程的地址空间。

1. 共享存储（基于数据结构 / 存储区的共享）
   两个进程对共享空间的访问必须是互斥的（互斥访问通过操作系统提供的工具实现）

操作系统只负责提供共享空间和同步互斥工具（如P,V操作）
2. 管道通信
在内存中开辟一个大小固定的缓冲区
半双工、互斥

并发性

互斥、同步

进程同步：协调多个进程的工作次序，进程之间的直接制约关系。

进程互斥：一个进程访问某**临界资源（一个时间段内只允许一个进程使用）**时，另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束，释放该资源之后，另一个进程才能去访问临界资源。

• 临界区：进程中访问临界资源的代码段
• 进入区：设置正在刚问临界资源都标志（上锁）
• 退出区：解锁。（进入区和退出区是负责实现互斥的代码段）
• 剩余区

进程互斥的一些原则：

1. 空闲让进。
2. 忙则等待。当已有进程进入临界区时，其他试图进入临界区的进程必须等待；
3. 有限等待。对请求访问的进程，应保证能在有限时间内进入临界区（保证不会饥饿）；
4. 让权等待。当进程不能进入临界区时，应立即释放处理机，防止进程忙等待；

互斥的软件实现方法：

1. 单标志法
   每个进程进入临界区的权限只能被另一个进程赋予。每个进程在退出区把临界区的使用权转交给另一个进程。

• 违背了“空闲让进”原则

2. 双标志先检查法
   设置一个flag数组标记各进程想进入临界区的意愿，进程在进入区先检查其他进程是否也有意愿，后上锁，退出区解锁。

• 在“检查后，上锁前”有可能会发生进程切换，违背了“忙则等待”原则

3. 双标志后检查法
   在自身对临界区进行上锁后，检查发现存在别的进程也有意愿（甚至也上了锁），从而进程之间都无法进入临界区。

• “先检查，后上锁”虽然满足了“忙则等待”原则，但是违背了“空闲让进”和“有限等待”原则，会出现个进程都长期无法访问临界资源而产生“饥饿”现象。

4. Peterson算法
   表达自己想使用临界区的意愿，但同时又愿意让出临界区。

• 遵循了前三个原则，但是违背了“让权等待”的原则。

互斥的硬件实现方法

1. 中断屏蔽方法

• 使用“开/关中断”指令实现
• 只适用于单处理机；只适用于操作系统内核进程

2. TestAndSet指令

• old记录是否已被上锁；
• 再将lock设为true；
• 检查临界区是否已被上锁（若已上锁，则 循环重复前几步）
• 适用多处理机
• 不满足“让权等待”原则

3. Swap指令（XCHG指令）

• 同上

信号量机制

整形信号量：用一个整数型变量作为信号量，用来表示系统中某种资源的数量。

• 不满足“让权等待”的原则
  记录型信号量：用记录型数据结构表示信号量
• 对信号量S的一次P操作意味着进程请求一个单位的该类资源，因此需要执行S.value–，表示资源数量-1；如果S.value<0，表示该类资源已经分配完毕，则此进程应调用block原语进行自我阻塞（运行态->阻塞态），主动放弃处理机。
• 对信号量S的一次V操作意味着进程释放一个单位的该类资源，因此需要执行S.value++，表示资源数量+1；如果+1后S.value<=0，表示有进程在等待该类资源，调用wakeup原语唤醒队列中的第一个进程（阻塞态->就绪态）。

用信号量实现进程同步

1. 分析何处需要实现同步关系，保证“一前一后”执行的两个操作
2. 设置同步信号量S，初始为）
3. 在“前操作”之后执行V(S)
4. 在“后操作”之前执行P(S)

用信号量实现前驱关系

1. 为每一对前驱关系各设置一个同步变量