Mesa & Hoare Monitor

Monitor 相当于一个封闭的盒子，Monitor对里面的东西进行监控。

Java的Monitor，类似于Mesa。以前只知道Java里面同不用synchronized，但是其实每一个Object可以被当作Monitor，控制里面所有synchronized 方法，variable。

当有一个process 进入synchronized 函数后，其它的process，都会被block在外。直到，这个process运行完，或者wait，主动退出。buffer 是解释Monitor最好的例子，当一个process，get或者put时，条件不符合，然后主动wait （process 进入一个monitor waiting queue），直到有一个process调用了notify，这时有一个在 waiting queue 里面的waiting process，会醒来。进入while loop再检查一遍条件是否符合，如果符合就继续。

之所以要进入while loop再检查一遍是因为有可能调用的是notifyAll，许多process一起醒来，最先醒来的已经改变了Condition Variable（条件），当另一个process 检查的时候条件已经不符合了。

Mesa Monitor，一个process notify 以后继续执行，其它所有的waiting process都醒来，检查条件，但是只有一个会真正的执行。为了避免starvation（有的waiting process）永远抢不到，时间等的最久的可能会最先执行（增加了scheduling的概念）。Mesa Monitor 优点是，反应速度快，notifying process 不用等，继续执行

Hoare Monitor，的特点是一个process notify以后，条件肯定满足，所以不需要while loop，醒来的process直接执行下一步。

另外Mesa Monitor 有一个invariant，当有process 在monitor里面是为false，其他时候都是true。在wait前和wait return 以后invariant can be assumed，必须是hold，其它时候不能确定。也就是说当要修改monitor状态的时候invariant 必须hold，比如修改waiting queue

class Buffer {            private char [] buffer;            private int count = 0, in = 0, out = 0;            Buffer(int size)            {                 buffer = new char[size];            }             public synchronized void Put(char c) {                 while(count == buffer.length)                  {                      try { wait(); }                      catch (InterruptedException e) { }                       finally { }                  }                  System.out.println("Producing " + c + " ...");                 buffer[in] = c;                  in = (in + 1) % buffer.length;                  count++;                  notify();             }                public synchronized char Get() {                 while (count == 0)                  {                      try { wait(); }                      catch (InterruptedException e) { }                       finally { }                  }                  char c = buffer[out];                  out = (out + 1) % buffer.length;                 count--;                 System.out.println("Consuming " + c + " ...");                  notify();                  return c;            }      }