2026 操作系统 inode 选择题
第 27 题

假设进程P的读、写进程集合分别是R(P)和W(P),进程Q的读、写进程集合分别为R(Q)和W(Q),则进程P和Q并发执行中,不会发生错误的并发执行充要条件是( ) I.R(Q)∩W(P)=∅II.R(P)∩R(Q)=∅III.W(P)∩W(Q)=∅IV.R(P)∩W(Q)=∅

A. I、II B. I、II、III C. I、III、IV D. II、III

[tag_link]

正确答案:C

**【解析】**在进程并发执行中,不发生错误(即避免数据竞争和冲突)的充要条件基于 Bernstein 条件。Bernstein 条件指出,两个进程P和Q可安全并发执行当且仅当满足以下三个条件:

  • W(P)∩R(Q)=∅(避免写后读冲突);
  • R(P)∩W(Q)=∅(避免读后写冲突);
  • W(P)∩W(Q)=∅(避免写后写冲突)。读 - 读冲突(即R(P)∩R(Q))不会导致数据不一致,因此不是必要条件。对比题目中的条件:I 对应W(P)∩R(Q)=∅,III 对应W(P)∩W(Q)=∅,IV 对应R(P)∩W(Q)=∅,而 II 是R(P)∩R(Q)=∅,无需满足。因此,充要条件是 I、III 和 IV,对应选项 C。