若信号量s的初值为5