进程释放资源后，S<=0，代表有进程还在等待资源，为什么有等于零呢，可以设想如果只有当前进程申请资源并使用了，那么S就是1->0，释放后会回到1，只有当前依旧存在等待资源的资源时，才会出现S<=0。