编译技术课件-运行时的存储组织及管理.pptxVIP

第六章 运行时的存储组织及管理概述静态存储分配→动态存储分配→数据区a简单变量realb简单变量realc简单变量real......6.1 概述(1) 运行时的存储组织及管理 目标程序运行时所需存储空间的组织与管理以及源程序中变量存储空间的分配。例：real a, b, c ; ... a := b?c ; 取b ? c 送a 符号表(2) 静态存储分配和动态存储分配静态存储分配 在编译阶段由编译程序实现对存储空间的管理和为源程序中的变量分配存储的方法。条 件 如果在编译时能够确定源程序中变量在运行时的数据空间大小，且运行时不改变，那么就可以采用静态存储分配方法。但是并不是所有数据空间大小都能在编译过程中确定动态存储分配 在目标程序运行阶段由目标程序实现对存储空间的组织与管理，和为源程序中的变量分配存储的方法。特 点 在目标程序运行时进行变量的存储分配。 编译时要生成进行动态分配的目标指令。6.2 静态存储分配(1) 分配策略 由于每个变量所需空间的大小在编译时已知，因此可以用简单的方法给变量分配目标地址。 开辟一数据区。（首地址在加载时定） 按编译顺序给每个模块分配存储空间。 在模块内部按顺序给模块的变量分配存储，一般用相对地址，所占数据区的大小由变量类型决定。 目标地址填入变量的符号表中。数据区r0272MAXPRN280r0272RATE284i0280IND1288i0284IND2+8×100r1288PRINT1088r21088YPRINTr05088+8×100×5TOTINT5088例：有下列FORTRAN 程序段 real MAXPRN, RATE integer IND1, IND2 real PRINT(100),YPRINT(5,100),TOTINT 假设整数占4个字节大小，实数占8个字节大小，则符号表中各变量在数据区中所分配的地址为：名字类型维数地址264264(2) 模块(FORTRAN子程序)的完整数据区· 变量· 返回地址· 形式参数· 临时变量模块n－1隐式参数区模块n形式参数区局部变量和临时变量区模块n＋1FORTRAN子程序的典型数据区隐式参数区:返回地址 函数返回值形式参数区:存放相应实 参信息(值或地址)6.3 动态存储分配 · 编译时不能具体确定程序所需数据空间 · 编译程序生成有关存储分配的目标代码 · 实际上的分配要在目标程序运行时进行分程序结构，且允许递归调用的语言： 栈式动态存储分配分配策略:整个数据区为一个堆栈， (1) 当进入一个过程时，在栈顶为其分配一个数据区。 (2) 退出时，撤消过程数据区。(1)当进入一个过程时，在栈顶为其分配一个数据区。 (2)退出时，撤消过程数据区。AR1X,Y,NAME数据区AR4F，TEST1数据区AR3参数JAR2X和参数IND数据区11例1: BBLOCK; REAL X, Y; STRING NAME; M1: PBLOCK(INTEGER IND) ; INTEGER X; CALL M2(IND+1); EDN M1; M2: PBLOCK(INTEGER J); BBLOCK; ARRAY INTEGER F(J); LOGICAL TEST1; END END M2; CALL M1(X/Y); END; 22373344562活动记录8AR2AR2AR2AR2AR2X和参数IND数据区X和参数IND数据区X和参数IND数据区X和参数IND数据区X和参数IND数据区AR1AR4AR1AR3AR3AR1AR1AR1AR3AR1AR1参数J参数JX,Y,NAME数据区F，TEST1数据区X,Y,NAME数据区X,Y,NAME数据区参数JX,Y,NAME数据区X,Y,NAME数据区X,Y,NAME数据区X,Y,NAME数据区(a)(b)(c)1(d)(e)(f)BBLOCK; REAL X,Y; STRING NAME; M1: PBLOCK(INTEGER IND); INTEGER X; CALL M2(IND+1); END M1; M2: PBLOCK(INTEGER J); BBLOCK; ARRAY INTEGER F(J); LOGICAL TEST1; END ; END M2; CALL M1(X/Y);END2(g)34运行中数据区的分配情况：6.3.1 活动记录一个典型的活动记录可以分为三部分：局部数据区参数区display区(1) 局部数据区：存放模块中定义的各个局部变量。显式参数区(出现在用户源程序中)prev abp参数区ret addr隐式参数