多项选择题

A.信号量s的值表示临界资源的可用数目
B.V(s)用于释放资源
C.V原语使s=s-1,当s<=0,则唤醒等待进程
D.V原语使s=s-1,当s<0,则唤醒等待进程