用于面向对象的程序的基于区域的存储器管理

摘要

修改一种面向对象的程序以便在特定区域中生成对象，使得存储器的分配解除能够同时相对于整个区域发生。区域之间的内容和关联由一个或多个形状图描述，该形状图是根据对程序代码的分析生成的。当需要将不超过一个的区域传递到每个传递的对象的方法时，由形状图存储的区域关联元数据使得基于区域的存储器管理能够发生。