典型文献
一种经验库制导的浮点程序优化加速策略
文献摘要：
为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高效且易于维护.然而,现有浮点程序自动优化方法的优化效率是其主要瓶颈.随着越来越多的数值程序转换规则被发现与总结,自动优化框架的规则库会越来越大,传统优化方法在规则库中遍历所有优化规则的过程也变得越来越困难.本文提出了一种经验库制导的浮点程序优化加速策略,该策略基于浮点误差成因的相似性原理,将已成功优化浮点程序对应的符号与结构特征抽取出来,并以散列的方式将优化该程序涉及到的规则序列保存在一个优化经验库中.当新的浮点数值程序需要进行自动优化时,本文算法首先计算其符号结构特征与经验库中各记录的相似度.符号结构相似度较高的记录所对应的规则序列会被优先用于浮点程序重写,从而得到优化程序.随着优化程序的增多,经验库的规模会逐渐增大,经验库的散列化分区存储设计保证了其检索与匹配效率.在浮点程序优化基准用例集FPBench和开源物理引擎OpenRelativity上的实验表明,在优化后浮点程序精度与传统方法类似的前提下,本文的加速策略能使平均优化速度相对于传统浮点程序优化方法提升6.04倍,显著提高了浮点数值程序自动优化技术的可用性.
文献关键词：
加速策略;程序优化;浮点数值程序;经验库
中图分类号：
作者姓名：
肖安祥;张硕骁;汤恩义;陈鑫;王林章
作者机构：
南京大学计算机软件新技术国家重点实验室 南京 210023;南京大学软件学院 南京 210093
文献出处：
引用格式：
[1]肖安祥;张硕骁;汤恩义;陈鑫;王林章-.一种经验库制导的浮点程序优化加速策略)[J].计算机学报,2022(09):2014-2028
A类：
浮点数值程序,FPBench,OpenRelativity
B类：
经验库,制导,程序优化,加速策略,自动优化,核心思想,数值分析理论,结成,程序转换,转换规则,重写,稳定高效,优化效率,优化框架,规则库,遍历,相似性原理,特征抽取,结构相似度,先用,优化程序,分区存储,准用,用例,开源,物理引擎,优化技术,可用性
AB值：
0.254514
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
