Stability Analysis of Inline ZFP Compression for Floating-Point Data in Iterative Methods

DOI10.1137/19M126904XzbMATH Open1453.65096arXiv2003.02324OpenAlexW3084690838MaRDI QIDQ5131978FDOQ5131978

Authors: Alyson L. Fox, James D. Diffenderfer, Peter Lindstrom, Jeffrey A. Hittinger, Geoffrey Sanders 

Publication date: 9 November 2020

Published in: SIAM Journal on Scientific Computing (Search for Journal in Brave)

Abstract: Currently, the dominating constraint in many high performance computing applications is data capacity and bandwidth, in both inter-node communications and even more-so in on-node data motion. A new approach to address this limitation is to make use of data compression in the form of a compressed data array. Storing data in a compressed data array and converting to standard IEEE-754 types as needed during a computation can reduce the pressure on bandwidth and storage. However, repeated conversions (lossy compression and decompression) introduce additional approximation errors, which need to be shown to not significantly affect the simulation results. We extend recent work [J. Diffenderfer, et al., Error Analysis of ZFP Compression for Floating-Point Data, SIAM Journal on Scientific Computing, 2019] that analyzed the error of a single use of compression and decompression of the ZFP compressed data array representation [P. Lindstrom, Fixed-rate compressed floating-point arrays, IEEE Transactions on Visualization and Computer Graphics, 2014] to the case of time-stepping and iterative schemes, where an advancement operator is repeatedly applied in addition to the conversions. We show that the accumulated error for iterative methods involving fixed-point and time evolving iterations is bounded under standard constraints. An upper bound is established on the number of additional iterations required for the convergence of stationary fixed-point iterations. An additional analysis of traditional forward and backward error of stationary iterative methods using ZFP compressed arrays is also presented. The results of several 1D, 2D, and 3D test problems are provided to demonstrate the correctness of the theoretical bounds.

Full work available at URL: https://arxiv.org/abs/2003.02324

Recommendations

• Error Analysis of ZFP Compression for Floating-Point Data
• Lossless compression of predicted floating-point geometry
• FPC: A High-Speed Compressor for Double-Precision Floating-Point Data
• Numerical stability of fast computation algorithms of Zernike moments
• Efficient iterative algorithms for linear stability analysis of incompressible flows
• Combining tools for optimization and analysis of floating-point computations
• Automatic exploration of reduced floating-point representations in iterative methods
• On computational efficiency for multi-precision zero-finding methods

zbMATH Keywords

error boundsiterative methodslossy compressionfloating-point representationdata-type conversion

Mathematics Subject Classification ID

Roundoff error (65G50) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Interval and finite arithmetic (65G30)

Cites Work

• Title not available (Why is that?)
• Accuracy and Stability of Numerical Algorithms
• Block diagonally dominant matrices and generalizations of the Gerschgorin circle theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On two step Lax-Wendroff methods in several dimensions
• Error Analysis of ZFP Compression for Floating-Point Data

Cited In (1)

• Multilevel techniques for compression and reduction of scientific data-quantitative control of accuracy in derived quantities

Uses Software

• mctoolbox
• GitHub
• Blosc
• zfp

This page was built for publication: Stability Analysis of Inline ZFP Compression for Floating-Point Data in Iterative Methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5131978)