第二章分布式操作系统.ppt

第二章. 进程管理及并发控制和同步;进程的定义和特征;进程的定义;进程的定义;进程的特征;顺序性;动态性;并发性;独立性;异步性;进程的结构;进程的结构;进程的状态;进程的状态;进程的状态(UNIX);进程控制块; ;原语;原语;对进程之间共享资源的控制必须满足下列要求：;安全性（safety）;活动性（liveness）;公正性（fairness）;第4节 进程的同步与互斥;进程的同步;临界资源;进程的互斥;临界区;临界段应遵循下面的原则：;同步机制;§1. 忙等待〔busy waiting）;计算机硬件配置指令;利用测试与设置的同步;计算机硬件配置指令;利用对换指令的同步;Dekker的软件解（1968）;Dekker的软件解;Peterson的软件解 [198l]; vold enter-region(int process) /* process: who is entering (0 or 1) */ { int other; /* */ other = 1 - process; interested[process] = TRUE; turn = process; while (turn = = process interested[other] = = TRUE) ; /* null statement */ } ; void leave-region(int process) /* process: who is leaving (0 or 1) */ { interested[process] = FALSE; /* indicate departure from critical region */ } ; int turn; boolean flag[2]; process(i) int i; { while (TRUE) { compute; flag[i] := TRUE; while ((flag[i+1 mod 2])∧(turn = i+1 mod 2)) ; critical_section; turn := (turn+1) mod 2; flag[i] := FALSE; }; }; ;turn := 0; flag[0] := FALSE; flag[1] := FALSE; Process(0) AND process(1); ;§2. 信号量及其P、V操作;信号量及其P、V操作;P(s)和V(s)操作;P(s)操作;P(s)操作;V(s)操作;互斥问题; ; ;有界缓冲区（生产者和消费者）问题;有界缓冲区（生产者和消费者）问题;有界缓冲区（生产者和消费者）问题;producer( ) AND consumer( );;读者和作者(Readers-Writers)问题;读者和作者(Readers-Writers)问题;弱读者进程优先策略;;;作者进程优先策略;;;;;AND同步机制;哲学家用餐问题;;同时P（simultaneous P）操作;Psimultaneous(S1, S2,…, Sn);Vsimultaneous(S1, S2,…, Sn);当n = 2时Psimultaneous的一种实现;;;Psimultaneous(S1,t1,d1,S2,t2,d2,…,Sn,tn,dn);Vsimultaneous(S1,d1,S2,d2,…,Sn,dn);条件临界域;条件临界域;条件临界域;条件临界域;条件临界域;条件临界域;条件临界域;条件临界域;条件临界域;条件临界域;条件临界域;条件临界域;管程（monitor）;;管程（monitor）;管程（monitor）;条件变量（condition variable）;条件变量（condition variable）;有界缓冲区管程;有界缓冲区管程;有界缓冲区管程;用管程技术编写的简单批处理操作系统;用管程技术编写的简单批处理操作系统;用管程技术编写的简单批处理操作系统;优先wait 语句;管程（monitor）;定序器和事件计数器Sequencers and Eventcounts;事件计数器;定序器;定序器;定序器;利用定序器和事件计数器实现P和V;利用定序器和事件计数器实现P和V;利用定序器和事件计数器实现P和V;利用定序器和事件计数器实现P和V;利用定序器和事件计数器实现P和V;利用定序器和事件计数器实现P和V;利用定序器和事件计数器实现生产者和消费者问