Abstract:To ensure the correctness and efficiency of floating-point programs, automatic optimizing techniques for floating-point programs have been attached attention from academia in recent years. The core idea is to summarize transformation rules from classical numerical analysis theory and rewrite floating-point programs automatically with more stable algorithms, which produces more stable, efficient and maintainable programs. However, efficiency becomes the bottleneck of these techniques. As more and more transformation rules are discovered and summarized, the rule base used by the optimizing framework becomes larger and larger. It is more difficult to scan the whole rule base as usual. In this paper, we propose an experience-guided acceleration strategy for floatingpoint optimization. Based on the principle of similar causes of floating-point errors, the strategy extracts the corresponding symbolic and structural features of successfully optimized floating-point programs, and saves the rule sequences involved in the optimization of the programs into a hash-based optimization experience database. When optimizing a floating-point program, the optimizer first calculates the similarity between symbolic and structural features of the program and that of records in the experience base. Rule sequences associated with records having higher similarity are preferred to be used in rewriting and optimizing the program. With more and more programs to be optimized, the experience base increases gradually and a hashed-partition design ensures the efficiency of record-searching. The above approach has been evaluated on the FPBench benchmark and the open source engine OpenRelativity. The results show that compared to the traditional optimizing approach, it can achieve a 6.04x speedup in average. In addition, it improves accuracy for floating-point programs effectively as well as the traditional optimizing approach does. Therefore, our approach improves the usability of automatic optimizing techniques significantly.

High-performance Floating-point to Fixed-point Translation Strategy

Floating-point to Fixed-point Transformation Using Extreme Value Theory

FPGA based hardware-software co-designed dynamic binary translation system

An Experience-Guided Acceleration Strategy for Floating-Point Optimization

Reconfigurable Custom Floating-Point Instructions (abstract Only)

Hybrid Operation of Floating Point Number and Integer Data Based on FPGA

Performance analysis and evaluation of dynamic binary translation system CrossBit

Optimization and Implementation of SR T -16 Floating-Point Divider Based on FPGA

Transferring Optimize Technology in Dynamic Binary Translation

Vectorization of accelerating fast Fourier transform computation based on fused multiply-add instruction

Condition code optimization in dynamic binary translation

Compensation-based floating-point octagon abstract domain

Improving SIMD Parallelism via Dynamic Binary Translation

Efficient Binary Translation System with Low Hardware Cost

Level Based Binary Translation System Back-end Instruction Indexing Strategy

A Floating-point Coprocessor Configured by a FPGA in a Digital Platform Based on Fixed-point DSP for Power Electronics

Improving the ratio of memory operations to floating-point operations in loops

Design of a Floating-point Coprocessor and Its Applications in Digital Platform for Power Electronics

A Solution to the Misalignment Problems in Dynamic Binary Translation

Design of high speed floating-multiplier

An Efficient Floating-Point Multiplier for Digital Signal Processors.