22408考研操作系统——信号量专项解题笔记.docxVIP

22408考研操作系统——信号量专项解题笔记

一、核心考点定位（22408考纲）

信号量机制是22408操作系统进程同步与互斥模块的核心必考考点，题型覆盖选择题、填空题、综合应用题，重点考查：信号量与PV操作原理、同步/互斥信号量区分、经典同步模型解题、信号量初值计算、死锁判断、PV操作顺序纠错。所有解题均围绕记录型信号量（考研唯一考查类型）展开。

二、基础核心概念（解题必备）

1.信号量定义

信号量是用于解决进程同步、互斥问题的整型变量，搭配原子性PV操作实现资源管控，核心作用是限制并发进程对临界资源的无序访问，保证进程执行的有序性。

考研仅考记录型信号量，包含两个属性：

value（整型值）：代表可用资源数量/等待信号数量

等待队列：存放因资源不足被阻塞的进程

2.PV操作完整规则（必考，原子操作不可拆分）

（1）P操作（Wait，申请资源/等待信号）

执行步骤：信号量value=value-1；

若value≥0：进程正常执行，成功申请资源；

若value＜0：进程阻塞，插入该信号量的等待队列。

（2）V操作（Signal，释放资源/发送信号）

执行步骤：信号量value=value+1；

若value＞0：无等待进程，直接结束；

若value≤0：唤醒等待队列中的一个进程。

3.信号量值的物理含义（选择题高频）

S0：当前