一种针对于堆内存对象的结构分析

发布时间：2018-04-03 18:11

  本文选题：存储管理　切入点：指向图　出处：《小型微型计算机系统》2015年07期

【摘要】：对堆内存对象进行存储管理优化需要的支撑信息之一是堆对象的结构信息,本文定义指向图来抽象堆内存对象及其结构,把获取结构信息的过程变成推导指向图的过程.针对过程内的指向图推导,提出一种利用强连通分量和后支配关系的流敏感、域敏感的分析算法.针对过程间的指向图推导,提出一种递归式的上下文敏感的算法.本文的算法在开源编译器LLVM的中间语言上进行了实现.实验表明,本文的算法能达到预期的分析效果.
[Abstract]:One of the supporting information required for storage management optimization of heap memory objects is the structure information of heap objects . In this paper , the structure information of heap objects is abstracted , and the process of obtaining the structure information becomes the process of deriving the pointing graph . In this paper , a recursive context - sensitive algorithm is proposed for the point - directed graph derivation in the process . The algorithm is implemented in the middle of the open source compiler LLVM . The experiment shows that the algorithm can achieve the expected analysis result .

【作者单位】： 中国科学技术大学计算机科学与技术学院;
【基金】：国家自然科学基金项目(61170018)资助 国家“八六三”高技术研究发展计划项目(2012AA010901)资助
【分类号】：TP333.1;TP314

【共引文献】

相关期刊论文 前1条

1 李兆鹏;张昱;陈意云;;A Shape Graph Logic and A Shape System[J];Journal of Computer Science & Technology;2013年06期

相关硕士学位论文 前2条

1 曾锃;基于一阶谓词逻辑的代码查询技术[D];南京大学;2011年

2 张学令;程序优化与程序变换方法的研究[D];中国科学技术大学;2014年

【相似文献】

相关期刊论文 前6条

1 陈桂琴,赵志峰;堆内存的约瑟芬问题应用[J];河北工程技术高等专科学校学报;2005年03期

2 胡兆阳,谢余强,舒辉;Windows下堆内存管理机制研究[J];计算机工程与应用;2005年17期

3 胡光;柴志雷;涂时亮;陈章龙;;一种用于硬Java实时平台的非堆内存模型[J];小型微型计算机系统;2013年03期

4 刘永丹;陈炳富;;Windows全局堆/局部堆内存混合分配技术[J];计算机世界;1994年07期

5 董龙明;王戟;陈立前;董威;;基于局部堆内存抽象表示的堆操作程序内存泄露检测[J];计算机研究与发展;2012年09期

6 ;[J];;年期

，

本文编号：1706333