1.信号量机制

用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作，从而很方便的实现了进程互斥、进程同步。

1.信号量

信号量其实就是一个变量（可以是一个整数，也可以是更复杂的记录型变量)，可以用一个信号量来表示系统中某种资源的数量，比如:系统中只有一台打印机，就可以设置一个初值为1的信号量。

2.原语

• 原语是一种特殊的程序段，其执行只能一气呵成，不可被中断。
• 原语是由关中断/开中断指令实现的。
• 软件解决方案的主要问题是由“进入区的各种操作无法一气呵成”，因此如果能把进入区、退出区的操作都用“原语”实现，使这些操作能“一气呵成”就能避免问题。

3.PV操作

• 一对原语: wait(S)原语和signal(S)原语，可以把原语理解为我们自己写的函数，函数名分别为wait和signal，括号里的信号量S其实就是函数调用时传入的一个参数。
• wait、signal原语常简称为P、V操作（来自荷兰语proberen和 verhogen)。
• 因此，做题的时候常把wait(S)、signal(S)两个操作分别写为P(S)、V(S)

2.整型信号量

用一个整数型的变量作为信号量，用来表示系统中某种资源的数量。

与普通整数变量的区别:对信号量的操作只有三种,即初始化、P操作、V操作

eg:某计算机系统中有一台打印机…

3.记录型信号量

整型信号量的缺陷是存在“忙等”问题，因此人们又提出了“记录型信号量”，即用记录型数据结构表示的信号量。

Eg:某计算机系统中有2台打印机…，则可在初始化信号量S时将S.value的值设为2，队列S.L设置为空。

在考研题目中wait(S)、signal(S)也可以记为P(S)、V(S),这对原语可用于实现系统资源的**“申请”和“释放”**。

S.value的初值表示系统中某种资源的数目。

1.P操作（申请资源）

1. 对信号量S的一次Р操作意味着进程请求一个单位的该类资源，
2. 因此需要执行S.value–，表示资源数减1，
3. 当S.value <0时表示该类资源已分配完毕，
4. 因此进程应调用block原语进行自我阻塞（当前运行的进程从运行态$\to$阻塞态），
5. 主动放弃处理机，并插入该类资源的等待队列S.L中。
6. 可见，该机制遵循了“让权等待”原则，不会出现“忙等”现象。

2.V操作（释放资源）

1. 对信号量S的一次V操作意味着进程释放一个单位的该类资源，
2. 因此需要执行S.value++，表示资源数加1，
3. 若加1后仍是S.value <=0，表示依然有进程在等待该类资源，
4. 因此应调用wakeup原语唤醒等待队列中的第一个进程（被唤醒进程从阻塞态$\to$就绪态）。