资源描述：
《一种面向动态链状数据结构的指针定值引用链算法》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、小型微型计算机系统2011年7月第7期JournalofChineseComputerSystemsVol132No.72011一种面向动态链状数据结构的指针定值引用链算法1,21,21,21,2付小朋,张昱,张伟,汪晨1(中国科学技术大学计算机科学与技术学院,合肥230027)2(中国科学技术大学苏州研究院软件安全实验室,江苏苏州215123)E-mai:lyuzhang@ustc.edu.cn摘要:采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状数据结构的语句,具体
2、地,每条对链状数据结构进行定值的语句,算法将找出所有引用被该语句定值的链状数据结构的语句的集合.该算法将被整合到我们设计和开发的并行语言mini-SPC中,指导对操作动态链状数据结构的并行程序的正确分析和程序变换.实验表明基于本文的算法能保证操作动态链状数据结构的指针定值引用链的分析精度,提高分析的效率.关键词:定值引用链;到达定值;别名分析;程序分析;动态链状数据结构中图分类号:TP311文献标识码:A文章编号:1000-1220(2011)07-1412-06StudyonDefinition-useChainsAlgorithminD
3、ynamicPointer-linkedDataStructures1,21,21,21,2FUXiao-peng,ZHANGYu,ZHANGWei,WANGChen1(SchoolofComputerScience&Technology,UniversityofScience&TechnologyofChina,Hefei230027,China)2(SoftwareSecurityLab,SuzhouInstituteforAdvancedStudy,UniversityofScience&TechnologyofChina,Suzho
4、u215123,China)Abstract:Thispaperpresentsaflow-sensitivealgorithmtocomputeintraproceduraldefinition-usechainsindynamicpointer-linkeddatastructures.Theaimistorelatethestatementsthatconstructlinksoflinkeddatastructures(.ie.definitions)tostatementsthatmighttraversethestructure
5、sthoughthelinks(.ie.uses).Specifically,foreachstatementSthatdefineslinksoflinkeddatastructures,thealgorithmfindsthesetofstatementsthattraversethelinkswhicharedefinedbyS.Ourmethodwillbeincorporatedin-totheparallellanguagemini-SPCdesignedanddevelopedbyus.Itisusedtobeincharge
6、ofaccuratelyanalyzingandtransformingtheparallelprogramindynamicpointer-linkeddatastructures.Experimentalresultsillustratethattheproposedalgorithmforcompu-tingdefinition-usechainscouldmaintainthequalityofdefinition-usechainsfordynamicallyallocatedlocationandimprovethea-naly
7、siscsperformanceefficiently.Keywords:definition-usechains;reaching-definition;aliasanalysis;programanalysis;dynamiclinkeddatastructures1引言现有的别名分析研究成果主要是在精度和时空效率之间做取舍.精确的别名分析,可以移除不再有效的到达定值,提高定一个变量的定值引用链是连接该变量的定值语句到所有值引用链的精度,这样这些定值就不会被错误地传播到任何可能流经到的对该定值的引用语句.定值引用链被广泛地应随后的引用.
8、[1][2]用于优化和并行编译器,甚至于软件工程工具中.确定本文设计一种新的面向动态链状数据结构的指针定值引含有动态链状数据结构(如链表,二叉链表示的树等)的指针用算法,别名信息
