计算机*作系统中，若P、V*作的信号量S初值为2，当前值为-1，则表示有____个等待进程

有1个等待进程。

信号量(Semaphore)，是可以用来保证两个或多个关键代码段不被并发调用。在进入一个关键代码段之前，线程必须获取一个信号量；一旦该关键代码段完成了，那么该线程必须释放信号量。其它想进入该关键代码段的线程必须等待直到第一个线程释放信号量。

为了完成这个过程，需要创建一个信号量VI，然后将Acquire Semaphore VI以及Release Semaphore VI分别放置在每个关键代码段的首末端。初值为2，表示初始时有两个可用的资源。现在为-1，就说明这两个可用资源已经被占用了，有一个进程还在等待资源。

扩展资料：

对信号量有4种操作(#include<semaphore.h>)：

1、 初始化（initialize），也叫做建立（create） int sem_init(sem_t *sem, int pshared, unsigned int value)

2、等信号（wait），也可叫做挂起（suspend）int sem_wait(sem_t *sem)

3、给信号（signal）或发信号（post） int sem_post（sem_t *sem）

4、清理（destroy） int sem_destory(sem_t *sem)。

参考资料来源：百度百科-信号量  

1、这是一个三段论推理，如果将“九寨沟”定义为S，将“适合人居住的地方”定义为P，将“城市”定义为M（m就是这里的中项，因为中项不在结论中出现），则该推理形式可以写为：

SEM

PIM

------

SEP

当然也可以表述为：SEM∧PIM→SEP（看你们书里采用哪一种方式，后面这个表达是绝对不会错的）

这个推理是错误的。

理由：该推理违反了三段论的下列规律：第一，在前提中不周延的项在结论中也不得周延。P在前提中是不周延的，但是在结论中却周延了，因此违反了这一条规律；第二，前提中有特称命题的，结论必须是特称命题。已知前提中有一个特称命题，但结论却是全称命题，因此也违反了这一定律。

2、这是一个性质命题（或直言命题）的直接推理（即根据性质命题的对当关系进行的直接推理，主要是通过换位法、换质法以及两种方法的嵌套使用来进行变换）。

将“预防艾滋病教育”定义为S，将“远离毒品的教育”定义为P。

由此可知其推理形式为：SIP→PAS。

该推理是错误的。

理由：因为对SIP进行换位时，有效的推理也是特称肯定命题，而推不出全称命题，这里推出了全称命题，因此是错误的。（补充：SIP→PIS，这个才是对的。）

---