共享变量（shared variable）

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

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

临界区（critical region）

  • 访问共享变量的程序代码段称为临界区，也称为临界段（critical section）;
  • 指的是一个访问共用资源（例如：共用设备或是共用存储器）的程序片段，而这些共用资源又无法同时被多个线程访问的特性。
  • 注重的是进程中对一个共享资源访问的一段代码片；
  • 如果有若干进程要求进入空闲的临界区，一次仅允许一个进程进入。
  • 通常把临界区与其所对应的共享变量联系起来，称为关于某一组共享变量的临界区；

临界资源（critical resource）

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

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

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

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

进程互斥

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

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

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

资料参考