自定义精度数学库用于代码剖析和优化的探索
摘要：使用于科学计算的典型处理器具有固定位宽的数据通路。这意味着数学库专门为每种固定精度（二进制16、二进制32、二进制64）开发。然而，为了应对科学应用的能耗和吞吐量需求的增加，库和硬件设计人员正在超越这种一刀切的方法。在本文中，我们提出研究使用用户定义的浮点格式和目标精度进行涉及数学函数的计算的效果和好处。我们的工具收集输入数据的配置文件，并针对用户应用程序中数学函数的每个调用点迭代地探索更低的精度。这些配置文件数据对于为给定应用程序进行专业化和调优数学函数实现将是宝贵的资产。我们在卫星跟踪应用程序SGP4上演示了该工具的功能。配置文件数据显示了专业化的潜力，并提供了关于何时为基本函数评估提供可变精度设计的见解。
作者：David Defour (LP2A), Pablo de Oliveira Castro (PRISM, LI-PaRAD), Matei Istoan (UVSQ, LI-PaRAD), Eric Petit
论文ID：2005.02732
分类：Mathematical Software
分类简称：cs.MS
提交时间：2020-05-07