《目标程序运行时的存储组织概论_2》由会员分享,可在线阅读,更多相关《目标程序运行时的存储组织概论_2(54页珍藏版)》请在金锄头文库上搜索。
1、第10章 目标程序运行时的存储组织,10.1 数据空间的三种不同使用方法和管理方法 10.2 栈式存储分配的实现 10.3 参数传递,从逻辑上看,在代码生成前,编译程序必须进行目标程序运行环境的配置和数据空间的分配。 数据空间应包括: 用户定义的各种类型的数据对象(变量和常数)所 需的存储空间; 作为保留中间结果和传递参数的临时工作单元; 调用过程时所需的连接单元; 组织输入/输出所需的缓冲区。 目标代码所占用空间的大小在编译时能确定。有些数据对象所占用的空间也能在编译时确定,其地址可以编译进目标代码中。而有些数据对象具有可变体积和待分配性质,无法在编译时确定存储空间的位置。,因此运行时的存储
2、区常常划分成:目标代码区、静态数据区、栈区和堆区,如图10.1 。,图10.1 目标程序运行时存储区的典型划分,数据空间,所谓数据空间的分配,本质上看,是将程序中的每个名字与一个存储位置关联起来,该存储位置用以保存名字的值。 编译程序分配目标程序运行时的数据空间的基本依据是程序语言设计时对程序运行中存储空间的使用和管理办法的规定。,决定存储管理复杂程度的因素-源语言本身,比如源语言允许的数据类型有多少?语言中允许的数据项是静态确定还是动态确定?程序结构有什么特点,是段结构还是分程序结构?过程定义是否允许嵌套?等等。 源语言的结构特点、源语言的数据类型、源语言中决定名字作用域的规则等因素影响存储
3、空间的管理和组织的复杂程度,决定数据空间分配的基本策略。,10.1 数据空间的三种不同使用方法和管理方法,数据空间的使用和管理方法: 简单的栈式分配方案 嵌套过程的栈式分配方案 分程序结构的存储分配方案,静态存储分配、,动态存储分配栈式,堆式,10.1.1 静态存储分配,如果在编译时能确定目标程序运行中所需的全部的数据空间的大小,编译时安排好目标程序运行时的全部数据空间,确定每个数据对象的存储位置,称这种分配策略为静态存储分配。 如C中的静态变量,外部变量等。,10.1.2 动态存储分配,如果一个程序设计语言允许递归过程、允许动态的申请建立和撤消存储空间、可变数组或允许用户自由申请和释放空间,
4、那么,就需要采用动态存储管理技术。 因为对于这种程序在编译时无法知道它在运行时需要多大的存储空间,它所需要的数据空间的大小需待程序运行时动态地确定。 若一个数组所需的存储空间的大小在编译时就已知道,则称它为确定(静态)数组,否则称为可变(动态)数组。,10.1.2.1 栈式动态存储分配,这种分配策略是将整个程序的数据空间设计为一个栈。 在具有递归结构的语言程序中,每当调用一个过程时,它所需的数据空间就分配在栈顶,每当过程工作结束时就释放这部分空间。 过程所需的数据空间包括两部分: 生存期在本过程这次活动中的数据对象; 用以管理过程活动的记录信息 。 栈式动态存储分配策略适用于PASCAL,C,
5、ALGOL之类具有递归结构的语言的实现。,10.1. 2.2 堆式动态存储分配,如果一个程序语言提供用户自由地申请数据空间和退还数据空间的机制,或者不仅有过程而且有进程的程序结构,一般用堆式的动态存储分配方案。如+中的new,delete,PASCAL的new,等机制 。 此时,空间的使用未必服从“先申请后释放,后申请先释放”的原则,那么栈式的动态分配方案就不适用了。通常使用一种称为堆式的动态存储分配方案。 这种分配方式的存储管理技术甚为复杂,我们这里举出这种分配方法必须考虑的几个问题。,堆式的动态存储分配策略:,当运行程序要求一块体积为N的空间时,我们应该分配哪一块给它呢? 理论上说,应从比
6、N稍大一点的一个空闲块中取出N个单元,以便使大的空闲块派更大的用场。但这种做法较麻烦。 因此,常常仍采用“先碰上哪块比N大就从其中分出N个单元”的原则。但不论采用什么原则,整个大存区在一定时间之后必然会变成零碎不堪。 总有一个时候会出现异样的情形:运行程序要求一块体积为N的空间,但发现没有比N大的空闲块了,然而所有空闲块的总和却要比N大得多!出现这种情形时怎么办呢?这是一个比前面的问题难得多的问题。 解决办法似乎很简单,这就是,把所有空闲块连接在一起,形成一片可分配的连续空间。 这里主要问题是,我们必须调整运行程序对各占用块的全部引用点。,堆式的动态存储分配策略:,另外,如果运行程序要求一块体
7、积为N的空间,但所有空闲块的总和也不够N,那又应怎么办呢? 有的管理系统采用一种叫做废品回收的办法来对付这种局面。即寻找那些运行程序业己无用但尚未释放在占用块,或者那些行程序目前很少使用的占用块,把这此占用块收回来,重新分配。 但是,我们如何知道哪些块运行时在使用或者目前很少使用呢?即便知道了,一经收回后运行程序在某个时候又要用它时又应该怎么办呢? 要使用废品回收技术,除了在语言上要有明确的具体限制外,还需要有特别的硬件措施,否则回收几乎不能实现。,堆式动态储分配的实现通常有如下两种途径:,1)定长块管理 堆式动态储分配最简单的实现是按定长块进行。初始化时,将堆存储空间分成长度相等的若干块,每
8、块中指定一个链域,按照邻块的顺序把所有块链成一个链表,用指针available指向链表中的第一块。 分配时每次都分配指针available所指的块,然后available指向相邻的下一块。归还时,把所归还的块插入链表。考虑插入方便,可以把所归还的块插在available所指的块之前,然后available指向新归还的块。,图10.3 定长块管理,2)变长块管理,除了按定长块进行分配之外,还可以根据需要分配长度不同的存储块,可以随要求而变。按这种方法,初始化时存储空间是一个整块。按照用户的需要,分配时先是从一个整块里分割出满足需要的一小块,以后,归还时,如果新归还的块能和现有的空间能合并,则合并
9、成一块;如果不能和任何空闲块合并,则可以把空闲块链成一个链表。再进行分配时,从空闲块链表中找出满足需要的一块,或者整块分配出去,或者从该块上分割一小块分配出去。若空闲块表中有若干个满足需要的空闲块时,该分配哪一块呢 ? 通常有三种不同的分配策略:,变长块管理通常有三种不同的分配策略: 首次满足法(时间优先); 最优满足法(空间优先); 最差满足法(时间优先)。 上述三种分配策略各有所长。,10.2 栈式存储分配的实现,前面提到,使用栈式存储分配策略意味着,运行时每当进入一个过程,就在栈顶为该过程的临时工作单元,局部变量,机器状态及返回地址等信息分配所需的数据空间,当一个过程工作完毕返回时,它在
10、栈顶的数据空间也即释放。,为讨论方便,首先引入一个术语-过程的活动记录AR(Activation Record)。过程的活动记录是一段连续的存储区,用以存放过程的一次执行所需要的动态信息,这些信息可以如图10.6所示。, 临时工作单元:比如计算表达式过程中需存放中间结果用的临时值单元。 局部变量:一个过程的局部变量。 机器状态信息:保存该过程执行前关于机器状态的信息,诸如程序计数器、寄存器的值,这些值都需要在控制从该过程返回时给予恢复。 存取链:用以存取非局部变量,这些变量存放于其它过程的活动记录中。并不是所有语言需要该信息。 控制链:指向调用该过程的那个过程的活动记录。 实参:也称形式单元,
11、由调用过程向该被调过程提供实参的值(或地址)。当然在实际编译程序中,也常常使用机器寄存器传递实参。 返回地址:保存该被调过程返回后的地址。,静态链,指向静态直接外层最新活动记录的起始地址,即指向定义本过程的直接外层过程 (或主程序)运行时最新活动记录的基地址。,动态链,指向调用该过程前正在运行过程的数据段基地址。,10.2.1 简单的栈式分配的实现,程序结构特点:过程定义不嵌套,过程可递归调用,含可变数组;例: program main 全局变量的说明 proc R end R; proc Q end Q; 主程序执行语句 end main,图 10.7 过程定义不嵌套的程序结构,这种情况下,
12、采用栈式动态分配策略,即,运行时,每当进入一个过程,则为该过程分配一段存储区,当一个过程工作完毕返回时,它所占用的存储区可释放。程序运行时的存储空间(栈)中在某一时刻可能会包含某个过程的几个活动记录(某个过程递归调用的情况);另外,同样的一个存储位置,在不同运行时刻可能分配给不同的数据对象。 例如图10.7的程序结构中,若主程序调用了过程Q,Q又调用了R,在R进入运行后的存储结构如图10.8(a)所示。 若主程序调用了过程Q,Q递归调用自己,在Q过程第二次进入运行后的存储结构如图10.8(b)所示。,图10.8 栈式存储分配,静态链,指向静态直接外层最新活动记录的起始地址,即指向定义本过程的直
13、接外层过程 (或主程序)运行时最新活动记录的基地址。,动态链,指向调用该过程前正在运行过程的数据段基地址。,指向调用该过程的那个过程的最新活动记录的起始地址,用以存取非局部变量,这些变量存放于其他过程的活动记录中。,图10.9 无嵌套定义 的过程活动记录内容,常常使用两个指针指示栈最顶端的数据区,一个称为SP,一个称为TOP。SP总是指向现行过程活动记录的起点,TOP则始终指向已占用的栈顶单元。 这种语言若含有可变数组,则其过程活动记录的内容可如图10.9所示。这里把控制链也称作老SP,即调用该过程的那个过程的最新活动记录的起点。,10.2.2 嵌套过程语言的栈式实现,主要特点: (语言)一个
14、过程可以引用包围它的任一外层过程所定义的标识符(如变量,数组或过程等)。 (实现)一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。,(1) program sort(input, output); /sort的过程头 (2) var a: array 010 of integer; (3) x: integer; (4) procedure readarray; /sort内嵌套定义的readarray的过程头 (5) var i: integer; (6) beginaendreadarray; /readarray的过程体 (7) procedure exchange(i,j:
15、 integer); /sort内嵌套定义的exchange的过程头 (8) begin (9) x=ai; ai=aj; aj=x; /exchange的过程体 (10) endexchange; (11) procedure quicksort(m,n: integer); /sort内嵌套定义的quicksort的过程头 (12) var k,v: integer; (13) function partition(y,z:integer):integer; /quicksort内嵌套定义的partition的函数头 (14) var i.j:integer; (15) begin a /
16、partition的函数体 (16) v (17) exchange(i,j); (18) endpartition; (19) beginendquicksort; /quicksort的过程体 (20) beginendsort. /sort的例程体,图10.11 具有嵌套过程的PASCAL程序,图10.11的PASCAL程序中过程定义的嵌套情况如下: sort readarray exchange quicksort partition,关键技术:解决对非局部量的引用(存取)。 设法跟踪每个外层过程的最新活动记录AR的位置。 跟踪办法: 1. 用静态链(如PL/0的SL)。 2. 用DISPLAY表。 跟踪的办法很多,我们介绍两种,一种是在过程活动记录中增设存取链,指向包含该过程的直接外层过程的最新活动记录的起始位置。过程活动记录的内容如图10.