第五讲 进程同步.pptVIP

第五讲 进程同步 中国科学技术大学计算机系 陈香兰 xlanchen@ustc.edu.cn 2013Fall 内容提要 进程同步问题的来由和进程同步的主要任务 临界资源和临界区 2任务的进程互斥问题的解决方案 信号量Semaphores 死锁和饿死现象 经典同步问题 管程 进程间通信 内容提要 进程同步问题的来由和进程同步的主要任务 临界资源和临界区 2任务的进程互斥问题的解决方案 信号量Semaphores 死锁和饿死现象 经典同步问题 管程 进程间通信 进程同步问题的来由 The processes are cooperating with each other directly or indirectly. Concurrent access to shared data may result in data inconsistency. 举例： 打印机 共享变量、表格、链表 细分进程之间的相互制约关系 间接相互制约关系来源于进程间的资源共享关系，例如打印机 直接相互制约关系来源于进程间的合作，例如利用缓冲区传递信息 进程同步的主要任务是： 对多个相关进程在执行次序上进行协调，以使并发执行的诸进程之间能有效地共享资源和相互合作，从而使程序的执行具有可在现性 内容提要 进程同步问题的来由和进程同步的主要任务 临界资源和临界区 2任务的进程互斥问题的解决方案 信号量Semaphores 死锁和饿死现象 经典同步问题 管程 进程间通信 临界资源和临界区 举例：生产者－消费者问题（P－C问题） Example: producer-consumer problem PC问题是经典的同步问题 一群生产者进程（Producer）生产产品（信息）提供给消费者进程消费 它们使用具有n个缓冲区的缓冲池来传递（共享）产品 生产者每次将一个产品放入一个缓冲区 消费者每次从一个缓冲区中取走一个产品 生产者进程与消费者进程并发异步的运行，它们之间必须同步： 不允许生产者向一个满的缓冲区投放产品 不允许消费者从一个空的缓冲区去取产品 错误示例程序 producer: repeat…produce an item in nextp…while counter = n do no-opbuffer[in] := nextp;in:=in+1 mod ncounter:=counter+1;until false; consumer: repeatwhile counter =0 do no-op;nextc:=buffer[out];out:=(out+1) mod n;counter:=counter-1;…consumer the item in nextc;…until false; var n: integer; //缓冲池大小 type item=…; var buffer: array [0,1,…,n-1] of item; //缓冲池 in, out : 0,1,…,n-1; //下一个可投和可取，初始0 counter: 0,1,…,n; //当前产品个数 C语言的表示（1） Shared data #define BufSize 10 typedef struct { … } item; item buf[BufSize]; int in=0; int out = 0; int count =0; Producer item newProduced; While (1) { /*produce an new item;*/ while (count==BufSize) ; /* do nothing */ ++count; buf[in] = newProduced; in = (in+1) %BufSize; } Consumer item nextConsumed; While(1) { while (count==0); /* do nothing */ --count; nextConsumed = buf[out]; out = (out+1) %BufSize; /* consume */ } C语言的表示（2），判断空和满的方法不同 Shared data #define BufSize 10 typedef struct { … } item; item buf[BufSize]; int in=0; int out = 0; The shared buffer is implemented as a circular array in points to the next free position in t