编译原理——编译程序构造实践教程 教学课件 作者 张幸儿 戴新宇 901编译程序构造与实践教程第九章.pptVIP

概括1. 运行时刻存储管理 分类： 静态、动态(栈式、堆式)存储分配 语言背景 存储分配时间2. 符号表 作用、符号表组织（条目的结构） 符号表的数据结构3. 运行时刻支持系统 作用、运行子程序的分类 * * 第9章 目标代码的运行 9.1 概述 如何保证正确地执行目标程序？除了目标代码正确外，必须为运行做好一切方面的准备: 目标代码+运行的支持环境。 除了语法结构目标代码的总体设计外，与运行紧密相关的就是： 运行时刻的存储管理、寄存器分配、运行子程序。 　　寄存器分配涉及太多的细节，不予讨论。存储管理涉及的是标识符，相应的是符号表，因此讨论问题： · 运行时刻的存储管理； · 符号表的管理； · 运行时刻支持系统。 9.2 运行时刻的存储管理 9.2.1 变量情况分析 冯?诺伊曼型计算机的核心是存储器： 变量??存储字 变量与存储字的结合有多种情况，看下面的例子。 例 C程序： typedef struct NodeT { int data; struct NodeT * next; } NodeType； NodeType *P; (1) void CreateLink ( ) { NodeType *p1, *q; (2) int j=1; q=(NodeType *)malloc (sizeof (NodeType)); (3) p1=q; while (j) { printf (Input an integer value:); scanf (%d, j); if (j) { p1→next=(NodeType *)malloc(sizeof(NodeType)); (4) p1=p1→next; p1→data=j; } } p1→next=NULL; p=q→next; free (q); (5) } /* CreateLink */ void display ( NodeType *q) { NodeType *p1; (6) p1=q; while (p1) { printf (%4d, p1→data); p1=p1→next; } } main ( ) { CreateLink ( ); display(p); } 请注意几种不同的变量： · p（在（1）处定义） (全局变量) · p1与q (分别在（2）与（6）处定义） (局部变量) · 指针变量q与p1所指向的各个数据对象 （分别在（3）与（4）处创建） (无名变量) 对上述三类变量，看到是完全不同的三类。 注意：作用域 动态性 生命期 堆 ↓ ↑ 栈 静态数据区 目标程序 存储区域划分 存储分配策略： 静态存储分配 动态存储分配：栈式 堆式 9.2.2 静态存储分配 ? 静态存储分配：编译时刻进行的存储分配 ? 语言背景： 全局变量, C 语言的静态变量等 ? 编译时刻已知道它们的存在，且知道它们的大小 编译时刻由编译程序为它们进行存储分配 ? 但C语言、PASCAL语言等不能仅静态存储分配。 9.2.3 栈