计算机操作系统原理张海云版第3章.ppt

3.1 进程的概念 3.2 进程状态及其转换 3.3 进程控制 3.4 进程同步与互斥 3.5 进程通信 3.6 死锁 3.7 线程 例如：有两个循环程序A和B，它们共享一个变量N。（初始N＝n） 程序A每执行一次时，有N：＝N＋1操作； 程序B则每执行一次时，执行print（N）， N:=0操作。 1.若N:＝N＋1在print（N）和N:=0之前，得到的N值分别为：n＋1，n＋1，0。 2.若N:＝N＋1在print（N）和N:=0之后，得到的N值分别为：n＋1，0，1。 3.若N:＝N＋1在print（N）和N:=0之间，得到的N值分别为：n，n＋1，0。 定义：将程序中语句Si划分为两个变量的集合R(Si)和W(Si)。 R(Si)={a1 a2 … am}，aj(j=1，…，m) 是语句Si在执行期间需引用的变量的集合，称为“读集” W(Si)={b1 b2 … bn}，bj(j=1，…，n) 是语句Si在执行期间要改变的变量的集合，称为“写集” 如果对于语句S1和S2，有 ① R(S1)∩ W(S2)={∮}， ② W(S1)∩ R(S2)={∮}， ③ W(S1)∩ W(S2)={∮} 同时成立， 则语句S1和S2是可以并发执行的。 此条件也称伯恩斯坦条件（Bernstein，1966) 1 进程状态 进程的三种基本状态： 一个进程的生命期可以划分为一组状态，系统根据PCB结构中的状态值控制进程。进程在生命消亡前处于且仅处于三种基本状态之一。 三种基本状态：就绪、执行、阻塞 引入挂起状态的原因 (1) 终端用户的请求。 (2) 父进程请求。 (3) 负荷调节的需要。 (4) 操作系统的需要。 引入挂起状态后进程状态转换增加的变化 (1) 活动就绪→静止就绪。 (2) 活动阻塞→静止阻塞。 (3) 静止就绪→活动就绪。 (4) 静止阻塞→活动阻塞。 创建状态： 1）为一个新进程创建PCB，填写必要的管理信息； 2）把该进程转入就绪状态并插入就绪队列之中。 终止状态： 1）首先等待操作系统进行善后处理， 2）然后将其PCB清零，并将PCB空间返还系统。 图3.5 进程的五种基本状态及其转换 进程的并发执行不仅仅是用户程序的执行开始时间的随机性和提高资源利用率的结果，也是资源有限性导致资源的竞争与共享对进程的执行过程进行制约所造成的。 作业: 1. 设公共汽车上,司机和售票员的活动分别是: 司机的活动:启动车辆;正常行车;到站停车. 售票员的活动:关车门;售票;开车门. 在汽车不断地到站,停站,行驶过程中,这两个活动有什么同步关系?用信号量和P,V操作实现他们的同步. 当一个进入管程的进程执行wait操作时，它应当释放管程的互斥权；当使用signal释放一个等待进程时(如P唤醒Q)，可能出现两个进程同时停留在管程内，怎样决定哪个进程执行、哪个进程等待，处理方法有两种：P等待Q继续，直到Q退出或等待；Q等待P继续，直到P等待或退出。 在利用管程方法来解决生产者-消费者问题时， 首先建立一个管程，并命名为PC。包括两个过程： (1) put(item)过程。生产者利用该过程将自己生产的产品投放到缓冲池中，并用整型变量count来表示在缓冲池中已有的产品数目，当count≥n时， 表示缓冲池已满， 生产者须等待。 (2) get(item)过程。消费者利用该过程从缓冲池中取出一个产品，当count≤0时，表示缓冲池中已无可取用的产品， 消费者应等待。 PC管程定义如下： Monitor PC； int in，out，count； item buffer[n]； condition notfull，notempty； void Entry put(item) { if count=n then notfull.wait； buffer[in]=item； in = (in+1) mod n； count++； if notempty.queue then notempty.signal； } 进程通信的方式 1 共享存储器机制(Shared-Memo