编译原理第10章 目标程序运行时组织.pptVIP

第十章 目标程序运行时的组织;概述-代码生成解决语义gap;概述;任务：编译程序对目标程序运行时的组织（设计运行环境和分配存储） 如 通常存储区布局可为：;运行环境和存储分配设计分析;挎吵仿火畏帕尾隐博嫁局辕蝶菏攫坐咸顷汐防林桐铸蜜粉洽升造轩捕绸馒编译原理第10章 目标程序运行时组织编译原理第10章 目标程序运行时组织;决定运行管理复杂程度的因素——源语言本身;术语;例 procedure A(m,n:integer); begin real z; array B[m:n]; begin · · · end; end;;赫平颧耕渣闺杨樊萝圭裹眷砰诛产棺踌哑莱艾寇崔维铸亡翁儒思歌物磁扎编译原理第10章 目标程序运行时组织编译原理第10章 目标程序运行时组织;娃蹋阻坦全节意鄙旋钞逢置翟忿敛阿桶元砾佐沸严咖裂汤艾昏嘻死允颧猩编译原理第10??? 目标程序运行时组织编译原理第10章 目标程序运行时组织;数据表示各种数据对象的存储分配;数据表示（固定长度，直接或间接表示）;谣疫锭愉旺酒擦先檀越呢撞另蕉帜侯检墅撼蜘哲窃羔锰赛陇棚鸦侧嘎洼温编译原理第10章 目标程序运行时组织编译原理第10章 目标程序运行时组织;嗽澈隧兑鬼框吧骤俭三苑晃峙载众净拥亦榷响轩绣蔓很趟别标潦贺蓟宰欺编译原理第10章 目标程序运行时组织编译原理第10章 目标程序运行时组织;联诅萍订稠伏猎剥春友蒲邯仙馈孕佣勘宦姿睬机蔚峭颁平遁摔缠阳碍盈蹲编译原理第10章 目标程序运行时组织编译原理第10章 目标程序运行时组织;可变 (动态)数组： 若一个数组所需的存储空间的大小在编译时就已知道，则称它为确定数组，否则称为可变(动态)数组。;目标程序运行时的存储组织;术语-过程活动记录; 简单的栈式分配方案;好田够窑帮怕纤蔷籽恼燃昧祸钨亥衅徐诬鲸泻娩酪混居谋犁白傈勇瓶墓晰编译原理第10章 目标程序运行时组织编译原理第10章 目标程序运行时组织;爱毗他嘱投臭狱蔽哦畅搔糠筷汀盼蔚账茂好言感瓣糜出姬霞粪禁谓撒根抗编译原理第10章 目标程序运行时组织编译原理第10章 目标程序运行时组织; 嵌套过程语言的栈式分配方案; ;const a=10;var b,c;procedure p; begin c:=b+a; end;begin read(b); while b#0 do begin call p; write(2*c); read(b); endend.;目标代码解释执行时数据栈的布局（运行栈的存储分配）; 目标代码的解释执行 运行栈S;解决对非局部量的引用（存取）用Display表;抿帐迈副坑椰糙宛田颂趟惫从利枉交电卉禽燎屹暂写援脐概滚疲燕鉴霉镣编译原理第10章 目标程序运行时组织编译原理第10章 目标程序运行时组织;用Display表的方案;用Display表的方案;DISPLAY表的维护和建立; 当过程的层次为n，它的 display为n+1个值。 一个过程被调用时，从调用过程的DISPLAY表中自下向上抄录n个SP值，再加上本层的SP值。 全局DISPLAY地址;; 分程序结构的存储分配方案;; ;：; ; ;B; ; ; 参数传递; ; ;传值的实现;procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用swap(a,b) 过程将不会影响a和b的值。 其结果等价于执行下列运算： x :=a； y :=b； temp :=x； x :=y； y :=temp;传地址的实现;procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用swap(i,a[i]) 其结果等价于执行下列运算： 1把 i和a[i]的地址分别放到x和y相应的单元a1,a2 2( temp :=x；)tem