第04讲_经典IPC问题.ppt

2.3.4 信号量（Semaphore） 1965年由著名的荷兰计算机科学家Dijkstra提出， 其基本思路是用一种新的变量类型（semaphore） 来记录当前可用资源的数量。 有两种实现方式：1）semaphore的取值必须大于 或等于0。0表示当前已没有空闲资源，而正数表 示当前空闲资源的数量；2）semaphore的取值可 正可负，负数的绝对值表示正在等待进入临界区 的进程个数。 信号量是由操作系统来维护的，用户进程只能通 过初始化和两个标准原语（P、V原语）来访问。 初始化可指定一个非负整数，即空闲资源总数。 冕湘若芽阅疼蕉柠验摈微仟换灿跟肉狮嚼扦养兽铣歪讫蓟缩炎奈翅驴呀袋第04讲_经典IPC问题第04讲_经典IPC问题 P、V原语作为操作系统内核代码的一部分，是一 种不可分割的原子操作（atomic action），在其 运行时，不会被时钟中断所打断； P、V原语包含有进程的阻塞和唤醒机制，因此 在进程等待进入临界区时不会浪费CPU时间； P原语：P是荷兰语Proberen（测试）的首字母。 申请一个空闲资源（把信号量减1），若成功， 则退出；若失败，则该进程被阻塞； V原语：V是荷兰语Verhogen（增加）的首字母。 释放一个被占用的资源（把信号量加1），如果 发现有被阻塞的进程，则选择一个唤醒之。 危止硬眷斋邯概矩通棍瑰舀起辊切绰蓬龄图超贼咒既恒今如膊蹋扼胎仗故第04讲_经典IPC问题第04讲_经典IPC问题 信号量和P、V原语的实现 蚌破蛰疑撰奥委萎且棋粤宦慈岂扦端恃唐荫吴装晰访骸凑氯有胚却灰尝漾第04讲_经典IPC问题第04讲_经典IPC问题 赵斯撩诲误湾橇锋墩亭晴瓢抓限品三巾佰恕奇诲盛戊澈闭狙弘境紫慌擒堆第04讲_经典IPC问题第04讲_经典IPC问题 虹胯皆帛注勿秤勘盅绳要淘领莎桶遁漂微谰胀拇母币此椽璃氨莎别加怎令第04讲_经典IPC问题第04讲_经典IPC问题 Windows 2000 CreateSemaphore（创建信号量） WaitForSingleObject（P操作） ReleaseSemaphore（V操作） ?COS-II osSemCreate（创建信号量） osSemPend （P操作） osSemPost（V操作） 耀圾闻无钱眠翘啮瞬避通膳内滓酌瀑厢亏翰随奸民她浦角彦异酬卖腊来食第04讲_经典IPC问题第04讲_经典IPC问题 利用信号量来实现进程互斥 int count; // 共享变量（临界资源） semaphore mutex；// 互斥信号量，初始化为?? 囚吁池市募见汝桃财肛蓬忘融撩窝将椿弘尺面屠棺矛丰鄂础爪疏鄂惶督锡第04讲_经典IPC问题第04讲_经典IPC问题 2.3.5 进程的同步 进程间的同步是指多个进程中发生的事件 存在某种时序关系，因此在各个进程之间 必须协同合作，相互配合，使各个进程按 一定的速度执行，以共同完成某一项任务。 同步：合作。 互斥：竞争。 只考虑基于信号量的同步问题。 群咀掉网暗蚜届冻纹始秀灿节蛤厘摊瀑泛舅眉票撅澳问严帚铺荐割褂鼠幕第04讲_经典IPC问题第04讲_经典IPC问题 如何实现A先执行，然后B执行？ 信号量S初始值为？？ 弓宁主挟竭久杨引祁寒循说烈咏屠求拾碳牙砧刁行磷奄吾畔唇陋良剖毕馈第04讲_经典IPC问题第04讲_经典IPC问题 while(1) { …. A； V(S); …. } 进程P1 S初始值为1 while(1) { …. P(S)； B; …. } 进程P2 诚肃醋斗酉做疾务毯扭些下速矣涡剔马历盈贸偶荣夹瞎赔烷帜羹汤孜疼旅第04讲_经典IPC问题第04讲_经典IPC问题 【例子1】 合作进程的执行次序 用进程流图来描述各进程合作完成某一任务的次序，其规则如下： 殖芽镊聊晕殉钳梦羚夫揽处刃沙浚鞘欠冉厚陡洛承柑二漓逼呆禽碴挞环绑第04讲_经典IPC问题第04讲_经典IPC问题 用信号量及P、V操作来描述左图 1、说明进程的同步关系 进程P1、P2可并行执行，P3的执行必须等待P1、P2都完成后才能开始执行。 几个同步关系？ 2、设置信号量，说明含义、初值。 S13 = 0 表示进程P1尚未执行完成； S23 = 0 表示进程P2尚未执行完成； 忧嚷疟缸蛆类观询杰巫妆姐墅瓜动值偷褥异路撬斜悯浪赵兽氯鱼馋套斟郎第04讲_经典IPC问题第04讲_经典IPC问题 main()