管程

信号量机制编写程序困难、易出错。1973年，Brinch Hansen首次在程序设计语言(Pascal)中引入了“管程”成分——一种高级同步机制。

管程的定义和基本特征

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

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 process
void producer() {
  while (true) {
    Item item = 生产一个产品
    ProducerConsumer.insert(item);
  }
}

// Consumer process
void consumer() {
  while (true) {
    Item item = ProducerConsumer.remove();
    消费一个产品
  }
}

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

1. 需要在管程中定义共享数据（如生产者消费者问题的缓冲区）

2. 需要在管程中定义用于访问这些共享数据的“入口”一一其实就是一些函数（如生产者消费者问题中，可以定义一个函数用于将产品放入缓冲区，再定义一个函数用于从缓冲区取出产品）

3. 只有通过这些特定的“入口”才能访问共享数据

4. 管程中有很多“入口”，但是每次只能开放其中一个“入口”，并且只能让一个进程或线程进入（如生产者消费者问题中，各进程需要互斥地访问共享缓冲区。管程的这种特性即可保证一个时间段内最多只会有一个进程在访问缓冲区。注意：这种互斥特性是由编译器负责实现的，程序员不用关心）

5. 可在管程中设置条件变量及等待/唤醒操作以解决同步问题。可以让一个进程或线程在条件变量上等待（此时，该进程应先释放管程的使用权，也就是让出“入口”）；可以通过唤醒操作将等待在条件变量上的进程或线程唤醒。

Java中类似管程的机制

Java中，如果用关键字synchronized来描述一个函数，那么这个函数同一时间段内只能被一个线程调用

static class Monitor {
  private Item[] buffer = new Item[N];
  private int count = 0;

  public synchronized void insert(Item item) {
    // code goes here
  }
}

每次只能有一个线程进入insert函数，如果多个线程同时调用insert函数，则后来者需要排队等待