北大编译原理chapter6.ppt

《北大编译原理chapter6.ppt》由会员分享，可在线阅读，更多相关《北大编译原理chapter6.ppt（86页珍藏版）》请在三一办公上搜索。

1、1,第六章 运行时刻环境 序6.1 源语言中的一些问题6.2 存储组织6.3 运行时刻存储分配策略6.4 非局部名字的访问6.5 参数传递6.6 符号表,2,序 计算环境 运行时的环境 计算 目标代码 源程序中的名字（常量，变量）目标机存储空间。它受命于源程序的执行语义。源程序由一组过程按某种规则组成。过程的一次执行称作一次活动，在过程的语句序列执行之前，过程中访问的对象构成此过程的运行环境，由运行支持程序组织好。编译程序根据如何组织运行环境而生成目标代码。,映射,源程序,3,6.1有关源程序中的一些问题 目的：构造运行程序的策略和方法 6.1.1 过程 6.1.2 活动树 6.1.3 控制栈

2、 6.1.4 说明的作用域 6.1.5 名字的绑定 6.1.6 构造运行程序和源程序有关的 一些问题,4,6.1.1 过程 源程序由一组过程组成，不同的程序设计语言，由过程构成源程序的方法不同。构成源程序的两个过程行文，要么是嵌套的，要么是不相交的。,5,program sort（input，output）；var a：array0.10 of integer；procedure readarray；var i：integer；begin end；function partition（y，z：integer）:integer；var i，j，x，v：integer；begin end;proc

3、edure quicksort（m，n：integer）；var i：integer；begin end end；begin end.,6,6.1.2 活动树 程序执行期间的控制流：1程序执行的控制是顺序的；2过程的每一次执行都是从过程体的开头 开始，并最终把控制返回到紧接着该过 程被调用点的后面。过程的一次活动:过程体的每一次执行。一个过程p的一次活动的生存期:在该过程体的执行中的第一步和最后一步之间的一序列步骤的执行时间，其中包括执行过程p所调用的过程的执行时间，以及这些过程所调用的过程的执行时间，如此等等。,7,特点：每当控制流从过程p的活动进入到过程q的活动中后，它将返回到过程p的同一

4、次活动中。如果a和b是两个过程活动，那么它们的生存期要么是不重叠的，要么是嵌套的。这种活动生存期的嵌套性质可以通过在每一个过程中插入两个打印语句来加以说明。,8,执行开始 enter readarray leave readarray enter quicksort（1，9）enter partition（1，9）leave partition（l，9）enter quicksort（1，3）.leave quicksort（1，3)enter quicksort（5，9）.leave quicksort（5，9）leave quicksort（1，9）执行结束,9,一个过程是递归的，如果同一

5、过程的一次新的活动可以在前面活动结束以前开始。用一颗树来描绘控制进入和离开活动的途径。这祥的树称作活动树。在一棵活动树中：1.b的左边当且仅当a的生存期发生在b的生存期之前。用活动树来讨论正在这个结点上的控制。,10,s,r,q(1,9),p(1,9),q(1,3),p(1,3),q(1,0),q(2,3),p(2,3),q(2,1),q(3,3),q(5,9),p(5,9),q(5,5),q(7,9),p(7,9),q(7,7),图6.3 一棵活动树,11,结论：一个结点代表一个唯一的活动，且每 一个活动只有一个结点表示，当控制进 入某一个活动时，可以直接说，控制在 这个结点上。6.1.3

6、控制栈 程序执行的控制流对应于从根开始，按先根次序遍历活动树。因此，用一个栈保存过程活动的生存踪迹。把它称作控制栈。当一个活动开始执行时，把代表这个活动的结点推进栈；当这个活动结束时，把代表这个活动的结点从栈中弹出。,12,例6.2 栈和活动树的变化,栈,s,s,r,S r,q(1,9),S q(1.9),p(1,9),S q(1.9)p(1,9),q(1,3),S q(1.9)q(1,3),p(1,3),S q(1.9)q(1,3)p(1,3),q(1,0),S q(1.9)q(1,3)q(1,0),q(2,3),S q(1.9)q(1,3)q(2,3),图 6.4,13,控制栈中的活动都是

7、活跃的，当前控制进入的活动在栈顶，从栈顶活动到栈底活动的活动序列是从活动树上当前结点通向根的路径上的结点序列：s,q（1，9），q（l，3），q（2，3）从栈底活动到栈顶活动的活动序列表示了活动的生存期的嵌套关系。结论：扩充控制栈可用来实现如Pascal语言的栈式存储分配，进入一个活动，在栈顶建立这个活动所使用的存储空间；这个活动结束，从栈顶弹出其使用的存储空间。,14,6.1.4 说明的作用域 1.说明把名字与名字的属性信息绑定在一起。2.说明的作用域是一个说明起作用的范围（源程序行文）。一个名字在源程序行文中 可能有几处说明，语言的作用域规则规定：在语句序列中引用的一个名字是在何处说 明的

8、名字。3.编译时，处理说明把名字及其属性信息填 写进符号表(add(id.entry,id.vul);处理引用 名字时，查找这个名字的属性信息（lookup(id),符号表管理程序根据语 言的 作用域规则，使 lookup(id)返回id的作用域 中绑定的属性信息。,15,6.1.5名字与存储的绑定 名字与存储单元的绑定是指把源程序中的数据名字映射到目标机存储单元的过程。引进两个函数，environment和state。environment把名字映射到一个存储单元上；state把存储单元映射到那里所存放的值上。可以说，函数environment把一个名字映射为一个l-value（左-值）,而

9、函数state把一个l-value（左-值）映射为一个r-value（右-值）。如图6.5所示。,16,名字,存储单元,值,存储分配,程序运行,environment,state,l-value,r-value,图6.5 从名字到值的两个阶段映射,17,静态概念 动态对应过程定义 过程活动名字说明 名字的绑定说明的作用域 活动的生存期,18,6.1.6 提出的问题 编译程序组织存储分配所采用策略和方法主要取决于对源程序中下面的问题的回答。1过程可以是递归的吗？2当控制从过程的一次活动返回时，局部 名的值将发生什么 变化?3一个过程可以访问非局部名吗？4当调用过程时参数是怎样传递的？5过程可以作

10、为参数被传递吗？6过程可以作为结果被返回吗？7.可以在程序控制下进行动态存储分配吗？8.显式的存储重新分配（指撤除分配后的分 配）是必须的吗？,19,例：函数的返回值是函数。Fun times x y=x*y val times=fn:int(int int)twice=times 2fun compose(f,g)=f(g(x)compose=fn:()()val fourtimes=compose(twice,twice),20,6.2 存储组织 6.2.1 运行时刻内存的划分 运行时刻的存储空间必须划分以用来存放:1.生成的目标代码;2.数据目标;3.用于保存过程活动踪迹的一个控制栈。存

11、储空间划分的各部分：,21,目标代码,静态数据,栈,堆,1.编译后知道目标代 码的大小。2.pascal主程序中的 数据,c,FORTRAN3.栈:Pascal,c4.堆:Pascal,c,22,6.2.2 活动记录 把过程的一个活动所需要的信息组织成一块连续的存储单元，称为活动记录。一个活动所需要的信息的每个数据项有相同的生存期，因此，组织成一个活动记录是很自然的。对于pascal语言来说，运行过程中，当调用一个过程时，在栈顶构筑它的活动记录；当这个过程的活动执行完后，把它从栈顶弹出。源语言不同，实现方法不同，组成活动记录的域不同。实现pascal语言的活动记录如图6.7所示。,23,返回值

12、,实在参数,控制链,访问链,保存机器状态,局部数据,临时变量,控制链:指向调用过程活动 的活动记录。访问链：指向本活动要访 问的非局部数据所在的 活动记录。保存机器状态：调用过程 活动在调用点的机器 状态，包括计数器，各种寄存器的值。局部数据：过程中定义的 局部量。临时变量：编译产生。,24,6.2.3 编译时刻的局部数据的设计 局部数据域是编译时刻在分析过程中的说 明时设计的。例如：PROCEDURE sub(x,y:real);VAR i,j:integer;a:ARRAY1.5 OF real;e,f:real;BEGIN f:=e+i*j;END;,25,符号表,名字 形 类型 偏移量

13、,活动记录布局,返回值,(top-sp,0),x 形 real 1,(top-sp,1),y 形 real 2,(top-sp,2),(top-sp,3),(top-sp,20),i int 20,(top-sp,21),j int 21,(top-sp,22),a array 22,(top-sp,27),e real 27,(top-sp,28),f real 28,26,中间代码*i j t1*(top-sp,20)(top-sp,21)(top-sp,29)+e t1 t2+(top-sp,27)(top-sp,29)(top-sp,30)itor t2 t3 itor(top-sp,

14、30)(top-sp,31):=t3 f:=(top-sp,31)(top-sp,28)编译结束，知道每个过程的活动记录的长度，将其填写到相应的过程表中，运行时，调用哪个过程，就在运行栈顶，推进那个过程的活动记录（栈箭头加上活动记录长度）。,27,6.3 运行时刻存储分配策略 分配策略是：1静态分配；2栈式分配，或称栈式动态分配；3堆式分配，或称堆式动态分配。6.3.1 静态存储分配 6.3.2 栈式存储分配 6.3.3 堆式存储分配 采用哪种分配策略是由源语言的语义决定的。,28,6.3.1 静态存储分配 在编译时刻为每个数据项目确定出在运行时刻的存储空间中的位置，且这种绑定在运行时刻不再发

15、生变化。局部名字的值在过程活动停止后仍保留下来。限制：1.在编译时刻知道数据目标的大小和它们在 内存位置上 约束；2.不能递归调用过程（一个过程的两个活动 的生存期不相交,一个过程的所有活动可以 使用同一个活动记录）；3.不能动态地建立数据结构。,29,（1）PROGRAM CNSUME（2）CHARACTER*50 BUF（3）INTEGER NEXT（4CHARACTER C，PRDUCE（5）DATA NEXT1，BUF/（6）CPRDUCE（）。（7）BUF（NEXT：NEXT）C（8NEXTNEXT1（9）IF（C.NE.)GOTO 6（10）WRITE（*，(A)）BUF（11）E

16、ND,30,(12）CHARACTER FUNCTION PRDUCE（）（13)CHARACTER*80 BUFFER（14）INTEGER NEXT（15）SAVE BUFFER，NEXT(16)DATA NEXT81（17）IF(NEXT.GT.80）THEN（18)READ（*，（A)BUFFER（19）NEXT1（20)END IF（21）PRDUCEBUFFER（NEXT：NEXT）（22)NEXTNEXT1（23)END 图6.8 一个Fortran 77程序,31,CNSUME目标代码,PRDUCE目标代码,Char*50 buf int next char c,Char*80

17、 buffer int next,Cnsume活动记录,prduce活动记录,目标代码,静态数据,32,6.3.2 栈式存储分配 基于控制栈的原理：存储空间被组织成栈，活动记录的推入和弹出分别对应于活动的开始和结束。与静态分配不同的是，在每次活动中把局部名字和新的存储单元绑定，在活动结束时，活动记录从栈中弹出，因而局部名字的存储空间也随之消失。例6.5 图6.11表明当控制流通过图6.3的活动树时活动记录被推人或弹出运行时刻的栈中的情况，设寄存器top标记栈顶。,33,s,Sa:array,top,r,ri:integer,top,top,q(1,9),q(1,9)i:integer,top,

18、p(1,9),p(1,9)i:integer,top,top,q(1,3),q(1,3)i:integer,top,图 6.11 栈式分配活动记录在栈中的变化,34,确定活动记录中局部数据的地址：假设top-sp标记一个活动记录的开始的位置，dx表示x的地址相对于top-sp的偏移量。那么，x在过程的目标代码中的地址可写成 dx（top-sp）在运行时刻，当把x的活动记录筑于栈顶时，寄存器top-sp被赋于实际的地址，top-sp可以是一个寄存器。调用序列和返回序列 通过在目标代码中生成调用序列和返回序列实现过程的调用。激活一个过程的活动是执行,35,过程语句的结果。过程语句 p(e1,e2,

19、en)的目标代码（调用序列）完成任务：1.调用者对实在参数求值，并把它们传送给 被调用过程的活动记录的参数域。2调用者在被调用者的活动记录中存放返 回地址和老top-sp之值。之后调用者把 top一sp之值增加到图6.12所示的位置。3被调用者存放寄存器值和其它状态信息。4被调用者初始化其局部数据并开始执行。,36,返回序列，return目标代码完成的任务是：1被调用者在自己的活动记录的返回值域 中放一个返回值。2利用状态域中的信息，被调用者恢复 top-sp和其它寄存器，并且按返回地址转 移到调用者的代码之中。3调用者复制返回值到自己的活动记录中。任务的划分，根据源语言、目标机器和操 作系统

20、等具体情况而定。上述任务，由运行支持子程序完成，可视为虚机指令。,37,可变长度的数据 源程序的例子 PROCEDURE exam(l,m,n:integer);VAR a:array 1.l of real;b:array 1.m of real;c:array 1.n of real;BEGIN END;编译时，不知 a,b,c的大小，仅对每个数组设置一个指针。,38,Control link,a,b,c,Top-sp,top,Array a,Array b,Array c,top,P的活动记录,P的动态数组,图6.13 动态分配的数组,39,活动记录的进栈和推栈 栈顶活动记录用两个指针t

21、op和top-sp指示。top-sp指向栈顶活动记录保存机器状态域的末 端，用于访问局部数据。top指向栈顶。P调用q：栈top+h:=top-sp;top-sp:=top+h;top:=top+q的活动记录长度从q的活动返回：top:=top-spq(h)top-sp:=栈top-sp,40,p,q,top-sp,top-sp,top,top,h,41,6.3.3 堆式存储分配 1局部名的值在活动结束时必须被保存。2.被调用者的活动生存期超过调用者。用活动树不能够正确描绘这种语言的过 程之间的控制流。new(p);dispose(p);,42,6.4 对非局部名字的访问 讨论基于活动记录的栈

22、式分配。一个语言所规定的作用域规则决定了如何处理对非局部名字的引用。有静态和动态两种作用域规则。静态:考查程序正文来决定引用的名字是哪一个名字说明,如Pascal，C和Ada是众多语言中使用带有“最近嵌套”规定的词法作用域规则的语言;动态:在运行时刻考查最近的活动来决定应用到一个名字上的说明,如LISP和APL。,43,6.4.1 块 一个块（Block）是一个含有局部数据说明的语句。declarationsstatements 一个块与另一个块要么是独立的，要么 一 个块完全嵌入在另一个块之中，这种嵌套的性质有时称作块结构。在块结构语言中，说明的作用域由最近嵌套规则给出：1在块B中的一个说明

23、的作用域包括B。2如果名字x在块B中没有说明，那么，,44,x在B中的出现是在一个外围块B中的x的说 明的作用域之内，并且使得：（a)B 中有x 的说明，（b)B 是包围B的，相对于其它任何具有 名字x 的说明且包围B 的块而言,B是 离B 最近的。对于pascal语言来说，一个过程是一个块，一个程序是一个块结构。而对于c语言来说，每个函数是一个块结构，而函数之间是不嵌套的。,45,main()int a=0;/*B0-B2*/int b=0;/*B0-B1*/int b=1;/*B1-B3*/int a=2;printf(“%d%d/n”,a,b);int b=3;printf(“%d%d/

24、n”,a,b);printf(“%d%d/n”,a,b);printf(“%d%d/n”,a,b);,B0,B1,B2,B3,46,a0,b0,b1,a2,b3,图6.16 函数main局部数据 在活 动记录中的按排,块结构语言可以采用栈式分配。函数main的每个块可看成一个无参过程，块中的块可被看成一个语句。控制从块开始进入，遇块结束退出。B2和B3的生存期不相交，它们的局部数据可占用同一块存储空间。,47,6.4.2 不含嵌套过程的词法作用域 C中过程定义不能嵌套（l）int a11;（2）readarray()a（3）int partition（y，z）int y，z；a（4）quick

25、sort（m，n）int m，n；.（5）main().a.图6.17 带有a的非局部出现的C程序,48,目标代码,int a11,栈,堆,1.函数外的数据和函数内 的静态数据，静态分配 于静态数据域。2.函数内的数据（out)栈 式分配,运行进入任一 函 数，使用的 数据，要 么 在 当前的活动记录中；要么在 静态数据域中。,49,6.4.3 含有嵌套过程的词法作用域 图6.18 带有嵌套过程的一个Pascal程序程序的静态嵌套结构：sort readarray exchange quicksort partition,50,（1）program sort（input，output）;（2）

26、var a：array0.10 of integer；（3）x:integer；（4）procedure readarray；（5）var i：integer；（6）begin a end readarray;（7）procedure exchange（i，j：integer）；（8）begin（9）x：=ai；ai:=aj;aj:x（10）end exchange;,51,（11）procedure quicksort（m，n：integer）；（12）var k，v：integer；（13）function partition（y，z：integer）：integer；（14）var i，

27、j：integer；（15）begin a（16）V（17）exchange（i，j）；（18）end partition;（19）begin end quicksort;（20）begin end.sort,52,程序的静态嵌套结构决定程序中每个过程中访问哪些外围过程中的数据。每个过程静态嵌套在哪些过程中，可用静态链static(p)表示:static(sort)=sort static(readarray)=sort readarray static(exchange)=sort exchange static(quichsort)=sort quichsort static(partit

28、ion)=sort quichsort partition 运行时，过程的数据被组织成活动记录，为了实现非局部访问，过程的活动记录之间必须维持静态链反映程序的静态嵌套结构。,53,6.4.3.1 嵌套深度 用过程的嵌套深度来表达一个过程在程序中的嵌套层次。令主程序的嵌套深度为1；从一个过程进入到一个被包围过程时嵌套深度加1。如图6.18中的位于（11）行上的过程quicksort的嵌套深度为2，而（13）行上的partition的嵌套深度为3。过程表示除过程名字之外的过程定义正文。一个名字的嵌套深度等于说明它的过程的嵌套深度，是名字的重要属性。在（15）（17）行上的partition中的a,

29、v和i的嵌套深度分别是1，2和3。,54,6.4.3.2 存取链（access link）栈中的活动记录应反映源程序正文中过程之间的嵌套关系，或静态结构。为每一个活动记录增设一个称为存取链（或存取链路）的指针，如果在源程序正文中过程p直接嵌入在过程q中，那么p的一个活动记录中的存取链指向q的最近的活动记录中的存取链。从当前活动记录开始，沿着这条链，能找到访问的非局部名字。它是静态链在存储空间上的实现，也称作静态链。程序运行过程中应维持这条链。,55,S,S nil a,x,top-sp,top,r,r i,top,top-sp,top-sp,top,q(1,9),q(1,9)k,v,top,t

30、op-sp,p(1,9),p(1,9)i,j,top,top-sp,top-sp,top,q(1,3),q(1,3)k,v,top,top-sp,p(1,3),p(1,3)i,j,top,top-sp,e(1,3),e(1,3)i,j,top,top-sp,图 6.19,56,非局部访问 在嵌套深度为np 的过程p中引用一个嵌套深度为na np 的非局部名字a,a的存储位置可按下面的步骤找到：1从栈顶活动记录出发沿存取链前进npna步，到达a所在的活动记录。npna的值可在编译时刻计算出来。2a的地址=a所在活动记录的始址+a的偏移量。编译生成过程p的目标代码中非局部名字a的地址表示为：（np

31、na，a在其活动记录中的偏移量),57,运行时存取链的维护 维护存取链的代码是调用序列的一部分。假设嵌套深度为np 的过程p调用嵌套深度为nx 的过程x。存取链的维护依赖于过程p和过程x之间的嵌套关系。1.np nx，nx=np+1,x 在p中定义。被调用过程的活动记录的存取链必须指向栈中刚好在其前面的（地址码较低的）调用过程的活动记录的存取链。,58,p x call x,p,top-sp,top,x,top-sp,top,栈top+h:=top-sp;top-sp:=top+h;top:=top+x的活动 记录长度；,59,2.npnx,x,Pcall x,np=nx,p,x,60,cal

32、l x,x,p,x,pcall x,p,x,npnx,61,过程p和x的嵌套深度为1，2，,nx-1的外围过程是相同的。从p的活动记录开始沿存取链前进np-nx+1步，可到达包围着p和x且离它们最近的过程的当前的活动记录。这个活动记录的存取链位置即是x的当前活动记录存取链应指向的位置。np-nx+1在编译时能计算出来。,62,过程作为参数传递的实现 PROGRAM param(input,output);PROCEDURE b(FUN h(n:integer):integer);BEGIN writeln(h(2)END;PROCEDURE c;VAR m:integer;FUNCTION f

33、(n:integer):integer;BEGIN f:=m+n END;BEGIN m:=0;b(f)END;BEGIN c END.,63,param,c,m:=0,b(f)存取链,f(2),如何建立存取链？,过程要在定义它的环境中运行。过程作为实参数传递时，必须把它的存取链作为实参数的一部分传递。在传递f时，确定f的存取链，好象在c中调用f一样。在b中激活f的活动时，它作为f的活动记录的存取链。,64,6.4.3.3 Display表 Display表是一个指针数组d，在运行过程中，若当前活动的过程的嵌套深度为i，则di中存放当前的活动记录地址，di-1,di-2,d1 中依次存放着当前

34、活动的过程的直接外层，,直至最外层（主程序）等每一层过程的最新活动地址。这样，嵌套深度为j的变量a存放在由dj所指出的活动记录中。在运行过程中维持一个Display表实现非局部访问比存取链效率要高。,65,Display表的维护（过程不作为参数传递）当嵌套深度为i的过程的活动记录筑在栈顶时：（1）在新的活动记录中保存di的值；（2）置di指向新的活动记录。在一个活动结束前，di置成保存的旧值。用Display表如何访问非局部量？1.Display表是一个数组，开始地址用通用 寄存器指出；2.Display表由一组寄存器实现。,66,s,Sa,x,display,r,r,q(1,9),q(1,9

35、)k,v,p(1,9),p(1,9),e(1,9),e(1,9)save d2,q(1,3),q(1,3)save d2k,v,p(1,3),p(1,3)save d3i,j,图 6.19,67,设p（嵌套深度为j）调用q（嵌套深度为i）,1.ji,P call q,q,d1d2djdi,P,q,68,2.ji,q,d1d2di-1di,P,q,Pcall q,Save di,j=i,69,2.ji ji,q,d1d2di-1di,P,q,pcall q,Save di,Pcall q,q,dj,Save dj,70,6.4.4 动态作用域 程序运行时，一个名字a实施其影响，直到含a的声明的一

36、个过程开始执行时暂停，此过程停止时，该影响恢复。设有下面的的调用序列：A B C P过程P中有对x的非局部引用，沿动态链（红链）查找，最先找到的便是。,71,program dynamic（input，output)；var r：real；procudure show；begin wtite（r：5：3）end；procedute small；var r：real；begin r:0.125；show end；begin r：0.25；show；small；write1n；show；small；writeln end.,72,在词法作用域之下，程序的输出为:0.250 0.250 0.250

37、0.250 在动态作用域之下，输出为:0.250 0.125 0.250 0.125 实现动态作用域的方法:1.深访问。使用控制链在栈中搜索，以寻 找包含所需非局部名字的存储单元的第 一个活动记录（控制链又称动态链）。,73,2浅访问。这种方法的思想是在静态分配 的存储空间中存放每一个名字的现行值。当过程p开始一次新的活动时，p中的非局 部名n占用对于n静态分配的存储空间。先 前的n值可以存放在p的活动记录中并且当 p的活动记录结束时必须给以恢复。两种方法进行比较。,74,6.5 参数传递 实在参数和形式参数结合的方法：传值调用（call-by-value）引用调用（call-by-refer

38、ence）复制恢复（copy-restore）传名调用（call-by-name）ai:=aj 其中表达式aj代表一个值，而ai 则表示一个存储地址。参数传递方法之间的区别主要基于实在参数是代表右-值（r-值）、左-值（l-值）、或者实在参数的正文本身。,75,6.5.1 传值调用 program reference（input，output）；var a，b：integer；procedure swap（x，y：integer）；var temp：integer；begin temp:x；x：y；y：temp end;begin a：1;b：2;swap(a，b);writeln(a=，a，

39、b=,b）end.,76,传值调用可以实现如下：调用过程计算实在参数，并把它们的右-值放入到形式参数的存储空间中。使用传值的方法，调用swap（a,b）等价于下面几步：x：=a y：=b temp：=x x：=y y：=temp,77,6.5.2 引用调用 把实在参数的地址传递给相应的形式参数,在目标代码中，在被调用过程中对形式参数的一次引用就成为对传递给被调用过程的指针的一个间接引用。,Reference,abxy,12,swap,ab,temp,78,Temp:=x;temp:=a;x:=y;a:=b;y:=temp;b:=temp;6.5.3 复制恢复 实现：1.当控制流入到被调用过程之

40、前，把实在参 数 的右-值和左-值传递到被调用过程中；2.当控制返回时，把形式参数的现行右-值 复制回到相应的实在参数的左-值中。,79,program copyout（input，output）；var a：integer；procedure unsafe（var x：integer）；begin x：2；a：=0 end；begin a：=1；unsafe（a）；writeln（a）end.,80,Copyout,unsafe,a,1,1,a,x,2,0,2,Copy-in copy-out,81,6.5.4 传名调用 传名调用（call-by-name）由Algol中的复制规则（copy

41、一rule）定义为：1.过程被当作宏对待。过程调用的作用相当 于把被调用过程的过程体宏扩展（macro expansion）到调用出现的地方。2重新命名被调用过程中的局部名字。例如，对于例6.6中的调用swap（i,ai），采用传名调用方式传递参数，则可实现如下：temp：=i;i：ai;(注意此处i值得以改变）ai：temp;（此ai不是原来的ai）,82,当i的值改变时，ai 的值也改变。因此，不能一开始就算出实在参数的地址，以后就用这个地址；而是每当被调用过程内引用该形式参数时，就必须重新计算它的地址。而且，必须在定义它的环境中进行计算，即，必须在调用过程中进行计算。实现方法：在调用过程

42、的目标程序中，对应每一个这样的形式参数都设置一个单独的过程，称为实形替换程序（thunk)。每当被调用过程内引用某个形式参数时，就调用相应的实形替换程序（thunk)。,83,目标程序结构：goto L;A1:计算i的地址(thunk);A2:计算ai的地址(thunk);L:带着下边的表调用swap;RET:,RET（返回地址）A1(第一个thunk过程的地址）A2(第二个thunk过程的地址）,84,总结：程序结构 活动生存期 活动树 控制栈 栈式存储分配 程序结构 静态作用域 活动记录 非局部访问 存取链 display表,85,6.6.5 练习6.1 6.2 6.3 对于（b）(1)画出激活f后的运行栈和存取链；(2)画出激活f后的运行栈和display表。6.4补：对以下的pascal程序，画出过程c第二次被激活时的运行栈，控制链和存取链，说明在c中如何访问变量x。,86,PROGRAM evn;PROCEDURE a;VAR x:integer;PROCEDURE b;PROCEDURE c;BEGIN x:=2;b END;BEGIN procedure b c END;BEGIN b END;procedure a BEGIN a END.main,