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.

Stability Improvement of Relaxed FAP Algorithm

Regularization Based Iterative Point Match Weighting for Accurate Rigid Transformation Estimation

A Novel Method To Cope With Appearing And Disappearing Points For The Projective Registration Of Free-Form Surfaces

A method to adjust regularization parameter of fast affine projection algorithm

Stability of the F∗ Algorithm on Strong Pseudocontractive Mapping and Its Application

A Consistency-Check Based Algorithm for Element Condensation in Augmented Finite Element Methods for Fracture Analysis

An Experience-Guided Acceleration Strategy for Floating-Point Optimization

Stability Threshold-based Affinity Propagation and Its Application

Smoothing accelerated algorithm for constrained nonsmooth convex optimization problems

FISTA and Extensions -- Review and New Insights

Relaxed Proximal Point Algorithm: Tight Complexity Bounds and Acceleration without Momentum

Reduction Accelerated Adaptive Step‐Size FISTA Based Smooth‐Lasso Regularization for Fluorescence Molecular Tomography Reconstruction

Improved FastSLAM Algorithm Based on Importance Weight Smoothing

A modified fixed point iteration method for solving the system of absolute value equations

A nonlinear programming algorithm for finite element limit analysis using feasible arc searching technique

Fast Full-frame Video Stabilization with Iterative Optimization

Relaxation Strategy for the Landweber Method

A Face Alignment Accelerator Based on Optimized Coarse-to-Fine Shape Searching.

Improvements to steepest descent method for multi-objective optimization

Convergence Analysis of the Fast Subspace Descent Methods for Convex Optimization Problems

An Efficient Alternating Riemannian/Projected Gradient Descent Ascent Algorithm for Fair Principal Component Analysis