已知记录型信号量S，整型域S.value，下列说法错误的是（ ）

A、S.value的初值最大，表示系统拥有该资源的数目
B、S.value表示当前可用资源数目，所以初值必须置0
C、S.value<0时，其绝对值表示当前被阻塞的进程数目
D、执行wait(S)操作时，S.value的值-1，执行signal(S)操作时，S.value的值+1
E、在信号量S上执行的wait()操作和signal()操作都是原语操作