一些操作系统中的专业名词

进程互斥是指若干进程因相互争夺独占型资源而产生的竞争制约关系。

进程同步：指为完成共同任务的并发进程基于某个条件来协调其活动，因为需要在某些位置上排定执行的先后顺序而等待、传递信号或者消息所产生的协作制约关系。

进程互斥关系是一种特殊的进程同步关系，即逐次使用互斥共享资源，也是对进程使用资源的次序的一种协调。

临界区：并发进程中与共享变量有关的程序段称为“临界区”

共享变量所代表的资源称为临界区资源

Race Condition：当多个并发进程访问临界区资源时，结果依赖于他们执行的相对速度，便称为出现了竞争条件。

共享变量的并发进程应该遵守临界区调度的三个原则：

1、 一次之多有一个进程进入临界区

2、 如果已有多个进程在临界区内，试图进入此临界区的进程需要等待

3、 进入临界区的进程应该在有限时间内退出，以便让等待队列中的一个进程进入临界区。

在操作系统中，用信号量表示物理资源的实体，是一个与队列有关的整型变量。具体实现时，信号量是一种变量类型，用一个结构型数据结构表示，有两个分量：一个是信号量的值，一个是信号量的队列指针。信号量在操作系统中主要用于封锁临界区、进程同步、及维护资源记数。

除了赋初始值外，信号量仅能由同步原语P（检测）  V（增量）对其进行操作。不存在其他方法可以检查和操作信号量。