老狗——管程

最新推荐文章于 2022-02-18 18:54:54 发布

VeteranDog

最新推荐文章于 2022-02-18 18:54:54 发布

阅读量787

点赞数 3

分类专栏：操作系统文章标签：管程

本文链接：https://blog.csdn.net/weixin_42274953/article/details/84258882

版权

19 篇文章 0 订阅

订阅专栏

1973年，Hoare和Hanson提出管程思想：将共享变量及对共享变量能够进行的所有操作集中在一个模块中。

一、管程的组成：

对共享变量互斥操作：管程的特点直接实现了该要求，进程一次一个进入管程调用内部过程操作共享变量。
管程的互斥访问完全由编译程序在编译时自动添上，无须程序员关心，能保证正确。
操作的同步控制：靠条件变量的操作管理实现。进入管程但不能获取资源操作的过程将阻塞，并在满足条件时被唤醒执行。

生产者-消费者问题的管程解决方法:

生产者：

producer:
begin
   repeat
  生产an item in nextp;
   p_c.put(nextp);
   until
end

消费者：

consumer:
begin
   repeat
   p_c.get(nextc);
   消费an item in nextc;
   until
end

保证进程互斥地访问共享变量，并方便地阻塞和唤醒进程。管程可以以函数库的形式实现。相比之下，管程比信号量好控制。
管程可增强模块的独立性：系统按资源管理的观点分解成若干模块，用数据表示抽象系统资源，使同步操作相对集中，从而增加了模块的相对独立性
引入管程可提高代码的可读性，便于修改和维护，正确性易于保证：采用集中式同步机制。一个操作系统或并发程序由若干个这样的模块所构成，一个模块通常较短，模块之间关系清晰。

大多数常用的编程语言中没有实现管程，如果某种语言本身不支持管程，那么加入管程是很困难的。
虽然大多数编程语言也没有实现信号量，但可将P、V操作作为一个独立的子例程或操作系统的管理程序调用加入。

主要作用就是进程同步的阻塞和唤醒控制

局部于管程的变量有两种：

普通变量
条件变量（用于控制进程阻塞和唤醒）
类似信号量变量，但不取具体值；相当于每个阻塞队列的队列指针。
对条件变量的操作需结合对普通变量的条件判断，从而控制进程状态。

关于条件变量的操作

x.wait将执行进程挂到x对应的等待队列上
x.signal唤醒x相应的等待队列上的一个进程
signal操作，是重新启动一个被阻塞的进程，但如果没有进程被阻塞，则不产生任何效果
而信号量机制中的signal操作，若没有需要唤醒的进程，必须要做的还有修改信号量变量的值。

关注