操作系统
相关学习帖子如下:
https://blog.csdn.net/weixin_43914604/article/details/104415990
进程
传统典型的定义:(强调“动态性”)
- 进程是一个程序的执行过程,执行前需要将该程序放到内存中,才能被CPU处理。
- 一个程序及其数据在处理机上顺序执行时所发生的活动
- 具有独立功能的程序在数据集合上运行的过程,是系统进行资源分配和调度的一个独立单位。
程序:就是一个指令序列
进程实体(进程映像):进程控制块(PCB)、程序段、数据段
- PCB是进程存在的唯一标志
- 因此进程也可定义为:
进程是进程实体的运行过程,是系统进行资源分配和调度的一个独立单位。
进程的三种基本状态
- 运行态:处理机✓ 其他✓
- 就绪态:处理机× 其他✓
- 阻塞态:处理机× 其他×
另外的两个状态:
创建态:操作系统味新进程分配资源,创建PCB
终止态:操作系统回收进程的资源,撤销PCB
运行态->阻塞态 是一种进程自身做出的主动行为
阻塞态->就绪态 不是进程自身能控制的,是被动行为
进程控制
实现进程状态的转换
用原语实现进程控制。原语的特点是执行期间不允许中断,只能一气呵成。
这种不可被中断的操作即原子操作。
原语采用“关中断指令”和“开中断指令”实现
阻塞原语和唤醒原语必须成对使用,因何事阻塞就应由何事唤醒。
进程通信
各进程拥有的内存地址空间相互独立,一个进程不能直接访问另一个进程的地址空间。
- 共享存储(基于数据结构 / 存储区的共享)
两个进程对共享空间的访问必须是互斥的(互斥访问通过操作系统提供的工具实现)
操作系统只负责提供共享空间和同步互斥工具(如P,V操作)
2. 管道通信
在内存中开辟一个大小固定的缓冲区
半双工、互斥
并发性
互斥、同步
进程同步:协调多个进程的工作次序,进程之间的直接制约关系。
进程互斥:一个进程访问某**临界资源(一个时间段内只允许一个进程使用)**时,另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能去访问临界资源。
- 临界区:进程中访问临界资源的代码段
- 进入区:设置正在刚问临界资源都标志(上锁)
- 退出区:解锁。(进入区和退出区是负责实现互斥的代码段)
- 剩余区
进程互斥的一些原则:
- 空闲让进。
- 忙则等待。当已有进程进入临界区时,其他试图进入临界区的进程必须等待;
- 有限等待。对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿);
- 让权等待。当进程不能进入临界区时,应立即释放处理机,防止进程忙等待;
互斥的软件实现方法:
- 单标志法
每个进程进入临界区的权限只能被另一个进程赋予。每个进程在退出区把临界区的使用权转交给另一个进程。
- 违背了“空闲让进”原则
- 双标志先检查法
设置一个flag数组标记各进程想进入临界区的意愿,进程在进入区先检查其他进程是否也有意愿,后上锁,退出区解锁。
- 在“检查后,上锁前”有可能会发生进程切换,违背了“忙则等待”原则
- 双标志后检查法
在自身对临界区进行上锁后,检查发现存在别的进程也有意愿(甚至也上了锁),从而进程之间都无法进入临界区。
- “先检查,后上锁”虽然满足了“忙则等待”原则,但是违背了“空闲让进”和“有限等待”原则,会出现个进程都长期无法访问临界资源而产生“饥饿”现象。
- Peterson算法
表达自己想使用临界区的意愿,但同时又愿意让出临界区。
- 遵循了前三个原则,但是违背了“让权等待”的原则。
互斥的硬件实现方法
- 中断屏蔽方法
- 使用“开/关中断”指令实现
- 只适用于单处理机;只适用于操作系统内核进程
- TestAndSet指令
- old记录是否已被上锁;
- 再将lock设为true;
- 检查临界区是否已被上锁(若已上锁,则 循环重复前几步)
- 适用多处理机
- 不满足“让权等待”原则
- Swap指令(XCHG指令)
- 同上
信号量机制
整形信号量:用一个整数型变量作为信号量,用来表示系统中某种资源的数量。
- 不满足“让权等待”的原则
记录型信号量:用记录型数据结构表示信号量 - 对信号量S的一次P操作意味着进程请求一个单位的该类资源,因此需要执行S.value–,表示资源数量-1;如果S.value<0,表示该类资源已经分配完毕,则此进程应调用block原语进行自我阻塞(运行态->阻塞态),主动放弃处理机。
- 对信号量S的一次V操作意味着进程释放一个单位的该类资源,因此需要执行S.value++,表示资源数量+1;如果+1后S.value<=0,表示有进程在等待该类资源,调用wakeup原语唤醒队列中的第一个进程(阻塞态->就绪态)。
用信号量实现进程同步
- 分析何处需要实现同步关系,保证“一前一后”执行的两个操作
- 设置同步信号量S,初始为)
- 在“前操作”之后执行V(S)
- 在“后操作”之前执行P(S)
用信号量实现前驱关系
- 为每一对前驱关系各设置一个同步变量