第8章运行时的存储组织哈工大王宏志.ppt

8.5.1 无过程嵌套的静态作用域 C语言的函数声明不能嵌套，函数不论在什么情况下激活，要访问的数据分成两种情况: 非静态局部变量（包括形式参数），它们分配在活动记录栈顶的那个活动记录中 外部变量（包括定义在其它源文件中的外部变量）和静态的局部变量，它们都分配在静态数据区 堆区空间分配策略 最佳适应策略 总是将请求的内存分配在满足要求的最小可用孔洞中 倾向于将大孔洞预留起来以便用来满足后续的更大请求，这是令程序产生最少碎片的一种很好的堆分配策略 堆区空间分配策略 首次适应策略 将请求的内存分配在第一个满足要求的孔洞中 这种策略在分配空间时所花费的时间较少，但在总体性能上要低于最佳适应策略 堆区空间分配策略 如果将空闲块按大小不同放入不同的桶中，则可以更有效地实现最佳适应策略 桶机制更容易按最佳适应策略找到所需的空闲块： 如果被请求的空闲块尺寸对应有一个专用桶，，则从该桶中任意取出一个空闲块即可 如果被请求的空闲块尺寸没有对应的专用桶，则找一个允许存放所需尺寸空闲块的桶。在桶中使用首次适应策略或者最佳适应策略寻找满足要求的空闲块 如果目标桶是空的，或者桶中没有满足要求的空闲块，则需要在稍大的桶中进行搜索 空闲空间管理策略 如果通过手工方式释放某个对象所占用的内存块，则内存管理器必须将其设置为空闲的，以便它可以被再次分配。为了减少碎片的产生，如果回收的内存块在堆中的相邻块也是空闲的，则需要将它们合并成更大的空闲块。 可以使用下面的两种数据结构来接合相邻的空闲块 边界标签 双向链接的空闲块列表 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5. 过程返回时，执行下述指令: TOP:=SP-1 SP:=0[SP] X:=2[TOP] UJ 0[X] 参数个数 返回地址 形式单元 临时单元 内情向量 局部变量 老SP Display 表 全局Display TOP? SP ? 调用过程的 活动记录 …… TOP? SP ? 过程调用、过程进入、过程返回 * * 8.5.3 动态作用域的实现 从技术上讲，如果作用域策略需要基于程序运行时才能知道的因素，则任何作用域策略都将是动态的。但“动态作用域”这个术语通常是指下面的策略：名字x的引用指向带有x声明的最近被调用的过程中x的这个声明。 在某种意义上说，动态作用域规则相对于时间，而静态作用域规则相对于空间。 * * 8.5.3 动态作用域 程序运行时，一个名字a实施其影响，直到含a的声明的一个过程开始执行时暂停，此过程停止时，该影响恢复。 设有下面的的调用序列： A ? B ? C ? P 过程P中有对x的非局部引用，沿动态链（红链）查找，最先找到的便是。 * * 8.5.3 动态作用域 program dynamic(input, output); var r: real; procedure show; begin write(r: 5: 3) end; procedure small; var r: real; begin r := 0.125; show end; begin 静态作用域 r := 0.25; 0.250 0.250 show; small; writeln; 0.250 0.250 show; small; writeln end. dynamic show small small show show show * * 8.5.3 动态作用域 program dynamic(input, output); var r: real; procedure show; begin write(r: 5: 3) end; procedure small; var r: real; begin r := 0.125; show end; begin 动态作用域 r := 0.25; 0.250 0.125 show; small; writeln; 0.250 0.125