运行环境-编译原理-07-(二).pdf

第七章 运行环境 第七章 运行环境 标识符与数据目标的关系 标识符与数据目标的关系 变量名 ── 数据存储单元地址 变量名 ── 数据存储单元地址 过程名、函数名 ── 程序段地址 过程名、函数名 ── 程序段地址 相关问题 相关问题 变量和过程的作用域 变量和过程的作用域 过程调用的实现方法 过程调用的实现方法 7.1 绑定的完成 7.1 绑定的完成 何时进行空间分配： 何时进行空间分配： 全局变量：程序装入时 全局变量：程序装入时 局部变量：进入过程或分程序时 局部变量：进入过程或分程序时 变量名的绑定 变量名的绑定 静态绑定：编译时指定（相对地址） 静态绑定：编译时指定（相对地址） 如：多数变量名 如：多数变量名 动态绑定：运行时指定 动态绑定：运行时指定 如：C++ 的引用变量 如：C++ 的引用变量 过程和函数的绑定 过程和函数的绑定 为过程指定程序代码段地址 为过程指定程序代码段地址 静态绑定 静态绑定 编译时指定相对地址 编译时指定相对地址 如：多数各种函数、子例程 如：多数各种函数、子例程 动态绑定 动态绑定 运行时指定 运行时指定 如：虚函数（C++）、Java 如：虚函数（C++）、Java 变量的静态绑定 变量的静态绑定 词法分析 词法分析 在符号表建立变量的表项 在符号表建立变量的表项 说明语句的语义分析 说明语句的语义分析 通过类型计算空间需求 通过类型计算空间需求 填写变量的地址（供引用） 填写变量的地址（供引用） 过程的静态绑定 过程的静态绑定 词法分析 词法分析 在符号表建立过程的表项 在符号表建立过程的表项 过程体的语义分析 过程体的语义分析 统计目标代码长度 统计目标代码长度 填写过程的地址（供引用） 填写过程的地址（供引用） 代码段 代码段 7.2 存储组织 7.2 存储组织 静态数据段 静态数据段 运行栈 运行栈  目标程序数据空间  目标程序数据空间 的典型分配 的典型分配    