某博物馆最多容纳500人同时参观，有一个出入口，该出入口一次仅允许一个人通过。参观者的活动描述如下。用信号量和PV操作来实现这个过程中的互斥和同步。现定义两个信号量empty（表示博物馆可容纳的人数）和mutex（出入口的控制）。以下选项描述正确的是（）。cobegin参观者进程i{①;②;进门；V（mutex）；参观；P（mutex）；出门；③;④;}coend

A. empty的初值为1，mutex的初值为2
B. empty的初值为500，mutex的初值为1
C. ①处填P（mutex），②处填P（empty）
D. ①处填P（empty），②处填P（mutex）
E. ③处填V（mutex）
F. ④处填V（empty）
G. empty为同步信号量，mutex为互斥信号量
H. empty和mutex都是互斥信号量