本文選題：存儲(chǔ)管理　切入點(diǎn)：指向圖　出處：《小型微型計(jì)算機(jī)系統(tǒng)》2015年07期

【摘要】：對(duì)堆內(nèi)存對(duì)象進(jìn)行存儲(chǔ)管理優(yōu)化需要的支撐信息之一是堆對(duì)象的結(jié)構(gòu)信息,本文定義指向圖來(lái)抽象堆內(nèi)存對(duì)象及其結(jié)構(gòu),把獲取結(jié)構(gòu)信息的過(guò)程變成推導(dǎo)指向圖的過(guò)程.針對(duì)過(guò)程內(nèi)的指向圖推導(dǎo),提出一種利用強(qiáng)連通分量和后支配關(guān)系的流敏感、域敏感的分析算法.針對(duì)過(guò)程間的指向圖推導(dǎo),提出一種遞歸式的上下文敏感的算法.本文的算法在開(kāi)源編譯器LLVM的中間語(yǔ)言上進(jìn)行了實(shí)現(xiàn).實(shí)驗(yàn)表明,本文的算法能達(dá)到預(yù)期的分析效果.
[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 .

【作者單位】： 中國(guó)科學(xué)技術(shù)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金項(xiàng)目(61170018)資助 國(guó)家“八六三”高技術(shù)研究發(fā)展計(jì)劃項(xiàng)目(2012AA010901)資助
【分類號(hào)】：TP333.1;TP314

【共引文獻(xiàn)】

相關(guān)期刊論文 前1條

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

相關(guān)碩士學(xué)位論文 前2條

1 曾锃;基于一階謂詞邏輯的代碼查詢技術(shù)[D];南京大學(xué);2011年

2 張學(xué)令;程序優(yōu)化與程序變換方法的研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2014年

【相似文獻(xiàn)】

相關(guān)期刊論文 前6條

1 陳桂琴,趙志峰;堆內(nèi)存的約瑟芬問(wèn)題應(yīng)用[J];河北工程技術(shù)高等�？茖W(xué)校學(xué)報(bào);2005年03期

2 胡兆陽(yáng),謝余強(qiáng),舒輝;Windows下堆內(nèi)存管理機(jī)制研究[J];計(jì)算機(jī)工程與應(yīng)用;2005年17期

3 胡光;柴志雷;涂時(shí)亮;陳章龍;;一種用于硬Java實(shí)時(shí)平臺(tái)的非堆內(nèi)存模型[J];小型微型計(jì)算機(jī)系統(tǒng);2013年03期

4 劉永丹;陳炳富;;Windows全局堆/局部堆內(nèi)存混合分配技術(shù)[J];計(jì)算機(jī)世界;1994年07期

5 董龍明;王戟;陳立前;董威;;基于局部堆內(nèi)存抽象表示的堆操作程序內(nèi)存泄露檢測(cè)[J];計(jì)算機(jī)研究與發(fā)展;2012年09期

6 ;[J];;年期

，

本文編號(hào)：1706333