编译原理第10章运行时的存储组织与分配

合集下载

编译原理运行时存储空间的组织和管理课件

变量和数据的存储
• 静态存储：在编译时分配固定大小的内存空间。 • 动态存储：在运行时动态地分配和释放内存空间。 • 数据对齐：为了提高访问效率，对变量在内存中的位置进行调整。 • 在程序中，变量和数据的存储方式通常分为静态存储和动态存储两种。静态存
储是指在编译时就为变量分配固定大小的内存空间，这种方式适用于在程序执行期间大小不变的变量。而动态存储是在运行时动态地为变量分配和释放内存空间，它适用于大小在运行时才能确定或者在程序执行过程中会发生变化的数据结构。为了提高内存访问效率，编译器通常还会进行数据对齐操作，即调整变量在内存中的位置，使其按照特定的字节边界对齐，这样可以减少CPU访问内存的次数，提高程序的执行速度。
04 数据段和代码段的管理
数据段的组织和管理
静态存储分配：在编译时确定变量的存储空间需求，并为其分配固定的存储空间。这种分配方式适用于全局变量和静态变量，其存储空间通常位于数据段中。
动态存储分配：在运行时根据程序的需要动态地分配存储空间。这种方式适用于局部变量和临时变量，其存储空间通常位于栈或堆中。动态存储分配能够更有效地利用存储空间，并根据需要动态调整。
03 堆区和栈区的管理
堆区的组织和管理
动态内存分配
内存碎片问题
堆区是程序中用于动态内存分配的区域，使用堆区可以实现在运行时根据需要动态地分配和释放内存空间。在堆区中，内存块的大小和数量是灵活的，可以根据程序的需求进行调整。常用的动态内存分配函数包括 malloc()和new()。
由于堆区的动态分配特性，频繁地分配和释放内存块可能会导致内存碎片问题。内存碎片指的是堆区中无法被有效利用的小块内存空间。为了解决这个问题，可以采用内存池技术，预先分配一大块内存空间，并将其划分为多个小块，每次需要分配内存时，从内存池中获取一块合适的内存块。

第10章目标程序运行时的存储组织

p4活动记录存取链（静态链）控制链（动态链）
p3活动记录存取链（静态链）控制链（动态链）
p3活动记录存取链（静态链）控制链（动态链）
main活动记录
2、用Display表
Display表---嵌套层次显示表当前激活过程的层次为K，它的Display表含有K+1个
单元，依次存放着现行层，直接外层…直至最外层的每一过程的最新活动记录的基地址。说明：1、由于过程的层数可以静态确定，因此每个过程的Display表的体积在编译时即可以确定。
Q的活动记录
P的活动记录主程序的活动记录
DISPLAY表பைடு நூலகம்维护和建立
为便于组织存储区，将display作为活动记录的一部分，其相对地址在编译时是完全可以确定的。
假设过程P1可调用P2，为了能在P2中建立P2的 display，在P1调用P2时设法把P1的display地址作为连接数据之一（全局display地址）传送给P2，因此连接数据包括：老SP值（动态链）返回地址全局display地址
嵌套过程的栈式分配方案
分程序结构的存储分配方案
3、过程活动：一个过程的活动指的是该过程的一次执行。
4、活动记录：一个过程的一次执行所需要的信息使用一个连续的存储区来管理，这个区（块）叫做一个活动记录。
活动记录一般包含：
（1）连接数据
返回地址—调用过程指令的下一条指令的地址。
动态链（控制链）—指向调用该过程活动记录地址的指针。用于当调用返回时，将当前栈顶正确切换到调用者的活动记录
2、某过程p是在层次为i的过程q内定义的，并且q是包围p的直接外层，那么p的过程层数为i+1。
例： program main(i,0);

编译原理目标程序运行时的存储组织

编译原理目标程序运行时的存储组织引言在编译原理中，目标程序是指通过编译器将高级源代码转换为机器可执行的程序。

在目标程序运行时，需要一定的存储空间来存储程序的指令和数据。

本文将介绍编译原理中目标程序运行时的存储组织的基本概念和原理。

程序的内存模型目标程序在运行时的存储组织是通过内存模型来描述的。

内存模型定义了目标程序在内存中的存储方式和访问机制。

常见的内存模型有栈式模型、堆式模型和段式模型等。

栈式模型栈式模型将程序的内存划分为栈和堆两部分。

栈用于存储程序的局部变量、函数调用和返回地址等信息，而堆用于动态存储分配，如动态创建的对象以及通过malloc等函数分配的内存。

栈式模型的存储空间是连续分配的，栈的大小是固定的，而堆的大小可以根据需要进行动态调整。

堆式模型堆式模型将程序的内存划分为堆和栈两部分。

堆是动态分配的内存空间，用于存储程序运行时动态创建的对象和变量。

栈则用于存储函数调用的临时变量、函数参数和返回地址等信息。

堆式模型的存储空间可以动态调整，但需要手动管理内存的分配和释放，以避免内存泄漏和内存碎片的产生。

段式模型段式模型将程序的内存划分为若干个段，每个段用于存储特定类型的数据。

常见的段包括代码段、数据段、堆段和栈段等。

代码段用于存储程序的指令，数据段用于存储常量、全局变量和静态变量等数据，堆段和栈段与堆式模型和栈式模型类似。

段式模型可以更灵活地管理不同类型的数据，提高了内存的利用率。

存储器分配在目标程序运行时，编译器负责将程序的指令和数据分配到合适的存储器中。

存储器分配的主要目标是提高程序的执行效率和优化存储空间的利用率。

静态存储器分配静态存储器分配是在编译时确定存储器的分配方式。

静态存储器分配将程序的指令和数据分配到固定的内存地址上，程序运行时不会改变存储器分配。

静态存储器分配适用于程序结构稳定、数据量较小的场景，但难以适应动态创建和销毁对象的情况。

栈式存储器分配栈式存储器分配将程序的局部变量、函数调用和返回地址等信息存储在栈中。

编译原理第10章存储组织

另外，同样的一个存储位置，可能不同运行时刻分配给不同的数据对象。
存储分配结构图
若主程序调用了过程Q，Q又调用了R，在R进入运行后的存储结构如图(a)所示。
若主程序调用了过程Q，Q递归调用自己，在Q过程第二次进入运行后的存储结构如图(b)所示。
若主程序先调用过程Q，然后主程序接着调用R，且Q过程不调用Q和R，这时Q和R进入运行后的存储结构分别如图(c)和 (d)所示。
栈式存储分配的实现
过程的活动记录简单的栈式动态分配实现嵌套过程语言的栈式实现分程序结构的存储管理
过程的活动记录
过程的活动记录是一段连续的存储区．用以存放过程的一次执行所需要的信息。
简单描述
简单描述
1．临时工作单元，比如计算表达式过程中需存放中间结果用的临时值单元。
2．局部变量，一个过程的局部变量。 3 ．保存机器状态，容纳该过程执行前关于机器状态信息，
另一部分则是用以管理过程活动的记录信息，即当一次过程调用出现时，调用该过程的那个过程的活动即被中断，当前机器的状态信息，诸如程序计数器(返回地址)、寄存器的值等等，也都必须保留在栈中。
当控制从调用返回时，便根据栈中记录的信息恢复机器状态，使该过程的活动重新开始。
堆式动态存储分配
如果一个程序语言提供用户自由地申请数据空间和退还数据空间的机制 (如C++中的new，delete．Pascal的new，便是这种机制)，或者不仅有过程而且有进程的程序结构，即空间的使用未必服从“先申请后释放，后申请先释放”的原则，那么栈式的动态分配方案就不适用了。这种情况下通常使用一种称为堆式的动态存储分配方案。
第二，当从内层分程序向外转移时可能同时要结束若干个分程序，恢复所要到达的那个分程序的数据区需要顺序退出，浪费时间，降低效率。

第10章目标程序运行时的存储组织

带有非局部变量和形参的PASCAL过程非局变量a[i]和a[j]的值进行交换，i,j为形参（在
这里是传值）
第10章目标程序运行时的存储组织
(1)program reference(input,output);
(2)var a,b:integer;
(3)procedure swap({var} x,y:integer);
第10章目标程序运行时的存储组织
第10章目标程序运行时的存储组织
嵌套过程语言的栈式分配方案
主要特点：
• （语言）一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，数组或过程等）。
• （实现）一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。
第10章目标程序运行时的存储组织
第10章目标程序运行时的存储组织
(1)swap(x,y)
(2)int *x,*y;
(3){ int temp;
(4)
temp=*x; *x=*y; *y=temp;
(5)}
(6)main( )
(7){ int a=1,b=2;
(8) swap(&a,&b);
(9) printf(“a is now %d,b is now %d\n”,a,b);
(4) var temp:integer;
(5) begin
(6)
temp:=x;
(7)
x:=y;
(8)
y:=temp
(9) end;
(10)begin
(11) a:=1; b:=2;
(12) swap(a,b);
(13) writeln(‘a=‘,a);writeln(‘b=‘,b)
(14)end.

编译原理实践8—运行时的存储组织与分配汇总

2.数据存储器的动态存储器管理
每一个PL/0过程可能含有局部变量。过程可以递归调用，每次递归调用，被调用过程又要求有自己的局部变量，因此不可能在编译时就为局部变量确定好固定的存储位置。只能在每次执行过程调用时才为过程的一组局部变量确定相应的存储位置。过程一结束，存储位置又被释放。后进先出—last in first out 按照栈的原理来管理数据存储器
PL/0数据动态存储采用的技术措施
1. 编译时为每一变量名、过程名和程序段确定一个反映静态嵌套深度的级别level 2. 调用一个过程时，把他的活动记录压入运行时的栈顶，返回时弹出相应的活动记录。活动记录包括：
1. 2. 3. 4.
静态链接SL：指向定义该过程的直接外层过程的活动记录的基地址，以确保变量的正确存取动态链接DL：指向调用该过程前正在运行的那个过程的活动纪录的基地址，以确保能返回到调用过程段返回地址RA：保存该被调用过程返回后的地址，也就是调用过程指令的下一条指令的地址为过程局部变量预留的存储单元
4. 所有运算操作都从栈顶找到它的操作数，并以计算结果代之
3.目标计算机指令系统及其解释
表10-1 P137
4.解释程序interpret及其执行
Program6.pas 解释程序interpret
2）嵌套过程语言的栈式存储分配
嵌套过程语言：允许过程嵌套，如 pascal,PL/0。AR中必须有一些内容，用于解决对非局部变量的引用问题 “嵌套层次”，或称层数。主程序为0,过程S 在层数为i的过程R定义，则S层数为i+1 一个过程可以引用包围它的任一外层过程所定义的变量，解决方法很多，常见的方法：双指针方法和Display表方法双指针方法简单直接，但当嵌套层次较多时，对非局部量的访问效率较低！ Display表方法效率较高，实现略复杂对于PL/0的编译程序，采用的是双指针方法

第10章运行时的存储组织与分配

Fall 2010li weihuaDepartment of Computer Science & technology, Informationalschool, Yunnan University Compilers ：Principles and Techniques Chapter 10 Run-Time Environments运行时存储组织的作用与任务程序在存储器中的布局存储分配策略活动记录运行时存储组织的作用与任务−代码生成前如何安排目标机资源的使用−几个问题•数据表示如何在目标机中表示每个源语言类型的值•存储分配如何组织不同作用域变量的存储•过程实现如何实现过程/函数调用，参数传递代码生成前需要安排目标机资源的使用−代码生成的实质•建立如下关联/绑定（biding）源程序/中间代码的脚本↔运行时的脚本源程序/中间代码的名字↔运行时的存储−目标机资源的使用•内存/缓存：存放目标代码和数据（包括系统数据）•寄存器：存放控制信息和数据信息（常为中间信息）•操作系统资源数据表示−源程序中数据对象在内存或寄存器中的表示形式•源程序中数据对象的属性名字（name），类型（type），值（value）,成员（component），偏移地址（offset），……•数据对象在内存或寄存器中的表示形式位、字节、字、字节序列、……•有些机器要求数据存放时要按某种方式对齐（align）如：要求所有数据存放的起始地址为能够被4整除数据表示举例−基本类型数据char 数据 1 byte integer 数据 4 bytesfloat 数据8 bytes boolean数据 1 bit / 1 byte 指针 4 bytes数组一块连续的存储区（按行/列存放）结构/记录所有域（field)存放在一块连续的存储区存储分配策略−静态分配•在编译期间为数据对象分配存储−动态分配•栈式分配将数据对象的运行时存储按照栈的方式来管理•堆式分配从数据段的堆空间分配和释放数据对象的运行时存储静态存储分配−在编译期间就可确定数据对象的大小•不宜处理递归过程或函数−某些语言中所有存储都是静态分配•如汇编语言，FORTRAN语言−多数语言只有部分存储进行静态分配•可静态分配的数据对象如大小固定且在程序执行期间可全程访问的全局变量，以及程序中的常量（literals，constants）•如C 语言中的static和extern变量栈式存储分配−用于有效实现层次嵌套的程序结构•如实现过程/函数，块层次结构−可以实现递归过程/函数•比较：静态分配不宜实现递归过程/函数−运行栈中的数据单元是活动记录（activation record)（专门介绍）堆式存储分配−从堆空间为数据对象分配/释放存储•灵活数据对象的存储分配和释放不限时间和次序−显式的分配或释放（explicit allocation / dealocation）•程序员负责应用程序的（堆）存储空间管理（借助于）编译器和运行时系统所提供的默认存储管理机制）−隐式的分配或释放（implicit allocation / dealocation）•（堆）存储空间的分配或释放不需要程序员负责，由编译器和运行时系统自动完成堆式存储分配−某些语言有显式的堆空间分配和释放命令•如：Pascal 中的new, depositC++ 中的new, delete•比较：C 语言没有堆空间管理机制，malloc()和free()是标准库中的函数，可以由library vendor提供−某些语言支持隐式的堆空间释放−不释放堆空间的方法z只分配空间，不释放空间，空间耗尽时停止z适合于堆数据对象多数为一旦分配，永久使用的情形z在虚存很大及无用数据对象不致带来很大零乱的情形也可采用运行时存储组织堆式存储分配−显式释放堆空间的方法•用户负责清空无用的数据空间（通过执行释放命令）•堆管理程序只维护可供分配命令使用的空闲空间•问题：可能导致灾难性的dangling pointer错误例：Pascal 代码片断C++ 代码片断var p,q: ^real; …new(p);q:=p; dispose(p);q^:=1.0;float * p,*q; …p=new float; q=p;delete p;*q:=1.0;堆式存储分配−堆空间的管理•分配算法面对多个可用的存储块，选择哪一个如：最佳适应算法（选择浪费最少的存储块）最先适应算法（选择最先找到的足够大的存储块）循环最先适应算法（起始点不同的最先适应算法）•碎片整理算法压缩合并小的存储块，使其更可用（可以分专门的话题讨论，超出本课程范围）（部分内容可参考数据结构和操作系统课程）活动记录−嵌套过程语言的栈式分配•主要问题解决对非局部量的引用（存取）•解决方案采用Display 寄存器表为活动记录增加静态链域活动记录−嵌套过程语言的栈式分配•采用Display 寄存器表Display 寄存器表（简称Display 表）记录各嵌套层当前过程的活动记录在运行栈上的起始位置（基地址）当前激活过程的层次为K（主程序的层次设为0），则对应的Display 表含有K+1 个单元，依次存放着现行层，直接外层…直至最外层的每一过程的最新活动记录的基地址嵌套作用域规则确保每一时刻Display 表内容的唯一性Display 表的大小（即最多嵌套的层数）取决于实现活动记录−嵌套过程语言的栈式分配•采用静态链（static link）Display 表的方法要用到多个寄存器，有时并不情愿这样做（寄存器资源很宝贵），一种可选的方法是采用静态链，只保留一个寄存器（即SP）指向当前AR所有活动记录都增加一个静态链（如在offset为0 处）的域，指向定义该过程的直接外过程（或主程序）运行时最新的活动记录在过程返回时当前AR 要被撤销，为回卷（unwind）到调用过程的AR（恢复SP），还需增加一个动态链过程调用与参数传递−参数传递方式•传值call-by-value传递的是实际参数的右值（r-value）•传地址call-by-reference（-address, -location）传递的是实际参数的左值（l-value）−注表达式的左值代表存储该表达式值的地址表达式的右值代表该表达式的值过程调用与参数传递−参数传递方式•实现call-by-value形式参数当作过程的局部变量处理，即在被调过程的活动记录中开辟了形参的存储空间，这些存储位置用以存放实参调用过程计算实参的值，将其放于对应的存储空间被调用过程执行时，就像使用局部变量一样使用这些形式单元过程调用与参数传递−参数传递方式•实现call-by-reference把实在参数的地址传递给相应的形参，即调用过程把一个指向实参的存储地址的指针传递给被调用过程相应的形参：若实在参数是一个名字，或具有左值的表达式，则传递左值若实在参数是无左值的表达式，则计算值，放入一存储单元，传此存储单元地址That’s all for today.Thank You。

编译原理程序运行时的存储组织

编译原理程序运行时的存储组织一、程序的应该存储区域1.代码区：也称为文本区或者只读区，用于存放程序的目标代码。

代码区是只读的，不允许修改。

在程序运行过程中，代码区的内容不会发生变化。

2.全局数据区：用于存放全局变量和静态数据。

全局数据区在程序开始运行时就被分配好空间，在程序的整个运行过程中都存在，直到程序结束。

3.堆区：用于存放动态分配的内存空间，也称为动态内存分配区。

堆区的内存空间是在程序运行时动态分配和释放的，可以根据程序的需要进行扩大或者缩小。

4.栈区：用于存放函数的局部变量和函数调用信息。

栈区的空间是在程序运行时自动分配和释放的，由编译器负责管理。

在函数调用时，会为函数分配一块栈区空间，函数返回后，该空间被自动释放。

二、内存管理方式1.静态内存管理：静态内存管理是指在程序编译阶段，由编译器根据程序的静态内存需求，在编译过程中为程序分配好固定大小的内存空间，静态内存管理的特点是内存空间的分配和释放都是在编译时确定的，程序运行时不需要进行内存管理。

2.动态内存管理：动态内存管理是指在程序运行时根据需要动态地分配和释放内存空间，动态内存管理的特点是内存空间的分配和释放是在程序运行过程中动态确定的。

动态内存管理可以通过堆区进行。

三、内存分配和释放编译原理程序在运行时的存储组织中，对于静态内存区域的分配和释放是由编译器在编译时确定的，程序在运行时无法进行修改。

对于动态内存区域的分配和释放，可以通过堆区进行，可以使用以下几个函数进行动态内存的分配和释放：1. 分配内存：程序可以使用malloc函数、calloc函数或者realloc函数来分配内存空间。

malloc函数用于分配指定字节数的内存空间，calloc函数用于分配指定数量和大小的内存空间，realloc函数用于调整已经分配的内存空间的大小。

2. 释放内存：程序在使用完动态分配的内存空间后，需要使用free函数来释放内存空间。

free函数会将之前分配的内存空间标记为可用状态，可以供其他程序使用。

编译原理第10章目标程序运行时的存储组织

var p:char; procedure B;
var c:char; begin
...(1)... end; {B} procedure C; var t:real; begin
...(2)... end;{C} begin ..... B; C; ..... end;{A} begin{main} ... A(d); ... end.
《编译原理》课后习题答案第十章
第 10 章目标程序运行时的存储组织
第 5 题：
过程参数的传递方式有几种?简述“传地址”和“传值”的实现原理。
答案：
参数的传递方式有下述几种： “传值” -- Call by Value。 “传地址”-- Call by Address。 “换名” -- Call by Name。 “得结果”-- Value-result。
答案：
盛威网（）专业的计算机学习网站
3
《编译原理》课后习题答案第十章
问题 2：
对如下的 Pascal 程序，画出程序执行到（1）和（2）点时的运行栈。 program Tr(input,output);
var i:integer; d:integer; procedure A(k:real);
附加题
问题 1：
下面是一个 Pascal 程序 program PP(input,output)
var K:integer; function F(N:integer):integer begin
if N< =0 then F:=1 else F:=N * F(N-1); end; begin K:=F(10); ... end; 当第二次（递归地）进入 F 后，DISPLAY 的内容是什么？当时整个运行栈的内容是什么？

编译原理运行时的存储组织与分配课件

语法分析
语法分析器根据语言的语法规则，将单词列表转换成抽象语法树（AST）。
语义分析
语义分析器对AST进行语义检查，如类型检查、变量声明等。
优化
优化器对AST进行优化，以提高生成代码的性能。
代码生成
代码生成器将AST转换成目标机器代码。
03
运行时的存储组织
运行时存储空间的划分
代码段
学习高级的编译器设计技术，如自动并行化、向量化等，以适应现代计算机体系结构和编程语言的发展。
学习与编译器相关的扩展语言和工具，如嵌入式语言、形式化验证工具等，扩展自己的技能范围。
感谢您的观看
THANKS
编译原理涉及的领域广泛，包括程序设计语言、计算机体系结构、操作系统等，是计算机科学领域的重要基石。
存储组织与分配的研究背景
存储组织与分配是编译原理中的一个重要问题，它涉及到如何在内存中组织和分配程序的数据和代码，以最大限度地提高内存的利用率和程序的执行效率。
随着计算机硬件技术的发展，存储组织与分配的研究也在不断深入，它不仅涉及到编译原理，还涉及到操作系统的内存管理、计算机体系结构的存储系统设计等多个领域。
分配策略
XX编译器使用静态分配策略，在编译时确定每个变量或数据结构的内存需求，并在运行时直接分配给它们相应的内存空间。这种策略减少了运行时的开销，但无法处理动态内存需求。
XX解释器的存储组织与分配实例
存储组织
XX解释器将源代码的存储分为多个内存块，包括代码块、数据块和堆栈块。代码块存储解释器执行的机器码，数据块存储全局变量和静态变量，堆栈块用于存储函数调用和局部变量，以及动态分配的内存。
堆的组织方式通常是非连续的，由操作系统进行管理，通过指针或引用进行访问。

编译原理第十章目标程序运行时的存储组织

第十章目标程序运行时的存储组织课前索引【课前思考】◇回顾一般的编译过程,能否找到本章所讲内容在哪个过程？◇为什么编译程序要考虑目标程序运行时存储区的管理和组织？◇请归纳C语言和PASCAL语言的程序结构和数据类型的不同点【学习目标】全面了解目标程序运行时存储区的整体布局；每种存储区的组织方式和管理方法；并通过实例着重掌握，对允许过程嵌套定义的情况，栈式动态存储分配的组织方式和运行时进栈退栈的活动实现方法。

【学习指南】在代码生成前，编译程序必须进行目标程序运行环境的配置和数据空间的分配。

一般来讲，假如编译程序从操作系统中得到一块存储区以使目标程序在其上运行，该存储区需容纳生成的目标代码和目标代码运行时的数据空间。

我们这里所说的运行时的存储区组织，是指目标程序运行时的数据空间的管理和组织。

【难重点】◇目标程序运行时，存储区域的整体布局，以及各区域的作用。

◇各种不同类型的数据表示。

◇允许过程嵌套定义的情况，栈式动态分配的组织管理。

◇对过程的调用，进入和退出时，栈式动态分配的工作原理。

◇过程活动纪录的各项内容和它们的作用，以及活动纪录的组织方式。

◇过程参数传递的不同方式。

【知识结构】从逻辑上看，在代码生成前，编译程序必须进行目标程序运行环境的配置和数据空间的分配。

一般来讲，假如编译程序从操作系统中得到一块存储区以使目标程序在其上运行，该存储区需容纳生成的目标代码和目标代码运行时的数据空间。

数据空间应包括：用户定义的各种类型的数据对象（变量和常数）所需的存储空间，作为保留中间结果和传递参数的临时工作单元，调用过程时所需的连接单元，以及组织输入/输出所需的缓冲区。

目标代码所占用空间的大小在编译时能确定。

有些数据对象所占用的空间也能在编译时确定，其地址可以编译进目标代码中。

而有些数据对象具有可变体积和待分配性质，无法在编译时确定存储空间的位置。

因此运行时的存储区常常划分成：目标区、静态数据区、栈区和堆区，如图10.1就是一种典型划分，代码(code)区用以存放目标代码，这是固定长度的，即编译时能确定的；静态数据区(static data)用以存放编译时能确定所占用空间的数据；堆栈区(stack and heap)用于可变数据以及管理过程活动的控制信息。

编译原理课件第十章目标程序运行时的存储组织

PART 01
目标程序运行时的存储器组织
存储器分类
主存储器
用于存储程序运行时所需的数据和指令，具有较快的访问速
度。
辅助存储器
如硬盘、光盘等，用于存储大量数据和程序，访问速度较慢。
高速缓存存储器
位于CPU和主存储器之间，用于缓存常用数据和指令，提高访问速度。
寄存器
位于CPU内部，用于临时存储数据和指令，访问速度最快。
01
数据段用于存储程序中定义的全局变量、静态变量等数据。
03
数据段的大小在编译时确定，并在程序运行时被加载到内存中。
02
数据段分为初始化数据段和未初始化数据段，分别用于存储初始
化和未初始化的数据。
201 4
04
数据段的保护机制可以防止其他程序或用户随意修改其中的数据。Fra bibliotek堆栈段
01
堆栈段用于存储函数调用的参数、局部变量以及函数调用的返回地址等信息。
02
堆栈段的特点是后进先出（LIFO），即最后进入堆栈的元素最先被弹出。
03
当函数被调用时，其参数和局部变量等信息被压入堆栈中；当函数返回时，这些信息被从堆栈中弹出。
04
堆栈段的增长和缩小是通过堆栈指针来实现的，堆栈指针指向堆栈的顶部元素。
PART 02
程序的内存布局
静态内存分配
全局变量存储
代码段
01
代码段用于存储程序的指令代码，是程序运行时必须加载到内存中的部分。
02
代码段通常被划分为多个区段，每个区段对应程序中的一个模块
或函数。
在程序运行时，代码段中的指令被加载到CPU的指令寄存器中，并由CPU执行。

第十章目标程序运行时的存储组织PPT学习教案

第10页/共24页
Program main; 全局变量定义; Procedure R; … End(R); Procedure Q; …
若主程序调用Q，Q递归调用自己，在Q第二次进入运行后的存储结构为：
代码区
主程序全局数据区
Q的数据区
栈区
Q的数据区
End(Q); 主程序执行体
End.(main)
第22页/共24页
本章小结： ➢ 运行时内存的划分：代码区、静态数据区、
栈、堆； ➢ 存储分配策略：静态分配、堆分配、栈分
配 ➢ 参数传递的实现：如何进行实参与行参的
结合；如何在代码中实现对参数的正确存取。
第23页/共24页
第9页/共24页
10.2.3 栈式动态存储分配
在数据空间中开辟一个栈区，每当调用一个过程时，它所需要的数据空间就分配在栈顶，每当过程工作结束时就释放这部分空间。空间的使用符合先借后还的原则。
特点：先借后还，管理简单，空间使用效率高栈式动态存储分配适合于PASCAL、C等典型过程式语言。
第3页/共24页
10.1 运行时的存储空间结构
当程序运行时，存储区的内容包括： ➢ 目标代码
目标代码的大小在编译时可以静态确定，因此可以把它放在静态确定的区域； ➢ 目标代码运行时的数据空间
❖ 数据空间包括：用户定义的各种类型的数据对象；临时工作：静态数据区、第栈4页/共区24页和堆区
第5页/共24页
10.2 运行时的存储空间分配
影响分配策略的因素：
源语言的结构特点源语言的数据类型源语言中决定名字作用域的规则
编译器具体实现时，采用如下三种分配策略之一或三种的混合形式。这三种方式是：
➢ 静态存储分配 ➢ 栈式动态存储分配 ➢ 堆式动态存储分配

编译原理10

编译原理计算机学院李金厚
运行时存储区的基本划分
运行时的存储区常常划分为目标区、静态数据区、栈区和堆区，如下图
code Static data stack ↓ … ↑
heap
堆区是“正向生长”的一块区域
编译原理计算机学院李金厚
概念
静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是 “静态”确定的动态：如果一个名字的性质只有在程序运行的时候才能知道，则称这种性质为“动态”确定的
静态存储分配栈式动态存储分配和堆式动态存储分配编译原理计算机学院静态存储分配策略如果编译时能确定目标程序运行中所需的全部数据空间大小并安排好每个数据对象的存储位置则称这种分配策略为静态存储分配它的每个数据名所需的存储空间大小都是常量因而不支持可变数组整个程序所需数据空间的总量在编译时完全确定编译原理计算机学院动态存储分配如果一个程序设计语言允许递归过程可变数组或允许用户自由申请和释放存储空间就需要采取此种存储管理技术algol语言等就包含这类存储策略的实现用以管理过程活动的记录信息编译原理计算机学院像c中的newdeletepascal中的new等等它假设程序运行时有一个大的存储空间每当需要的时候就从其中借用一块不同时再退还编译原理计算机学院服务于过程的栈式存储分配策略在栈顶为有关过程分配所需的数据空间当一个过程工作完毕返回时它在栈顶区域的数据空间也即释放大家可以结合汇编所学的子程序调用所涉编译原理计算机学院过程的活动记录activationrecord对应一段连续的存储区用以存放过程一次执行相关的信息可见下面的图表临时工作单元局部变量机器状态信息存取链控制链实参返回地址编译原理计算机学院临时工作单元计算表达式时需存放中间结果用的临时值单元局部变量一个过程的局部变量机器状态信息和有关过程执行前的机器状态信息包括程序计数器寄存器的值它们需要在该过程返回时恢复存取链用以存取非局部变量这些变量存放于其他过程活动记录中编译原理计算机学院控制链指向调用该过程的那个过程的活动记实参由调用过程提供相关的值也就是该过程实际运行所需要的参数值返回地址保存调用该过程的位置以保证调用过程结束正常返回编译原理计算机学院针对没有分程序结构过程定义不嵌套但允许过程递归调用的情况例对下面的程序主程序调用了过程qq又调用了r在r进入运行后的存储结构的图见下页programmain

ch10-目标程序运行时的存储组织

术语environment表示将一个名字映射到一个存储位置的函数。术语state表示存储位置到值的映射．
5
有些名字在程序中只声明了一次，但该名字可能对应运行时不同的存储位置。例如，一个递归调用的过程。在执行时，同一个局部名字对应不同的运行空间位置以容纳每次执行时的值。因此，源语言的结构特点、源语言的数据类型、源语言中决定名字作用域的规则等因素影响存储空间的管理和组织的复杂程度，决定数据空间分配的基本策略。例如： FORTRAN－采用静态分配策略 PASCAL、C－采用栈式及堆式分配策略
以三种语言结构为例，详细讨论栈式存储分配的实现。
28
术语－过程的活动记录
AR(Activation Record)
过程的活动记录是一段连续的存储区，用以存放过程的一次执行所需要的信息，如图10．6所示。但并不是所有的语言，所有的编译程序全部使用这些信息。
临时工作单元：比如计算表达式过程中需存放中间结果用的临时值单元。局部变量：一个过程的局部变量。保存机器状态：容纳该过程执行前关于机器状态的信息，诸如程序计数器、寄存器的值，这些值都需要在控制从该过程返回时给予恢复。
7
§10.1.1 静态存储分配
如果编译时能确定目标程序运行时所需的存储空间的大
小，则在编译时就能够安排好目标程序运行时的全部数据空间，并能确定每个数据对象的存储位置（单元地址），称这种分配策略为静态存储分配。
8
例如 FORTRAN 语言
特点：
不允许过程的递归性程序是段结构的，即由主程序段和若干子程序段组成。程序＝主程序段 + 若干子程序段各程序段中定义的名字一般是彼此独立的。（除公共块和等价语句说明的名字以外），也即各段的数据对象名的作用域在各段中，同一个名字在不同的程序段表示不同的存储单元，不会在不同段间互相引用、赋值。每个数据名所需的存储空间大小都是常量（不许含可变体积的数据，如可变数组），且所有数据名的性质是完全确定的（不允许那种需在运行时动态确定其性质的名字）。 9

编译原理第10章运行时的存储组织与分配

编译原理运行时存储空间的组织和管理课件

第10章目标程序运行时的存储组织

编译原理目标程序运行时的存储组织

编译原理第10章 存储组织

第10章目标程序运行时的存储组织

编译原理实践8—运行时的存储组织与分配汇总

第10章 运行时的存储组织与分配

编译原理程序运行时的存储组织

编译原理 第10章 目标程序运行时的存储组织

编译原理运行时的存储组织与分配课件

编译原理 第十章 目标程序运行时的存储组织

编译原理课件第十章目标程序运行时的存储组织

第十章目标程序运行时的存储组织PPT学习教案

编译原理10

ch10-目标程序运行时的存储组织

编译原理第10章存储组织

第10章运行时的存储组织与分配

编译原理第10章目标程序运行时的存储组织

编译原理第十章目标程序运行时的存储组织