单项选择题

A.管程中不允许同时存在两个或两个以上的运行进程
B.Hoare提出了管程的一种实现方案
C.管程的互斥是由信号量及PV操作实现的
D.条件变量是用于解决同步问题的