操作系统概念(英文)——6-13.pptVIP

Oct. 2012 Operating System Concepts- Chapter 6 Process Synchronization - * Procedure P1,P2,…,Pn operate on shared variables declared within the monitor. Monitor consists of shared variables concurrent procedures initialization codes Monitor construct ensures that only one process at a time can be active within the monitor ( access the shared variables by calling P1, P2, …,Pn). 6.7.1 Concepts and Schemes (cont.) Fig.6.17. Schematic view of a monitor high-level synchronization construct P1 P2 Pn Oct. 2012 Operating System Concepts- Chapter 6 Process Synchronization - * Improvement to refining the synchronizing ability of the monitor, a process can be allowed to wait within the monitor, so condition variables are introduced into the monitor, which are declared, as: condition x, y; Monitor consists of shared variables conditional variables concurrent procedures initialization codes Fig. 6.18 6.7.1 Concepts and Schemes (cont.) Fig.6.18. Monitor With Condition Variables P1 P2 Pn Oct. 2012 Operating System Concepts- Chapter 6 Process Synchronization - * Condition variable can only be used with the operations wait and signal. These two operators are in procedures P1, P2, …, Pn; x.wait() means that the process invoking this operation is suspended until another process invokes x.signal() the x.signal operation resumes exactly one suspended process. If no process is suspended, then the signal operation has no effect. 6.7.1 Concepts and Schemes (cont.) Oct. 2012 Operating System Concepts- Chapter 6 Process Synchronization - * 6.7.2 Monitor solution to Dining Philosophers monitor dp { 1. enum {thinking, hungry, eating} state[5]; 2. condition self[5]; 3. void pickup(int i) void putdown(int i) void test(int i) 4. void init() { for (int i = 0; i 5; i++) state[i] = thinking; } } 6.7 Monitors (cont.) initialization code concurrent procedures ----- shared variables -----conditional variables Oct. 2012 Operating Syst