利用信号量实现进程的（互斥），应为临界区设置一个信号量mutex，其初值为1，表示该资源尚未使用，临界区应置于________和________原语之间。

每执行一次P操作，信号量的值S减1。若S >=0，则该进程________；若S< 0，则该进程________。

每执行一次V操作，信号量的数值S加1。若________，则该进程继续执行；否则，从对应的________队列中移出一个进程并将________状态赋予该进程。

利用信号量实现进程的________，应为临界区设置一个信号量mutex，其初值为1，表示该资源尚未使用，临界区应置于________和________原语之间。

在操作系统中，信号量是表示 ①________ 的物理实体，它是一个与 ②________ 有关的整型变量，其值仅能由 ③________ 原语来改变。

每执行一次 P 原语，信号量的数值 S 减 1。如果 S >=0，该进程 ①________ ；若 S< 0， 则 ②________ 该进程，并把它插入该 ③________ 对应的 ④________ 队列中。

每执行一次V 原语，信号量的数值S 加1 ，如 果 ①________，Q 进程继续执行；如果S< =0，则从对应的 ②________ 队列中移出一个进程 R，该进程状态变为 ③________ 。

利用信号量实现进程的 ①________ ，应为临界区设置一个信号量 mutex。其初值为②________ ，表示该资源尚未使用，临界区应置于 ③ ______和 ④______ 原语之间。

________是一种只能由 P 操作和 V 操作进行访问的特殊变量，可以用来实现异步并行进程间的________以排它地访问共享数据，还可以用来实现________ ，实现进程间在逻辑上的相互制约关系。

Dijkstra 把________ 抽象成一种“生产者和消费者关系”。生产者——消费者问题是计算机中各种实际的同步、互斥问题的一个抽象模型。