图10.11的PASCAL程序中过程定义的嵌套情况如下:
  sort
   readarray
   exchange
   quicksort
    partition
  这里不妨将整个程序sort看成最外层的过程。过程readarray,exchange和partition中引用的a均不是它们的局部变量,而是过程sort的局部变量。假如过程sort激活(调用)了过程quicksort,这时存储栈中的情形示意如图10.12,其中在quicksort过程活动记录中有一(或一些)存储单元(用斜线描绘)用以记录过程quicksort可以引用sort中定义的变量a和x。也就是说,为了解决对非局部量的存取问题,必须设法跟踪每个外层过程的最新活动记录的位置。
图 10.12存储栈布局
  实现对非局部量的存取的方法-跟踪每个外层过程的最新活动记录AR的位置。
  跟踪办法:
  ① 用静态链(如PL/0的SL)。
  ② 用DISPLAY表。