论文标题
通用数字库:高性能可重复数字系统库的设计和实施
Universal Numbers Library: design and implementation of a high-performance reproducible number systems library
论文作者
论文摘要
随着需要智能行为的嵌入式系统的扩散,定制数字系统以优化整个系统的每瓦性能成为成功的商业产品的重要组成部分。我们提出了通用数字库,这是一个高性能的数字系统库,其中包括任意整数,十进制,定点,浮点,并引入了两种锥形浮点类型,即正定和有效的,它支持在任意同意环境中可重复可重复的算术计算。我们讨论了通用库作为应用程序开发的运行时间的设计,以及用于应用程序驱动的硬件验证的平台。描述了图书馆的实施,并提供了示例以显示教育示例,以阐明数字系统属性,以及如何使用专业化来对现有X86,ARM和电源处理器产生非常高性能的仿真。我们将在计算科学和工程中重点介绍图书馆在较大的应用程序环境中的集成,以促进多精确和自适应精确算法,以提高大规模和实时应用程序的性能和效率。我们将演示通用库中的集成到高性能可重复可重复的线性代数运行时。当我们针对新的应用程序域,例如软件定义的无线电,仪器,传感器融合和模型预测性控制时,我们将以库的其他功能的路线图进行结论。
With the proliferation of embedded systems requiring intelligent behavior, custom number systems to optimize performance per Watt of the entire system become essential components for successful commercial products. We present the Universal Number Library, a high-performance number systems library that includes arbitrary integer, decimal, fixed-point, floating-point, and introduces two tapered floating-point types, posit and valid, that support reproducible arithmetic computation in arbitrary concurrency environments. We discuss the design of the Universal library as a run-time for application development, and as a platform for application-driven hardware validation. The library implementation is described, and examples are provided to show educational examples to elucidate the number system properties, and how specialization is used to yield very high-performance emulation on existing x86, ARM, and POWER processors. We will highlight the integration of the library in larger application environments in computational science and engineering to enable multi-precision and adaptive precision algorithms to improve performance and efficiency of large scale and real-time applications. We will demonstrate the integration of the Universal library into a high-performance reproducible linear algebra run-time. We will conclude with the roadmap of additional functionality of the library as we are targeting new application domains, such as Software Defined Radio, instrumentation, sensor fusion, and model-predictive control.