若信号量S的初值为2,且有三个进程共享此信号量,则s的取值范围是( )。
·[-2, 2]
·[-1, 2]
·[0, 2]
·[-3, 2]