Name	Name	Last commit message	Last commit date
parent directory ..
PA2	PA2
PA3	PA3
PA4	PA4
PA5	PA5
cs143_RAW	cs143_RAW
README.md	README.md

CS143 编译原理学习

简介

这次学习编译原理所使用的课程是Stanford的CS143编译原理课程，其中配套了Program Assignment Lab

1. lexer - 词法分析

编写相应的词法分析器flex脚本，就可以输出一个对应的C++源码，将之编译即可得到lexer
flex脚本中，我们主要编写的是正则表达式的匹配规则，匹配对应的字符串，返回一个个的token。
lexer通过正则语法，将对应读入的词转换为一个个的token
在词法分析这个过程中，可以过滤出比较明显的错误，例如
- 引号、注释符的闭合
- 非源码中可以出现的字符，比如ASCII < 32的各种控制符号以及特殊的转义字符等等
- 过长的字符串
- 不在规定范围内的转义字符，例如\\转义反斜杠不该出现在字符串双引号之外
- 以及其他的通过读取字符就可以找到的各种简单错误

一个简单的例子

/* 编写正则表达式 */
DIGIT     [0-9]
LETTER    [a-zA-Z]
ID        ({LETTER}|{DIGIT}|_)
TYPEID    [A-Z]{ID}*
/* 匹配到对应的符号则执行方括号内的操作 */
{TYPEID} {
  /* 将当前识别到的typeid添加进字符表中，使其不添加重复字符串 */
  cool_yylval.symbol = idtable.add_string(yytext);
  /* 将当前识别到的token返回 */
  return TYPEID;
}

正则表达式的规则很容易理解，但是正则表达式并不能直接用来解析字符串，所以还要引入一种适合转化为计算机程序的模型 —— 有穷自动机(finite automation，FA)

flex的核心就是自动机。
- 有穷自动机首先包含一个有限状态的集合，还包含了从一个状态到另外一个状态的转换。有穷自动机看上去就像是一个有向图，其中状态是图的节点，而状态转换则是图的边。此外这些状态中还必须有一个初始状态和至少一个接受状态。
- 有穷自动机处理输入字符串的流程
  - 初始情况下，自动机处于初始状态
  - 读取字符串的第一个字符，这时自动机会查询当前状态上与输入字符相匹配的边，并沿这条边转换到下一个状态。
  - 继续输入下一个字符，重复第二步，查询当前状态上的边并进行状态转换。
  - 当字符串全部输入后，如果自动机正好处于接受状态上，就说该自动机 接受了这一字符串。
- 有穷自动机分为两种
  - 确定性有穷自动机（DFA）。特点：从每一个状态只能发出一条具有某个符号的边 —— 不能出现同一个符号出现在同一状态发出的两条边上。
  - 非确定性有穷自动机(NFA)。特点：允许从一个状态发出多条具有相同符号的边，甚至允许发出标有ε（表示空）符号的边，即NFA可以不输入任何字符就自动沿ε边转换到下一个状态。
    
    NFA与DFA 等价，且NFA 可以转化为 DFA
flex所生成的代码，其大致流程为：
- 初始化相关内存与状态
- 从上一次读取的位置开始，循环读取单个字节，并根据yy_nxt状态表与yy_current_state当前状态，跳转至下一个状态
- 待无法跳转至下一个状态时（即匹配完成或出错），根据当前状态，在yy_accept动作表中确定yy_act动作
- 根据yy_act执行特定操作（用户定义的操作或异常捕获）
注：状态表等是自动机中的重中之重。
参考
- flex中文文档
- 偏向代码分析 的 flex生成代码分析 - github

2. parser - 语法分析

语法分析所使用的工具是bison，bison与flex类似，但又有所不同。
bison所使用的是自底向上，左递归的分析方式。
在语法分析这个过程中，可以过滤出一些不符合语法的错误，例如token排列不符合条件，无法规约。
在这种情况下必须进行错误处理程序，将token弹出栈（或者其他操作）。
语法分析所得到的结果是一个不全面的AST抽象语法分析树。它只是一个由Token简单组合起来的树，仍然需要二次处理。

一个简单的例子

/* If no parent is specified, the class inherits from the Object class. */
/* 定义：以下token规约后的符号名称为"class" */
class :
  /* 若当前栈中的token满足下面这条式子 */
  CLASS TYPEID '{' dummy_feature_list '}' ';' /* ' */
    /* 进行规约。在规约的同时执行以下这条式子 */
    /* 注意，赋给$$的值，就是规约后新生成"class"的值 */
    { $$ = class_($2,idtable.add_string("Object"), $4, stringtable.add_string(curr_filename)); }
  | /* 或者，如果满足以下式子 */
  CLASS TYPEID INHERITS TYPEID '{' dummy_feature_list '}' ';'
    { $$ = class_($2,$4,$6,stringtable.add_string(curr_filename)); }
  | /* 或者，如果捕获到了错误 */
  error ';'
    {}
;

参考
- 偏向状态表分析 bison生成代码的分析 - github

3. semant - 语义分析

语义分析要对语法分析所生成的不全面的AST进行二次处理，并捕获所有剩余的错误。
在语义分析中，必须填补缺失的信息，例如每个节点的类型。
在此过程中，所捕获的错误包括但不限于
- 类型不匹配
- 变量名未定义
- 类继承成环状关系
以cool语言为例，该语言的语义分析需要经过以下步骤
- 将基础类（Object，IO，String，Bool），添加至classTable中
- 将用户定义的类，添加进classTable中
- 检查是否有不正确的类继承。即检查是否存在某个类继承了一个 未声明或无法被继承 的类等等。
- 将所有类按照继承关系建立 继承树 。例如：
```
          { -> [String]
          { -> [Int]
[OBJECT] ={ -> [IO]     -> [B]
          { -> [Bool]
          { -> [A]
```
  InheritanceNode是类继承的基本单元。每个InheritanceNode都和一个cool语言中的类绑定。同时每个InheritanceNode中都存在一个指向Environment的指针成员。
- 从根类（即从Object类）开始，自顶向下递归设置InheritanceNode为 “可到达的”。
- 遍历全部类，判断是否有InheritanceNode是 “不可到达的” 。如果存在，则说明类继承关系中存在环，报错终止。（例如上图）
  
  注意：由于cool语言是单继承的，每个类都只能继承一个类。所以这种判断是可行的。
- 递归建立feature_table。从 继承树 的根开始（即Object类），自顶向下递归建立每个InheritanceNode中Environment的feature_table。该操作会将cool语言中，每个类内的attribute和method均添加进表中。
  当父节点的feature_table建立完成后，子节点便会复制父节点的Environment，并在其上进行添加操作。这样，父节点的属性自然就包含于子节点的属性中。
- 检查是否存在Main类以及main方法。
- 递归进行类型检查。从 继承树 的根开始，自顶向下 检查每个类的类型，检查是错误，以及为AST添加缺失的类型信息。
  在每个类中，类型检查是 自底向上 的，由节点较低的类型生成节点较高的类型，如此反复直至树根。其中需要捕获大量的错误，以及正确处理变量的作用域等等。
- 语义分析结束，输出完整的AST。
语义分析的功能，归根到底就只有两点
- 捕获所有错误。
- 补充AST缺失的信息。
语义分析需要对每个表达式都进行类型检查，所以类型检查代码的编写是十分重要的。每个表达式所确定的类型也必须严格按照对应编程语言手册里的相关规定来设计，不可随意更改。

4. cgen - 目标代码生成

以cool语言为例，在生成目标代码前，需要先读入AST树的相关信息，重建继承图，并自上而下的初始化相关的映射表格
在该初始化过程中，每个类会遍历其中的feature，并将其相关信息添加至对应的SymbolTable中
如果该feature是method，则还会额外自顶向下计算所需要的最小临时变量数量，并将其添加进表格中。

初始化过后就是生成代码，这个步骤会执行以下几个过程：

声明全局变量。例如以下mips汇编代码：

  .data
  .align  2
  .globl  class_nameTab
  .globl  Main_protObj
  .globl  Int_protObj
  .globl  String_protObj
  .globl  bool_const0
  .globl  bool_const1
  .globl  _int_tag
  .globl  _bool_tag
  .globl  _string_tag

_int_tag:
  .word 3
_bool_tag:
  .word 4
_string_tag:
  .word 5
  .globl _MemMgr_INITIALIZER

声明GC器。例如以下汇编代码：

_MemMgr_INITIALIZER:
  .word _NoGC_Init
  .globl _MemMgr_COLLECTOR
_MemMgr_COLLECTOR:
  .word _NoGC_Collect
  .globl _MemMgr_TEST
_MemMgr_TEST:
  .word 0
  .word -1

将常量输出（例如：数字，字符串，布尔常量），例如以下部分汇编代码

注意：数字常量包括0，字符串常量包括空字符串""

  .word -1              # eye catcher for _gc_check
str_const8:             # 该字符串的标签
  .word 5               # （未知用途）
  .word 6               # （未知用途）
  .word String_dispTab  # 该类型可以使用的方法
  .word int_const2      # 字符串长度（其中的int_const2指向另一个数字常量）
  .ascii "Main"         # 字符串的ASCII码
  .byte 0               # 字符串末尾的\0终结符
  .align 2              # 对齐

将所有类的名称输出。例如以下汇编代码：

class_nameTab:        # 这一个个的str_const都指向特定的字符串
  .word str_const6    # str_const6  => "Object"
  .word str_const7    # str_const7  => "IO"
  .word str_const8    # str_const8  => "Main"
  .word str_const9    # str_const9  => "Int"
  .word str_const10   # str_const10 => "Bool"
  .word str_const11   # str_const11 => "String"

将所有类中的object table输出（未知用途，删除后仍然可以执行）

class_objTab:
  .word  Object_protObj
  .word  Object_init
  .word  IO_protObj
  .word  IO_init
  .word  Main_protObj
  .word  Main_init
  .word  Int_protObj
  .word  Int_init
  .word  Bool_protObj
  .word  Bool_init
  .word  String_protObj
  .word  String_init

将每个类所含的方法输出（包括该类的继承类中的方法），例如以下汇编代码

Main_dispTab:
  .word  Object.abort
  .word  Object.type_name
  .word  Object.copy
  .word  IO.out_string
  .word  IO.out_int
  .word  IO.in_string
  .word  IO.in_int
  .word  Main.main

将每个类的类型信息输出。protObj中含有当前类的属性以及函数表。例如以下部分汇编代码

    .word  -1         # -1 header for the garbage collector(eye catcher for _gc_check)
Main_protObj:         # label
  .word  2            # class tag
  .word  7            # total_attributes + DEFAULT_OBJFIELDS
  .word  Main_dispTab # 函数表
  .word  int_const0   # 第一个attribute是数字类型
  .word  str_const12  # 第二个attribute是字符串类型
  .word  bool_const0  # 第三个attribute是布尔类型
  .word  0            # 第四个attribute是其他类型，例如各种类

声明全局代码段的相关信息，例如以下汇编代码

#声明堆的相关信息
  .globl  heap_start
heap_start:
  .word  0
#声明text代码段
  .text
  .globl  Main_init
  .globl  Int_init
  .globl  String_init
  .globl  Bool_init
  .globl  Main.main

输出每个类的初始化函数的代码，例如以下汇编代码

String_init:
  addiu  $sp $sp -12
  sw  $fp 12($sp)
  sw  $s0 8($sp)
  sw  $ra 4($sp)
  addiu  $fp $sp 4
  move  $s0 $a0
  jal  Object_init
  move  $a0 $s0
  lw  $fp 12($sp)
  lw  $s0 8($sp)
  lw  $ra 4($sp)
  addiu  $sp $sp 12
  jr  $ra

输出每个类中的函数代码（示例代码就不放出来了）

在给出的课程文件夹中，文件trap.handler是一个不可或缺的存在。相当一部分重要函数被定义在其中，例如out_string以及垃圾回收器GC 等等。
mips汇编的执行流程如下：
- 首先执行__start
- 在__start中，初始化垃圾回收器GC
- 设置_exception_handler异常处理程序
- 复制一份Main类，并将其保存至栈上
- 调用Main.init进行初始化
- 执行Main.main
- 待函数返回后恢复栈
- 输出终止信息并调用exit退出
所以在生成main函数的代码时，不需要额外调用abort，只要将其视为一个普通的函数调用就好。

trap.handler中的函数，其参数传递方式为寄存器传递，与约定俗成的压栈传递有所不同，在阅读源码时注意甄别。
在生成的mips汇编代码中，当调用另一个函数时，程序会
- 待调用函数的参数全部压栈
- 加载 当前类 的dispatch_table
- 加上某个特定偏移
- 得到待调用函数的具体位置
- jalr无条件跳转

在mips汇编代码中，当调用new时，会执行以下流程

la  $a0 IO_protObj  # 将待生成对象的静态地址赋给$a0
jal Object.copy     # 调用copy复制一份到堆内存中（参数：$a0指向待复制的类对象；返回：$a0指向堆内存中复制出的类对象）
jal IO_init         # 调用init方法初始化（参数：$a0指向复制出的类对象

即，整个过程结束时，$a0指向新建的类对象

self指针（$s0）的改变过程
- 当Main类被新建出来后，$a0便指向堆上所复制出Main类的地址
- 执行Main.init初始化（参数$a0指向堆上复制出的类）。之后执行Main.main函数。
- 在每个函数开头，$a0都存放当前函数所属类的地址。故我们可以认定，$a0是类成员函数的隐藏参数，与C++类中的this指针类似，都是指向此函数所属的类。
- 在每个成员函数中，
  - 函数开始时，$s0会先将上一个类地址存进栈中，然后将当前类地址$a0赋给$s0，使$s0指向新类的地址。
    
    为什么要将self放至callee save的寄存器中呢？请看下述代码：
```
class A{
  func() : Object {{
    1;
  }};
};

class Main {
  main():Object {{
        (new A).func();
  }};
};
```
    当执行A.func函数时，其old $s0指向Main类，而传入的$a0指向A类。所以$s0需要在函数中保存。
  - 之后$a0便作为中间寄存器，参与当前函数中的表达式计算过程。
  - 在当前函数中调用函数，则会取得$s0的相对偏移处的类函数表dispatch_table，并根据特定偏移取得待调用函数的地址。若是取当前类中的成员变量，则同样使用$s0取得protObj中的成员信息。
```
Main_protObj:
  .word 2
  .word 4
  .word Main_dispTab      # 函数表，offset = 8
  .word int_const2        # main中的一个成员变量，offset = 12

Main_dispTab:
  .word Object.abort
  .word Object.type_name
  .word Object.copy
  .word IO.out_string
  .word IO.out_int        # 函数out_int，offset = 16
  .word IO.in_string
  .word IO.in_int
  .word Main.main

Main.main:
  #...

  lw  $a0 12($s0)         # 获取Main类的特定成员变量地址
  sw  $a0 0($sp)          # 压栈，作为下一个函数的参数
  addiu $sp $sp -4
  move  $a0 $s0           # 设置$a0为self，便于在下面中定位函数

  #...

  lw  $t1 8($a0)          # 获取Main_dispTab地址
  lw  $t1 16($t1)         # 获取Main.out_int函数地址
  jalr  $t1               # 无条件跳转执行
```
  - 函数返回时，将$s0重新赋给$a0，并将$s0恢复至上一个类地址。
  - 这一整个流程下来，$s0和$a0的值不变，函数执行前与函数执行后的值一致相同。

cool-mips中的GC

cool语言的cgen在传入不同的参数下可以选择使用的GC类型（也可以不选）

/* handle_flag.cc */
Memmgr cgen_Memmgr = GC_NOGC;      // enable/disable garbage collection
Memmgr_Test cgen_Memmgr_Test = GC_NORMAL;  // normal/test GC
Memmgr_Debug cgen_Memmgr_Debug = GC_QUICK; // check heap frequently
/* ... */
case 'g':  // enable garbage collection
  cgen_Memmgr = GC_GENGC;
  break;
case 't':  // run garbage collection very frequently (on every allocation)
  cgen_Memmgr_Test = GC_TEST;
  break;
case 'T':  // do even more pedantic tests in garbage collection
  cgen_Memmgr_Debug = GC_DEBUG;
  break;


/* cgen.cc */
static char *gc_init_names[] =
  { "_NoGC_Init", "_GenGC_Init", "_ScnGC_Init" };
static char *gc_collect_names[] =
  { "_NoGC_Collect", "_GenGC_Collect", "_ScnGC_Collect" };

void CgenClassTable::code_select_gc()
{
  //
  // Generate GC choice constants (pointers to GC functions)
  //
  str << GLOBAL << "_MemMgr_INITIALIZER" << endl;
  str << "_MemMgr_INITIALIZER:" << endl;
  str << WORD << gc_init_names[cgen_Memmgr] << endl;
  str << GLOBAL << "_MemMgr_COLLECTOR" << endl;
  str << "_MemMgr_COLLECTOR:" << endl;
  str << WORD << gc_collect_names[cgen_Memmgr] << endl;
  str << GLOBAL << "_MemMgr_TEST" << endl;
  str << "_MemMgr_TEST:" << endl;
  str << WORD << (cgen_Memmgr_Test == GC_TEST) << endl;
}

当cgen_Memmgr == GC_GENGC时，_GenGC_Assign函数只在AttributeBinding::code_update中被调用，以记录成员变量的赋值操作至assignment table

assignment table 用于分代垃圾回收。由于尚未学习GC的相关算法，故具体细节暂不追究。
当cgen_Memmgr_Debug == GC_DEBUG时，_gc_check函数会被频繁调用，以检测对象的eye catcher是否存在。具体细节请查阅下述伪代码。

这个check的用意，私以为是对特定变量进行检测，防止heap chunk的 重叠/被覆盖
```
// $a1 存放 堆上某个对象的起始地址
def _gc_check($a1):
  if $a1 != 0:
    if (obj_eyecatch($a1) != -1): // obj_eyecatch: offset from object pointer to the eyecatcher  
      _gc_abort()
```
_GenGC_Collect方法会在Object.copy函数中内部调用，以分配一块堆内存

5. 思考题

描述每种文法（LL(1),SLR, LR(1), LALR等...)的使用条件，和它是为了解决什么问题？
- LL(1) :
  - 使用条件：对于产生式A->α|β
    - 当α、β均不能推出ε时，FIRST(α) ∩ FIRST(β) = φ
    - α、β最多有一个能推出ε。同时当α、β中的某个符号推出ε时，另一个符号的FOLLOW集 ∩ FIRST(A) = φ
- SLR :
  - 使用条件：不产生冲突
  - 解决的问题：LR(0)没有考虑文法符号的上下文环境，当进入任何一个规约状态时，总是会采取规约动作，这会造成 归约-移入冲突。而SLR限制了规约条件，也就是当进入规约状态时，只有当下一个符号属于规约项目的FOLLOW集时，才可以进行规约动作。
- LR(1) :
  - 使用条件：需要忍受LR(1)自动机的高状态数所带来的影响。
  - 解决的问题： SLR只是简单判断下一个输入符号是否属于规约项目的FOLLOW集，只能排除不合理的规约而不能确保正确的规约。而LR(1)引入 后继符 这个概念。后继符集合是FOLLOW集的子集，故可进一步限制了规约的条件。
- LALR :
  - 使用条件：合并项集后所构造出的语法分析表中，不存在语法分析动作冲突。
  - 解决的问题： LR(1)根据展望符集合的不同，将原始的LR(0)项目分裂成了不同的LR(1)项目。这会增大LR(1)自动机的状态数。而LALR将相同核心的LR(1)项集合并为一个项集，从而减少自动机的状态数。
可以将!type_leq(type2, nd->get_name())修改为type_leq(nd->get_name(),type2)吗？为什么？
- 先试着改了然后编译，发现错了五个，很明显是改不了的
- 那为什么是改不了的呢？我们需要从type_leq这两个函数的功能开始说起
- type_leq的功能是，查找supertype是否位于subtype的传递链中。以下图为例：
```
          { -> [A]
[OBJECT] ={
          { -> [B] -> [C]
```
  - type_leq(C, B)会返回true
  - type_leq(C, A)返回false
- 这就涉及到一个有趣的问题，当A <= B为false时，是否就一定是A > B呢？反之亦然呢？以上面的两条代码为例，我们可以很容易的得到：
  - 若type_leq(B, C)为false，则type_leq(C, B)为true
  - 若type_leq(C, A)为false，则type_leq(A, C)仍为false
- 很明显,A和C无论如何也没有从属关系，所以这两个类型是 没办法比较 的。既然都没办法比较了，那就更无从谈起谁大谁小了。所以无论A <= C 还是 C <= A 都是false。
- 所以, type_lub里的那条语句是无法替换的。

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

week3-6

week3-6

PA2

PA2

PA3

PA3

PA4

PA4

PA5

PA5

cs143_RAW

cs143_RAW

README.md

README.md

README.md

CS143 编译原理学习

简介

1. lexer - 词法分析

2. parser - 语法分析

3. semant - 语义分析

4. cgen - 目标代码生成

5. 思考题

Files

week3-6

Directory actions

More options

Directory actions

More options

Latest commit

History

week3-6

Folders and files

parent directory

CS143 编译原理学习

简介

1. lexer - 词法分析

2. parser - 语法分析

3. semant - 语义分析

4. cgen - 目标代码生成

5. 思考题