环境管理-编译原理运行时环境 精品
合集下载
编译原理运行时存储空间的组织和管理课件
变量和数据的存储
• 静态存储：在编译时分配固定大小的内存空间。 • 动态存储：在运行时动态地分配和释放内存空间。 • 数据对齐：为了提高访问效率，对变量在内存中的位置进行调整。 • 在程序中，变量和数据的存储方式通常分为静态存储和动态存储两种。静态存
储是指在编译时就为变量分配固定大小的内存空间，这种方式适用于在程序执 行期间大小不变的变量。而动态存储是在运行时动态地为变量分配和释放内存 空间，它适用于大小在运行时才能确定或者在程序执行过程中会发生变化的数 据结构。为了提高内存访问效率，编译器通常还会进行数据对齐操作，即调整 变量在内存中的位置，使其按照特定的字节边界对齐，这样可以减少CPU访 问内存的次数，提高程序的执行速度。
04 数据段和代码段 的管理
数据段的组织和管理
静态存储分配：在编译时确定变量的 存储空间需求，并为其分配固定的存 储空间。这种分配方式适用于全局变 量和静态变量，其存储空间通常位于 数据段中。
动态存储分配：在运行时根据程序的 需要动态地分配存储空间。这种方式 适用于局部变量和临时变量，其存储 空间通常位于栈或堆中。动态存储分 配能够更有效地利用存储空间，并根 据需要动态调整。
03 堆区和栈区的管 理
堆区的组织和管理
动态内存分配
内存碎片问题
堆区是程序中用于动态内存分配的区 域，使用堆区可以实现在运行时根据 需要动态地分配和释放内存空间。在 堆区中，内存块的大小和数量是灵活 的，可以根据程序的需求进行调整。 常用的动态内存分配函数包括 malloc()和new()。
由于堆区的动态分配特性，频繁地分 配和释放内存块可能会导致内存碎片 问题。内存碎片指的是堆区中无法被 有效利用的小块内存空间。为了解决 这个问题，可以采用内存池技术，预 先分配一大块内存空间，并将其划分 为多个小块，每次需要分配内存时， 从内存池中获取一块合适的内存块。
编译原理教案运行时存储空间经济组织课件
内存生长方向
堆的生长方向向上，即地址由低到高；栈的生长方向向下 ，即地址由高到低。
效率
由于堆需要手动管理，其操作相对复杂，效率较低；栈由 编译器自动管理，操作简便，效率高。
应用场景
堆适用于需要灵活、动态分配内存的场景，如数据结构、 算法等；栈适用于函数调用、局部变量等短暂、固定大小 的内存需求场景。
以上是关于编译原理中运行时存储空间经济组织的课件内容。通过深入了解数据的存储布局 、动态内存分配与管理以及运行时堆的管理策略，可以更好地优化程序的内存使用，提升程 序性能，并减少潜在的内存相关错误。
04
程序执行过程中的内存变化
函数调用与返回时的内存变化
栈帧生成
参数传递
当函数被调用时，会为该函数创建一个栈 帧，用于存储该函数的局部变量、返回地 址以及临时数据。
运行时堆的管理策略
堆的分配策略：堆区通常采用链表、树等数据结构来管理空闲内存块。常见的堆分配策略包 括首次适配（first-fit）、最佳适配（best-fit）和最坏适配（worst-fit）等。
垃圾回收：为了减轻程序员手动管理内存的负担，一些编程语言（如Java和Python）采用 了自动垃圾回收机制。垃圾回收器会定期检测程序中不再被引用的对象，并自动回收其占用 的内存空间。
课程目标和期望
01
02
03
04
知识掌握
深入理解编译原理中各个阶段 ，及它们如何影响存储空间经
济。
能力培养
能够设计和实现具有高效存储 空间管理的编译器。
思维拓展
通过编译原理的学习，培养计 算思维和问题解决能力。
实用技能
掌握一些实用的编译优化技术 和存储空间管理方法。
02
运行时存储空间基础概念
编译原理-运行环境
过程说明语句的翻译
说明语句： Procedure id(X1,X2,…,Xn)
分析参数的类型、分配地址
统计参数和返回值的空间需求 与调用语句配合完成形/实参数的结合
符号表处理
完成过程名的属性登记
过程说明语句代码结构
说明语句： Procedure id(X1,X2,…,Xn) 代码结构 X1.code 按参数传递要求实现参数X1的传递，或者完成传递准备； X2.code 按参数传递要求实现参数X2的传递，或者完成传递准备； …… Xn.code 按参数传递要求实现参数Xn的传递，或者完成传递准备； 完成动态存储分配相关的工作； 进入过程体
主程序 A:=2; B:=3; P(A+B, A, A);
子程序 P(X,Y,Z); {Y:=Y+1;
换名 A:=A+1=3 A:=A+A+B=3+3+3
Print A
Z:=Z+X}
复制恢复：
9
临时单元: T:A+B=5
X=T=5,Y=Z=A=2 Y:=Y+1=3 Z:=Z+X=2+5=7
传地址：
过程调用语句的代码结构
过程调用语句 id(E1,E2, … ,En)
E1.code a1:=E1.place … En.code an:=En.place 动态存储分配相关工作 goto pc+n+1 param a1 … param an call id.place，n
需要一个队列存放a1, a2, …, an，以生成
过程调用的实现
1) 在过程 f 中调用过程 p 时
编译原理-运行环境
将生成的代码输出到目标文件或内存中，供运行环境执行。
03
运行环境概述
操作系统
操作系统是计算机系统的核心软件，负责管理硬 件资源、提供软件运行环境以及执行用户任务。
操作系统的主要功能包括进程管理、内存管理、 文件系统和设备驱动等。
常见的操作系统有Windows、Linux和macOS等。
内存管理
寄存器分配
编译器通过合理地分配寄存器，减少 内存访问次数，提高程序的执行效率。
指令选择
编译器根据目标平台的指令集和特性， 选择最优的指令集来执行程序，以提 高程序的执行效率。
内存管理优化
内存布局优化
编译器可以通过优化内存布局，将相关数据和函数放在一起，减少 内存访问的开销。
内存访问优化
编译器可以通过优化内存访问，减少内存访问次数，提高程序的执 行效率。常见的优化技术包括缓存优化、预取技术等。
保护等。
03
常见的文件系统有FAT32、NTFS和ext4等。
进程与线程管理
进程是操作系统中一个独立运行的程序实例，具有独立的内存空间和系统 资源。
线程是进程中的一个执行单元，共享进程的资源，实现并发执行。
进程与线程管理的主要任务包括进程创建、进程终止、进程切换和线程调 度等。
04
运行环境与编译原理的关系
01 内存管理是操作系统的重要组成部分，负责分配 和回收内存资源。
02 内存管理的主要任务包括内存分配、内存回收、 内存保护和内存扩充等。
03 内存管理算法有静态分配、动态分配和垃圾回收 等。
件系统
01
文件系统是操作系统中用于管理文件存储和访问的机
制。
02
文件系统的主要功能包括文件存储、文件访问和文件
03
运行环境概述
操作系统
操作系统是计算机系统的核心软件，负责管理硬 件资源、提供软件运行环境以及执行用户任务。
操作系统的主要功能包括进程管理、内存管理、 文件系统和设备驱动等。
常见的操作系统有Windows、Linux和macOS等。
内存管理
寄存器分配
编译器通过合理地分配寄存器，减少 内存访问次数，提高程序的执行效率。
指令选择
编译器根据目标平台的指令集和特性， 选择最优的指令集来执行程序，以提 高程序的执行效率。
内存管理优化
内存布局优化
编译器可以通过优化内存布局，将相关数据和函数放在一起，减少 内存访问的开销。
内存访问优化
编译器可以通过优化内存访问，减少内存访问次数，提高程序的执 行效率。常见的优化技术包括缓存优化、预取技术等。
保护等。
03
常见的文件系统有FAT32、NTFS和ext4等。
进程与线程管理
进程是操作系统中一个独立运行的程序实例，具有独立的内存空间和系统 资源。
线程是进程中的一个执行单元，共享进程的资源，实现并发执行。
进程与线程管理的主要任务包括进程创建、进程终止、进程切换和线程调 度等。
04
运行环境与编译原理的关系
01 内存管理是操作系统的重要组成部分，负责分配 和回收内存资源。
02 内存管理的主要任务包括内存分配、内存回收、 内存保护和内存扩充等。
03 内存管理算法有静态分配、动态分配和垃圾回收 等。
件系统
01
文件系统是操作系统中用于管理文件存储和访问的机
制。
02
文件系统的主要功能包括文件存储、文件访问和文件
编译原理与技术 运行环境
程序单元 －FORTRAN的子例程(subroutine) －PASCAL的过程/函数(procedure/function) －C的函数
程序单元的激活（调用）与终止（返回） 程序单元的执行需要：
代码段＋活动记录（程序单元运行所需的额 外信息，如参数，局部数据，返回地址等）
2020/2/24
编译原理与技术
运行环境
2020/2/24
《编译原理与技术》－运行环境
1
运行环境
存储组织与分配
程序单元、运行时内存划分与活动记录 静态/动态存储分配 动态栈式的过程调用/返回 非局部名字的访问
参数传递
参数传递的方式及其实现
2020/2/24
《编译原理与技术》－运行环境
2
存储组织与分配
《编译原理与技术》－运行环境
3
运行时内存划分
代码段 静态数据区 栈（stack）
大小可以静态确定 全局/局部静态变量 活动记录栈
堆（heap）
动态分配的数据
2020/2/24
《编译原理与技术》－运行环境
4
活动记录
活动记录－AR （Activation Record） 是一连续存储区域，用于管理与存放和程序 单元执行相关的重要信息。
栈顶sp 临时区
长度可变的区 域放在AR低端
2020/2/24
《编译原理与技术》－运行环境
13
栈式分配下的过程调用与返回
－ 过程调用：分配被调过程的AR并填入相关信息， 然后程序控制转移到被调过程入口；
－过程A 调用 过程B 的过程调用序列：
A的“调用”准备操作：1）～ 3）
1）A 计算实在参数并放入（对应栈操作－push） B的活动记录中；（亦可考虑返回值存放空间）
程序单元的激活（调用）与终止（返回） 程序单元的执行需要：
代码段＋活动记录（程序单元运行所需的额 外信息，如参数，局部数据，返回地址等）
2020/2/24
编译原理与技术
运行环境
2020/2/24
《编译原理与技术》－运行环境
1
运行环境
存储组织与分配
程序单元、运行时内存划分与活动记录 静态/动态存储分配 动态栈式的过程调用/返回 非局部名字的访问
参数传递
参数传递的方式及其实现
2020/2/24
《编译原理与技术》－运行环境
2
存储组织与分配
《编译原理与技术》－运行环境
3
运行时内存划分
代码段 静态数据区 栈（stack）
大小可以静态确定 全局/局部静态变量 活动记录栈
堆（heap）
动态分配的数据
2020/2/24
《编译原理与技术》－运行环境
4
活动记录
活动记录－AR （Activation Record） 是一连续存储区域，用于管理与存放和程序 单元执行相关的重要信息。
栈顶sp 临时区
长度可变的区 域放在AR低端
2020/2/24
《编译原理与技术》－运行环境
13
栈式分配下的过程调用与返回
－ 过程调用：分配被调过程的AR并填入相关信息， 然后程序控制转移到被调过程入口；
－过程A 调用 过程B 的过程调用序列：
A的“调用”准备操作：1）～ 3）
1）A 计算实在参数并放入（对应栈操作－push） B的活动记录中；（亦可考虑返回值存放空间）
编译原理7 运行环境
d + lR
PROC P PROC Q PROC R
. .引用 Py, Qx
Py Qx
ARR
SP2 SP1 SP0 形式单元 m 全局DISPLAY
lR
d 个单元
返回地址
SP2
老SP Data Section Qx ,内情
.
call call R Q
SP1.2
Q P 形参 n 全局DISPLAY
lQ
TOP 16
主程序P
15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
过程 S 过程 Q
SP
i b(形参) 1(形参个数) 0 返回地址 5 i c 0(形参个数) 0 返回地址 0 x a 0 返回地址 0
？第N层过程调用
第 N层过程，如何确 定被调用过程(第 N层) 过程的静态链？
，该函数所需的存储空间动态地分配于栈顶，函 数返回时，释放所占用的空间。
7
Ch6 运行环境
6.1 关于程序运行环境与存储组织
堆式动态存储分配
在内存中开辟一个称为堆的存储区，程序
运行每当需要（申请）时就按照某种分配原则
在堆的自由区(可占用区)中，分配能满足其需
要的存储空间给它，使用后需要释放操作，再
23 22 21 20 19 18 SP 17
d c v(形参) u(形参) 2(形参个数) 11 返回地址 11
动态链
静态链
31
主程序P
16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
过程 S 过程 Q 过程 R 过程 R
TOP 32
31 30 29 28 27 26 SP 25 24 23 22 21 20 19 18 17
编译原理运行时环境
编译原理运行时环境1.内存管理：编译程序在运行过程中需要将源代码转换为目标代码，并将目标代码加载到内存中执行。
为了正确地管理内存空间，运行时环境需要提供内存分配和释放的功能。
通常，运行时环境会分配一块内存区域用于存储程序运行所需的数据和指令。
同时，它还提供内存堆和栈的管理，用于存储程序的动态数据和局部变量。
2.错误处理：编译程序在执行过程中可能会出现各种错误，如语法错误、类型错误、运行时错误等。
运行时环境需要提供错误处理的能力，及时检测和报告程序中的错误。
一般来说，编译程序会将错误信息输出到控制台或者写入日志文件，以便开发人员进行排查和修复。
3.I/O操作：编译程序通常需要进行一系列的输入和输出操作。
例如，解析源代码需要从文件或者标准输入流读取数据，将目标代码写入文件或者标准输出流。
为了完成这些操作，运行时环境需要提供对文件和流的操作支持。
它可以通过打开、关闭、读取和写入等操作，实现与外部环境的数据交换。
4.硬件支持：在编译程序的执行过程中，需要借助硬件设备来进行计算和存储。
运行时环境需要与硬件设备进行交互，获取和发送指令，存储和读取数据。
硬件支持一般包括CPU、内存、硬盘等设备。
5.并发支持：在一些情况下，编译程序可能需要支持并发执行，即同时执行多个任务或线程。
运行时环境需要提供并发支持，包括创建和管理线程、同步和通信机制等。
这样可以充分利用多核处理器的优势，提高程序的执行效率。
总结来说，编译原理运行时环境是编译程序执行过程中的基础设施，为编译程序提供了内存管理、错误处理、I/O操作、硬件支持和并发支持等功能。
它在编译程序执行过程中起到了至关重要的作用，保证了程序的正确运行和高效执行。
同时，不同的编程语言和编译器可能有不同的运行时环境实现方式，但都需要遵循基本的运行时环境规范，以保证程序的正确性和可移植性。
编译原理之运行时刻环境
编译原理之运行时刻环境编译原理是计算机科学中的重要课程，它研究的是将高级语言代码翻译成机器语言的过程。
在编译过程中，除了词法分析、语法分析、语义分析等步骤外，运行时刻环境也是一个非常重要的概念。
本文将介绍编译原理里的运行时刻环境。
什么是运行时刻环境运行时刻环境是指在程序运行过程中支持程序执行的一系列运行时数据结构和服务。
在编译原理中，运行时刻环境通常包含以下几个重要组成部分：1.堆栈（Stack）：存储函数调用和局部变量的内存空间。
每个函数调用都会在堆栈上创建一个称为帧的数据结构，用来保存函数参数、局部变量和返回地址等信息。
2.堆（Heap）：存储动态分配的内存对象，比如使用new关键字创建的对象会在堆上分配内存。
3.全局数据区（Global Data Area）：存储程序运行过程中始终存在的全局变量和静态变量。
4.常量池（Constant Pool）：存储程序中使用的常量值，比如字符串、数字等。
5.代码区（Code Area）：存储程序的指令集，包括函数的二进制代码等。
运行时刻环境的作用运行时刻环境在程序执行过程中起着至关重要的作用，它主要负责以下几个方面的功能：1.内存管理：运行时刻环境负责内存的分配和释放，保证程序运行时能够动态地分配和释放内存，避免内存泄漏和空指针引用等问题。
2.异常处理：处理程序运行过程中出现的异常情况，比如空指针异常、数组越界异常等，保证程序的稳定性和可靠性。
3.类型检查：在程序运行过程中对数据的类型进行检查，避免类型不匹配导致的错误。
4.动态链接：在程序运行过程中对函数调用进行动态链接，确保程序可以正常调用外部库中的函数。
5.运行时优化：运行时刻环境还可以对程序进行一些优化，比如函数内联、循环展开等，提高程序的执行效率。
运行时刻环境的实现方式不同的编程语言和编译器实现了不同的运行时刻环境，下面以几种常见的实现方式为例进行介绍：JVMJVM（Java Virtual Machine）是Java平台的关键组成部分，它定义了一套独立于硬件平台的指令集架构，并提供了一套丰富的库函数。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第7章 运行时环境(存储空间)
当源程序的目标代码被运行时，在内存中不 仅有目标代码，而且还要保存各种信息
例如为源程序中出现的一些量（常量、变量及 某些数组等）分配运行时的存储空间。
目标代码要从操作系统得到一块存储区，用 于它的运行。
machunyan
西北工业大学软件与微电子学院
1
第7章 运行时环境(存储空间)(续)
放的数据结构 过程不可递归调用
machunyan
西北工业大学软件与微电子学院
16
7.2 完全静态的运行时环境（续）
整个程序 存储器如 右所示：
machunyan
西北工业大学软件与微电子学院
17
第7章 运行时环境(存储空间)
✓7.1 程序执行时的存储器组织 ✓7.2 完全静态的运行时环境 ✓7.3 基于栈的运行时环境 ▪7.4 动态存储器 ▪7.5 参数存储机制
全程/静态区域：静态数据区用来存放那些具有绝对地 址的数据和变量(如静态变量和全程变量)；编译器可 以确定其所占用存储空间的大小，初始化的全局变量 和静态变量在一块区域，未初始化的全局变量和未初 始化的静态变量在相邻的另一块区域，程序执行结束 后由系统释放。
本章案例分析.doc
machunyan
主调函数的控 制链
c:3
栈底 栈顶
machunyan
西北工业大学软件与微电子学院
ห้องสมุดไป่ตู้
14
第7章 运行时环境(存储空间)
✓7.1 程序执行时的存储器组织 ✓7.2 完全静态的运行时环境 ▪7.3 基于栈的运行时环境 ▪7.4 动态存储器 ▪7.5 参数存储机制
machunyan
西北工业大学软件与微电子学院
machunyan
西北工业大学软件与微电子学院
7
7.1程序执行时的存储器组织（续）
堆区：供用户动态申请存储空间，编译器“不需要” 知道究竟得从heap中分配多少空间，也不需要知道从 heap上分配的空间究竟需要存在多久。 在c中由malloc，free运算产生释放的存储空间，在 c++中 由new和delete运算符作用的存储空间，以及 在Java中由new分配的存储空间都在堆中进行分配。
过程的活动记录(activation record,AR)是一段连 续的存储区，用于存放函数的一次执行所需要的信息， 当调用或激活函数时，必须为被调用函数的活动记录 分配空间。
machunyan
西北工业大学软件与微电子学院
11
7.1程序执行时的存储器组织（续）
活动记录存放的信息至少应包括以下几个部分：
西北工业大学软件与微电子学院
6
7.1程序执行时的存储器组织（续）
栈区：函数中的形参和在函数中定义的局部变量以及局 部临时变量（C、C++、Java），这些变量分配在栈区， 每次函数执行的时候会在栈中为函数的执行分配相应的 存储区，而在函数执行完毕后，释放相应的存储区。
编译器“知道”存在栈中的具体数据所占内存大小和内存分配 和释放的“时刻”；
15
7.2 完全静态的运行时环境
在完全静态环境中，不仅全局变量，所有的变量都是 静态分配，即整个程序所需数据空间的总量在编译时 是完全确定的，从而每个数据名的地址就可静态地进 行分配，适于静态分配的语言，要求满足的条件是：
每个数据名所需的存储空间的大小都是常量 不允许采用动态的数据结构，即在程序运行过程中申请或释
运行时环境有三个类型：完全静态环境(fully static environment)、基于栈的环境(stackbased environment)，以及完全动态环境(fully dynamic environment)。这3种类型的混合形 式也是可能的。
machunyan
西北工业大学软件与微电子学院
存放主调函数为被调函数 提供的实参信息; 用于指向主调函数的活动记 录的控制链和返回地址;
存放本次执行中的局部数据
存放目标程序临时变 量的值;
machunyan
西北工业大学软件与微电子学院
12
7.1程序执行时的存储器组织（续）
实参
返回地址
调用者
控制链
调
的活动 记录
临时变量和局部数据
用 者
实参 返回地址 控制链
由于栈区和堆区的长 度会随着目标代码的 运行而变化，因此把 它们分配在数据区的 两端。一般情况下， 栈向下长，堆向上长， 可以使栈和堆共用一 空白存储空间。
machunyan
西北工业大学软件与微电子学院
5
7.1程序执行时的存储器组织（续）
代码区域：目标代码的存储区域，由于代码区在执行 之前是固定的，在编译时所有目标代码的地址都是可 计算的，程序执行结束后代码区域内存由系统释放。
3
第7章 运行时环境(存储空间)
✓7.1 程序执行时的存储器组织 ▪7.2 完全静态的运行时环境 ▪7.3 基于栈的运行时环境 ▪7.4 动态存储器 ▪7.5 参数存储机制
machunyan
西北工业大学软件与微电子学院
4
7.1程序执行时的存储器组织
目标代码运行时,操作系统为目标代码的运行分配 的存储空间按用途可划分为下面几个部分:
的
职
被调用
责
者的活
动记录
临时变量和局部数据
machunyan
西北工业大学软件与微电子学院
13
7.1程序执行时的存储器组织（续）
C语言所调用函数 的活动记录示例 (函数调用分析中 的举例)
控制链：指向调 用函数活动记录 的一个地址。
当前函数的 控制链
b:2 a:1 该函数调用结束 时的返回地址 (00401014)
存储分配是在运行阶段进行的，但编译程序在 编译阶段要为其设计好存储组织形式，并将这 种组织形式通过生成的目标代码体现出来。 (举例说明：函数调用分析.txt)
目标代码运行时，存储空间的组织称为目标代 码的运行时环境。
machunyan
西北工业大学软件与微电子学院
2
第7章 运行时环境(存储空间)(续)
machunyan
西北工业大学软件与微电子学院
8
machunyan
西北工业大学软件与微电子学院
9
machunyan
西北工业大学软件与微电子学院
10
7.1程序执行时的存储器组织（续）
在C语言中, 采用以函数（或过程）为单位的动态存 储分配方案：
当一函数被调用时，就在栈顶为该函数分配所需的数据空 间(过程活动记录)，当一个函数工作完毕返回时，它在栈 顶的数据空间(过程活动记录)也即释放。
当源程序的目标代码被运行时，在内存中不 仅有目标代码，而且还要保存各种信息
例如为源程序中出现的一些量（常量、变量及 某些数组等）分配运行时的存储空间。
目标代码要从操作系统得到一块存储区，用 于它的运行。
machunyan
西北工业大学软件与微电子学院
1
第7章 运行时环境(存储空间)(续)
放的数据结构 过程不可递归调用
machunyan
西北工业大学软件与微电子学院
16
7.2 完全静态的运行时环境（续）
整个程序 存储器如 右所示：
machunyan
西北工业大学软件与微电子学院
17
第7章 运行时环境(存储空间)
✓7.1 程序执行时的存储器组织 ✓7.2 完全静态的运行时环境 ✓7.3 基于栈的运行时环境 ▪7.4 动态存储器 ▪7.5 参数存储机制
全程/静态区域：静态数据区用来存放那些具有绝对地 址的数据和变量(如静态变量和全程变量)；编译器可 以确定其所占用存储空间的大小，初始化的全局变量 和静态变量在一块区域，未初始化的全局变量和未初 始化的静态变量在相邻的另一块区域，程序执行结束 后由系统释放。
本章案例分析.doc
machunyan
主调函数的控 制链
c:3
栈底 栈顶
machunyan
西北工业大学软件与微电子学院
ห้องสมุดไป่ตู้
14
第7章 运行时环境(存储空间)
✓7.1 程序执行时的存储器组织 ✓7.2 完全静态的运行时环境 ▪7.3 基于栈的运行时环境 ▪7.4 动态存储器 ▪7.5 参数存储机制
machunyan
西北工业大学软件与微电子学院
machunyan
西北工业大学软件与微电子学院
7
7.1程序执行时的存储器组织（续）
堆区：供用户动态申请存储空间，编译器“不需要” 知道究竟得从heap中分配多少空间，也不需要知道从 heap上分配的空间究竟需要存在多久。 在c中由malloc，free运算产生释放的存储空间，在 c++中 由new和delete运算符作用的存储空间，以及 在Java中由new分配的存储空间都在堆中进行分配。
过程的活动记录(activation record,AR)是一段连 续的存储区，用于存放函数的一次执行所需要的信息， 当调用或激活函数时，必须为被调用函数的活动记录 分配空间。
machunyan
西北工业大学软件与微电子学院
11
7.1程序执行时的存储器组织（续）
活动记录存放的信息至少应包括以下几个部分：
西北工业大学软件与微电子学院
6
7.1程序执行时的存储器组织（续）
栈区：函数中的形参和在函数中定义的局部变量以及局 部临时变量（C、C++、Java），这些变量分配在栈区， 每次函数执行的时候会在栈中为函数的执行分配相应的 存储区，而在函数执行完毕后，释放相应的存储区。
编译器“知道”存在栈中的具体数据所占内存大小和内存分配 和释放的“时刻”；
15
7.2 完全静态的运行时环境
在完全静态环境中，不仅全局变量，所有的变量都是 静态分配，即整个程序所需数据空间的总量在编译时 是完全确定的，从而每个数据名的地址就可静态地进 行分配，适于静态分配的语言，要求满足的条件是：
每个数据名所需的存储空间的大小都是常量 不允许采用动态的数据结构，即在程序运行过程中申请或释
运行时环境有三个类型：完全静态环境(fully static environment)、基于栈的环境(stackbased environment)，以及完全动态环境(fully dynamic environment)。这3种类型的混合形 式也是可能的。
machunyan
西北工业大学软件与微电子学院
存放主调函数为被调函数 提供的实参信息; 用于指向主调函数的活动记 录的控制链和返回地址;
存放本次执行中的局部数据
存放目标程序临时变 量的值;
machunyan
西北工业大学软件与微电子学院
12
7.1程序执行时的存储器组织（续）
实参
返回地址
调用者
控制链
调
的活动 记录
临时变量和局部数据
用 者
实参 返回地址 控制链
由于栈区和堆区的长 度会随着目标代码的 运行而变化，因此把 它们分配在数据区的 两端。一般情况下， 栈向下长，堆向上长， 可以使栈和堆共用一 空白存储空间。
machunyan
西北工业大学软件与微电子学院
5
7.1程序执行时的存储器组织（续）
代码区域：目标代码的存储区域，由于代码区在执行 之前是固定的，在编译时所有目标代码的地址都是可 计算的，程序执行结束后代码区域内存由系统释放。
3
第7章 运行时环境(存储空间)
✓7.1 程序执行时的存储器组织 ▪7.2 完全静态的运行时环境 ▪7.3 基于栈的运行时环境 ▪7.4 动态存储器 ▪7.5 参数存储机制
machunyan
西北工业大学软件与微电子学院
4
7.1程序执行时的存储器组织
目标代码运行时,操作系统为目标代码的运行分配 的存储空间按用途可划分为下面几个部分:
的
职
被调用
责
者的活
动记录
临时变量和局部数据
machunyan
西北工业大学软件与微电子学院
13
7.1程序执行时的存储器组织（续）
C语言所调用函数 的活动记录示例 (函数调用分析中 的举例)
控制链：指向调 用函数活动记录 的一个地址。
当前函数的 控制链
b:2 a:1 该函数调用结束 时的返回地址 (00401014)
存储分配是在运行阶段进行的，但编译程序在 编译阶段要为其设计好存储组织形式，并将这 种组织形式通过生成的目标代码体现出来。 (举例说明：函数调用分析.txt)
目标代码运行时，存储空间的组织称为目标代 码的运行时环境。
machunyan
西北工业大学软件与微电子学院
2
第7章 运行时环境(存储空间)(续)
machunyan
西北工业大学软件与微电子学院
8
machunyan
西北工业大学软件与微电子学院
9
machunyan
西北工业大学软件与微电子学院
10
7.1程序执行时的存储器组织（续）
在C语言中, 采用以函数（或过程）为单位的动态存 储分配方案：
当一函数被调用时，就在栈顶为该函数分配所需的数据空 间(过程活动记录)，当一个函数工作完毕返回时，它在栈 顶的数据空间(过程活动记录)也即释放。