填空题 管程由三部分组成（）、（）、对共享变量的初始化。

填空题 AND信号量的基本思想是，将进程在整个运行期间所需要的所有临界资源（）地全部分配给进程，待该进程使用完后再一起释放。

填空题 对信号量S的P操作定义中，使进程进入等待队列的条件是（）；V操作定义中，唤醒进程的条件是（）。