s.value的初值表示，wait(s)表示要，signal(s)表示要，s.value〈0时，|s.value|表示。