8第八章_存储空间组织12节.pptxVIP

;存储空间分配策略 1).静态分配 存储分配由编译程序在编译时进行； 2).动态分配 在编译时生成相应(申请空间)的目标 程序，在目标程序运行时，执行该代码， 进行存储分配。 （有：栈式存储分配，堆式存储分配）;影响存储分配策略的源语言主要特征 1). 过程能否递归调用；;影响存储分配策略的源语言主要特征 2).是否有可变数组（可变数组的大小创建时决定）；;影响存储分配策略的源语言主要特征 3). 过程能否访问非局部且非全局的变量 如：Pascal语言的过程嵌套声明,内层可以访问 外层定义的名字;影响存储分配策略的源语言主要特征 4). 是否有分程序结构（分程序中可以有变量声明）;影响存储分配策略的源语言主要特征 5). 名字的作用域 如， C语言的static，extern。;影响存储分配策略的源语言主要特征 6). 过程调用时如何传递参数； 如：传值，传地址，得结果，传名等。 7). 哪些实体可以作为参数和返回值； 如：简单变量，结构变量，标号，过程等， 是否可以做为参数被传递和做为结果被返回？ 7). 是否允许动态的为对象分配存储空间； 如：C：malloc、calloc； pascal：New、GetMem 8).存储空间是否必须显式地释放 如：C：free pascal： Dispose、FreeMem;§8.1 目标程序运行时的活动;;§8.1.2 参数传递 ;;信息传递中，涉及到两类参数: ⑴ 属于被调用过程： 用于表示相应数据在过程执行当中的含义 —— 形式参数（形参，或哑元）;信息传递中，涉及到两类参数: ⑵ 属于调用者： 用于装载调用者对被调过程的输入/输出数据； —— 实在参数 （实参 ）;形参与实参之间按照从左到右的顺序一一对应。 即：处于两个列表的相同位置的变元，意味着它们 是相互关联的。 ;传值调用（Call by value）;program main(input，output); ?? var A，B ： integer； ?? procedure P(X,Y,Z:integer); ?? ?? begin Y:=Y+1；Z:=Z+X； end;  begin A:=2; B:=3; P(A+B,A,A); writeln(‘A=’，A） ???end. ;传地址 (引用调用) ( Call-by-address ) ;program main(input，output); ??? var A，B ： integer； ??? procedure P(X,Y,Z:integer); ??? ?? begin Y:=Y+1；Z:=Z+X； end;  begin A:=2; B:=3; P(A+B,A,A); writeln(‘A=’，A） ??? end. ;;;得结果 ( Call by result )  或 复制恢复 ( Copy-Restore );program main(input，output); ???var A，B ： integer； ???procedure P(X,Y,Z:integer); ???? begin Y:=Y+1；Z:=Z+X； end;  begin A:=2; B:=3; P(A+B,A,A); writeln(‘A=’，A） ?end. ;传名调用  或：换名调用 ( Call-by-Name );program main(input,output); ?? var A，B ： integer； ??procedure P(X,Y,Z:integer); ? ? begin Y:=Y+1；Z:=Z+X； end;  begin A:=2; B:=3; P(A+B,A,A); writeln(‘A=’，A） ?end. ;§8.2 运行时存储器的划分 §8.2.1 运行时存储器的划分;一个程序在运行时刻的内存划分:;静态数据： 编译时就可以确定存储位置的数据。 如：*) FORTRAN77 ：所有的数据； *) Pascal ： 全局变量； *) C ： 外部变量，静态