当前位置：文档之家 › 【编译原理】chap9

【编译原理】chap9

  • 格式：ppt
  • 大小：134.50 KB
  • 文档页数：18

下载文档原格式

  / 18

合集下载

comp_Chapter9

comp_Chapter9

重复信息的例子
如果用户忘了申明变量i（或者声明的时 候变量的拼写错误），而在程序中多出 使用i。 编译程序在每次碰到对i的使用的时候都 可能发现错误：变量i没有被定义。 这个错误信息将多次出现。而实际上这 个错误是唯一的。
语法错误提示信息（自顶向下）
在自顶向下的扫描过程中，如果扫描程 序碰到了非预期的符号输入，最简单的 提示方法就是：unexpected symbol: ‘?’ 自顶向下的分析过程中，扫描程序能够 十分清楚地知道当前正在按照什么规则 进行扫描，所以提示信息也可以给得更 加详细：在扫描???的时候碰到非预期的 符号？？。
违反环境限制的错误：由于实现方面的问题，有些 编译器不接受语言的全集。同时语言本身也有限制。 比如：函数说明嵌套的深度，数组的最大层数。
错误复原
编写程序的过程中，出现错误是不可避免的。 编译程序在进行编译的时候，需要检查出程序 的错误。并且给出提示。 当编译程序碰到源程序中的错误的时候，应该 设法从错误中复原，并继续扫描程序以给出更 多的提示信息。更多的信息使得程序员能够更 加方便地修改程序。 可能复原是错误的。所以一般来讲，编译程序 给出的第一个错误是可靠的，而其他的错误信 息可能是不准确的。
错误复原的要点
株连信息的遏制
– 株连信息是指由于源程序中的一个错误而导 致编译程序向用户报告很多相关的出错信息。 而这些信息是不真实的。
重复信息的遏制
– 是指源程序中的一个错误而反映在源程序的 多处。
株连信息的例子
已经说明过程p(int a, int b)；在使用的时 候写成了p(a.b)。 编译程序扫描的时候，首先发现“.”是 错误的，应为a不是结构类型的变量。然 后，发现b是错误的。最后发现p的参数 个数不同。 这些信息都是由于将‘,’误写做‘.’而 引起的。

编译原理 课件第九章

编译原理 课件第九章

上下文语义的合法性检查的依据
在语义分析中，符号表所登记的内容将用于语义检查（如检查 一个名字的使用和原先的说明是否一致）和产生中间代码。通 过符号表中属性记录可进行相应上下文的语义检查。 例如，在一个C语言程序中出现 … int i [3][5]; //定义整型数组i … float i[4][2]; //定义实型数组i,重定义冲突 … int i [3][5]; //定义整型数组i,重定义冲突 … 编译过程首先在符号表中记录了标识符i的属性是3×5个整型元 素的数组，而后在分析第二、第三这两个定义说明时编译系统 可通过符号表检查出标识符i的二次重定义冲突错误。本例还可 以看到不论在后二句中i的其它属性与前一句是否完全相同，只 要标识符名重定义，就将产生重定义冲突的语义错误。
9.1符号表的作用和地位 符号表的作用和地位 9.2符号的主要属性及作用 符号的主要属性及作用 9.3符号表的组织 符号表的组织
9.1 符号表的作用和地位
收集符号属性 上下文语义的合法性检查的依据 作为目标代码生成阶段地址分配的依据
收集符号属性
编译程序扫描说明部分，收集有关标识符的属性，并在符号表 中建立符号的相应属性信息。 例如，编译程序分析到下述两个说明语句 int A; float B[5]; 则在符号表中收集到关于符号A的属性是一个整型变量，关于 符号B的属性是具有5个浮点型元素的一维数组。
9.2 符号的主要属性及作用
符号属性
1 符号名 2 符号的类型 3 符号的存储类别 4 符号的作用域及可视性 5 符号变量的存储分配信息 6 符型的成员信息 （３） 函数及过程的形参
① 符号名 符号表中设置一个符号名域，存放该标识符，该域通 常就是符号表的关键字域。
作为目标代码生成阶段地址分配的依据

编译原理讲义 9全.ppt

编译原理讲义 9全.ppt

作 ，
全局优化
–在非线性程序段上（含多个基本块）进行的优化
版
权 所
窥孔优化
有
–在目标代码上进行的优化
5
本章主要内容
9.1
9.2
9.3
@ 9.4
李 文 生
制 作 ，
基本块优化 循环优化 窥孔优化 dag的代码优化中的应用 小结 作业
版 权 所 有
6
9.1 基本块优化
基本块的功能：对表达式序列求值，确定该基本 块出口处活动名字的值
(6) t4:=4*i
(7) t5:=b-4
(8) t6:=t5[t4]
(9) t7:=t3*t6
(10) t8:=prod+t7
(11) prod:=t8
(12) t9:=i+1
(13) i:=t9
(14) if i<=20 goto B2
17
一、循环展开
将构成循环体的代码（不包括调节和测试部分） 重复产生多次，而不仅一次。产生的次数可以在 编译时确定。
版
a[t4]:=x
权
所
有
a[t4]:=t1
11
四、删除死代码
如果对一个变量x求值之后却不引用它的值，则称 对x求值的代码为死代码。
如果一个基本块是在某一条件为真时进入执行的，
经数据流分析的结果知该条件恒为假，则此块是
@
死块。
李
文 生
如果一个基本块是在某个条件为假时才进入执行，
制 而该条件却恒为真，则这个块也是死块。
– i和t1是一组归纳变量，在B2块中
有
可以删除i
(1) prod:= 0 B1
(2) i:= 1

编译原理第九章

编译原理第九章
间的分配中也必须对这些临时变量分配存储空间。
分配策略：如果两个临时变量名作用域不相交，则它们可以分配在
同一单元中。一个临时变量名自它第一次被定值（赋值）的地方起
直至它最后一次被引用的地方止，这区间的程序所能到达的全体四
元式构成了它的作用域。 令临时变量名都分配在局部数据区中，若某一单元已分配给某些
临时变量名，则把这些名字的作用域（它们必须互不相交信息记录 ）作为此单元的分配信息记录下来。每当要对一个新临时变量名进 行分配时，首先求出此名的作用域，然后按序检查每个已分配单 元，一旦发现新求出的作用域与某个单元所记录的全部作用域均不 相交时就把这个单元分配给这个新名，同时把它的作用域也添加到 该单元的分配信息之中。如果新临时变量的作用域和所有已分配单 元的作用域均有冲突，则就分配给它一个新的单元，同时把新名的 作用域作为此单元的分配信息。
适于静态管理的语言必须满足的条件：
1. 数组的上下界必须是常数
2. 过程调用不允许递归
3. 不允许用户动态地建立数据实体
编译程序可以确定出现在程序中的数据实体的地址（一般相 对于各数据区基地址的偏移量)。由于过程调用不允许递归，数 据实体的存储地址就和过程相联系，过程调用的活动记录就可 以直接安排在目标代码之后，并把各数据项的存储地址填入到 相关的目标代码中，以便在运行时访问这些数据存储空间。这 里，不存在对存储区域的再利用。目标代码运行时不必进行运 行时的存储管理。
上一页
下一页
18
3.2 FORTRAN的局部数据区
FORTRAN的编译程序将每个程序段都定义对应的局部数据区，每个数据区都 有一个编号，在地址分配时，在符号表中，对每个数据名将登记上它是属于哪个 数据区的，以及在该区中的相对位置（DA、ADDR）。

chapter9

chapter9
编译原理
chapter9
运行时存储空间组织
Chapter9 运行时存储空间组织
编译原理
chapter9
运行时存储空间组织
9.1 目标程序运行时的活动 9.2 运行时存储器的划分 9.3 简单的栈式存储分配 9.4 嵌套过程语言的栈式实现 9.5 堆式动态存储分配
编译原理
chapter9
运行时存储空间组织
9.3 简单的栈式存储分配
编译原理
chapter9
运行时存储空间组织
1. C 的活动记录
TOP
SP
临时工作单元 内情向量 简单变量 形式单元 参数个数 返回地址 老 SP
对任何局部变量或形参的引 用均可表示为: 用均可表示为:X[SP], X表 表 示变量的相对地址. 示变量的相对地址.
相当于动态链
编译程序必须分配目标程序运行时的数据空间. 编译程序必须分配目标程序运行时的数据空间. 9.1 目标程序运行时的活动 1. 过程的活动 过程的每一次运行(或执行 被称为一次活动 过程的每一次运行 或执行)被称为一次活动 或执行 (activation).活动是一个动态的概念,除了设 .活动是一个动态的概念, 计为永不停机的过程(如操作系统等 如操作系统等), 计为永不停机的过程 如操作系统等 ,或者是因 设计错误而出现死循环的过程之外, 设计错误而出现死循环的过程之外,任何过程的 活动均有有限的生存期(life time). 活动均有有限的生存期 .
目标代码 静态数据 栈 ↓ ↑ 堆
过程的活动在编译时 不确定, 不确定,在运行时当 有新过程被调用, 有新过程被调用,则 将该过程的相关数据 放入栈中,栈的life 放入栈中,栈的life 特性正好对应过程的 嵌套调用

编译原理第九章

编译原理第九章

③ 作为目标代码生成阶段地址分配的依据
每个符号变量在目标代码生成时需要确定其 在存储分配的位置（主要是相对位置）。语 言程序中的符号变量由它被定义的存储类别 或被定义的位置来确定。 首先要确定其被分配的区域。公共区 （extern）、文件静态区（extern static）、 函数静态区（函数中static）、还是函数运行 时的动态区（auto）等。其次是根据变量出 现的次序,决定该变量在某个区中所处的具体 位置，这通常使用在该区域中相对区头的相 对位置确定。 7
28
符号表的总体组织可有三种选择
第一种： 把属性种类完全相同的那些符号组 织在一起，构造出表项是分别为等长的多个 符号表 最大优点是每个符号表的属性个数和结构完 全相同 主要缺点是一个编译程序将同时管理若干个 符号表，增加了总体管理的工作量和复杂度。 而且对各类符号共同属性的管理必须设置重 复的运行机制。使得符号表的管理显得臃肿

19

为局部静态量可设立若干个局部静态区。对 外部静态量，为每个程序文件建立一个局部 静态区，对内部静态量，则为每个具有内部 静态量定义的函数或过程，建立一个局部静 态区
20

根据变量的局部定义和分程序结构，编译程 序设置动态存储区来适应这些局部变量的生 存和消亡。局部动态变量的生存期是定义该 变量的局部范围，即在该定义范围之外此变 量已经没存在的必要。及时撤销时这些单元 的分配可以回收，从而提高程序运行时的空 间效率
41

排序组织及二分法 排序组织的符号表，就 是在符号表中的表项按其符号的字符代码串 （可以看成一个整数值）的值的大小从大到 小（或从小到大）排列的
42

关于排序表的表项建立及符号查找，通常采 用“二分法”。排序表的空间组织和存储开 销与线性表基本相同，但排序表的运行效率 要比线性表高，算法复杂性也高于线性表。 排序表有很多变体结构方式，如二叉树结构 等，在编译程序中可根据空间开销和运行效 率等要求作适当的选取

编译原理 9章


address(A[i , j])=address(A[1,1])+(i-1)*n+(j-1)
address(A[i , j])=address(A[1,1])-n-1+(i*n+j)
注：上式中的第一部分是一常数，仅需计算一次。
2008年3月
设A是下面的说明语句定义的一个n维数组： array A[l1..u1 , l2..u2 , .. , ln..un] of integer
2008年3月
•多块存储方式 多块存储方式是对每一行都分配一个单 块数据区，每行的元素按递增次序存放在这块 数据区中。此外，还设一个指示器表，用以指 示这些单块数据区的开始位置。
2008年3月
9.3.3 多块存储方式
B0 指向第 1 行的指示器 指向第 2 行的指示器 … 指向第 m 行的指示器 A[2, 2] Rm : A[m, 1] A[m, 2] … A[m, n] … A[2, n] … A[1, n] R2 : R1 : A[2, 1] A[1, 1] A[1, 2]
•数据区
数据区是指一片相连的存储单元。 例：PASCAL主程序中所说明的变量运行时所需要 的存储单元以及主程序运行时所需要的临时工作 单元一起构成了一个数据区。
2008年3月
在编译时，任何变量运行时存储单元都可由一 对偶（数据区编号，位移）表示。其中，数据区编号 是分配给数据区的唯一编号；位移是指该存储单元相 对于该数据区起址的距离（或单元数）。 例如：对于编号为10的数据区 它的第1个存储单元可表示为（10,0） 第2个存储单元可表示为（10,1）
2008年3月
数组分配程序： begin i:=1 ; Size:=1 ; Conspart:=0; while i ≤n do

编译原理课后习题答案ch9


盛威网（）专业的计算机学习网站
2
《编译原理》课后习题答案第九章
附加题
问题 1： 利用 Pascal 的作用域规则，试确定在下面的 Pascal 程序中的名字 a 和 b 的每一次出现 所应用的说明。 program m ( input, output ) ; procedure n ( u, v, x, y : integer ) ; var m : record m, n : interger end ; n : record n, m : interger end ; begin with m do begin m := u ; n:= v end ; with n do begin m := x ; n := y end ; writeln ( m.m, m.n, n.m, n.n ) end ; begin m ( 1, 2, 3, 4 ) end. 答案： 图中用蓝色数字下标相应标明。 program m1 ( input, output ) ; procedure n1( u, v, x, y : integer ) ; var m2 : record m3, n2 : interger end ; n3 : record n4, m4 : interger end ; begin with m2 do begin m3 := u ; n2 := v end ; with n3 do begin m4 := x ; n4 := y end ; writeln ( m2.m3, m2.n2, n3.m4, n3.n4 ) end ; begin m1 ( 1, 2, 3, 4 ) end. 问题 2： 当一个过程作为参数被传递时，我们假定有以下三种与此相联系的环境可以考虑，下 面的 Pascal 程序是用来说明这一问题的。 一种是词法环境 （lexical environment） ， 如此这样的一个过程的环境是由这一过程定义 之处的各标识符的联编所构成； 一种是传递环境（passing environment） ，是由这一过程作为参数被传递之处的各标识

编译原理课件chap9

第九章运行时存储空间组织
编译程序在完成词法、语法和语义分析后， 编译程序在完成词法、语法和语义分析后，在生成目标代 码之前， 码之前，需要把程序的静态正文和实现这个程序的运行时的 活动联系起来弄清楚将来在代码运行时刻， 活动联系起来弄清楚将来在代码运行时刻，源代码中的各种 变量、常量等用户定义的量是如何存放的，如何去访问它们。 变量、常量等用户定义的量是如何存放的，如何去访问它们。 在程序的执行过程中， 在程序的执行过程中，程序中数据的存取是通过与之对 应的存储单元来进行的。在程序语言中， 应的存储单元来进行的。在程序语言中，程序使用的存储单 元都是由标识符来表示的。它们对应的内存地址都是由编译 元都是由标识符来表示的。 程序在编译时或由其生成的目标程序运行时进行分配。 程序在编译时或由其生成的目标程序运行时进行分配。所以 对于编译程序来说存储组织与管理是一个复杂而又十分重要 的问题。 的问题。这一章就是对目标程序运行时的活动和运行环境进 行讨论，主要讨论存储组织与管理, 行讨论，主要讨论存储组织与管理 包括活动纪录的建立与管 理、存储器的组织与存储分配的策略、非局部名称的访问等 存储器的组织与存储分配的策略、 问题。 问题。
第九章 运行时存储空间组织
9。2。3存储分配策略 。 。 存储分配策略 不同的编译程序关于数据空间的存储分配策略可能 不同。静态分配策略在编译是对所有对象分配固定的 不同。静态分配策略在编译是对所有对象分配固定的 存储单元。且在运行是保持不变。 存储单元。且在运行是保持不变。栈式动态分配策略 在运行时把存储器作为一个栈进行管理，运行时， 在运行时把存储器作为一个栈进行管理，运行时，每 当调用一个过程， 当调用一个过程，它所需要的存储空间就动态的分配 于栈顶，一旦退出，它所占空间就予以释放。堆式动 于栈顶，一旦退出，它所占空间就予以释放。 态存储策略在运行时把存储器组织成堆结构， 态存储策略在运行时把存储器组织成堆结构，以便用 在运行时把存储器组织成堆结构 户关于存储空间的申请与归还（回收），凡申请者分 户关于存储空间的申请与归还（回收），凡申请者分 ）， 给一块，凡释放者退回给堆。 给一块，凡释放者退回给堆。

编译原理 第九章


E→TE’ E’→+TE’│ε
T→FT’ T’→*FT’│ε
F→(E)│i
电子科技大学计算机科学与工程学院
程序设计语言与编译
i+i*i#的递归下降分析过程
i
E
i
F M(i)
+
+ M(+) E’ T # + i # # + T’ E’ T M() M() # i * * F M(*)T’ M() # M(i) i # # T’ F M() M(i)
④
i=1没有操作 i=2,j=1， Ai=Q,Aj=R,有Q→Rb|b 把R→Sa|a代入上式得: Q→Sab|ab|b 该式无直接左递归 i=3,j=1， Ai=S,Aj=R，无相应产 生式，没有操作
电子科技大学计算机科学与工程学院
程序设计语言与编译
1.按R、Q、S排列, 代入后 R→Sa│a Q→Sab│ab│b S→Sabc│abc │bc│c 2.消除S中的直接左递归
P→P ’ P’→αP’│ε P γP’ P’αP’|βP’| P βP’|γP’ P’αP’|
改写为
改写为
电子科技大学计算机科学与工程学院
程序设计语言与编译
一般地:
A→A1|A2|…|Am|1|2|…|n （iε，j不以A开头）
改写为:
A→1P’│ 2P’│. . .│ nP’
程序设计语言与编译
二. 存在的问题
(1)回溯——公共左因子的存在 A→1| 2 (2)左递归 + A→Aα 或 AAα
直接左递归 间接左递归
(3)ε产生式
程序设计语言与编译
例子:
文法G(s)： S → Sa
S → b 符合串baa的推导过程。 S S S b a
  1. 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

分表结构的组织管理
其一的基本思想是， 其一的基本思想是，每当编译程序扫描到 一个分程序结构开始时， 一个分程序结构开始时，为该分程序建 立一张符号表， 立一张符号表，在该分程序中定义的标 识符，都被登录在该符号表中。 识符，都被登录在该符号表中。而当编 译程序扫描到一个分程序的结束时， 译程序扫描到一个分程序的结束时，编 译程序释放为该分程序所建立的符号表。 译程序释放为该分程序所建立的符号表。 这种符号表的分表结构与源程序的分程 序层次结构一一对应
说明部分的分析与处理
说明类型的定义： object= (constant, variable,procedur) //定义纯量/枚举类型 定义纯量 //定义纯量/枚举类型 名字表的定义 table:array[0..txmax] of record name:alfa; case kind:object of constant:(val:integer); variable:procedur:(level,adr,size: integer);
符号表项的排列
符号表作为一个多元组， 符号表作为一个多元组 ， 表中元组的排列 组织是构造符号表的重要成分。 组织是构造符号表的重要成分 。 在编译 程序的整个工作过程中， 程序的整个工作过程中 ， 符号表被频繁 地用来建立表项， 找查表项， 地用来建立表项 ， 找查表项 ， 填充和引 用表项的属性。 用表项的属性 。 因此表项的排列组织对 该系统运行的效率起着十分重要的作用。 该系统运行的效率起着十分重要的作用 。 在编译程序中， 在编译程序中 ， 符号表项的组织传统上 采用三种构造方法。 即线性法， 采用三种构造方法 。 即线性法 ， 二分法 及散列法。 及散列法。
嵌套结构型程序设计语言的特点
1、将其符号表设计为栈符号表，当新的名字出现 总是从栈顶填入。查找操作从符号表的栈顶往底 部查（保证先查最近出现的名字）。因为程序是 分层的，并且一个过程结束时将释放相应的子符 号表，因此查找范围与线性表比相对要小一些。
嵌套结构型程序设计语言的特点
2、引入一个显示（DISPLAY）层次关系表，称 为过程的嵌套层次表。其作用是为了描述过程 的嵌套层次，指出当前正在活动着的各嵌套的 过程（或函数）相应的子符号表在栈符号表中 的起始位置（相对地址）。DISPLAY表也是一 个栈，栈顶指针为level。当进入一个新过程时， level增加1；每当退出一个过程时，level减1。 DISPLAY(level)总是指向当前正在处理的最内 层的过程的子符号表在栈符号表中的起始位置。
ADR： ADR： DX ADR：DX+1 ADR： ADR： ADR： DX+2 ADR： SIZE： SIZE：4 ADR： ADR： ADR： DX ……
名字
类型
层次/值 层次 值
地址
存储空间
PL/0编译程序 PL/0编译程序
Table表的下标指针tx补充说明： 表的下标指针 补充说明：
tx
关键字域的组织
符号表的关键字域（ 符号表的关键字域（段）就是符号名称 等长关键字域（ 等长关键字域（段）符号表 不等长关键字段符号表---采用关键字池的 不等长关键字段符号表 采用关键字池的 索引结构。 索引结构。
分程序结构的符号表
对于具有分程序型结构的语言程序， 对于具有分程序型结构的语言程序 ， 不同 层次分程序中定义的标识符号具有不同 的作用域和不同的可视性规则。 的作用域和不同的可视性规则 。 通常对 于具有分程序结构的语言可用两种方式 组织它们的符号表： 组织它们的符号表： 一是对每个分程序 建立一个独立的分表结构的符号表； 建立一个独立的分表结构的符号表 ； 二 是把各分程序符号组织在一张单表一结 构的符号表中
第9章 符号表 章
在编译程序中符号表用来存放 源程序中出现的有关标识符的属性 信息。 信息。
主要内容
9.1符号表的作用和地位 符号表的作用和地位 9.2符号的主要属性及作用 符号的主要属性及作用 9.3符号表的组织 符号表的组织
符号表的作用和地位
1.收集符号属性。在编译程序中符号表用来存放语 收集符号属性。 收集符号属性 言程序中出现的有关标识符的属性信息， 言程序中出现的有关标识符的属性信息，符号表 中所登记的信息在编译的不同阶段都要用到。 中所登记的信息在编译的不同阶段都要用到。 2.上下文语义的合法性检查的依据。在语义分析中， 上下文语义的合法性检查的依据。 上下文语义的合法性检查的依据 在语义分析中， 符号表所登记的内容将用于语义检查（ 符号表所登记的内容将用于语义检查（如检查一 个名字的使用和原先的说明是否一致） 个名字的使用和原先的说明是否一致）和产生中 间代码。 间代码。 3.作为目标代码生成阶段地址分配的依据。在目标 作为目标代码生成阶段地址分配的依据。 作为目标代码生成阶段地址分配的依据 代码生成阶段，当对符号名进行地址分配时， 代码生成阶段，当对符号名进行地址分配时，符 号表是地址分配的依据。 号表是地址分配的依据。对一个多遍扫描的编译 程序，不同遍所用的符号表也往往各有不同。 程序，不同遍所用的符号表也往往各有不同。因 为每遍所关心的信息各有差异。 为每遍所关心的信息各有差异。
说明分的分析与处理
对每个过程说明的对象（变量，常量和过程）造名字表 对每个过程说明的对象（变量，常量和过程） 说明的对象 填写标识符的所在层次 属性和分配的相对位置。 标识符的所在层次、 和分配的相对位置 填写标识符的所在层次、属性和分配的相对位置。标 识符的属性不同时，所需填入的信息也不同。 识符的属性不同时，所需填入的信息也不同。登录 信息由ENTER过程完成。 信息由ENTER过程完成。 ENTER过程完成
符号的主要属性及作用
1、符号名 、 2、符号的类型 、 3、符号的存储类别 、 4、 4、符号的作用域及可视性 5、符号变量的存储分配信息 、 6、符号的其它属性 、 (1)数组内情向量 数组内情向量 (2)记录结构型的成员信息 记录结构型的成员信息 (3)函数及过程的形参 函数及过程的形参
符号表的组织
tx
LEV
嵌套结构型程序设计语言的特点
3、在符号表的信息栏中引入一个指针域（previous）用 以链接它在同一过程内的前一域名字在表中的下标 （相对位置）。每一层的最后一个域名字，其previous 之值为0。这样，每当需要查找一个新名字时，就能通 过DISPLAY找出当前正在处理的最内层的过程及所有 外层的子符号表在栈符号表中的位置。然后，通过 previous可以找到同一过程内的所有被说明的名字。
单表结构的组织管理
其二的基本思想是， 其二的基本思想是 ， 所有分程序中定义的 标识符都集中在单张符号表中。 标识符都集中在单张符号表中 。 为了实 现分程序构造中标识符的作用域和可视 性规则的要求,在符号表中可设立一个属 性规则的要求 在符号表中可设立一个属 性域用来登录符号所在分程序的层次。 性域用来登录符号所在分程序的层次 。 进入分程序时，层次要增加一层.在退出 进入分程序时，层次要增加一层 在退出 一个分程序时， 层次降低一层， 一个分程序时 ， 层次降低一层 ， 且需要 把符号表中， 把符号表中 ， 所有在退出的分程序中登 录的符号项清除。 录的符号项清除。
PL/0程序符号表示例 PL/0程序符号表示例
例程序说明部分为： 例程序说明部分为： A=35，B=49； CONST A=35，B=49； Const（常量）无层次 常量） C， VAR C，D，E； P； PROCEDURE P； 对应名字表 VAR G ；…
NAME：A NAME： NAME： NAME： B NAME： NAME： C NAME：D NAME： NAME： NAME： E NAME： NAME： P NAME： NAME： G …… KIND：CONSTANT KIND： KIND： KIND： CONSTANT KIND： KIND： VARIABLE KIND：VARIABLE KIND： KIND： KIND： VARIABLE KIND： KIND： PROCEDUR KIND： KIND： VARIABLE …… VAL：35 VAL： VAL： VAL： 49 LEVEL： LEVEL： LEV LEVEL：LEV LEVEL： LEVEL： LEVEL： LEV LEVEL： LEVEL： LEV LEVEL EL： LEVEL：LEV+1 ……
符号表的操作种类
在整个编译期间，对于符号表的操作大致可归纳 为五类： • 对给定名字，查询名字是否已在表中； • 往表中填入一个新的名字； • 对给定名字，访问它的某些信息； • 对给定名字，填写或更新它的某些信息； • 删除一个或一组无用的项。 不同种类的表格所涉及的操作往往也是不同的。 上述五个方面只是一些基本的共同操作。
总体组织和表项属性信息组织 第一种： 第一种： 把属性种类完全相同的那些符号组织在 一起， 一起，构造出表项是分别为等长的多个符号表 第二种： 第二种： 把所有语言中的符号都组织在一张符号 表中。 表中。组成一张包括了所有属性的庞大的符号 表 第三种： 第三种：折衷方式是根据符号属性相似程度分类 组织成若干张表， 组织成若干张表，每张表中记录的符号都有比 较多的相同属性。 较多的相同属性。
LEV 6 （9） ） 1 BLOCK ... ） 0 （6） 0 BLOCK 主程序
tx是BLOCK的 是 的 实际值参 实际值参
BLOCK（LEV+1,TX，…） （ ， ） (递归进入分程序) 递归进入分程序) 进入分程序 第1次调用 次调用block BLOCK（0，0，…） （ ， ， ）