《202X年100家小企业调查思考之融资篇-小企业如何长大》由会员分享,可在线阅读,更多相关《202X年100家小企业调查思考之融资篇-小企业如何长大(53页珍藏版)》请在金锄头文库上搜索。
1、第九章运行时存储空间组织 概述 任务 编译程序对目标程序运行时的数据空间的组织和管理 设计运行环境和分配存储 如通常栈式存储分配布局可为 目标代码区静态数据区Stackheap 运行环境和存储分配设计分析 逻辑阶段 在目标代码生成前 作准备实质 关联 Binding 将源程序的文本 程序运行动作的实现源文件中的名字N 运行时的存储S在语义学中 使用术语environment函数表示env N S N到S的映射 术语 静态 如果一个名字的性质通过说明语句或隐或显规则而定义 则称这种性质是 静态 确定的 动态 如果名字的性质只有在程序运行时才能知道 则称这种性质为 动态 确定的 可变 动态 数组
2、若一个数组所需的存储空间的大小在编译时就已知道 则称它为确定数组 否则称为可变 动态 数组 例procedureA m n integer beginrealz arrayB m n begin end end 简单的栈式分配方案 程序结构特点 过程定义不嵌套 过程可递归调用 含可变数组 例 main全局变量的说明procR endR procQ endQ 主程序执行语句endmain 嵌套过程语言的栈式分配方案 主要特点 语言 一个过程可以引用包围它的任一外层过程所定义的标识符 如变量 数组或过程等 实现 一个过程可以引用它的任一外层过程的最新活动记录中的某些数据 关键技术 解决对非局部量的
3、引用 存取 设法跟踪每个外层过程的最新活动记录AR的位置 跟踪办法 1 用静态链 如PL 0的SL 2 用DISPLAY表 用Display表的方案 1 主程序 2 P 3 Q 4 R P的活动记录主程序的活动记录 d 1 d 0 display sp top 主程序的活动记录 d 0 sp display top 1 2 用Display表的方案 主程序 P Q R R的活动记录Q的活动记录P的活动记录主程序的活动记录 Q的活动记录P的活动记录主程序的活动记录 display d 2 d 1 d 0 d 1 d 0 display sp top top sp 3 4 DISPLAY表的维护和
4、建立 DISPLAY表d运行栈0主程活动记录地址1R活动记录地址 当过程的层次为n 它的display为n 1个值 一个过程被调用时 从调用过程的DISPLAY表中自下向上抄录n个SP值 再加上本层的SP值 全局DISPLAY地址 ProcedureA m n integerm n B1 beginrealz arrayB m n B2 beginreald e L3 2end B4 beginarrayC 1 m 1B5 beginreale L6 54end end L8 end 分程序结构的存储分配方案 处理分程序结构存储分配方案的一种简单办法是 把分程序看成 无参过程 它在哪里定义就在
5、哪里被调用 因此 可以把处理过程的存储办法应用到处理分程序中 但这种做法是极为低效的 一则 每逢进入一个分程序 就照样建立连接数据和DISPLAY表 这是不必要的 二则 当从内层分程序向外层转移时 可能同时要结束若干个分程序 按照过程处理办法 意味着必须一层一层地通过 返回 来恢复所要到达的那个分程序的数据区 但不能直接到达 例如 如果有一个从第5层分程序转出到达第1层分程序的标号L 虽然在第5层分程序工作时知道L所属的层数 我们极易从DISPLAY中获得第1层分程序的活动记录基址 SP 但是怎么知道第1层分程序进入时的TOP呢 唯一的办法是从5 4 3和2各层顺序退出 但这种办法是很浪费时间
6、的 为了解决上述问题 可采取两种措施 第一 对每个过程或分程序都建立有自己的栈顶指示器TOP 代替原来仅有过程的栈顶指示器 每个TOP的值保存在各自活动记录中 这样 上述的第二个问题便可解决 第二 不把分程序看作 无参过程 每个分程序享用包围它的那个最近过程的DISPLAY 每个分程序都隶属于某个确定的过程 分程序的层次是相对于它所属的那个过程进行编号的 每个过程被当作是0层分程序 而过程体分程序 假定是一个分程序 当作是它所管辖的第1层分程序 这样 每个过程的活动记录所含的内容有 1 过程的TOP值 它指向过程活动记录的栈顶位置 2 连接数据 共四项 1 老SP值 2 返回地址 3 全局DI
7、SPAY地址 4 调用时的栈顶单元地址 老TOP 3 参数个数和形式单元4 DISPAY表 5 过程所辖的各分程序的局部数据单元 对于每个分程序来说 它们包括 1 分程序的TOP值 当进入分程序时它含现行栈顶地址 以后 用来定义栈的新高度 分程序的TOP值 2 分程序的局部变量 数组内情向量和临时工作单元 B Z B 1 T O DISPLAY DISPLAY 形式单元 m n 2 形式单元 m n 2 连 接 数 据 连接 数 据 A 的 TOP A 的 TOP c d c 数组 B 分配之后 d 进入分程序 B2 2 参数传递 1 procedureexchangel i j intege
8、r 2 varx integer 3 begin 4 x a i a i a j a j x 5 end 带有非局部变量和形参的PASCAL过程非局变量a i 和a j 的值进行交换 i j为形参 在这里是传值 1 programreference input output 2 vara b integer 3 procedureswap var x y integer 4 vartemp integer 5 begin 6 temp x 7 x y 8 y temp 9 end 10 begin 11 a 1 b 2 12 swap a b 13 writeln a a writeln b
9、b 14 end 带有过程swap的PASCAL程序 传地址 变量参数 例如 过程swap varx y integer swap a b a b为调用时的实参 调用结果a b的值被改变 传值 值调用 特点是对形式参数的任何运算不影响实参的值 例如 过程swap x y integer swap a b 其结果 a b调用前的值不改变 传值的实现 1 形式参数当作过程的局部变量处理 即在被调过程的活动记录中开辟了形参的存储空间 这些存储位置即是我们所说的形式单元 用以存放实参 2 调用过程计算实参的值 并将其放在对应形式单元开辟的空间中 3 被调用过程执行时 就像使用局部变量一样使用这些形式单
10、元 procedureswap x y integer vartemp integer begintemp x x y y tempend 调用swap a b 过程将不会影响a和b的值 其结果等价于执行下列运算 x a y b temp x x y y temp 传地址的实现 call by reference call by address call by location 把实在参数的地址传递给相应的形参 即调用过程把一个指向实参的存储地址的指针传递给被调用过程相应的形参 1实在参数是一个名字 或具有左值的表达式 传递左值2实在参数是无左值的表达式 计算值 放入一存储单元 传此存储单元地
11、址3目标代码中 被调用过程对形参的引用变成对传递给被调用过程的指针的间接引用 procedureswap x y integer vartemp integer begintemp x x y y tempend 调用swap i a i 其结果等价于执行下列运算 1把I和a i 的地址分别放到x和y相应的单元a1 a22 temp x temp的内容置为a1所指单元中存的内容3 x y a1所指单元的内容置为a2所指单元值4 y temp a2所指单元的内容置为temp的值 1 swap x y 2 int x y 3 inttemp 4 temp x x y y temp 5 6 main
12、 7 inta 1 b 2 8 swap 10 在一个值调用过程中使用指针的C程序在C程序中无传地址所以用指针实现 过程调用的四元式序列 S callid E EparT1parT2parTncallid n 过程作为参数传递 三种环境 词法环境传递环境活动环境 programparam input output procedureb functionh n integer integer varm integer beginm 3 writeln h 2 end b procedurec varm integer functionf n integer integr b f end c be
13、gincend 1 programparam input output 2 procedureb functionh n integer integer 3 beginwriteln h 2 end b 4 procedurec 5 varm integer 6 functionf n integer integr 7 beginf m nend f 8 beginm 0 b f end c 9 begin 10 c 11 end图10 27嵌套过程作为参数传递 各种数据对象的存储分配 数据对象name名字 名称type类型location内存地址value值component成分 建立内情向
14、量 问配内存的目标代码 n维可变数组 type 每个元素占一个字 begink 1 n 1 c 0 whilek ndobegindi ui li 1 m m di c c di li 把li ui和di填进内情向量表区 k k 1end 申请m个空间 令首地址为a 把n c type a填进内情向量表区end 赋值中数组元素的翻译 A V EV id id E EV id E id E 结构 记录 抽象数据类型对象 类实例变量的存储结构 CIR classparent classparent publicinta b c publica b c publicvoiddraw publicvirtualvoiddraw classchild publicparent publicd e publicvoidsift voiddraw 分程序 栈式 pl 0符号表变量地址 Proc parameters inti j statement intk l statement intm n statement intx statement inty statement 语言解释系统的内存布局