编译原理教程_9 运行时存储组织

本文详细介绍了编译时的静态存储分配和运行时的动态存储分配策略,包括活动记录、display区的构造规则以及运行时的地址计算。静态分配在编译阶段完成,适用于变量大小固定的情况;动态分配则在程序运行时进行,适用于大小不固定的变量,如递归调用中的数据。动态存储分配中,活动记录用于管理函数调用时的数据区,display区存储外层模块的基地址,便于访问外部变量。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

文章原稿
https://gitee.com/fakerlove/fundamentals-of-compiling

9. 运行时存储组织

9.1 概述

运行时的存储组织及管理是目标程序运行时所需要存储空间的组织与管理以及源程序中变量存储空间的分配

静态存储分配

编译阶段编译程序实现对存储空间的管理,和为源程序中的变量分配存储的方法。

条件:如果在编译时能够确定源程序中变量在运行时的数据空间大小,且运行时不改变

但并不是所有数据空间大小都能在编译过程中确定!

动态存储分配

在目标程序运行阶段目标程序实现对存储空间的组织与管理,和为源程序中的变量分配存储的方法。

特点:在目标程序运行时进行分配;编译时要生成进行动态分配的目标指令。

9.2 静态存储分配

(1)分配策略

由于每个变量所需空间的大小在编译时已知,因此可以用简单的方法给变量分配目标地址。

具体步骤:

  • 开辟一数据区。(首地址在加载时确定)
  • 按编译顺序给每个模块分配存储。
  • 在模块内部按顺序给模块的变量分配存储,一般用相对地址,所占数据区的大小由变量类型确定。
  • 目标地址填入变量的符号表中。

这种分配策略要求语言不允许指针或动态分配,不允许递归调用过程(如果递归调用,就相当于又多加了一个函数,又需要分配存储空间了)。典型的例子是Fortran77

img

(2)模块(fortran子程序)的完整数据区

子程序需要在数据区中保留返回地址,形参也要分配存储以存放相应的实参信息。编译时还要分配临时变量空间(用于存放表达式计算的中间结果等)

FORTRAN子程序的典型数据区:

img

9.3 动态存储分配

由于编译时还不能具体确定某些数据空间的大小,故对它们分配存储空间必须在程序运行时进行。这时,编译程序生成有关存储分配的目标代码实际上的分配要在目标程序运行时进行。这种分配方式称为动态存储分配。

对于分程序结构,而且允许递归调用的语言,常使用栈式动态存储分配,即使用一个类似于堆栈的“运行栈”来实现数据区的分配。

分配策略

整个数据区为一个堆栈

  1. 当进入一个过程时,在栈顶为其分配一个数据区。
  2. 当退出一个过程时,撤消该过程的数据区。

img img

9.3.1 活动记录

一个典型的活动记录可以分为三部分:img

(1)局部数据区:存放模块中定义的各个局部变量

(2)参数区:存放隐式参数(不出现在用户源程序中)和显式参数(出现在用户源程序中)。

img

形参数据区:每一形参都要分配数据空间,形参单元中存放实参值或者实参地址

prev abp:存放调用模块记录基地址。该函数执行完时,释放其数据区,数据区指针指向调用前的位置。

ret addr:返回地址,即调用语句的下一条执行指令地址

ret value :函数返回值(无值则空),比如void函数,就是空的。

(3)display区:存放各外层模块活动记录的基地址。

img

变量二元地址(BL、ON)

BL:变量声明所在的层次,可以用它找到该层数据区开始地址。此为嵌套层次,并列过程具有相同的层次。

ON:相对于显式参数区开始位置的位移(相对地址)。

例如:

程序模块1:

x(1,0) x在第一层中被声明,在显式参数区开始的位置是0;

y(1,1) NAME(1,2)

过程块M1:

IND(2,0) x(2,1)

注意⚠️:高层(内层)模块可以引用低层(外层) 模块中的变量,例如在M1中可引用外层模块中定义的变量 Y。
在 M1 中引用Y时,可通过其 display 区找到程序块 1 的活动记录基地址,加上 Y 在该数据区的相对地址就可以求得 y 的绝对地址,具体如何引用将在后面提到。

img[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-MdXrPZcg-1621079380807)(picture/20201121213704.png)]

以下是运行栈的跟踪情况:

img

image-20201121213800089

img

img

因此可以画出完整的运行栈图:

img [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-5YzMqIf1-1621079380813)(picture/20201121214111.png)]

(e)当模块4执行完,则abp:=prev abp,这样abp恢复到进入模块4时情况,运行栈情况如©。

(f)当M2执行完,则abp:=prev abp,这样abp恢复到进入模块M2时情况,运行栈情况如(b)。

(g)当M1执行完,则abp:=prev abp,这样abp恢复到进入模块M1时情况,运行栈情况如(a)。

(h)当最外层模块执行完,运行栈恢复到进入模块时的情况,运行栈空。

9.3.2 建造display区的规则

从i层模块进入(调用)j层模块:

(1)若j=i+1

image-20201121214318955

复制i层的display,然后增加一个指向i层模块记录基地址的指针

img

img(第j层模块的display)

(2)若j<=i ,即调用外层模块或同层模块

img

将i层模块的display区中的前面第j-1个复制到第j层模块的display区

img

若发生了j>=i+2的情况,例如图中,i想要调用模块k

img

在这种情况是不行的,因为k的生命周期在j里面。当j执行完后到CALL k后,j(k的外层)生命周期已完结,不能直接调用k。

如果举一个特例的话,如果k中要调用j的变量,如果i直接调用k,那么k将会找不到来自外层的j的变量。

9.3.3 运行时的地址计算

假设要访问的变量的二元地址为:(BL,ON) ,要在LEV层模块中引用BL层模块定义的变量。

img

如:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-VXUDUreR-1621079380821)(picture/20201121214054.png)]

在abp(3)引用IND(2,0),会将abp设为display(2),即abp(2),加上display区大小BL-1=1,再加上隐式参数区大小nip=2,与偏移量0,即使IND的地址。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值