码迷,mamicode.com
首页 > 其他好文 > 详细

虎书_褚论

时间:2019-07-11 12:33:39      阅读:110      评论:0      收藏:0      [点我收藏+]

标签:联合   内存   构造   指令   com   表达   分析器   空间   标识符   

褚论

  • 对于任何大型软件系统,如果设计者注意到该系统的基本抽象和接口,那么对这个系统的实现和理解就要容易的多。
  • 下图,展示了一个典型的编译器的各个阶段,每个阶段由一至多个软件模块来实现。将编译器分解成这样多个阶段是为了能够重用他的各种构件。例如,要改变此编译器所生成的机器语言的目标机时,只要改变栈帧布局模块和指令选择模块。当要改变被编译的源语言的时候,只需要改变翻译模块之前的模块就可以了,该编译器也可以在抽象语法接口处与面向语言的语法编辑器相连。
  • 抽象语法、IR树、汇编之类的接口是数据结构的形式,例如语法分析动作阶段建立抽象语法数据结构,并将它传递给语义分析阶段。另一些接口是抽象数据类型:翻译接口是一组可由语义分析阶段调用的函数;单词符号接口是函数形式,分析器通过调用它而得到输入程序中下一个单词符号。
    技术图片

各个阶段的描述

阶段 描述
词法分析 将原文件分解成一个个独立的单词符号
语法分析 分析程序的短语结构
语义动作 建立每个短语对应的抽象语法树
语义分析 确定每个短语的含义,建立变量和其声明的关联。检查每个表达式的类型,翻译每个短语
栈帧布局 按机器要求的方式将变量、函数参数等分配于活跃记录
翻译 生成中间表示树(IR树)这是一种与任意特定程序设计语言和目标机体系结构无关的表示
规范化 提取表达式中的副作用,整理条件分支,方便下一阶段的处理
指令选择 将IR树节点组合成,与目标机指令动作相对应的块
控制流分析 分析指令顺序,并建立控制流图,此图表示程序执行时可能流经的所有控制流
数据流分析 收集程序变量和数据流信息,例如活跃分析,计算每一个变量仍需使用其值的地点(即他的活跃点)
寄存器分配 为程序的每一个变量和临时数据选择一个寄存器,不在同一时间活跃的两个变量可以共享一个寄存器
代码流出 用机器寄存器代替每一条机器指令中出现的临时变量名

工具和软件

  • 现代编译器使用两种最有用的抽象是上下文无关文法和正则表达式。上下文无关文法用于语法分析,正则表达式用于词法分析。为了更好的利用这两种抽象较好的做法是借助一些专门的工具,例如YACC,他将文法转换成语法分析器和LEX他将一个说明性质的规范转换成一个词法分析器。

    树语言的数据结构

  • 编译器中使用许多重要的数据结构都是被编译程序的中间表示。这些表示,常常采用树的形式,树的节点有若干种类型,每一种类型都有一些不同的属性。
  • 树可以用文法来描述,就向程序设计语言一样。这里给出一种简单的程序设计语言,该程序设计语言有语句和表达式,但是没有循环或if语句,这种语言称为直线式程语言
    技术图片

  • 这个语言的非形式语义如下。每一个Stm是一个语句,每一个Exp是一个表达式。s1;s2表示先执行s1,在执行语句s2。i:=e表示先计算表达式e的值,然后把计算结果复制给变量i。
  • print(e1,e2,...,en)表示从左到右输出所有表达式的值,这些值之间用空分开,并以换行符结束。
  • 表示符表达式,例如i,表示变量i当前内容。数按命名他的整数计值。操作符表达式e1 op e2,表示先计算e1在计算e2,然后按给定的二元操作符计算表达式结果。表达式序列(s,e)的行为类似c语言的逗号操作符,在计算表达式e(并返回其结果)之前先计算语句的s副作用。
  • 例如,执行下面的这段程序
a:=5+3;b:=(print(a,a-1).10*a);print(b);
  • 打印出8、7、80

    程序在编译器内部的表现

  • 一种是源码形式,是程序员所编写的字符,但是这种表示不易处理。较为方便的表示是树数据结构,每一个语句(Stm)和每一个表达式(Exp)都有一个树节点,如下图给出了树表示,其中每个节点产生式的标识加以标记,并且每个子节点的数量与相应的文法产生式右边的符号个数相同。
    技术图片

  • 我们可以将这个文法直接翻译成数据结构定义,每个文法符号对应这些结构中的一个typedef

技术图片

技术图片

  • 每一项文法规则都有一个构造器,隶属于规则左部符号的联合。
  • 每一项文法规则有若干右部成分,这些成分必须用数据结构来表示。例如,CompoundStm的右部有两个Stm;AssignStm有一个标识符和一个表达式。表示每一个文法符号的结构都含有一个联合和kind域,前者用于存放可选的成分值,后者执行用联合的哪一个成员。
  • 对于每一个选择,我们创建一个构造函数,他用malloc为此数据结构分配空间并进行初始化,上图只给了这些函数的原型,A_CompoundStm可以这样定义
A_stm A_CompoundStm(A_stm stm1,A_stm stm2){
A_stm s=checked_malloc(sizeof(*s));
s->kind=A_CompoundStm;
s->u.compound.stm1=stm1;s->u.compound.stm2=stm2;
return s;

}
  • 二元操作符的情景要简单些(Binop),尽管也可以为Binop创建一个结构(成员分别表示Plus、Minus、Times、Div),但这样是多余的,因为这些成员并不存放数据,我们为他定义一个枚举类型A_binop

    程序设计风格

  • 在用c表示树数据结构时,遵循以下一些约定。
  • 树都用文法来描述
  • 一棵树使用一至多个typedef来描述,每个Typedef对应文法中的一个符号
  • 每个typedef定义一个指向相应struct的指针,这个struct的名字以下划线结束,他除了在typedef的声明和该结构体的定义中出现,绝不会在其他地方使用。
  • 每个struct有一个kind域和一个u域,kind指明不同选择的枚举量,每个枚举值对应一个可选的文法规则,u是一个联合。
  • 如果一个规则的右部有多个非凡的符号(即带有值的),则他的union有一个本身也是结构的成员给出的组成他的这些值。
  • 如果一个规则的右部只有一个非凡的符号,则他的union有一个就是其值的成员
  • 每个类有一个对所有成员进行初始化的构造函数,除了在构造函数,其他地方不会直接调用malloc函数
  • 每一个模块(头文件)有一个唯一标识该模块的前缀
  • 类型定义名(位于前缀之后的)应用小写字母开头,构造函数名,用大写字母开头,联合的成员用小写字母开头

    c程序模块化规则

  • 编译器是一个很大的程序,自己的设计模块和接口能避免混乱,在用c编写一个编译器时,我们将使用以下规则
  • 编译器每个 模块或模块都应归入各自的“.c”文件,且该文件有对应的“.h”文件。
  • 每个模块有该模块唯一的前缀。由此模块导出的全局名字都应以此前缀打头
  • 所有的函数都应该有函数原型,如果使用了没有原型的函数,编译器将给出警告。
  • string类型表示分配在堆中的字符串,这种字符串在初次创建之后便不会在改变。函数string从c风格字符串指针创建一个分配在堆中的字符串string
  • malloc函数在无内存空间的时候会返回null,Tiger编译器没有复杂的内存管理,来处理。他不调用malloc而调用checked_malloc这个函数保证不会返回null
  • 也不调用free

    程序设计:直线式程序解释器

  • 为直线程序设计语言实现一个简单的程序分析器和解释器,对环境(符号表,他将变量名映射到这些变量相关的信息)、抽象语法(表示程序的短语结构的数据结构)、树数据结构的递归性(他对于编译器中很对部分都是很有用的)以及无赋值语句的函数式风格程序设计。
  • 编写没有副作用(即更新变量及数据结构的赋值语句)的解释器是理解指语义和属性文法的好方法,后两者都是描述程序设计语言做什么方法。

虎书_褚论

标签:联合   内存   构造   指令   com   表达   分析器   空间   标识符   

原文地址:https://www.cnblogs.com/binarysystemloophole/p/11169038.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!