编译原理 第十章 目标程序运行时的存储组织Word文档下载推荐.docx
- 文档编号:17475664
- 上传时间:2022-12-01
- 格式:DOCX
- 页数:20
- 大小:81.42KB
编译原理 第十章 目标程序运行时的存储组织Word文档下载推荐.docx
《编译原理 第十章 目标程序运行时的存储组织Word文档下载推荐.docx》由会员分享,可在线阅读,更多相关《编译原理 第十章 目标程序运行时的存储组织Word文档下载推荐.docx(20页珍藏版)》请在冰豆网上搜索。
↓
↑
heap
所谓数据空间的分配,本质上看,是将程序中的每个名字与一个存储位置关联起来,该存储位置用以容纳名字的值。
编译程序分配目标程序运行时的数据空间的基本依据是程序语言设计时对程序运行中存储空间的使用和管理办法的规定。
我们知道,即便有些名字在程序中只声明了一次,但该名字可能对应运行时不同的存储位置,比如,一个递归调用的过程,在执行时,其同一个局部名字应该对应不同的运行空间位置以容纳每次执行时的值。
在程序设计语言语义学中,使用术语environment表示将一个名字映射到一个存储位置的函数,术语state表示存储位置到值的映射,使用术语
environment函数表示
env:
N→S(N到S的映射)
如图所示。
图名字到存储、到值的映射
决定存储管理复杂程度的因素--源语言本身,比如源语言允许的数据类型有多少语言中允许的数据项是静态确定还是动态确定程序结构有什么特点,是段结构还是分程序结构过程定义是否允许嵌套等等。
源语言的结构特点、源语言的数据类型、源语言中决定名字作用域的规则等因素影响存储空间的管理和组织的复杂程度,决定数据空间分配的基本策略。
本章将介绍存储空间的使用管理方法,重点针对栈式动态存储分配的实现进行讨论。
数据空间的三种不同使用方法和管理方法
数据空间的使用和管理方法分成三种:
静态存储分配、栈式动态存储分配和堆式动态存储分配。
10.1.1静态存储分配
这种存储分配非常简单,如果在编译时能确定目标程序运行中所需的全部数据空间的大小,编译时安排好目标程序运行时的全部数据空间,确定每个数据对象的存储位置,称这种分配策略为静态存储分配。
如果一个名字的性质通过说明语句或隐式或显式规则而定义,则称这种性质是"
静态"
确定的。
像FORTRAN这样的语言,其程序是段结构的,即由主程序段和若干子程序段组成。
各程序段中定义的名字一般是彼此独立的(除公共块和等价语句说明的名字以外),也即各段的数据对象名的作用域在各段中,同一个名字在不同的程序段表示不同的存储单元,不会在不同段间互相引用、赋值。
另外它的每个数据名所需的存储空间大小都是常量(即不许含可变体积的数据,如可变数组),且所有数据名的性质是完全确定的。
这样,整个程序所需数据空间的总量在编译时完全确定,从而每个数据名的地址就可静态进行分配。
换句话说,一旦存储空间的某个位置分配给了某个数据名(关联起来)之后,在目标程序的整个运行过程中,此位置(地址)就属于该数据名了。
图给出一个FORTRAN77的程序例子。
在图中描述了该程序中局部变量的静态存储位置。
图一个FORTRAN77的例子
(1)PROGRAMCNSUME
(2)CHARACTER*50BUFN.'
'
)GOTO6
(10) WRITE(*,'
(A)'
)BUF
(11)END
(12)CHARACTERFUNCTIONPRDUCE()
(13) CHARACTER*80BUFFER
(14) INTEGERNEXT
(15) SAVEBUFFER,NEXT
HEN
(18) READ(*,'
)BUFFER
(19) NEXT=1
(20) ENDIF
(21) PRDUCE=BUFFER(NEXT:
NEXT)
(22) NEXT=NEXT+1
(23) END
图FORTRAN77的静态存储分配
10.1.2动态存储分配
如果一个程序设计语言允许递归过程、可变数组或允许用户自由申请和释放空间,那么,就需要采用动态存储管理技术。
因为对于这种程序在编译时无法知道它在运行时需要多大的存储空间,它所需要的数据空间的大小需待程序运行时动态地确定。
若一个数组所需的存储空间的大小在编译时就已知道,则称它为确定数组,否则称为可变数组。
例:
procedureA(m,n:
integer);
beginrealz;
arrayB[m:
n];
begin
·
·
end;
end;
B[m:
n]为可变数组,B的上下界是过程A的实参,A被调用时才能确定。
动态存储管理技术有两种方式:
栈式(stack)和堆式(heap)。
下面简述这两种方式的原则。
1.栈式动态存储分配
这种分配策略是将整个程序的数据空间设计为一个栈。
在具有递归结构的语言程序中,每当调用一个过程时,它所需的数据空间就分配在栈顶,每当过程工作结束时就释放这部分空间。
过程所需的数据空间包括两部分:
一部分是生存期在本过程这次活动中的数据对象,如局部变量、参数单元、临时变量等等;
另一部分则是用以管理过程活动的记录信息。
即当一次过程调用出现时,调用该过程的那个过程的活动即被中断,当前机器的状态信息,诸如程序计数器(返回地址)、寄存器的值等等,也都必须保留在栈中。
当控制从调用返回时,便根据栈中记录的信息恢复机器状态,使该过程的活动继续进行。
至于在这种分配策略下,如何实现动态地分配和释放一个过程的数据空间,如何实现对非局部变量的引用、参数传递以及对可变数据结构(如可变数组)的空间分配办法等等,将在后面几节给予详细讨论。
栈式动态存储分配策略适用于PASCAL,C,ALGOL之类具有递归结构的语言的实现。
2.堆式动态存储分配
如果一个程序语言提供用户自由地申请数据空间和退还数据空间的机制(如C++中的new,delete,PASCAL的new,等机制),或者不仅有过程而且有进程的程序结构的情况下,空间的使用未必服quot;
先申请后释放,后申请先释放"
的原则,那么栈式的动态分配方案就不适用了。
通常使用一种称为堆式的动态存储分配方案。
Pascal语言中,标准过程new能够动态建立一个新记录,它实际上是从未使用的自由区(空闲空间)中找一个大小合适的存储空间并相应地置上指针。
标准过程dispose是释放记录new与dispose不断改变着堆存储器的使用情况。
这种分配方式的存储管理技术甚为复杂,我们这里举出这种分配方法必须考虑的几个问题。
首先,当运行程序要求一块体积为N的空同时,我们应该分配哪一块给它呢理论上说,应从比N稍大一点的一个空闲块中取出N个单元,以便使大的空闲块派更大的用场。
但这种做法较麻烦。
因此,常常仍采用"
先碰上哪块比N大就从其中分出N个单元"
的原则。
但不论采用什么原则,整个大存区在一个定时间之后必然会变面零碎不堪。
总有一个时候会出现变样的情形:
运行程序要求一块体积为N的空间,但发现没有比N大的空闲块了,然而所有空闲块的总和却要比N大得多!
出现这种情形时怎么办呢这是一个比前面的问题难得多的问题。
解决办法似乎很简单,这就是,把所有空闲块连接在一起,形成一片可分配的连续空间。
这里主要问题是,我们必须调整运行程序对各占用块的全部引用点。
还有,如果运行程序要求一块体积为N的空间,但所有空闲块的总和也不够N,那又应怎么办呢有的管理系统采用一种吊做废品回收的办法来对付这种局面。
即寻找那些运行程序业己无用但尚未释放在占用块,或者那些行程序目前很少使用的点用块,把这此占用块收回来,重新分配。
但是,我们如何知道哪些块运行时在使用或者目前很少使用呢即便知道了,一经收回后运行程序在某个时候又要用它时又应该怎么办呢要使用废品回收技术,除了在语言上要有明确的具体限制外,还需要有特别的硬件措施,否则回收几乎不能实现。
堆式动态储分配的实现通常有如下三种途径:
1定长块管理
堆式动态储分配最简单的实现是按定长块进行。
初始化时,将堆存储空间分成长度相等的若干块,每块中指定一个链域,按照邻块的顺序把所有块链成一个链表,用指针available指向链表中的第一块。
分配时每次都分配指针available所指的块,然后available指向相邻的下一块。
归还时,把所归还的块插入链表。
考虑插入方便,可以把所归还的块插在available所指的块之前,然后available指向新归还的块。
2变长块管理
除了按定长块进行分配之外,还可以根据需要分配长度不同的存储块,可以随要求而变。
按这种方法,初始化时存储空间是一个整块。
按照用户的需要,分配时先是从一个整块里分割出满足需要的一小块,以后,归还时,如果新归还的块能和现有的空间能合并,则合并成一块;
如果不能和任何空闲块合并,则可以把空闲块链成一个链表。
再进行分配时,从空闲块链表中找出满足需要的一块,或者整块分配出去,或者从该块上分割一小块分配出去。
若空闲块表中有若干个满足需要的空闲块时,该分配哪一块呢通常有三种不同的分配策:
①首次满足去:
只要在空闲块链表中找到满足需要的一块,就进行分配。
如果该块很大,则按申请的大小进行分割,剩余的块仍留在空闲块链表中;
如果该块不很大,比如说,比申请的块大不了几个字节,则整块分配出去,以免使空闲链表中留下诈多无用的小碎块。
②最优满足法:
将空闲块链表中一个不小于申请块且最接近于申请块的空闲块分配给用户,则系统在分配前首先要对空闲块链表从头至尾描一遍,然后从中找出一块不小于申请块且最接近于申请块的空闲块分配,在用最优满足法进行分配时,为避免每次分配都要扫描整个链表,通常将空闲块链表空间的大小从小到大排序。
这样,只要找到第一块大小申请块的空闲块即可进行分配。
当然,在回收时变需将释放在空闲块插入到链表的适当位置上去。
③最差满足法:
将空闲块表中不小于申请块且是最大的空闲的一部全分配给用户。
此时的空闲块链表按空闲的块的大小从大到小排序。
这样每次分配无需查找,只需从链表中删除第一个结点,并将其中一部分分配给用户,而其它部分作为一个新的结点插入到空闲块表的适当置上去。
上述三种分配策略各有所长。
一般来说,最优满足法适用于请求分配的内存大小范围较广的系统。
因为按最优满足法分配时,总是找大小最接近于请求的空闲块,系统中可能产生一些存储量很小而无法利用的小片内存,事时也保留那些很大的内存块以备响应后面可能发生的内存量较大的请求。
反之,由于最差满足法每次都是从内存最大的结点开始分配,从而使链表中的结点趋于均匀。
因此,它适用于请求分配的内存大小范围较窄的系统,而首次满足法的分配是随机的,因此它介于两者之间,通常适用于系统事先不掌握运行期间可能出现的请求分配和释放的信息情况。
从时间上来比较,首次满足法在分配时需查询空闲块链表,而回收时仅需插入到表头即可,最差满足法恰好相反,分配时无需查表,回收时则为将新的空闲块插入表中适当的位置,需先进行查找,最优满足法则不论分配与回收,均需查找链表,因此最费时间。
不同的情况应采用不同的方法。
通常在选择时需考虑下列因素:
用户的要求;
请求分配量的大小分布;
分配和释放的频率以及效率对系统的重要性等等。
至于存储回收的实现我们这里不进行讨论。
栈式存储分配的实现
前面提到,使用栈式存储分配策略意味着,运行时每当进入一个过程,就在栈顶为该过程的临时工作单元,局部变量,机器状态及返回地址等信息分配所需的数据空间,当一个过程工作完毕返回时,它在栈顶的数据空间也即释放。
本节我们将以三种语言结构为例,详细讨论栈式存储分配的实现。
为讨论方便,首先引入一个术语--过程的活动记录AR(ActivationRecord)。
过程的活动记录是一段连续的存储区,用以存放过程的一次执行所需要的动态信息,这些信息可以如图所示。
图过程的活动记录
临时工作单元
局部变量
机器状态信息
存取链
控制链
实参
返回地址
对它们的简单描述如下:
①临时工作单元:
比如计算表达式过程中需存放中间结果用的临时值单元。
②局部变量:
一个过程的局部变量。
③机器状态信息:
保存该过程执行前关于机器状态的信息,诸如程序计数器、寄存器的值,这些值都需要在控制从该过程返回时给予恢复。
④存取链:
用以存取非局部变量,这些变量存放于其它过程的活动记录中。
并不是所有语言需要该信息。
⑤控制链:
指向调用该过程的那个过程的活动记录,这也不是所有语言都需要的。
⑥实参:
也称形式单元,由调用过程向该被调过程提供实参的值(或地址)。
当然在实际编译程序中,也常常使用机器寄存器传递实参。
⑦返回地址:
保存该被调过程返回后的地址。
这些域的大小在编译时是已知的,如果局部变量中包含有可变数组,那么则采用第节中所介绍的内情向量,将内情向量置于过程活动记录中。
另外,有些语言的编译程序还将参数个数存放于活动记录中,以便进行参数个数的检查。
10.2.1简单的栈式存储分配的实现
首先从一种最简单的程序设计语言结构讲起:
没有分程序结构,过程定义不嵌套,但允许过程递归调用。
其程序结构如图所示。
图过程定义不嵌套的程序结构
?
programmain;
main)
10.2.2
10]ofinteger;
(3) x:
integer;
(4) procedurereadarray;
有关键字var时,PASCAL语言的参数传递使用的方式是传地址;
去掉var,则使用的方式是传值。
PASCAL语言的变量参数是在参数前加关键字var。
这种参数的传递方式是传地址
例如:
过程swap(varx,y:
swap(a,b);
(a,b为调用时的实参)调用结果:
a,b的值被改变。
在参数前不加关键字var时是值调用。
这种参数的传递方式是传值。
过程swap(x,y:
其结果:
a,b调用前的值不被改变。
10.3.1传值
现在讨论传值的实现。
传值,即callbyvalue,也称值调用。
这是最简单的参数传递方法。
具体来讲是这样的:
①在被调过程的活动记录中开辟形参的存储空间,这些存储位置即是我们所说的形参或形式单元。
②调用过程计算实参的值,并将它们的右值(rvalue)放在为形式单元开辟的空间中。
③被调用过程执行时,就像使用局部变量一样使用这些形式单元。
在图程序中,第12行swap(a,b)调用过程将不会影响a和b的值。
其结果等价于执行下列运算:
x∶=a
y∶=b
temp∶=x
x∶=y
y∶=temp
这里,x,y和temp局部于swap,虽然赋值改变了局部量x,y和temp的值,但当控制从该调用返回而swap的该活动记录释放后,这些改变即消失,这种调用方式不影响调用过程的活动记录。
10.3.2传地址
当参数通过引用传递时,也称作传地址,或引用调用。
调用过程传给被调过程的是指针,指向实参存储位置的指针。
1.如实参是一个名字或是具有左值的表达式,则左值本身传递过去。
2.如实参是一表达式,比方a+b或2,而没有左值,则表达式先求值,并存入某一位置,然后该位置的地址传递过去。
3.被调过程中对形式参数的任何引用和赋值都通过传递到被调过程的指针被处理成间接访问。
例如,在图的程序中,若用实参i和a[i]对过程swap进行调用,即swap(i,a[i]),其效果如下步骤所述:
1.将i和a[i]的地址(左值)拷贝到被调过程的活动记录中,比如说分别对应形参x和y的单元arg1和arg2。
2.将局部变量temp设为由arg1所指单元的内容(即令temp等于i0,其中i0是i的初值),这一步对应于swap定义中的第6行语句:
temp∶=x。
3.将arg1所指单元的内容设为arg2所指单元的值,即i∶=a[i0],这一步对应swap中第7行的x∶=y。
4.将arg2所指单元的内容设为等于temp的值,即,设a[i0]=i,这一步对应y∶=temp。
通过值调用的过程可以由非局部量或由指针而对调用过程发生影响。
比如图的C程序中,x和y声明为整型指针(在第2行),第8行调用swap(&
a,&
b)中的&
操作符导致将指向a和b的指针传给过程swap。
该程序的输出为:
aisnow2,bisnow1
该例中指针的使用恰好提示了一个编译程序怎样实现引用调用。
图在一个值调用过程中使用指针的C程序
(1)swap(x,y)
10.3.3
第2题:
过程参数的传递方式有几种简述"
传地址"
和"
传值"
的实现原理。
第3题:
下面是一个Pascal程序
programPP(input,output)
varK:
integer;
functionF(N:
integer):
integer
begin
ifN<
=0thenF:
=1
elseF:
=N*F(N-1);
end;
begin
K:
=F(10);
...
当第二次(递归地)进入F后,DISPLAY的内容是什么当时整个运行栈的内容是什么
第4题:
对如下的Pascal程序,画出程序执行到
(1)和
(2)点时的运行栈。
programTr(input,output);
vari:
d:
procedureA(k:
real);
varp:
char;
procedureB;
varc:
begin
...
(1)...
end;
{B}
procedureC;
vart:
real;
...
(2)...
{C}
begin
.....
B;
C;
end;
{A}
begin{main}
A(d);
end.
第5题:
有如下示意的Pascal源程序
vara,b,c:
procedureX(i,j:
vard,e:
procedureY;
varf,g:
begin
...
end;
{Y}
procedureZ(k:
varh,i,j:
begin
{Z}
.....
10:
Y;
11:
Z;
{X}
.....
X(a,b);
end.{main}
并已知在运行时刻,以过程为单位对程序中的变量进行动态存储分配。
当运行主程序而调用过程语句X时,试分别给出以下时刻的运行栈的内容和DISPLAY的内容。
(1)已开始而尚未执行完毕的标号为10的语句。
(2)已开始而尚未执行完毕的标号为11的语句。
问答题答案
问答第1题
解答:
(1)参数的传递办法为"
时,a为2。
(2)参数的传递办法为"
,a为7。
问答第2题
参数的传递方式有下述几种:
"
--CallbyValue
--CallbyAddress
换名"
--CallbyName
得结果"
--Value-result
方式,这是最简单的参数传递方法。
即将实参计算出它的值,然后把它传给被调过程。
1.形式参数当作过程的局部变量处理,即在被调过程的活动记录中开辟了形参的存储空间,这些存储位置即是我们所说的实参或形式单元。
2.调用过程计算实参的值,并将它们的右值(r-value)放在为形式单元开辟的空间中。
3.被调用过程执行时,就像使用局部变量一样使用这些形式单元。
方式,也称作传地址,或引用调用。
1.如实参是一个名字或是具有左值的表达式,则左值本身传递过去。
2.如实参是一个表达式,比方a+b或2,而没有左值,则表达式先求值,并存入某一位置,然后该位置的地址传递过去。
3.被调过程中对形式
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 编译原理 第十章 目标程序运行时的存储组织 编译 原理 第十 目标 程序 运行 存储 组织