OS 共享变量、临界区、临界资源之间的联系

共享变量（shared variable）

多个进程均需访问的变量称为共享变量

• 有些变量，两个或两个以上的进程均需要访问它们，这些变量被称为共享变量，也称为公共变量。

临界区（critical region）

• 访问共享变量的程序代码段称为临界区，也称为临界段（critical section）;
• 指的是一个访问共用资源（例如：共用设备或是共用存储器）的程序片段，而这些共用资源又无法同时被多个线程访问的特性。

• 注重的是进程中对一个共享资源访问的一段代码片；
• 如果有若干进程要求进入空闲的临界区，一次仅允许一个进程进入。
• 通常把临界区与其所对应的共享变量联系起来，称为关于某一组共享变量的临界区；

临界资源（critical resource）

一次只允许一个进程使用的资源称为临界资源；

• 临界资源并不全是硬件或是软件，而是两者都能作为临界资源。即临界资源分为硬件临界资源和软件临界资源；
• 比如硬件的有：打印机、磁带机等；软件有：消息缓冲队列、变量、数组、缓冲区等；
• 当变量作为软件临界资源时，可理解为共享变量一样；
• 与临界区一样，在同一时间内只允许一个进程进行访问使用；
• 临界资源包含于共享资源；

临界资源跟临界区的区别：

• 临界资源：只允许一个进程进行访问的资源，比如打印机；
• 临界区：使用临界资源的代码区；

进程互斥

两个或两个以上的进程不能同时进入关于同一组共享变量的临界区，否可可能会发生与时间有关的错误，这种现象称为进程互斥；

上面下横线处有两层含义：

• 不允许多个进程同时进入关于同一组共享变量的相同临界区；
• 不允许多个进程同时进入关于同一组共享变量的不同临界区；

资料参考

• 《计算机操作系统教程》（第四版 编著：左万利 王英）
• 百度百科：临界区
• 百度百科：临界资源
• 牛客网：对进程间互斥的使用临界资源，进程可以（）。