ch编译程序概述.pptVIP

1.6 编译程序的其他相关技术 4 编译程序自动化 LEX：词法分析程序生成器； YACC：语法分析程序生成器。 1.6 编译程序的其他相关技术 5 程序的可再入性 可再入性：程序正在执行时： 可以随时中断执行进程； 也可随时从断点恢复到原来的执行进程； 中断时，可以从该程序头开始一个新的进程。 可再入性必须满足的条件： 纯代码：执行过程，进程的指令不被修改； 不同进程有不同数据区，中断时保存； 中断时的寄存器的内容被保存。 1.6 编译程序的其他相关技术 6 并行编译 把串行的源程序或尚未并行化的并行源程序自动转换成并行计算机上运行的并行目标程序或它能接收的并行源程序。 1.7 翻译程序的编写系统 翻译编写系统(TWS,Translator Writing System）：有助于减轻编写翻译程序工作的任何软件系统工具包。如：建立、查找符号表的操作，生成目标代码、出错处理操作。 TWS分为： 1 自动产生编译程序的“编译程序的编译程序” 2 面向语法的符号加工程序 3 可扩充语言组成的集合，允许用现有类型定义新类型。 1.2 编译程序的特点 模块化/阶段化 静态解释：编译阶段，对源语句序列 动态解释：运行阶段，对运行时的程序 编译程序只能发现并报告在静态可计算性制约下的那些错误。 机器无关性/可移植性 语言标准化：与机器系统无关 程序语言特征：对所接收的语言提供一种准确的实现。 第1章内容小结 什么是编译程序 编译方式的特点 解释方式的特点 编译方式与解释方式的根本区别 编译程序的工作过程（6个阶段，2个过程） 编译程序的结构（前后端，遍） 编译程序的组织形式 课程内容 第1章 ：引论 第2章 ：文法和语言的形式定义 （上下文无关文法，语法分析理论基础） 第3章 ：有穷自动机 （词法分析理论基础） 第4章 ：词法分析 第5—7章 ：语法分析 第8章 ：语义分析和中间代码生成 第9章 ：运行阶段的存储组织与分配 （代码生成理论基础） 第10章 ：符号表 第11章 ：中间代码优化 第12章 ：目标代码生成 作业 思考：编译程序分为那几个阶段，每个阶段的输入、输出、主要任务分别是什么？ P16：1、4、6、7 * * 1 词法分析 第一阶段：保证构词的正确 输入：字符流 输出：单词流 分析的依据：词法规则 （如：标识符被定义为字母开头的字母数字串） 主要任务： 分离并输出单词（保证单词符合词法规则 ）； 输出单词的值和种类。 构造符号表、常量表； 发现并报告词法错误。 单词值 单词类型 position 标识符(id1) = 运算符(赋值) initial 标识符(id2) + 运算符(加) rate 标识符(id3) * 运算符(乘) 60 整数 ； 界符 例:position = initial + rate * 60; 词法分析（自动分词+词性标注） 例:position = initial + 3rate * 60 单词值 单词类型 position 标识符(id1) = 运算符(赋值) initial 标识符(id2) + 运算符(加) 3rate 错误 * 运算符(乘) 60 整数 词法分析（自动分词+词性标注） 2 语法分析 第二阶段：保证句子结构的正确 输入：单词流 输出：语法树 依据：语法规则 （如：S→if C S else S | if C S） 主要功能： 分析句子是否合乎语法规则； 输出语法树（保证句子的结构正确）； 发现并报告语法错误。 语法分析（自动句法分析） 语法规则（文法描述）: 赋值语句 → 标识符 = 表达式 表达式 → 表达式 + 表达式 表达式 → 表达式 * 表达式 表达式 →(表达式) 表达式 → 标识符 表达式 → 整数 表达式 → 实数 例:position = initial + rate * 60 赋值语句 标识符 = 表达式 表达式 + 表达式 表达式 * 表达式 标识符 标识符 整数 语法分析（自动句法分析） 例:position = initial + rate * 60 分析过程: （分析树） 语法分析（自动句法分析） 例:position = initial + rate * 60 分析结果: id1=id2+id3*N （结构正确的语法树） = + id1 (position) * id2 (initial) id3 (rate) N (60) 3 语义分析 第三阶段：保证句子含义的正确 输入：结构正确的语法树 输出：语义正确的语法树 依据：语义规则