[发明专利]内存空间的分析方法和装置、检查点的保留方法和装置

权利要求书

1.一种内存空间的分析方法，其特征在于，包括下述步骤：

在程序中设置潜在检查点，所述潜在检查点为分析内存空间的指示；

在所述潜在检查点的作用范围内，分析是否有不需要保留的内存空间；

如果有不需要保留的内存空间，则标识所述内存空间不需要保留的属性 的作用域；

所述分析是否有不需要保留的内存空间进一步包括：构造定值-引用链 和函数调用关系；构造常用函数读写行为信息；结合定值-引用链、函数调 用关系和常用函数读写行为信息，进行全局指针别名分析，构造全局指针别 名信息；根据定值-引用链、函数调用关系、全局指针别名信息和常用函数 读写行为信息，分析所述指示所在的程序块是否有不需要保留的内存空间；

所述标识所述内存空间不需要保留的属性的作用域包括：在所述内存空 间不需要保留的属性的作用域的开始位置插入标识作用域开始的函数调用， 在所述内存空间不需要保留的属性的作用域的结束位置插入标识作用域结束 的函数调用；

所述内存空间不需要保留的属性的作用域是指程序执行的某段区间，所 述内存空间在这段区间内是不需要保留的。

2.根据权利要求1所述的内存空间的分析方法，其特征在于，所述潜在检 查点位于循环语句的循环体前。

3.根据权利要求1所述的内存空间的分析方法，其特征在于，所述内存空 间包括全局数组和/或动态申请的空间。

4.根据权利要求1所述的内存空间的分析方法，其特征在于，所述不需要 保留的内存空间包括只读的内存空间和/或先写后读的内存空间。

5.根据权利要求1所述的内存空间的分析方法，其特征在于，所述构造定 值-引用链和函数调用关系包括利用数据流分析技术构造定值-引用链，利 用过程间分析技术构造函数调用关系图。

6.根据权利要求1所述的内存空间的分析方法，其特征在于，所述构造常 用函数读写行为信息包括利用标准库、并行库以及常用函数库的特征构造常 用函数读写行为信息表。

7.一种内存空间的分析装置，其特征在于，包括：

设置单元，用于在程序中设置潜在检查点，所述潜在检查点为分析内存 空间的指示；

分析单元，用于所述在潜在检查点的作用范围内，分析是否有不需要保 留的内存空间，包括：构造定值-引用链和函数调用关系；构造常用函数读 写行为信息；结合定值-引用链、函数调用关系和常用函数读写行为信息， 进行全局指针别名分析，构造全局指针别名信息；根据定值-引用链、函数 调用关系、全局指针别名信息和常用函数读写行为信息，分析所述指示所在 的程序块是否有不需要保留的内存空间；

标识单元，用于在所述分析单元分析得到有不需要保留的内存空间时， 标识所述内存空间不需要保留的属性的作用域，包括：在所述内存空间不需 要保留的属性的作用域的开始位置插入标识作用域开始的函数调用，在所述 内存空间不需要保留的属性的作用域的结束位置插入标识作用域结束的函数 调用；

所述内存空间不需要保留的属性的作用域是指程序执行的某段区间，所 述内存空间在这段区间内是不需要保留的。

8.根据权利要求7所述的内存空间的分析装置，其特征在于，所述设置单 元在循环语句的循环体前设置潜在检查点。

9.根据权利要求7所述的内存空间的分析装置，其特征在于，所述内存空 间包括全局数组和/或动态申请的空间。

10.根据权利要求7所述的内存空间的分析装置，其特征在于，所述不需要 保留的内存空间包括只读的内存空间和/或先写后读的内存空间。

11.根据权利要求7所述的内存空间的分析装置，其特征在于，所述标识单 元的标识所述内存空间不需要保留的属性的作用域包括：在所述内存空间不 需要保留的属性的作用域的开始位置插入标识作用域开始的函数调用，在所 述内存空间不需要保留的属性的作用域的结束位置插入标识作用域结束的函 数调用。