8—第八章存储空间组织—3节—缩减版.ppt

§8.3 静态存储分配——FORTRAN语言;FORTRAN语言的特点：（FORTRAN 77） 1). 过程不允许递归调用 一个过程的两个活动的生存期不相交，因此一 个过程的所有活动可以使用同一个活动记录； 2). 每个数据名所需的存储空间大小是常数，没有 可变数组等； 3). 数据名的性质完全确定；不能动态地建立数据 结构； 因此可以采用“静态存储分配”。;由于每个FORTRAN 程序段可以独立编译，运行前由 装入程序把各段连成可运行的整体。 通常按数据区组织存储: 每个程序段定义一个局部数据区，用来存放程序段中未出现在COMMON里的局部名的值。 每个公用块定义一个公用数据区，用来存放公用块里各个名字的值。 每个数据区有一个编号，地址分配时，在符号表中，对每个数据名登记： （所属数据区编号，在该区中的相对位置）;§8.3.1 FORTRAN数据区;局部数据区的内容： 返回地址：存放此程序段结束时的返回地址。 寄存器保护区：调用本程序段时寄存器中的信息，当 本程序段结束后，可以恢复到调用前的状态；　 形式单元：存放实在参数的地址或值。FORTRAN语言 采用两种方式共存的形式。 传地址：一个单元，存放地址； 得结果：二个单元，存放地址、值； 数组：按列存放； 临时变量：语义分析引入。;寄存器保护区;§8.3.2 公共语句、等价语句介绍;EQUIVALENCE ： *）处理同一个程序单元中的多个对象共享一个存 储空间，以节省内存。 因此，主程序和过程之间；过程相互之间不同 变量不能用EQUIVALENCE语句来指定共用存储 单元。 *）允许用两个或更多的变量名代表同一个量。 COMMON、EQUVILENCE： 这两个语句功能过于强大，滥用会导致对程序的理解和维护变得非常困难。;;2).存储序列： 任意多个连续的数据单位就构成了一个存储序列； 一个数组对象构成一个存储序列； ? 一个公用块构成一个存储序列； 等价语句中的等价列表的所有对象构成一 个存储序列； 3).两个数据对象如果共享了同一个存储序列，那么它 们就称为具有存储关联的关系。如果它们只是共享 了同一个存储序列的部分存储单位，那么它们称为 具有部分存储关联的关系。;公共区：一块有名字的、被共享的存储空间。 无名公共区：一个； 有名公共区：多个； 公共语句： COMMON [/[公共块名1]/] 变量名表1 [[,] /[公共块名2]/变量名表2]... 其中： *)变量名不得是哑元、可分配数组、自动对象等。 *)不同程序单元中,同一公用区中的变量名可以不同。 按位置一一对应共享同一存储单元中的数值。 *) COMMON语句是说明语句，必须在可执行语句之前。;;;等价语句： EQUIVALENCE (变量名表1),(变量名表2),… 其中： 1）等价语句是说明语句，应出现在执行语句之前； 2）每一个 (变量名表)，称为一个等价片； 3）等价片中的名字称为等价元。等价元可以是简单 变量或下标为常数的下标变量。;4）等价片中的每一个等价元都被分配到同一个存储单 元，只要某一个等价元赋予某值，其它的等价元 也就同时具有相同的值。 如有赋值：I=2 则 J,A(1,2)值也为2。 （注意：这种效果不是数学上的等值，而是由于 共享一个存储单元而得到的方便。) ;5).不同等价片中若有相同名字(包括数组名)，则 称为等价相关，应将其合并，让更多等价元共 享存储单元。(如A) 6).若两个数组的某一个元素等价，则数组的其他 元素也产生等价关系（如A, K）;例：INTEGER I,J,K(3) COMPLEX X REAL A(3,3) ? ?EQUIVALENCE (X,A(2,3)),(I,J,A(1,2),K(2));;公共语句与等价语句同时出现： ⑶.等价语句不能改变公共语句确定好的次序和位 置，等价元素位置不得小于公共区起始位置 （否则称为“冒头” ）;;例：SUBROUTINE SS(I)； INTEGER K, T, Q, S ； REAL B(5), C(6), M COMMON // Y, Z, D?? ? ??? COMPLEX D(2) ? ?EQUIVALENCE (Z,C(1)),(C(3),S),(Q,B(2)),(T,B(4));§8.3.3 公共语句的处理;;;2).实现方式：在符号表中增设两栏：