改进的基于包含的指针分析在线优化技术.pdfVIP

第３１卷第２期　　　 计算机应用与软件 Ｖｏｌ３１Ｎｏ．２ ２０１４年２月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｆｅｂ．２０１４ 改进的基于包含的指针分析在线优化技术 邓朝日　张玉萍 （上海师范大学信息与机电工程学院　上海２００２３４） 摘　要　　针对当前最优秀的基于包含的指针分析在线优化技术即横向传播和纵向传播方法的不足之处，提出一个改进的算法。 首先简要介绍基于包含的指针分析方法及其在线优化技术；其次描述横向传播和纵向传播方法，进而说明它们存在的一些缺陷；然 后针对这些缺陷提出一个改进的算法，该算法能够在不损失时间开销的条件下以更小的内存开销实现横向传播，能在纵向传播过程 中检测出约束图中所有的强连通分量；最后通过一个实例分析及使用ＣＩＬ工具进行的实验验证了该改进算法的优越性。 关键词　　指针分析　在线优化　横向传播　纵向传播　约束图　强连通分量 中图分类号　ＴＰ３１１　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１４．０２．０７２ ＩＭＰＲＯＶＥＤＩＮＣＬＵＳＩＯＮＢＡＳＥＤＯＮＬＩＮＥＰＯＩＮＴＥＲ ＡＮＡＬＹＳＩＳＯＰＴＩＭＩＳＡＴＩＯＮＴＥＣＨＮＯＬＯＧＹ ＤｅｎｇＺｈａｏｒｉ　ＺｈａｎｇＹｕｐｉｎｇ （ＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｏｎ，ＭｅｃｈａｎｉｃａｌａｎｄＥｌｅｃｔｒｉｃａｌＥｎｇｉｎｅｅｒｉｎｇ，ＳｈａｎｇｈａｉＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２００２３４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｉｎｖｉｅｗｏｆｔｈｅｄｅｆｉｃｉｅｎｃｙｏｆｔｈｅｓｔａｔｅｏｆｔｈｅａｒｔｔｅｃｈｎｉｑｕｅｏｆｉｎｃｌｕｓｉｏｎｂａｓｅｄｏｎｌｉｎｅｐｏｉｎｔｅｒａｎａｌｙｓｉｓｏｐｔｉｍｉｓａｔｉｏｎｔｅｃｈｎｏｌｏｇｙ， ｉ．ｅ．ｔｈｅｔｒａｎｓｖｅｒｓｅｐｒｏｐａｇａｔｉｏｎａｎｄｌｏｎｇｉｔｕｄｉｎａｌｐｒｏｐａｇａｔｉｏｎａｌｇｏｒｉｔｈｍ，ｗｅｐｒｏｐｏｓｅａｎｉｍｐｒｏｖｅｄａｌｇｏｒｉｔｈｍ．Ｆｉｒｓｔｗｅｂｒｉｅｆｌｙｉｎｔｒｏｄｕｃｅｔｈｅ ｉｎｃｌｕｓｉｏｎｂａｓｅｄｐｏｉｎｔｅｒａｎａｌｙｓｉｓｔｅｃｈｎｏｌｏｇｙａｎｄｉｔｓｏｎｌｉｎｅｏｐｔｉｍｉｓａｔｉｏｎｔｅｃｈｎｏｌｏｇｙ；ａｎｄｔｈｅｎｗｅｄｅｓｃｒｉｂｅｔｈｅｔｒａｎｓｖｅｒｓｅｐｒｏｐａｇａｔｉｏｎａｎｄ ｌｏｎｇｉｔｕｄｉｎａｌｐｒｏｐａｇａｔｉｏｎａｌｇｏｒｉｔｈｍａｎｄｆｕｒｔｈｅｒ，ｓｏｍｅｏｆｔｈｅｉｒｄｒａｗｂａｃｋｓ．Ａｆｔｅｒｔｈａｔ，ａｃｃｏｒｄｉｎｇｔｏｔｈｅｓｅｄｅｆｅｃｔｓｗｅｐｒｏｐｏｓｅａｎｉｍｐｒｏｖｅｄ ａｌｇｏｒｉｔｈｍ，ｗｈｉｃｈｉｓａｂｌｅｔｏａｃｈｉｅｖｅｔｒａｎｓｖｅｒｓｅｐｒｏｐａｇａｔｉｏｎｗｉｔｈｓｍａｌｌｅｒｍｅｍｏｒｙｏｖｅｒｈｅａｄａｎｄａｌｍｏｓｔｅｑｕｉｖａｌｅｎｔｔｉｍｅｃｏｓｔｔｏｔｈｅｏｒｉｇｉｎａｌ ａｌｇｏｒｉｔｈｍ，ａｎｄｃａｎｄｅｔｅｃｔａｌｌｔｈｅｓｔｒｏｎｇｌｙｃｏｎｎｅｃｔｅｄｃｏｍｐｏｎｅｎｔｓｉｎｃｏｎｓｔｒａｉｎｔｇｒａｐｈｄｅｔｅｃｔｅｄｉｎｔｈｅｐｒｏｃｅｓｓｏｆｌｏｎｇｉｔｕｄｉｎａｌｐｒｏｐａｇａｔｉｏｎ． ＦｉｎａｌｌｙｗｅｖｅｒｉｆｙｔｈｅｓｕｐｅｒｉｏｒｉｔｙｏｆｔｈｅｉｍｐｒｏｖｅｄａｌｇｏｒｉｔｈｍｖｉａａｎｅｘａｍｐｌｅａｎａｌｙｓｉｓａｎｄｔｈｅｅｘｐｅｒｉｍｅｎｔｕｓｉｎｇＣＩＬｔｏｏｌ． Ｋｅｙｗｏｒｄｓ　　Ｐｏｉｎｔｅｒａｎａｌｙｓｉｓ　Ｏｎｌｉｎｅｏｐｔｉｍｉｓａｔｉｏｎ　Ｔｒａｎｓｖｅｒｓｅｐｒｏｐａｇａｔｉｏｎ　Ｌｏｎｇｉｔｕｄｉｎａｌｐｒｏｐａｇａｔｉｏｎ　Ｃｏｎｓｔｒａｉｎｔｇｒａｐｈ　Ｓｔｒｏｎｇｌｙｃｏｎ ｎｅｃｔｅｄｃｏｍｐｏｎｅｎｔｓ （对应文献［９］中算法６的ｒｅｐｅａｔ操作伪代码，简称ＣＣＳ算法）。