顶级临阵磨枪（软考高级系统架构-0）
前趋图（Precedence Graph） 前趋图（Precedence Graph）是一种用于描述任务、事件或进程之间先后依赖关系的有向无环图（Directed Acyclic Graph，DAG）。 通常记作： G = (P, E) 其中： P：顶点集合（Vertex Set），表示进程、任务或事件 E：边集合（Edge Set），表示前驱约束关系 边一般表示为： E = {(p_i, p_j)} 表示进程 p_i 必须先执行完成，进程 p_j 才能开始执行，即： p_i ➡️ p_j 由于前趋图只描述“先后依赖关系”，因此图中不能出现环路，所以它属于有向无环图（DAG）。 在实际分析中，本质上就是按照“节点大小关系 + 箭头方向”记录每一条边的依赖关系。 PV 操作（Semaphore Operations） PV 操作是操作系统中用于实现进程同步与互斥的一种经典机制，其核心是信号量（Semaphore）。 信号量通常记作： S_i 其中： S：Semaphore（信号量） 下标 i：表示第 i 个信号量 PV 操作包括两种基本原语： P 操作（Proberen） P 操作来源于荷兰语 “Proberen”，含义为“测试”或“申请资源”。 执行逻辑： 对信号量 S 减 1 若结果小于 0，则当前进程阻塞等待 若结果大于等于 0，则继续执行 因此： 执行前需要进行 P 操作 表示“申请资源”或“进入临界区” 常写作： P(S_i) V 操作（Verhogen） V 操作来源于荷兰语 “Verhogen”，含义为“增加”或“释放资源”。 ...