13.5.4 每个进程区域表(PRegion)



13.5.4  每个进程区域表(PRegion)

通常，对每个进程而言，P区有三个条目，它们分别对应该进程的文本区、数据区和堆栈区。一旦内核知道进程ID(Pid)，它就可以从进程表中定位出这些条目。在进程表中，有多个指向P区表中条目的指针。因此，对任何进程而言，P区表中对应文本区、数据区和堆栈区的条目不必是连续的，虽然图13-27给出的是连续的情况，为了简化起见。该图还给出了唯一的一个指针，而不是三个从进程表指向P区表的指针，这样可以避免混乱。

对应进程和该P区表中特定区域的每个条目包括以下内容。

(1) 指向进程表的指针：内核可以将其作为PID维护，内核可以通过该指针由P区表访问进程表条目。因此，反之亦然，内核也可以由进程表遍历P区表。为了避免混乱，图中并没有给出该指针。

(2) 指向区域表的指针：如图13-27所示。下一小节介绍区域表的内容。

(3) 虚拟地址：它是进程中该区域的起始虚拟地址。编译器生成该地址，并将其保存在可执行文件中。当内核创建进程时，它会创建P区表。此时，将这些值从可执行文件的核心镜像转移到P区表中。即使有两个进程共享该区域(例如，字处理软件或编译器的文本区)，那么在共享该区域的两个进程中，这个起始虚拟地址也可以不相同。

(4) 访问权限：它指明对该进程的该区域的访问权限，例如，只读、读/写或读/执行。

(5) 指针链表：对共享的区域而言，它是共享同一个区域的"下一个"P区条目的地址，如图13-28所示。该图指明进程A、B、C共享区域号等于1的区域，其中计数值(COUNT)等于3。它表明共享区域的P区条目链接在一起。该条目包括相同区域的"下一个"P区条目的地址。地址字段中的"*"表示链表的结束。因此，对于没有共享的区域，如区域号等于2的区域而言，在图13-28中进程D的这个地址项就是"*"，这是因为它没有"下一个"条目了。

这些是从共享区域表条目指回到所有共享该区域的P区表的指针。作为选择，可以采用单独一个由共享区域表条目指回到共享该区域的第一个P区域表的指针。有了这个指针以及前面P区中的指针，内核就可以针对相同的区域遍历所有的P区。当创建不共享的区域时，直到该区域共享为止，P区表条目中"下一个"指针会被设为"*"或是一些指明链表结束的内容。如果内核创建使用共享区域的进程，就要以适当的地址为参数扩充该链表。如果两个或多个进程共享一个区域，那么进程表的"引用计数"字段就会大于1。稍后介绍这部分内容。

指针链表能够帮助内核正确快速地定位出共享区。从逻辑角度而言，P区表可以是进程表或u区的一部分，UNIX也许会以这种方式实现它。这种情况下，进程表和P区表之间没有双向指针，本书分别介绍它们。

（点击查看大图）图13-28  用于共享区域的p区链表