第二章 进程的描述与

2.1 前驱图和程序执行
前趋图是描述进程执行前后关系的图。
前趋图关注的是前趋关系，不能有循环。
程序顺序执行时的特征：（1）顺序性(2) 封闭性(3) 可再现性。
程序的并发执行分析：要符合前趋关系：发不是随意的。
多个程序如果无序并发，得到的只能是混乱的执行结果，
多道程序运行，走走停停的可能顺序有很多种，符合前趋图的关系才是合理并发。
并发程序执行时的特征：间断性(运行表现)，失去封闭性，结果不可再现性。
2.2进程的描述
进程是进程实体的运行过程，是系统进行资源分配和调度的一个独立单位。
进程的特征：动态性，并发性，独立性，异步性。
进程的三种基本状态：就绪状态(Ready)，运行状态(Running)，阻塞状态(Blocked)。
引入挂起操作的原因：终端用户的需要，父进程请求，负荷调节的需要，操作系统的需要。
引入挂起原语操作后三个进程状态的转换:活动就绪—>静止就绪。活动阻塞—>静止阻塞。静止就绪—>活动就绪。静止阻塞—>活动阻塞。
PCB的具体作用：作为独立运行基本单位的标志，能实现间断性运行方式，提供进程管理所需要的信息，提供进程调度所需要的信息，实现与其它进程的同步与通信。
进程控制块的组织方式：线性，链接，索引。
2.3进程控制
OS内核的两大方面功能：1支撑功能（1）中断处理（2）时钟管理（3）原语操作2资源管理功能（1）进程管理（2）存储器管理（3）设备管理。
引起创建进程的事件：用户登录，作业调度，提供服务，应用请求。
进程的创建：（1）申请空白PCB（2）为新进程分配其运行所需的资源（3）初始化进程控制块（4）如果进程就绪队列能接纳新进程，便将新进程插入就绪队列。
引起进程终止的事件：正常结束，异常结束，外界干预。
引起进程阻塞和唤醒的事件：向系统请求共享资源失败，等待某种操作的完成，新数据尚未到达，等待新任务的到达。
2.4进程同步
两种形式的制约关系：间接相互制约关系，直接相互制约关系。
人们把在每个进程中访问临界资源的那段代码称为临界区。
同步机制遵循的规则：空闲让进，忙则等待，有限等待，让权等待。
整型信号量：信号量定义为一个整型量；根据初始情况赋相应的值；仅能通过两个原子操作来访问。
整型信号量符合“有限等待”原则，不符合“让权等待”原则。
信号量的基本应用：实现进程互斥；实现进程间的前趋关系（有序）。
信号量集引入原因：每次只能获得或释放一个单位的资源，低效；某些时候资源分配有下限的限制；修改：在大于可分配设置的下界值t前提下，每次可分配d个。