独立地运行的基本单位);异步性(各进程按各自的意愿断续向前执行, 即异步执
行);结构特征(为使进程能独立运行, 必须有一个称为 PCB 的数据结构来记录进
程的静态和动态属性,即进程是由"程序+数据+PCB"组成,在 UNIX 中把这三者
合称为进程的映象)
4、进程三态及其转换 (运行 Run、就绪 Ready、阻塞 Block)
5、带挂起的进程状态及其转换(运行、活动/静止就绪、活动/静止阻塞),挂起原因
(A>对换需要: 如内存紧张, 暂时把进程调到外存;B>用户需要: 如发现疑问需进
一步分析, 因而不希望参与三态转换;C>父进程需要: 希望挂起子进程以便检查执
行效果或进行修改;D> 负荷调节: 在实时系统中负载太重而暂时下载;E>OS 的
需要: OS 希望挂起某些进程以调整资源或记帐等)
6、PCB :是一个数据结构,其中存放着描述进程情况和控制进程运行所需的全部信息。
每个进程有唯一的一个 PCB,相当于身份档案;在创建新进程时产生, 在进程完成
时被 OS 回收,是进程存在的唯一标志;主要由四部分组成,进程标志符 ID、处理
机状态信息、进程调度信息、进程控制信息;组织方式,链接、索引。
7、缺点:空间开销(PCB 和协调机构的内存占用),时间开销(进程控制和调度的
时间浪费)
二、 进程控制
1、内核 (KERNAL):一般指运行频率高, 与硬件关系紧密, 以及许多公用模块置于 OS
中靠近裸机的层次上, 并常驻内存以提高 OS 的运行效率, 实施特殊保护的那部分模
块。如进程调度, 时钟管理(频度高), 中断处理, 设备驱动(硬件密切)等。一般借助
原语来实现。
2、原语 : 由若干条指令构成的, 完成特定功能的, 具原子性的一段程序。
3、原子操作 (Atomie Operation): 即一个操作是不可分的. (要么全做, 要么全不做)
4、创建和撤消 :父进程创建子进程,形成一个有向的进程家族树。当撤消进程时,其
下属的子孙进程都必须撤消以回收资源。
5、挂起与激活 :挂起种类有自身挂起; 挂起某指定进程; 挂起某进程及所有子孙进程
等,过程包括:改变状态+复制 PCB 到某一专用区域保存+若处执行态则 STOP 并
引发重新调度;
6、阻塞与唤醒 :阻塞是进程的自身调用阻塞原语而自我阻塞(主动行为),而唤醒是引
起阻塞的事件消失后, 有关的"发现者"调用唤醒原语来唤醒被阻塞的进程。注意:
"发现者"与被唤醒进程不一定直接相关
三、 进程同步
1、进程间间接制约关系源于资源共享;直接制约关系源于进程合作
2、一次只能被一个进程访问的资源叫临界资源(Critical Resource);每个进程访问
临界资源的那段代码叫临界区
3、对多个进程在相互执行次序上的协调称进程同步(广义上)。相应的机制称进程同
步机制。间接制约导致互斥(Mutual Exclusion,进程间互斥地使用临界资源);
直接制约导致同步(Synchronism,狭义上,指进程间合作完成一个任务)。
4、互斥是指各进程相互排斥地共享某一资源,即该资源不能被多个进程同时使用;同
步是指多个进程协调次序, 合作完成一项任务
5、同步机制应遵循的准则 :空闲让进、忙则等待、有限等待、让权等待
6、信号量机制是最广泛使用的进程同步机制, 最初在 1965 年由荷兰的 Dijkstra 提出,
从经典信号量 ( 整型信号量 ) —> 计数信号量 ( 记录型信号量 ) —>AND
评论0
最新资源