内核锁机制与进程间通信技术.pdfVIP

一、内核控制机制

1、竞态条件

几个进程在的时候彼此干扰的情况通常称为竞态条件（racecondition）。

由于导致竞态条件的情况非常罕见，因此需要提出一个问题：是否值得做一些（有时候是大量的）工作来保护

代码避免竞态条件。在某些环境中（比如飞机的控制系统、重要机械的、），竞态条件是致

命问题。

2、临界区

每个进程中临界的那段代码称为临界区（CriticalSection）（临界是一次仅允许一个进程使用的

共享）。

二、内核锁机制

内核可以不受限制地整个地址空间。在多处理器系统上，这会引起一些问题。如果几个处理器同时处于核

心态，则理论上它们可以同时同一个数据结构。在第一个了SMP功能的内核版本中，该问题的解决方

案非常简单，即每次只允许一个处理器处于态。因此，对数据协调的并行被自动排除了。令人遗

憾的是，该方法因为效率不高，很快被废弃了。现在内核使用由锁组成的细粒度网络，来明确地保护各个数据

结构。如果处理器A在操作数据结构S，则处理器B可以执行任何其他的内核操作，但不能操作S。

内核为此了各种