[发明专利]一种无损压缩系统依赖图的方法及装置

权利要求书

1.一种无损压缩系统依赖图的方法，其特征在于，包括：

根据别名分析信息获取程序中所有变量间的等价关系，并根据所述等价关系将所有变量分为不同的等价类；其中，所述别名分析信息是根据别名分析算法得到的；

根据系统依赖图中的各个节点所代表的变量所属的等价类为所述系统依赖图中的各个节点设置键值；

根据所述系统依赖图中的各个节点的键值对所述系统依赖图进行压缩。

2.根据权利要求1所述的无损压缩系统依赖图的方法，其特征在于，所述根据别名分析信息获取程序中所有变量间的等价关系，并根据所述等价关系将所有变量分为不同的等价类包括：

根据所述别名分析信息建立从第一变量集合到指向所述变量集合中每个变量的指针集合的幂集的映射f，所述第一变量集合为程序中所有变量的集合；

根据所述映射f建立从所述指针集合的幂集到第二变量集合的映射f'，将所有变量分为不同的等价类；所述第二变量集合为被同一组指针所指向的变量的集合。

3.根据权利要求2所述的无损压缩系统依赖图的方法，其特征在于，所述根据所述别名分析信息建立从第一变量集合到指向所述变量集合中每个变量的指针集合的幂集的映射f包括：

为程序中的每个指针变量建立一个由该指针变量所指向的变量构成的指向集，为所有指向集中出现的每个变量建立一个空集合；

将每个指针变量添加到该指针变量所指向的变量对应的空集合中，以得到所述映射f。

4.根据权利要求2所述的无损压缩系统依赖图的方法，其特征在于，根据所述映射f建立从所述指针集合的幂集到第二变量集合的映射f'，将所有变量分为不同的等价类包括：

建立第i个空集合，将所述映射f的定义域中一个变量var，以及所有被映射到f(var)的变量添加到所述第i个空集合中，得到第i个等价类，并对所述第i个等价类设置编号，并从所述映射f的定义域中删除添加到所述第i个空集合中的变量，直至映射f的定义域中的变量个数为0；其中，i的起始值为1，所述变量var表示映射f的定义域中的任意一个变量。

5.根据权利要求1至4任意一项所述的无损压缩系统依赖图的方法，其特征在于，所述根据系统依赖图中的各个节点所代表的变量所属的等价类为所述系统依赖图中的各个节点设置键值包括：

将所述系统依赖图上的各个节点所代表的变量所属的等价类的编号对应设置为所述各个节点的键值。

6.根据权利要求1至4任意一项所述的无损压缩系统依赖图的方法，其特征在于，所述根据所述系统依赖图中的各个节点的键值对所述系统依赖图进行压缩包括：

若所述系统依赖图上的任意一个节点的前驱节点集合或者后继节点集合中的任意两个节点拥有相同的键值，并且所述任意两个节点中有一个是副作用节点，则将所述任意两个节点中的副作用节点的出入边依次转化为所述任意两个节点中另外一个节点的出入边；

删除所述系统依赖图中所有孤立的节点；

合并所述系统依赖图上具有相同的源点和汇点的有向边。

7.一种系统依赖图无损压缩装置，其特征在于，包括：

等价类获取模块，用于根据别名分析信息获取程序中所有变量间的等价关系，并根据所述等价关系将所有变量分为不同的等价类，其中，所述别名分析信息是根据别名分析算法得到的；

键值设置模块，用于根据系统依赖图中的各个节点所代表的变量所属的等价类为所述系统依赖图中的各个节点设置键值；

依赖图压缩模块，用于根据所述系统依赖图中的各个节点的键值对所述系统依赖图进行压缩。

8.根据权利要求7所述的系统依赖图无损压缩装置，其特征在于，所述等价类获取模块包括：

映射建立子模块，用于根据所述别名分析信息建立从第一变量集合到指向所述变量集合中每个变量的指针集合的幂集的映射f，所述第一变量集合为程序中所有变量的集合；

等价类获取子模块，用于根据所述映射f建立从所述指针集合的幂集到第二变量集合的映射f'，所述第二变量集合为被同一组指针所指向的变量的集合。