南开大学编译原理第7章课件.pptVIP

7.5.4 传名方式(call-by-name) Algol，拷贝规则，copy-rule 过程像宏一样处理 被调用——用过程体程序文本替换过程名 实参的程序文本替换形参 宏扩展，marco-expansion内联扩展，in-line expansion 被调用过程内的局部名字保证与调用过程中的名字不混淆——可认为这些局部名字在宏扩展前改名为独一无二的名字 实参可能被加以括号，以保证完整性 例7.8 … swap(i, a[i]); … 在传名方式下，实际上相当于如下代码 … temp := i; i := a[i]; a[i] := temp; … 结果与传值、传地址均不相同！ 设I0=1，a[1]=0，I0?temp?1?temp a[I0]?i——0?i I0?a[a[I0]]——1?a[0] 而期望的是I0?a[I0]——1?a[1] 原因：x:=temp，x的地址此时才计算， 而传地址方式确定x地址的位置 例7.9 内联函数 x := f(A) + f(B); ? t1 := A; t2 := B; t3 := f(t1); t4 := f(t2); x := t3 + t4; 7.6 符号表 保存作用域和绑定信息 基本操作 添加新标识符——insert 查找标识符——lookup 符号表表项——记录 一致性 某些信息保存在外部，用指针指向 两个主要组成部分 名字：定长字符串；统一保存，指针指向 属性 实现方式一：线性表 数组方式 固定大小，可能浪费，也可能不足 链表方式 动态内存分配，根据输入大小确定 时间复杂度 查找操作：与表大小线性关系 插入操作 一个名字允许多个表项（不检查）：常数时间 检查重复表项：线性 n次插入，e次查找：cn(n+e)，O(n2) 实现方式二：hash表 开地址法：“链表数组” 长度m的数组，每个元素为指向一个符号表项链表的指针 hash函数：H(名字)?{0, 1, …, m-1} H(名字)=i?名字存入第i个链表 若hash函数设计良好，每个链表长度n/m n次插入，e次查找：cn(n+e)/m hash函数的计算应该很高效 hash函数的选择 原则 计算简单 使表项均匀分布 常用算法 字符?整数?名字?整数序列c1, …, ck 对整数序列进行数学运算?单一整数结果 对m取模 如：h0=0，hi=65599*hi-1+ci，H=hk%m 作用域的处理 每个作用域一个符号表 对应活动记录，附着于语法树结点 处理作用域——为过程、块编号 符号表项——保存名字和过程号 名字匹配——名字字符串过程编号 符号表操作 lookup：查找最近创建的表项 insert：创建新表项 delete：删除最近创建的表项 链表实现方式 front：最近创建的符号表项 insert：创建表项，插入到insert之前 lookup：从front开始遍历链表 delete 无需保存过程编号 同一过程名字相邻，保存每个过程位置即可 hash表实现方式 lookup：相同名字总是存入同一链表，在对应链表搜索相同过程编号者即可 delete 无需遍历hash表所有链表 作用域指针，scope link，相同作用域的所有表项串接起来 指针设置问题 7.7 高级语言的动态内存分配 堆 显式方式：new, delete 隐式方式：中间计算结果 垃圾内存（garbage） 已分配内存未被任何指针引用 垃圾收集，garbage collection 空悬引用（dangling reference） 指针指向无效区域 7.8 动态内存分配的处理 显式方式，定长块分配 隐式方式的内存释放问题 记录指向内存块的所有指针 处理两个问题 块边界 辨别块是否被使用 引用计数法，reference count记录引用块的指针数目计数=0?可以释放性能影响较大 标记技术，marking technique暂停程序，检查所有指针引用的内存块标记为used未引用的内存块标记未unused，可释放 lcc的运行时环境处理 callee的帧 输入参数 返回地址 存储ebx 存储esi 存储edi 存储ebp 局部变量和全局变量 caller的帧 esp ebp 0 4 8 12 16 20 lcc的运行时环境处理 调用序列 print(“%s: \n”, f-x.name); print(“push ebx\n”); print(“push esi\n”); print(“push edi\n”); print(“push ebp\n”); print(“mov ebp,esp\n”); lcc的运行时环境处理 处理参数 offset = 16 + 4; for (i = 0; callee[i]; i++) { Sym