运行时刻环境的组织.PPTVIP

第一章：编译概述 编 译 原 理 杭州电子科技大学 第 6 章 运行时刻环境的组织 概述 有关源语言中的一些问题的讨论 存储组织 运行时刻存储分配策略 对非局部名字的访问 6.0 概述 在生成目标代码之前，必须了解目标代码执行时的环境 过程（或函数） 过程的活动 活动树 控制栈 说明的作用域 6.1 有关源语言中的一些问题的讨论 名字的绑定 6.1 有关源语言中的一些问题的讨论 几种典型程序设计语言的特点 6.2 存储组织 运行时刻内存的典型划分 活动记录 6.3 运行时刻存储分配策略 静态存储分配 FORTRAN 语言 程序设计语言若允许递归调用、可变数组、可变数据结构： 栈式存储分配的思想： 栈式存储分配的实现 有些程序设计语言允许用户自由申请内存空间，如 C 的 malloc 和 free，PASCAL 的 new 和 dispose 这时采用堆式存储分配方案 6.4 对非局部名字的访问 非局部名字 最近嵌套的作用域规则 main ( ) { int a = 0; int b = 0; { int b = 1; { int a = 2; } { int b = 3; } } } 分程序（块）结构 —— ALGOL 和 C 不含过程嵌套定义 —— C 有过程嵌套定义 —— PASCAL 存取链 DISPLAY表 反映在目标代码生成器的构造策略中，最终体现在生成的目标代码中 调用序列 目标代码中的一个指令序列，完成调用一个过程的一系列操作，包括为被调用过程分配一个活动记录，并在相应的域中填入信息 6.3 运行时刻存储分配策略 返回序列 目标代码中的一个指令序列，完成从一个被调用过程返回到它的调用过程的一系列操作，包括释放被调用过程的活动记录，并复制出返回值 具体内容：P170 6.3 运行时刻存储分配策略 返回值和参数 控制链 访问链和机器状态 局部数据临时数据 返回值和参数 局部数据临时数据 ? ? ? 控制链 访问链和机器状态 top_sp 被调用者的责任 调用者的责任 被调用者的活动记录 调用者的 活动记录 栈 6.3 运行时刻存储分配策略 何时申请何时释放由用户决定 有些程序设计语言在进行数据空间分配时不服从栈式的存储分配原则（即“先申请后释放、后申请先释放”） 6.3 运行时刻存储分配策略 运行空间划分一块堆区 用户（显式）或目标代码需要时从这堆中借用一块，不用时退还 ** 这是一种完全动态的存储分配方案 6.3 运行时刻存储分配策略 相对于引用点所在的过程或分程序来说的 程序执行时引用的在当前过程（分程序）之外定义的变量称为非局部名字 ** 本节主要讨论栈式存储分配中如何访问非局部名字 ** 这是大多数程序设计语言采用的作用域规则 如果名字 x 在块 B 中没有说明，那么，x 在 B 中的出现是在一个外围块 B 中的 x 的说明的作用域之内，并且使得： （a) B 中有 x 的说明 （b) B 是包围 B 的，相对于其它任何具有名字 x 的说明且包围 B 的块而言, B 是离 B 最近的。 6.4 对非局部名字的访问 （1） program sort（input，output）; （2） ??? var a： array[0..10］ of integer； （3） ???? ?x : integer； （4） ??? procedure readarray； （5） ?????? var i ： integer； （6） ?????? begin … a… end { readarray}; （7） ??? procedure exchange（i，j： integer）； （8） ????? ?begin （9） ????????? x：= a[i] ；a[i]:=a[j]; a[j]:＝x （10）???? end { exchange}; （11）? procedure quicksort（m，n： integer）； （12）????? var k，v： integer； （13）????? function partition（y，z： integer）： integer； （14）???????? var i，j ： integer； （15）???????? begin …a… （16）??????????? …v… （17）?????????? ? …exc