校园内有一个男女共用的浴室。学校颁布规定:当有一个女生在浴室里,那么其他女生可以进入,但是男生不行,反之亦然。在浴室门上有个滑动标签,标示了浴室当前的三种使用状态之一:1.浴室空;2.有女生在使用;3.有男生在使用。用信号量解决该同步互斥问题,其中初始条件设置和一个女生进程的伪代码如下,补全代码中的空白。int girlCounter = 0; int boyCounter = 0; semaphore empty = ____（空白1）____; //控制浴室的进入 semaphore girlMutex = boyMutex = ____（空白2）____; //对两个counter互斥共享 girl(){ wait(____（空白3）____); girlCouter ++; if (girlCounter == ____（空白4）____) wait (____（空白5）____); signal(girlMutex); 使用浴室; wait(girlMutex); ____（空白6）____; if(girlCounter == 0)signal(empty); signal(____（空白7）____); } //boy()进程与girl()进程类似,只需将“girl”与“boy”字样互换。