编译原理运行时存储空间的组织和管理 6

《编译原理运行时存储空间的组织和管理 6》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

第六章运行时存储空间的组织和管理过程的活动过程的一次执行称为过程的一次活动

1第六章运行时存储空间的组织和管理过程的活动过程的一次执行称为过程的一次活动活动记录过程的活动需要可执行代码和存放所需信息的存储空间,后者称为活动记录

2第六章运行时存储空间的组织和管理过程的活动过程的一次执行称为过程的一次活动活动记录过程的活动需要可执行代码和存放所需信息的存储空间,后者称为活动记录本章内容讨论一个活动记录中的数据安排

3第六章运行时存储空间的组织和管理过程的活动过程的一次执行称为过程的一次活动活动记录过程的活动需要可执行代码和存放所需信息的存储空间,后者称为活动记录本章内容讨论一个活动记录中的数据安排程序执行过程中，所有活动记录的组织方式

4第六章运行时存储空间的组织和管理影响存储分配策略的语言特征过程能否递归

5第六章运行时存储空间的组织和管理影响存储分配策略的语言特征过程能否递归当控制从过程的活动返回时，局部变量的值是否要保留

6第六章运行时存储空间的组织和管理影响存储分配策略的语言特征过程能否递归当控制从过程的活动返回时，局部变量的值是否要保留过程能否访问非局部变量

7第六章运行时存储空间的组织和管理影响存储分配策略的语言特征过程能否递归当控制从过程的活动返回时，局部变量的值是否要保留过程能否访问非局部变量过程调用的参数传递方式

8第六章运行时存储空间的组织和管理影响存储分配策略的语言特征过程能否递归当控制从过程的活动返回时，局部变量的值是否要保留过程能否访问非局部变量过程调用的参数传递方式过程能否作为参数被传递

9第六章运行时存储空间的组织和管理影响存储分配策略的语言特征过程能否递归当控制从过程的活动返回时，局部变量的值是否要保留过程能否访问非局部变量过程调用的参数传递方式过程能否作为参数被传递过程能否作为结果值传递

10第六章运行时存储空间的组织和管理影响存储分配策略的语言特征过程能否递归当控制从过程的活动返回时，局部变量的值是否要保留过程能否访问非局部变量过程调用的参数传递方式过程能否作为参数被传递过程能否作为结果值传递存储块能否在程序控制下动态地分配

11第六章运行时存储空间的组织和管理影响存储分配策略的语言特征过程能否递归当控制从过程的活动返回时，局部变量的值是否要保留过程能否访问非局部变量过程调用的参数传递方式过程能否作为参数被传递过程能否作为结果值传递存储块能否在程序控制下动态地分配存储块是否必须显式地释放

126.1局部存储分配6.1.1过程过程定义、过程调用、形式参数、实在参数、活动的生存期

136.1局部存储分配6.1.2名字的作用域和绑定名字的作用域一个声明起作用的程序部分称为该声明的作用域即使一个名字在程序中只声明一次，该名字在程序运行时也可能表示不同的数据对象

146.1局部存储分配从名字到值的两步映射名字存储单元状态值环境

156.1局部存储分配从名字到值的两步映射环境把名字映射到左值，而状态把左值映射到右值名字存储单元状态值环境

166.1局部存储分配从名字到值的两步映射环境把名字映射到左值，而状态把左值映射到右值赋值改变状态，但不改变环境名字存储单元状态值环境

176.1局部存储分配从名字到值的两步映射环境把名字映射到左值，而状态把左值映射到右值赋值改变状态，但不改变环境过程调用改变环境名字存储单元状态值环境

186.1局部存储分配从名字到值的两步映射环境把名字映射到左值，而状态把左值映射到右值赋值改变状态，但不改变环境过程调用改变环境如果环境将名字x映射到存储单元s，我们就说x被绑定到s名字存储单元状态值环境

196.1局部存储分配静态概念和动态概念的对应静态概念动态对应过程的定义过程的活动

206.1局部存储分配静态概念和动态概念的对应静态概念动态对应过程的定义过程的活动名字的声明名字的绑定

216.1局部存储分配静态概念和动态概念的对应静态概念动态对应过程的定义过程的活动名字的声明名字的绑定声明的作用域绑定的生存期

226.1局部存储分配6.1.3活动记录一般的活动记录的布局返回值临时数据参数控制链访问链机器状态局部数据

236.1局部存储分配6.1.4局部数据的安排字节是可编址内存的最小单位

246.1局部存储分配6.1.4局部数据的安排字节是可编址内存的最小单位变量所需的存储空间可以根据其类型而静态确定

256.1局部存储分配6.1.4局部数据的安排字节是可编址内存的最小单位变量所需的存储空间可以根据其类型而静态确定一个过程所声明的局部变量，按这些变量声明时出现的次序，在局部数据域中依次分配空间

266.1局部存储分配6.1.4局部数据的安排字节是可编址内存的最小单位变量所需的存储空间可以根据其类型而静态确定一个过程所声明的局部变量，按这些变量声明时出现的次序，在局部数据域中依次分配空间局部数据的地址可以用相对于某个位置的地址来表示

276.1局部存储分配6.1.4局部数据的安排字节是可编址内存的最小单位变量所需的存储空间可以根据其类型而静态确定一个过程所声明的局部变量，按这些变量声明时出现的次序，在局部数据域中依次分配空间局部数据的地址可以用相对于某个位置的地址来表示数据对象的存储安排还有一个对齐问题

286.1局部存储分配在SPARC/Solaris工作站上下面两个结构的size分别是24和16，为什么不一样？typedefstruct_a{typedefstruct_b{charc1;charc1;longi;charc2;charc2;longi;doublef;doublef;}a;}b;

296.1局部存储分配在SPARC/Solaris工作站上下面两个结构的size分别是24和16，为什么不一样？typedefstruct_a{typedefstruct_b{charc1;0charc1;0longi;4charc2;1charc2;8longi;4doublef;16doublef;8}a;}b;

306.1局部存储分配在X86/Linux机器的结果和SPARC/Solaris工作站不一样，是20和16。typedefstruct_a{typedefstruct_b{charc1;0charc1;0longi;4charc2;1charc2;8longi;4doublef;12doublef;8}a;}b;

316.1局部存储分配6.1.5程序块本身含有局部变量声明的语句可以嵌套最接近的嵌套作用域规则并列程序块不会同时活跃并列程序块的变量可以重叠分配

326.1局部存储分配main(){/beginofB0/inta=0;intb=0;{/beginofB1/intb=1;{/beginofB2/inta=2;}/endofB2/{/beginofB3/intb=3;}/endofB3/}/endofB1/}/endofB0/

336.1局部存储分配main(){/beginofB0/inta=0;intb=0;{/beginofB1/intb=1;{/beginofB2/inta=2;}/endofB2/{/beginofB3/intb=3;}/endofB3/}/endofB1/}/endofB0/声明作用域inta=0;B0B2intb=0;B0B1intb=1;B1B3inta=2;B2intb=3;B3

346.1局部存储分配main(){/beginofB0/inta=0;intb=0;{/beginofB1/intb=1;{/beginofB2/inta=2;}/endofB2/{/beginofB3/intb=3;}/endofB3/}/endofB1/}/endofB0/声明作用域inta=0;B0B2intb=0;B0B1intb=1;B1B3inta=2;B2intb=3;B3a0b0b1a2,b3重叠分配存储单元

356.2全局栈式存储分配介绍程序运行时所需的各个活动记录在存储空间的分配策略

366.2全局栈式存储分配介绍程序运行时所需的各个活动记录在存储空间的分配策略描述过程的目标代码怎样访问绑定到局部名字的存储单元

376.2全局栈式存储分配介绍程序运行时所需的各个活动记录在存储空间的分配策略描述过程的目标代码怎样访问绑定到局部名字的存储单元介绍三种分配策略静态分配策略

386.2全局栈式存储分配介绍程序运行时所需的各个活动记录在存储空间的分配策略描述过程的目标代码怎样访问绑定到局部名字的存储单元介绍三种分配策略静态分配策略栈式分配策略

396.2全局栈式存储分配介绍程序运行时所需的各个活动记录在存储空间的分配策略描述过程的目标代码怎样访问绑定到局部名字的存储单元介绍三种分配策略静态分配策略栈式分配策略堆式分配策略

406.2全局栈式存储分配6.2.1运行时内存的划分代码静态数据堆栈

416.2全局栈式存储分配静态分配名字在程序被编译时绑定到存储单元，不需要运行时的任何支持

426.2全局栈式存储分配静态分配名字在程序被编译时绑定到存储单元，不需要运行时的任何支持绑定的生存期是程序的整个运行期间

436.2全局栈式存储分配静态分配给语言带来限制递归过程不被允许

446.2全局栈式存储分配静态分配给语言带来限制递归过程不被允许数据对象的长度和它在内存中位置的限制，必须是在编译时可以知道的

456.2全局栈式存储分配静态分配给语言带来限制递归过程不被允许数据对象的长度和它在内存中位置的限制，必须是在编译时可以知道的数据结构不能动态建立

466.2全局栈式存储分配C语言程序的外部变量和程序中出现的常量都可以静态分配声明在函数外面外部变量——静态分配静态外部变量——静态分配声明在函数里面静态局部变量——也是静态分配自动变量——不能静态分配

476.2全局栈式存储分配6.2.2活动树和运行栈活动树:用树来描绘控制进入和离开活动的方式mq(1,9)rp(1,9)q(1,3)q(1,0)p(1,3)q(2,3)q(2,1)q(3,3)p(2,3)q(5,9)q(5,5)p(5,9)q(7,9)q(7,7)q(9,9)p(7,9)

486.2全局栈式存储分配活动树的特点每个结点代表某过程的一个活动根结点代表主程序的活动结点a是结点b的父结点，当且仅当控制流从a的活动进入b的活动结点a处于结点b的左边，当且仅当a的生存期先于b的生存期

496.2全局栈式存储分配当前活跃着的过程活动可以保存在一个栈中控制栈的内容：m,q(1,9),q(1,3),q(2,3)mq(1,9)rp(1,9)q(1,3)q(1,0)p(1,3)q(2,3)q(2,1)q(3,3)p(2,3)q(5,9)q(5,5)p(5,9)q(7,9)q(7,7)q(9,9)p(7,9)

506.2全局栈式存储分配运行栈：把控制栈中的信息拓广到包括过程活动所需的所有局部信息（即活动记录）

516.2全局栈式存储分配运行栈：把控制栈中的信息拓广到包括过程活动所需的所有局部信息（即活动记录）ma:arraym

526.2全局栈式存储分配运行栈：把控制栈中的信息拓广到包括过程活动所需的所有局部信息（即活动记录）mi:integerra:arraymr

536.2全局栈式存储分配运行栈：把控制栈中的信息拓广到包括过程活动所需的所有局部信息（即活动记录）mk:integerq(1,9)a:arraymq(1,9)r

546.2全局栈式存储分配运行栈：把控制栈中的信息拓广到包括过程活动所需的所有局部信息（即活动记录）mk:integerq(1,9)a:arrayq(1,3)k:integermq(1,9)rp(1,9)q(1,3)q(1,0)p(1,3)

556.2全局栈式存储分配6.2.3调用序列过程调用和过程返回都需要执行一些代码来管理活动记录栈，保存或恢复机器状态等

566.2全局栈式存储分配6.2.3调用序列过程调用和过程返回都需要执行一些代码来管理活动记录栈，保存或恢复机器状态等过程调用序列过程调用时执行的分配活动记录，把信息填入它的域中的代码

576.2全局栈式存储分配6.2.3调用序列过程调用和过程返回都需要执行一些代码来管理活动记录栈，保存或恢复机器状态等过程调用序列过程调用时执行的分配活动记录，把信息填入它的域中的代码过程返回序列过程返回时执行的恢复机器状态，释放活动记录，使调用过程能够继续执行的代码

586.2全局栈式存储分配过程调用和过程返回都需要执行一些代码来管理活动记录栈，保存或恢复机器状态等过程调用序列过程调用时执行的分配活动记录，把信息填入它的域中的代码过程返回序列过程返回时执行的恢复机器状态，释放活动记录，使调用过程能够继续执行的代码调用序列和返回序列常常都分成两部分，分处于调用过程和被调用过程中

596.2全局栈式存储分配即使是同一种语言，过程调用序列、返回序列和活动记录中各域的排放次序，也会因实现而异设计这些序列和活动记录的一些原则返回值临时数据参数控制链访问链机器状态局部数据

606.2全局栈式存储分配即使是同一种语言，过程调用序列、返回序列和活动记录中各域的排放次序，也会因实现而异设计这些序列和活动记录的一些原则以活动记录中间的某个位置作为基地址返回值临时数据参数控制链访问链机器状态局部数据

616.2全局栈式存储分配即使是同一种语言，过程调用序列、返回序列和活动记录中各域的排放次序，也会因实现而异设计这些序列和活动记录的一些原则以活动记录中间的某个位置作为基地址长度能较早确定的域放在活动记录的中间返回值临时数据参数控制链访问链机器状态局部数据

626.2全局栈式存储分配即使是同一种语言，过程调用序列、返回序列和活动记录中各域的排放次序，也会因实现而异设计这些序列和活动记录的一些原则一般把临时数据域放在局部数据域的后面返回值临时数据参数控制链访问链机器状态局部数据

636.2全局栈式存储分配即使是同一种语言，过程调用序列、返回序列和活动记录中各域的排放次序，也会因实现而异设计这些序列和活动记录的一些原则一般把临时数据域放在局部数据域的后面把参数域和可能有的返回值域放在紧靠调用者活动记录的地方返回值临时数据参数控制链访问链机器状态局部数据

646.2全局栈式存储分配即使是同一种语言，过程调用序列、返回序列和活动记录中各域的排放次序，也会因实现而异设计这些序列和活动记录的一些原则用同样的代码来执行各个活动的保存和恢复返回值临时数据参数控制链访问链机器状态局部数据

656.2全局栈式存储分配调用者和被调用者之间的任务划分被调用者的责任调用者的责任调用者的活动记录被调用者的活动记录临时数据局部数据返回值和参数返回值和参数控制链和保存的机器状态top_spbase_sp栈增长方向临时数据局部数据控制链和保存的机器状态

666.2全局栈式存储分配过程p调用过程q的调用序列p计算实参，依次放入栈顶，并在栈顶留出放返回值的空间。top_sp的值在此过程中被改变p把返回地址和当前base_sp的值存入q的活动记录中，建立q的访问链，增加base_sp的值q保存寄存器的值和其它机器状态信息q根据局部数据域和临时数据域的大小增加top_sp的值，初始化它的局部数据，并开始执行过程体

676.2全局栈式存储分配调用者和被调用者之间的任务划分被调用者的责任调用者的责任调用者的活动记录被调用者的活动记录临时数据局部数据返回值和参数返回值和参数控制链和保存的机器状态top_spbase_sp栈增长方向临时数据局部数据控制链和保存的机器状态

686.2全局栈式存储分配过程p调用过程q的返回序列q把返回值置入邻近p的活动记录的地方q对应调用序列的步骤（4），减小top_sp的值q恢复寄存器（包括base_sp）和机器状态，返回pp根据参数个数与类型和返回值类型调整top_sp，然后取出返回值

696.2全局栈式存储分配调用者和被调用者之间的任务划分被调用者的责任调用者的责任调用者的活动记录被调用者的活动记录临时数据局部数据返回值和参数返回值和参数控制链和保存的机器状态top_spbase_sp栈增长方向临时数据局部数据控制链和保存的机器状态

706.2全局栈式存储分配过程的参数个数可变的情况函数返回值改成用寄存器传递编译器产生将这些参数逆序进栈的代码被调用函数能准确地知道第一个参数的位置被调用函数根据第一个参数到栈中取第二、第三个参数等等

716.2全局栈式存储分配调用者和被调用者之间的任务划分被调用者的责任调用者的责任调用者的活动记录被调用者的活动记录临时数据局部数据返回值和参数返回值和参数控制链和保存的机器状态top_spbase_sp栈增长方向临时数据局部数据控制链和保存的机器状态

726.2全局栈式存储分配6.2.4栈上可变长数据活动记录的长度在编译时不能确定的情况局部数组的大小要等到过程激活时才能确定在活动记录中为这样的数组分别存放数组指针的单元运行时，这些指针指向分配在栈顶的存储空间

736.2全局栈式存储分配访问动态分配的数组q的数组q的活动记录p的数组p的活动记录控制链top_spbase_sp数组A的指针数组B的指针数组A数组B控制链.........栈

746.2全局栈式存储分配6.2.5悬空引用悬空引用：引用某个已被释放的存储单元

756.2全局栈式存储分配6.2.5悬空引用悬空引用：引用某个已被释放的存储单元main()|intdangle(){|{intq;|intj=20;q=dangle();|return&j;}|}

766.3非局部名字的访问本节介绍无过程嵌套的静态作用域（C语言）有过程嵌套的静态作用域（Pascal语言）动态作用域（Lisp语言）

776.3非局部名字的访问6.3.1无过程嵌套的静态作用域过程体中的非局部引用可以直接使用静态确定的地址

786.3非局部名字的访问6.3.1无过程嵌套的静态作用域过程体中的非局部引用可以直接使用静态确定的地址局部变量在栈顶的活动记录中，可以通过base_sp指针来访问

796.3非局部名字的访问6.3.1无过程嵌套的静态作用域过程体中的非局部引用可以直接使用静态确定的地址局部变量在栈顶的活动记录中，可以通过base_sp指针来访问无须深入栈中取数据，无须访问链

806.3非局部名字的访问6.3.1无过程嵌套的静态作用域过程体中的非局部引用可以直接使用静态确定的地址局部变量在栈顶的活动记录中，可以通过base_sp指针来访问无须深入栈中取数据，无须访问链过程可以作为参数来传递，也可以作为结果来返回

816.3非局部名字的访问6.3.2有过程嵌套的静态作用域sortreadarrayexchangequicksortpartition

826.3非局部名字的访问6.3.2有过程嵌套的静态作用域过程嵌套深度sort1readarray2exchange2quicksort2partition3

836.3非局部名字的访问6.3.2有过程嵌套的静态作用域过程嵌套深度sort1readarray2exchange2quicksort2partition3变量的嵌套深度：它的声明所在过程的嵌套深度作为该名字的嵌套深度

846.3非局部名字的访问寻找非局部名字存储单元的访问链sa,xq(1,9)k,v访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链p(1,3)i,j访问链e(1,3)访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链p(1,3)i,j访问链

856.3非局部名字的访问假定过程p的嵌套深度为np，它引用嵌套深度为na的变量a，nanp。如何访问a的存储单元sort1readarray2exchange2quicksort2partition3

866.3非局部名字的访问假定过程p的嵌套深度为np，它引用嵌套深度为na的变量a，nanp。如何访问a的存储单元从栈顶的活动记录开始，追踪访问链npna次

876.3非局部名字的访问假定过程p的嵌套深度为np，它引用嵌套深度为na的变量a，nanp。如何访问a的存储单元从栈顶的活动记录开始，追踪访问链npna次到达a的声明所在过程的活动记录

886.3非局部名字的访问假定过程p的嵌套深度为np，它引用嵌套深度为na的变量a，nanp。如何访问a的存储单元从栈顶的活动记录开始，追踪访问链npna次到达a的声明所在过程的活动记录访问链的追踪用间接操作就可完成

896.3非局部名字的访问访问非局部名字的存储单元sortreadarrayexchangequicksortpartitionsa,xq(1,9)k,v访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链p(1,3)i,j访问链e(1,3)访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链p(1,3)i,j访问链

906.3非局部名字的访问过程p对变量a访问时，a的地址由下面的二元组表示：（npna，a在活动记录中的偏移）

916.3非局部名字的访问建立访问链假定嵌套深度为np的过程p调用嵌套深度为nx的过程xnp

926.3非局部名字的访问建立访问链假定嵌套深度为np的过程p调用嵌套深度为nx的过程xnp

936.3非局部名字的访问建立访问链假定嵌套深度为np的过程p调用嵌套深度为nx的过程xnp

946.3非局部名字的访问建立访问链sortreadarrayexchangequicksortpartitionsa,xq(1,9)k,v访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链p(1,3)i,j访问链e(1,3)访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链p(1,3)i,j访问链

956.3非局部名字的访问建立访问链假定嵌套深度为np的过程p调用嵌套深度为nx的过程xnpnx的情况sort1readarray2exchange2quicksort2partition3

966.3非局部名字的访问建立访问链假定嵌套深度为np的过程p调用嵌套深度为nx的过程xnpnx的情况p和x的嵌套深度分别为1，2，…，nx1的外围过程肯定相同

976.3非局部名字的访问建立访问链假定嵌套深度为np的过程p调用嵌套深度为nx的过程xnpnx的情况p和x的嵌套深度分别为1，2，…，nx1的外围过程肯定相同追踪访问链npnx+1次，到达了静态包围x和p的且离它们最近的那个过程的最新活动记录

986.3非局部名字的访问建立访问链假定嵌套深度为np的过程p调用嵌套深度为nx的过程xnpnx的情况p和x的嵌套深度分别为1，2，…，nx1的外围过程肯定相同追踪访问链npnx+1次，到达了静态包围x和p的且离它们最近的那个过程的最新活动记录所到达的活动记录就是x的活动记录中的访问链应该指向的那个活动记录

996.3非局部名字的访问建立访问链sortreadarrayexchangequicksortpartitionsa,xq(1,9)k,v访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链p(1,3)i,j访问链e(1,3)访问链sa,xq(1,3)k,v访问链q(1,9)k,v访问链p(1,3)i,j访问链

1006.3非局部名字的访问programparam(input,output);（过程作为参数）procedureb(functionh(n:integer):integer);beginwriteln(h(2))end{b};procedurec;varm:integer;functionf(n:integer):integer;beginf:=m+nend{f};beginm:=0;b(f)end{c};begincend.

1016.3非局部名字的访问programparam(input,output);（过程作为参数）procedureb(functionh(n:integer):integer);beginwriteln(h(2))end{b};procedurec;varm:integer;functionf(n:integer):integer;beginf:=m+nend{f};beginm:=0;b(f)end{c};begincend.过程作为参数传递时，怎样在该过程被激活时建立它的访问链

1026.3非局部名字的访问programparam(input,output);（过程作为参数）procedureb(functionh(n:integer):integer);beginwriteln(h(2))end{b};procedurec;varm:integer;functionf(n:integer):integer;beginf:=m+nend{f};beginm:=0;b(f)end{c};begincend.过程作为参数传递时，怎样在该过程被激活时建立它的访问链从b的访问链难以建立f的访问链

1036.3非局部名字的访问programparam(input,output);（过程作为参数）procedureb(functionh(…beginwriteln(h(2))end;procedurec;varm:integer;functionf(n:integer)…beginf:=m+nend{f};beginm:=0;b(f)end{c};begincend.访问链访问链paramcmb

1046.3非局部名字的访问programret(input,output);（过程作为返回值）varf:function(integer):integer;functiona:function(integer):integer;varm:integer;functionaddm(n:integer):integer;beginreturnm+nend;beginm:=0;returnaddmend;procedureb(g:function(integer):integer);beginwriteln(g(2))end;beginf:=a;b(f)end.

1056.3非局部名字的访问programret(input,output);（过程作为返回值）varf:function(integer):integer;functiona:function(integer):integer;varm:integer;functionaddm(n:integer):integer;beginreturnm+nend;beginm:=0;returnaddmend;procedureb(g:function(integer):integer);beginwriteln(g(2))end;beginf:=a;b(f)end.retabaddm

1066.3非局部名字的访问C语言的函数声明不能嵌套，函数不论在什么情况下激活，要访问的数据分成两种情况:非静态局部变量（包括形式参数），它们分配在活动记录栈顶的那个活动记录中外部变量（包括定义在其它源文件中的外部变量）和静态的局部变量，它们都分配在静态数据区

1076.3非局部名字的访问6.3.3动态作用域被调用过程的非局部名字a和它在调用过程中引用的是同样的存储单元

1086.3非局部名字的访问6.3.3动态作用域被调用过程的非局部名字a和它在调用过程中引用的是同样的存储单元新的绑定仅为被调用过程的局部名字建立，这些名字在被调用过程的活动记录中占用的存储单元

1096.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;beginr:=0.25;show;small;writeln;show;small;writelnend.

1106.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;beginr:=0.25;show;small;writeln;show;small;writelnend.dynamicshowsmallsmallshowshowshow

1116.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;begin静态作用域r:=0.25;0.2500.250show;small;writeln;0.2500.250show;small;writelnend.dynamicshowsmallsmallshowshowshow

1126.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;begin动态作用域r:=0.25;0.2500.125show;small;writeln;0.2500.125show;small;writelnend.dynamicshowsmallsmallshowshowshow

1136.3非局部名字的访问实现动态作用域的方法深访问用控制链搜索运行栈，寻找包含该非局部名字的第一个活动记录浅访问为每个名字在静态分配的存储空间中保存它的当前值当过程p的新活动出现时，p的局部名字n使用在静态数据区分配给n的存储单元。n的先前值可以保存在p的活动记录中，当p的活动结束时再恢复

1146.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;begin(绿色表示已执行部分)r:=0.25;show;small;writeln;show;small;writelnend.dynamicshowsmallsmallshowshowshow?r静态区使用值的地方栈区暂存值的地方dynamicr?

1156.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;beginr:=0.25;show;small;writeln;show;small;writelnend.dynamicshowsmallsmallshowshowshow0.25rdynamicr?静态区使用值的地方栈区暂存值的地方

1166.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;beginr:=0.25;show;small;writeln;show;small;writelnend.dynamicshowsmallsmallshowshowshow0.25rdynamicr?show静态区使用值的地方栈区暂存值的地方

1176.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;beginr:=0.25;show;small;writeln;show;small;writelnend.dynamicshowsmallsmallshowshowshow0.25rdynamicr?smallr0.25静态区使用值的地方栈区暂存值的地方

1186.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;beginr:=0.25;show;small;writeln;show;small;writelnend.dynamicshowsmallsmallshowshowshow0.125rdynamicr?smallr0.25静态区使用值的地方栈区暂存值的地方

1196.3非局部名字的访问programdynamic(input,output);varr:real;procedureshow;beginwrite(r:5:3)end;proceduresmall;varr:real;beginr:=0.125;showend;beginr:=0.25;show;small;writeln;show;small;writelnend.dynamicshowsmallsmallshowshowshow0.25rdynamicr?静态区使用值的地方栈区暂存值的地方

1206.4参数传递6.4.1值调用实参的右值传给被调用过程值调用可以如下实现把形参当作所在过程的局部名看待，形参的存储单元在该过程的活动记录中

1216.4参数传递6.4.1值调用实参的右值传给被调用过程值调用可以如下实现把形参当作所在过程的局部名看待，形参的存储单元在该过程的活动记录中调用过程计算实参，并把其右值放入形参的存储单元中

1226.4参数传递6.4.2引用调用实参的左值传给被调用过程引用调用可以如下实现：把形参当作所在过程的局部名看待，形参的存储单元在该过程的活动记录中调用过程计算实参，把实参的左值放入形参的存储单元

1236.4参数传递6.4.2引用调用实参的左值传给被调用过程引用调用可以如下实现：把形参当作所在过程的局部名看待，形参的存储单元在该过程的活动记录中调用过程计算实参，把实参的左值放入形参的存储单元在被调用过程的目标代码中，任何对形参的引用都是通过传给该过程的指针来间接引用实参

1246.4参数传递6.4.3换名调用用实参表达式对形参进行正文替换proceduresx,y:integer);vartemp:integer;begintemp:=x;x:=y;y:=tempend

1256.4参数传递6.4.3换名调用用实参表达式对形参进行正文替换proceduresx,y:integer);vartemp:integer;begin调用swap(i,a[i])temp:=x;x:=y;y:=tempend

1266.4参数传递6.4.3换名调用用实参表达式对形参进行正文替换proceduresx,y:integer);vartemp:integer;begin调用swap(i,a[i])temp:=x;temp:=i;x:=y;i:=a[i];y:=tempa[i]:=tempend

1276.5堆管理堆式分配堆用来存放生存期不确定的数据C++和Java允许程序员用new创建对象，它们的生存期没有被约束在创建它们的过程活动的生成期之内实现内存回收是内存管理器的责任堆空间的回收有两种不同方式程序显式释放空间：free（C）或delete（C++）垃圾收集器自动收集（Java）

1286.5堆管理6.5.1内存管理器内存管理器把握的基本信息是堆中空闲空间分配函数回收函数内存管理器应具有下列性质空间有效性：极小化程序需要的堆空间总量程序有效性：较好地利用内存子系统，使得程序能运行得快一些低开销：分配和回收操作所花时间在整个程序执行时间中的比例尽量小

1296.5堆管理6.5.2计算机内存分层虚拟内存(磁盘)物理内存2级缓存1级缓存寄存器(处理器)典型大小>2千兆字节256兆2千兆字节128千4兆字节1664千字节32字典型访问时间315微秒100150纳秒4060纳秒510纳秒1纳秒

1306.5堆管理6.5.2计算机内存分层现代计算机都设计成程序员不用关心内存子系统的细节就可以写出正确的程序程序的效率不仅取决于被执行的指令数，还取决于执行每条指令需要多长时间执行一条指令的时间区别非常可观差异源于硬件技术的基本局限：构造不了大容量的高速存储器数据以块（缓存行、页）为单位在相邻层次之间进行传送数据密集型程序可从恰当利用内存子系统中获益

1316.5堆管理6.5.3程序局部性大多数程序的大部分时间在执行一小部分代码，并且仅涉及一小部分数据时间局部性程序访问的内存单元在很短的时间内可能再次被程序访问空间局部性毗邻被访问单元的内存单元在很短的时间内可能被访问

1326.5堆管理6.5.3程序局部性从代码本身很难看出哪部分代码会被频繁使用,必须动态调整最快缓存的内容把最近使用的指令保存在缓存是一种较好的最优化利用内存分层的策略改变数据布局或计算次序也可以改进程序数据访问的时间和空间局部性

1336.5堆管理6.5.4手工回收请求程序员在程序中显式释放堆块来达到回收堆块的目的内存泄漏：没有释放已经引用不到的堆块只要内存没有用尽，它就不影响程序的正确性自动无用单元收集通过回收所有无用单元来摆脱内存泄漏悬空引用：引用已经被释放的堆块过分热心地释放数据对象而引起悬空引用容易导致不会被捕获的错误

134本章要点影响存储分配策略的语言特征各种存储分配策略，主要了解静态分配和动态栈式分配活动记录中各种数据域的作用和安排非局部数据访问的实现方法各种参数传递方式及其实现堆管理

135例题1一个C语言程序及其在X86/Linux操作系统上的编译结果如下。根据所生成的汇编程序来解释程序中四个变量的存储分配、作用域、生存期和置初值方式等方面的区别staticlongaa=10;shortbb=20;func(){staticlongcc=30;shortdd=40;}

136例题1.data|.align4.align4|.typecc.2,@object.typeaa,@object|.sizecc.2,4.sizeaa,4|cc.2:aa:|.long30.long10|.text.globlbb|.align4.align2|.globlfunc.typebb,@object|func:.sizebb,2|...bb:|movw$40,-2(%ebp).value20|...

137例题2main(){char*cp1,*cp2;cp1="12345";cp2="abcdefghij";strcpy(cp1,cp2);printf("cp1=%s

138cp2=%s

139",cp1,cp2);}在某些系统上的运行结果是：cp1=abcdefghijcp2=ghij为什么cp2所指的串被修改了？

140例题2因为常量串“12345”和“abcdefghij”连续分配在常数区执行前：12345\0abcdefghij\0cp1cp2

141例题2因为常量串“12345”和“abcdefghij”连续分配在常数区执行前：12345\0abcdefghij\0cp1cp2执行后：abcdefghij\0fghij\0cp1cp2

142例题2因为常量串“12345”和“abcdefghij”连续分配在常数区执行前：12345\0abcdefghij\0cp1cp2执行后：abcdefghij\0fghij\0cp1cp2现在的编译器大都把程序中的串常量单独存放在只读数据段中，因此运行时会报错

143例题3func(i)longi;{longj;j=i-1;func(j);}

144例题3func(i)func:longi;pushl%ebp老的基地址指针压栈{movl%esp,%ebp修改基地址指针longj;subl$4,%esp为j分配空间j=i-1;movl8(%ebp),%edx取i到寄存器func(j);decl%edxi–1}movl%edx,-4(%ebp)i–1jmovl-4(%ebp),%eaxpushl%eax把实参j的值压栈callfunc函数调用addl$4,%esp恢复栈顶指针L1:leave即movebp,esp;popebpret即popeip(下条指令地址）...参数i返址控制链变量j...ebpesp栈低高

145例题3func(i)func:longi;pushl%ebp老的基地址指针压栈{movl%esp,%ebp修改基地址指针longj;subl$4,%esp为j分配空间j=i-1;movl8(%ebp),%edx取i到寄存器func(j);decl%edxi–1}movl%edx,-4(%ebp)i–1jmovl-4(%ebp),%eaxpushl%eax把实参j的值压栈callfunc函数调用addl$4,%esp恢复栈顶指针L1:leave即movebp,esp;popebpret即popeip(下条指令地址）...参数i返址控制链变量j...ebpesp栈低高调用序列返回序列

146例题4下面的程序运行时输出3个整数。试从运行环境和printf的实现来分析，为什么此程序会有3个整数输出？main(){printf(“%d,%d,%d

147”);}

148例题5func(i,j,f,e)shorti,j;floatf,e;{shorti1,j1;floatf1,e1;printf(&i,&j,&f,&e);printf(&i1,&j1,&f1,&e1);}main(){shorti,j;floatf,e;func(i,j,f,e);}Addressofi,j,f,e=…36,…42,…44,…54（八进制数）Addressofi1,j1,f1,e1=…26,…24,…20,…14

149例题5func(i,j,f,e)Sizesofshort,int,long,float,shorti,j;floatf,e;double=2,4,4,4,8{（在SPARC/SUN工作站上）shorti1,j1;floatf1,e1;printf(&i,&j,&f,&e);printf(&i1,&j1,&f1,&e1);}main(){shorti,j;floatf,e;func(i,j,f,e);}Addressofi,j,f,e=…36,…42,…44,…54（八进制数）Addressofi1,j1,f1,e1=…26,…24,…20,…14

150例题5func(i,j,f,e)Sizesofshort,int,long,float,shorti,j;floatf,e;double=2,4,4,4,8{（在SPARC/SUN工作站上）shorti1,j1;floatf1,e1;printf(&i,&j,&f,&e);printf(&i1,&j1,&f1,&e1);}main()为什么4个形式参数i,j,f,e的地址{间隔和它们类型的大小不一致shorti,j;floatf,e;func(i,j,f,e);}Addressofi,j,f,e=…36,…42,…44,…54（八进制数）Addressofi1,j1,f1,e1=…26,…24,…20,…14

151例题5当用传统的参数声明方式时，C语言编译器是不做实在参数和形式参数的个数和类型是否一致的检查的，由程序员自己保证它们的一致性

152例题5当用传统的参数声明方式时，C语言编译器是不做实在参数和形式参数的个数和类型是否一致的检查的，由程序员自己保证它们的一致性但是对于形式参数和实在参数是不同的整型，或者是不同的实型，编译器则试图保证目标代码运行时能得到正确的结果，条件是，当需要把高级别类型数据向低级别类型数据转换时，不出现溢出

153例题5当用传统的参数声明方式时，C语言编译器是不做实在参数和形式参数的个数和类型是否一致的检查的，由程序员自己保证它们的一致性但是对于形式参数和实在参数是不同的整型，或者是不同的实型，编译器则试图保证目标代码运行时能得到正确的结果，条件是，当需要把高级别类型数据向低级别类型数据转换时，不出现溢出当整型或实型数据作为实在参数时，将它们分别提升到long和double类型的数据再传递到被调用函数

154例题5当用传统的参数声明方式时，C语言编译器是不做实在参数和形式参数的个数和类型是否一致的检查的，由程序员自己保证它们的一致性但是对于形式参数和实在参数是不同的整型，或者是不同的实型，编译器则试图保证目标代码运行时能得到正确的结果，条件是，当需要把高级别类型数据向低级别类型数据转换时，不出现溢出当整型或实型数据作为实在参数时，将它们分别提升到long和double类型的数据再传递到被调用函数被调用函数根据形式参数所声明的类型，决定是否要将实在参数向低级别类型转换

155例题5低地址放高位高地址放低位shortlong长整型和短整型floatdouble双精度型和浮点型

156例题5e，8个字节在main函数中参数压栈时的观点在func函数中存取形式参数时的观点4个字节，起始地址544个字节，起始地址442个字节，起始地址422个字节，起始地址36f，8个字节j，4个字节i，4个字节栈的增长方向参数在栈中的情况

157例题6下面程序为什么死循环（在SPARC/SUN工作站上）？main(){addr();loop();}long*p;loop(){longi,j;j=0;for(i=0;i<10;i++){(*p)--;j++;}}addr(){longk;k=0;p=&k;}

158例题6将long*p改成short*p，longk改成shortk后，循环体执行一次便停止，为什么？main(){addr();loop();}short*p;loop(){longi,j;j=0;for(i=0;i<10;i++){(*p)--;j++;}}addr(){shortk;k=0;p=&k;}

159例题6将long*p改成short*p，longk改成shortk后，循环体执行一次便停止，为什么？main(){addr();loop();}short*p;活动记录栈是从高向低方向增长loop(){longi,j;j=0;for(i=0;i<10;i++){(*p)--;j++;}}addr(){shortk;k=0;p=&k;}低地址放高位高地址放低位shortklongi

160例题7main(){func();printf("Returnfromfunc

161");}func(){chars[4];strcpy(s,"12345678");printf("%s

162",s);}

163例题7main(){func();printf("Returnfromfunc

164");}func(){chars[4];strcpy(s,"12345678");printf("%s

165",s);}在X86/Linux操作系统上的运行结果如下：ReturnfromfuncSegmentationfault(coredumped)

166例题7main(){func();printf("Returnfromfunc

167");}func(){chars[4];strcpy(s,"12345678");printf("%s

168",s);}......返址控制链变量sebpesp栈低高

169例题7main(){func();printf("Returnfromfunc

170");}func(){chars[4];strcpy(s,"123456789");printf("%s

171",s);}123456789Segmentationfault(coredumped)......返址控制链变量sebpesp栈低高

172例题8intfact(i)|main()inti;|{{|printf("%d

173",fact(5));if(i==0)|printf("%d

174",fact(5,10,15));return1;|printf("%d

175",fact(5.0));else|printf("%d

176",fact());returni*fact(i-1);|}}该程序在X86/Linux机器上的运行结果如下：1201201Segmentationfault(coredumped)

177例题8请解释下面问题：第二个fact调用：结果为什么没有受参数过多的影响？第三个fact调用：为什么用浮点数5.0作为参数时结果变成1?第四个fact调用：为什么没有提供参数时会出现Segmentationfault？

178例题8请解释下面问题：第二个fact调用：结果为什么没有受参数过多的影响？解答：参数表达式逆序计算并进栈，fact能够取到第一个参数

179例题8请解释下面问题：第三个fact调用：为什么用浮点数5.0作为参数时结果变成1?解答：参数5.0转换成双精度数进栈，占8个字节它低地址的4个字节看成整数时正好是0...参数返址控制链局部变量ebpesp栈低高

180例题8请解释下面问题：第四个fact调用：为什么没有提供参数时会出现Segmentationfault？解答：由于没有提供参数，fact把老ebp（控制链）（main的活动记录中保存的ebp）当成参数，它一定是一个很大的整数，使得活动记录栈溢出...参数返址控制链局部变量ebpesp栈低高

181习题第一次：6.3,6.4,6.5第二次：6.6,6.9,6.12第三次：6.16,6.18,6.23