一 什么是管程?
管程是一个有过程,变量和数据结构等组成的集合。官方给的定义很模糊,不过应该可以这样理解:管程可以看做是一个类,里面定义一些方法,这些方法完成了对临界区的操作,进程要想进入临界区,只要调用管程里面的方法即可。
二管程如何实现互斥?
管程的互斥由编译器来决定,这样程序员就不用操心互斥如何实现,因为管程天然的就实现了互斥
三实现了互斥还不够,如何实现在进程在无法继续运行时被阻塞?
引入条件变量,以及相关操作WAIT和SIGNAL。生产者发现buffer满的时候,就调用WAIT,引起调用进程阻塞,然后使得另一个被阻塞在外面的进程进入管程。消费者进入管程之后,通过SIGNAL来唤醒条件变量上等待的进程,如果该条件变量等待的进程有好几个,则调度程序从中选择一个使其恢复运行。在执行SIGNAL之后,Hoare管程规定让新唤醒的进程执行,原来的进程挂起,MESA管程要求执行SIGNAL的进程退出管程。
四 WAIT和SIGAL和SLEEP与WAKEUP的区别?