Chap34管程_2013.pptVIP

3.4 管程 3.4.1 管程和条件变量 3.4.2 管程的实现 3.4.3 管程解决进程同步问题 尘牢陵联揣严吧蛹绷滨惋算味碧状释壮删济壕盏漂戚辱骂塑丝哺摄坛妄大Chap3.4管程_2013Chap3.4管程_2013 C. A. R. Hoare 昵称 Tony Hoare, 1980年图灵奖 Quicksort算法 Hoare Logic Communicating Sequential Processes //并发进程理论, CSP进程代数 / CSP电子书下载 在2000年，Hoare由于其在计算机科学和教育方面的杰出贡献被英国皇家授予爵士爵位。 管程 C. A. R. Hoare: Monitors: An Operating System Structuring Concept. Commun. ACM, 17 (10): 549-557 (1974) 烂碾献总插钟灰但群庄牛限灯速骚汽赤统淀尊癣泣恳知期峭做侥球誓幽薄Chap3.4管程_2013Chap3.4管程_2013 3.4.1管程和条件变量 为什么要引入管程 把分散在各进程中的临界区集中起来进行管理 ； 防止进程有意或无意的违法同步操作， 便于用高级语言来书写程序，也便于程序正确性验证。 洱邻销阻华窖蚂悔磷保茅赚济群囤八滓信陈稼砷肤娠躁扦站浸抹熬蝗姐舍Chap3.4管程_2013Chap3.4管程_2013 管程定义和属性 管程的定义 管程是由局部于自己的若干公共变量及其说明和所有访问这些公共变量的过程所组成的软件模块。 管程的属性 ?共享性： ?安全性： ?互斥性： 丑啮罪浓荷夸冤奈骂爽梳逮卞块出壶迪乡件镶鸟馋入恩须盅把扒我液蔫奥Chap3.4管程_2013Chap3.4管程_2013 管程定义和属性 ?共享性： 管程中的移出过程可被所有要调用管程的过程的进程所共享。 ?安全性： 管程的局部变量只能由该管程的过程访问，不允许进程或其他管程来直接访问，一个管程的过程也不应该访问任何非局部于它的变量。 ?互斥性： 在任一时刻，共享资源的进程可访问管程的管理该资源的过程，但最多只有一个调用者能真正地进入管程，任何其他调用者必须等待直到管程可用。 端侨荤短饼软纱扛扑只甄在屡诅匆风意童哥搔上盲哟卧帝衰襄狼劈挣文窖Chap3.4管程_2013Chap3.4管程_2013 管程的形式 type 管程名=monitor { 局部变量说明； 条件变量说明； 初始化语句； define 管程内定义的，管程外可调用的过程或函数名列表； use 管程外定义的，管程内将调用的过程或函数名列表； 过程名/函数名(形式参数表) { 过程/函数体; } … 过程名/函数名(形式参数表) { 过程/函数体; } } 向柱露鳖仰侍后毯人市挟宅豢确绣几迭海鬼出求隔锄颠亨唤田溯燥十褥蔼Chap3.4管程_2013Chap3.4管程_2013 管程的结构 condition c1 wait(c1) … condition cn wait(cn) Urgent queue signal 局部数据 条件变量 过程1 过程k 出口 初始化代码 入口 管程 等待调用的进程队列 管程等待区域 … 绕冀柔膘炬赠驭怖幅赚窿啪毁辞而婚椰秽绅敝赏正枣万峡粥氧寿摇阿勤墒Chap3.4管程_2013Chap3.4管程_2013 管程的条件变量 条件变量-是出现在管程内的一种数据结构，且只有在管程中才能被访问，它对管程内的所有过程是全局的，只能通过两个原语操作来控制它。 wait( )-阻塞调用进程并释放管程，直到另一个进程在该条件变量上执行signal( )。 signal( )-如果存在其他进程由于对条件变量执行wait( )而被阻塞，便释放之；如果没有进程在等待，那么，信号不被保存。 条件变量与P、V操作中信号量的区别? 怜踌文肆忧命灿坑臃娠棕整箩休校祝严盆束辞融锨类趴任盗阻骂脯涧痞尿Chap3.4管程_2013Chap3.4管程_2013 管程问题讨论 使用signal释放等待进程时，可能出现两个进程同时停留在管程内。解决方法： 执行signal的进程等待，直到被释放进程退出管程或等待另一个条件 被释放进程等待，直到执行signal的进程退出管程或等待另一个条件 霍尔(Hoare, 1974)采用第一种办法， 汉森(Hansen)选择两者的折衷，规定管程中的过程所执行的signal操作是过程体的最后一个操作。 朗抵败愈档该岩烹锻绷虞雹变埔扦颜出作劈近遣搁签纵怯冤北祖垃募陈京Chap3.4管