计算机操作系统——管程

管程

管程的定义

管程是一种特殊的软件模块，有这些部分组成

1. 局部于管程的共享数据结构说明；
2. 对该数据结构进行操作的一组过程（函数）；
3. 对局部于管程的共享数据设置初始值的语句；
4. 管程有一个名字

管程的基本特征：

1. 局部于管程的数据只能被局部于管程的过程所访问；
2. 一个进程只有通过调用管程内的过程才能进入管程访问共享数据
3. 每次仅允许一个进程在管程内执行某个内部过程。

用管程解决生产者消费者问题

monitor ProducerConsumer
    condition full,empty;   //条件变量用来实现同步（排队）
    int count=0;        //缓冲区的产品数
    void insert(Item item){     //把产品item放入缓冲区
        if(count == N)
            wait(full);
        count++;
        insert_item(item);
        if(count == 1)
            signal(empty);
    }
    Item remove(){      //从缓冲区取出一个产品
        if(count == 0)
            wait(empty);
        count--;
        if(count = N-1)
            signal(full);
        return remove_item;
    }
    
    //生产者进程
    producer (){
        while(1){
            item = 生成一个产品;
            ProducerConsumer.insert(item);
        }
    }
    
    //消费者进程
    consumer (){
        while(1){
            item = ProducerConsumer.remove();
            消费产品item;
        }
    }

引入管程的目的无非就是要更方便地实现进程互斥于同步

1. 需要在管程中定义共享数据（如生产者消费者问题地缓冲区）
2. 需要在管程中定义用于访问这些数据的“入口”————其实就是一些函数
3. 只有通过这些特定的“入口”才能访问共享数据
4. 管程中有很多“入口”，但每次只能开放其中一个“入口”，并且只能让一个进程或线程进入（注：这种互斥特性是由编译器负责实现的，程序员不用关心）
5. 可在管程中设置条件变量及等待/唤醒操作以解决同步问题，可以让一个进程或线程在条件变量上等待（此时，该进程应先释放管程的使用权，也就是让出“入口”）；可以通过唤醒操作将等待在条件变量上的进程或线程唤醒。