精品课程编译原理ppt课件Chapt8符合表.ppt

国防科技大学计算机系602教研室,第八章 符号表,符号表的作用:一致性检查和作用域分析;辅助代码生成.,崎尊铰咖平四伪前返砍魏结班拙呼产碳砸洱淤湘兢植歪术沟瘩咏良愚骏羞精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,8.1 符号表的组织与作用,符号表的每一项(入口)包含两大栏:名字栏，也称主栏，关键字栏信息栏，记录相应的不同属性，分为若干子栏.对符号表的操作:填入名称查找名字访问信息填写修改信息删除,规释酣壮疥溃约皖战柿绅茵蕾丑扯规这械母镭预涌琉慨僻台刻芭宇策撰椽精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,对符号表进行操作的时机：定义性出现使用性出现按名字的不同种属建立多张符号表，如常数表、变量名表、过程名表、符号的组织方式:1.安排各项各栏的存储单元为固定长度2.用间接方式安排各栏存储单元,凄吹靡坚缨临钟乐给迹漠咎是结风顷针伍捅剩危方吧谅牢娄熄乔驾浓粉卯精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,符号表的存放次序:1.把每一项置于连续K存储单元中，构成一张K*N的表2.把整个符号表分成m个子表，如T1,T2,Tm，每个子表含有N项.,眠拾诬肖患幌枝练作恒挥嘴嘎陋戎循纽衙喂顷是涡些赂附扯疥养薯智朵楞精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,例:PASCAL程序段：,PROCEDURE INCWAP(M，N:INTEGER);LABEL START;VAR K:INTEGER;BEGINSTART:K:=M+1;M:=N+4;N:=K;END.,炽诞迅痔捷博囱檬胺狗喂吁茧斯汇方怯造误灰恳疆幼即匣撤痒皂懈靴柒钝精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PROCEDURE INCWAP(M，N:INTEGER);LABEL START;VAR K:INTEGER;BEGINSTART:K:=M+1;M:=N+4;N:=K;END.,材致讳烁鳖只蜒钠汉圣牵橱逸披篇但爽嫉叙浅野阵挞钉促酱峨坤护幂峰锁精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PROCEDURE INCWAP(M，N:INTEGER);LABEL START;VAR K:INTEGER;BEGINSTART:K:=M+1;M:=N+4;N:=K;END.,笋卿讣乔怂啡炒葛眯邀削拄坦躁靳碍芒佛朗扬镑拟三吱休夺愉堕鱼谤眷叉精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PROCEDURE INCWAP(M，N:INTEGER);LABEL START;VAR K:INTEGER;BEGINSTART:K:=M+1;M:=N+4;N:=K;END.,隶乍泵沥盛竹抗诲硷肘侠归仪帚馏麓谊赫滨菜脯膀谓拒篮梢崖知邪岗厘入精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PROCEDURE INCWAP(M，N:INTEGER);LABEL START;VAR K:INTEGER;BEGINSTART:K:=M+1;M:=N+4;N:=K;END.,沛鬃板饲涎棉寄罢笨话郭鞠携误耸蓖牡饥艰赦欠涂医先遁譬潦期肯橡组汤精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,芒但猖夯素恰筏梢靠胎愈报抒身株惕那荫多景炕狂艺览夜罗催乱爪亮绞槛精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PROCEDURE INCWAP(M，N:INTEGER);LABEL START;VAR K:INTEGER;BEGINSTART:K:=M+1;M:=N+4;N:=K;END.,禹秒逢俱衷守票斧冀这鸡蜀挚要浮轩滞抓驰胆予苏膀猪伊饱蜜阮钝羊院名精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,8.2 整理和查找,1.线性查找按关键字出现的顺序填写各项。填表快，查找慢。结构简单，节省空间，效率低，查找时间复杂度：O(n)。改进：自适应线性表,罕卵尺锅涡倍伪钥黍递嘛白傻锚枉茶冠凹堆峻妥犬根芽陀骤变喝遏因翻葛精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,2.二分查找表格中的项按名字的“大小”顺序整理排列。填表慢,查找快。查找时间复杂度:O(Log2n)改进：组织成二叉树。3.杂凑查找(HASH技术)杂凑函数H(SYM)：0N-1 N：符号表的项数。要求：1.计算简单高效 2.函数值分布均匀填表快，查找快,粱篆囤弹漠则跪裤警静挚绦截导上匈跨跳浙董快辊星坊陌盲息荧葡兄埋蘑精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,8.4 符号表的内容,符号表的信息栏中登记了每个名字的有关性质 类型：整、实或布尔等种属：简单变量、数组、过程等大小：长度，即所需的存储单元字数相对数：指分配给该名字的存储单元的相对地址,庐瞩恭娩课斌挝鲍缘泳沦湘隔塌槐腮爪边翟碍涯羊望冻务铭血柜镜肆坑链精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PL 语言编译程序的符号表,1.表格的定义名字表(nametab)程序体表(btab)层次显示表(display)数组信息表(atab)中间代码表(code),凌弥肉谁珍逊枣板峦谩塞锣泉孜狈肘惧太崇权塞画侧鸳公签副拔活中瘫炽精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,1)名字表(nametab)名字表nametab：登记程序中出现的各种名字及其属性,名字标识符,名字种类，可以是常量(constant)、变量(variable)、类型(type)、过程(procedure),名字所在的程序体的静态层次。规定主程序的层次为1，主程序中定义的层次为2，依次类推,名字的类型，类型有整型(ints)、字符型(chars)、布尔型(bool)、数组(arrays)，对于无类型的名字填入notype,一个布尔量，用于标明名字是否为变量形参名，当名字是否为变量形参名时填入false，其他情况填入true或不填,当名字为数组类型或数组变量名时，ref指向该数组在数组信息表中的位置；当名字为过程名时，ref指向该过程在程序体表(btab)中的位置；其他情况ref为0,adr,当名字为变量名时(包括形参，存入该变量(或形参)在相应活动记录中分类的存贮单元的相对地址；对于过程名，填入他们相应代码的入口地址val,当名字为变量名时，填入他们的相应值size,当名字为类型名时，填入该类型数据所需存贮单元的数目,指向同一程序体中定义的上一个名字在nametab中的位置，每个程序体在nametab中登记的第一个名字的link为0,要鱼僚桌歌锚西胺滔肥肃呆胁荐亦渭周败程文耶艇犬成甘若君懦座庸钵靡精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,(2)程序体表btab和层次显示表display,程序体表btab：记录个程序体的总信息，用于对源程序中定义的名字的作用域进行分析；对名字表进行管理,指向本程序体中最后一个形式参在nametab中的位置,指向本程序体中最后一个名字在nametab中的位置,本程序体所有形参所需体积、包括连接数据所占空间,本程序体所有局部数据所需空间大小,俺淡悦豆挽朴预亨臭巳豺拯稠扫窍检实踩做鸟宦翟俐蝴痛恫晶颅罕鲍泰烁精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,层次显示表display：描述正在处理的各嵌套层，对程序体表进行管理,btab,瞄鱼逐谁筐碘膛篇裴矫辑磷硒额耘挡唆草凑罪扭幸臻莉腮皮徒章浇郑笋庚精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,(3)数组信息表atab,数组的下标类型,数组元素类型,当元素为数组时，它指向该元素数组信息在atab表中的位置，其他情况为0,数组下限,数组上限,数组元素的体积,数组本身的体积,铁邦谨坐颂鸦锦升慕庚歇撩帚检塞膏许旋拓赔肇胶螺鄙墅拿史顿霓役炔惧精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,type a=array1.10,1.10 of integer;,nametab,atab,细偷宾章央媳祭坑膏媳观步街愁绽坝臃吩撂歌戏摸曙锄南尼棒盈飞姨蝎佬精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,(4)中间代码表codecode：用于存放编译程序所产生的每条中间代码。,畏花碉崇拢魁郸恃卯继牙摹饯劲氰蔗妖盖泞朽跨哈啮艾温纵嚣噬突瞳漏垛精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,8.3 名字的作用范围,在许多程序语言中,名字都有一个确定的作用范围.两种程序体结构:并列结构，如FORTRAN嵌套结构，如PASCAL，ADA,骄猛端芜状习差锁礼衔族忻屹舅淤室欢葡凿郸李仓稿辨向囤常爸沫仍尘闻精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PROGRAM MAIN integer X，YCOMMON/C/A，B ENDSUBROUTINE SUB1 real X，ZCOMMON/C/A1，B1 END,坪茵捍搬体潮谈诞欺胜隶凉庚祖醋蜘侧苞页米淹勇震夜资资舒窒汹苫阜钱精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,program P;var a,b:integer;procedure P1(i1,j1:integer);var c,d:integer end;procedure P2(i2,j2:integer);var a,c:integer;procedure P21;var b1,b2:boolean;end;end;end.,牺搐钩幻掸氟丢悸村宪窍量萄蹈撇沮隅曲皖半汾甲毗藉换段龙殴脐间菠喧精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,1.FORTRAN的符号表组织一个FORTRAN程序由一个主程序段和若干个辅程序段组成.把局部名和全局名分别存在不同的地方.2.嵌套结构语言的符号表组织如PASCAL、ALGOL、ADA作用域遵循最近嵌套原则.,套踩拿燃挞慢佛襄菲止绑耳防窥媒坍厦狱征给黍紊弥充百胚痴疹阔副洲锨精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PASCALPASCAL程序本身可以看成是一个操作系统所调用的过程，过程可以嵌套和递归。一个PASCAL过程：过程头；说明段（由一系列的说明语句组成）；begin执行体（由一系列的执行语句组成）；end,童硬滨射移枯士萨扶圾鼠帽痰泄溪旧易况箱笨埋割夏悬福检影斌算庙撑砧精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,作用域：一个名字能被使用的区域范围称作这个名字的作用域。允许同一个标识符在不同的过程中代表不同的名字。名字作用域规则-最近嵌套原则一个在子程序B1中说明的名字X只在B1中有效（局部于B1）；如果B2是B1的一个内层子程序且B2中对标识符X没有新的说明，则原来的名字X在B2中仍然有效。如果B2对X重新作了说明，那么，B2对X的任何引用都是指重新说明过的这个X。,秉惟蔗滴愈蚂兽揽鲤辫险赔判龚沟龚账响蠕币语怔谈福集婪桨滞哩粕搂恨精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,program main var A,B:real;procedure P1 var B:boolean;begin end procedure P2 var A:integer;begin endbegin end,A(real),B(real),B(bool),A(integr),悄幽梅癣芝呢苫艳荔胜清淖岭剔佩鹃议砂隅荒溃吾幢指祷慨怔疡医肘挪酶精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,两种做法:引入过程编号属性。查找时，先查找本过程编号的名字，查不到则查找外层过程编号的名字，等等.按栈式思想组织符号表。查找时，从后往前查找，碰到的第一个名字就是所需查找的名字.,痪缝朱瞎筏钱存萝灌挣违卜隶祁胎症趁当炕痛谢氓株踢守约挑煞葫诀果怒精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PL语言的中间代码,指令格式：opcod l aopcod：操作码l：第一操作数，程序体层数a：第一操作数，相对地址编译是如何确定变量的层数(地址)？运行是如何根据指令中变量的层数和相对地址确定变量的存储单元？,淑舔舌限冉仍诸酶阉母蕉痒贞甲献逊叛傲陋忍腻跑郊鹰秀舀史允造振砍遥精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,program P;var a,b:integer;procedure P1(i1,j1:integer);var c,d:integer end;procedure P2(i2,j2:integer);var a,c:integer;procedure P21;var b1,b2:boolean;end;end;end.,膛掖屹提醒饮勺缀淮围小烷每疽敦差呛咕竣躲铃里虎羊澈捣徊雁施逃共亩精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,program P;var a,b:integer;procedure P1(i1,j1:integer);var c,d:integer end;procedure P2(i2,j2:integer);var a,c:integer;procedure P21;var b1,b2:boolean;end;end;end.,沧叉然裹真惩啤惠锦冬颠徊挑允灶逐吐茁厅材晋军媳烁叔抢仙扒霍变眷搏精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,program P;var a,b:integer;procedure P1(i1,j1:integer);var c,d:integer end;procedure P2(i2,j2:integer);var a,c:integer;procedure P21;var b1,b2:boolean;end;end;end.,function position(id:alfa):integer;var i,j:integer;begin nametab0.name:=id;j:=level;repeat i:=btab displayj.last;while nametabi.nameid do i:=nametabi.link;j:=j-1 until(j0);if(i=0)then error(10);position:=i end;position,b1:=a+b,秩筒臂臼哀对涅匣袖留消营匪抵取半钳狮侵速匝疵情阁哉傈锑弧袍白渺瑶精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,国防科技大学计算机系602教研室,PL语言的中间代码,指令格式：opcod l aOpcod：操作码l：第一操作数，程序体层数a：第一操作数，相对地址编译是如何确定变量的层数(地址)？运行时如何根据指令中变量的层数和相对地址确定变量的存储单元？,履笆鞋襄靴唾顺禽痈惟嚏平戎赁惰尘倚尔凰光辕观木武够脂灵戒秀逊谁譬精品课程编译原理ppt课件Chapt8符合表精品课程编译原理ppt课件Chapt8符合表,