010-第十章目标程序运行时的存储组织.pptVIP

1 1 二.传地址 当参数通过引用传递时，也称作传地址，或引用调用 调用过程传给被调过程的是指针，指向实参存储位置的 　指针 1.如实参是一个名字或是具有左值的表达式，则左值本身传 　递过去 2.如实参是一个表达式，比如a+b或2，而没有左值，则表 　达式先求值，并存入某一位置，然后该位置的地址传递 　过去 3.被调过程中对形式参数的任何引用和赋值都通过传递到被 　调过程的指针被处理成间接访问 再回到图10.11例子，如果该程序的某次执行顺序为： sort　　quicksort　　quicksort　　partition　　 　exchange… 图10.15给出了进入过程exchange之后运行栈的示意，仅 　标明存取链和控制链的值 另一种跟踪方法是：每进入一个过程后，在建立它的活 　动记录的同时建立一张嵌套层次显示表display 嵌套层次：指过程定义的层数，始终假定主程序的层数 　为0，因此主程序称为0层过程 计数过程的层数用一个计数器Level，初值为0，每遇到过 　程说明则增1，过程说明结束则减1 display是一个指针数组d，也可看做是一个小栈，自顶向 　下每个单元依次存放着现行层，直接外层，……直至最 　外层（0层，主程序层）等每一层过程的最新活动记录的 　地址 图10.11的程序，假定有如下四种调用情况： （a）sort　　quicksort… （b）sort　　quicksort　　 quicksort… （c） sort　　quicksort　　 quicksort　　partition… （d） sort 　　quicksort　　quicksort　　partition　　 　 exchange… 图10.16(a)-(d)分别说明上述四种情形的运行栈和display quicksort quicksort quicksort quicksort quicksort quicksort quicksort display本身的体积在编译时可确定，它作为单独的表分配 　存储还是作为活动记录的一部分，比如置于实参的上端（ 　如图10.17所示），则取决于编译程序的设计者 当过程P1调用过程P2而进入P2后，P2应如何建立起自己的 　display? 当P1调用P2时必须把P0的display地址作为连接数据之一传 　给P2 如果P2是一个真实过程，那么P0或者就是P1自身或者既是 　P1又是P2的直接外层（图10.18的(a)(b)两种情形），不 　论哪一种情形，只要在进入P2后能够知道P1的display就 　能知道P0的display，从而可直接构造出P2的display。也 　就是说，在这种情况下，只需所P1的display地址作为连 　接数据之一传送给P2就能够建立P2的display 如果P2是形式参数，那么调用P2意味着调用P2当前相应的 　实在过程 此时的P0应是这个实在过程的直接外层过程 假定P0的display地址可从形式单元P2所指示的地方获得 为了能在P2中获得P0的display地址，必须在P1调用P2时设 　法把P1的display地址作为连接数据之一传送给P2 于是连接数据变为三项： （1）老SP值； （2）返回地址； （3）全局display地址 这样，整个活动记录的组织就如图10.17所示 三.分程序结构的存储管理 一个分程序是一个含有它自己的局部数据（变量）声明 　的语句 在C语言中，一个分程序的语法形式是：{ 声明　语句} 例如图10.19的C程序中的分程序B0，B1，B2和B3，分程 　序的特征是它们的嵌套结构，使用界符标明分程序的开 　始和结束，C语言用{ } 分程序结构可以用栈式存储分配实现 一种办法是把分程序看成一个“无参过程”，只不过是在 　该分程序入口处调用，分程序出口处返回。分程序在哪 　里定义就在哪里被调用 另一种办法是每次为一个完整的过程体分配存储，即把 　一个过程体中的所有分程序所需的存储一次分配好，如 　图10.19的C程序,可以为这里所有声明的名字分配一块存 　储，如图10.20所示： ALGOL的结构特点是除了允许过程嵌套定义还含有分程 　序的结构，如图10.21的一个ALGOL过程： 如采用将分程序看成“无参过程”，则效率很低，因为： 第一，分程序不存在被调用的问题，不必要在进入一个 　分程序时，将连接数据和display都放进活动记录中 第二，当从内层分程序向外转移时可能同时要结束若干 　个分程序，那么怎样恢复所要到达的那个分程序的数据 　区呢？ 克服上述缺点的办法是： 首先，代替原来的那个统一的栈顶指示器，让每个过程 　和分程序都有自己的栈顶指示器TOP，它的值保存在各 　自的活动记录中 其次，不把分程序看作“无参过程