| 专利名称 | 一种基于代数系统的跨文件过程间优化方法 | 申请号 | CN201310579365.X | 专利类型 | 发明专利 | 公开（公告）号 | CN103559069A | 公开（授权）日 | 2014.02.05 | 申请（专利权）人 | 中国科学院声学研究所 | 发明（设计）人 | 朱浩;王东辉;洪缨 | 主分类号 | G06F9/45(2006.01)I | IPC主分类号 | G06F9/45(2006.01)I | 专利有效期 | 一种基于代数系统的跨文件过程间优化方法 至一种基于代数系统的跨文件过程间优化方法 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明公开了一种基于代数系统的跨文件过程间优化方法，该方法包括以下步骤：针对目标机特征，选择出涉及栈操作、逻辑运算类指令，构建代数系统，并为这些指令与代数系统建立映射关系；从程序入口处开始遍历程序调用图PCG，判断存在边相连的节点是否分属不同的源文件，如果是，继续下一步操作，否则继续遍历PCG；从函数调用指令开始逆向沿着当前函数内的控制流图CFG开始遍历数据依赖图DDG，生成指令压栈操作的代数表达式，并进行表达式归约；分析后继节点函数的出栈操作，从中读出常量值，并依次传递，优化并计算，最终删除冗余指令片段。本发明有效地合并、释放了函数栈框架中可优化部分。除此之外，本发明在跨文件过程间优化、常量传播以及常量计算中也取得了较佳效果。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障