Number parsing at a gigabyte per second

@article{Lemire2021NumberPA,
  title={Number parsing at a gigabyte per second},
  author={Daniel Lemire},
  journal={Software: Practice and Experience},
  year={2021},
  volume={51},
  pages={1700 - 1727}
}
  • D. Lemire
  • Published 11 January 2021
  • Computer Science
  • Software: Practice and Experience
With disks and networks providing gigabytes per second, parsing decimal numbers from strings becomes a bottleneck. We consider the problem of parsing decimal numbers to the nearest binary floating‐point value. The general problem requires variable‐precision arithmetic. However, we need at most 17 digits to represent 64‐bit standard floating‐point numbers (IEEE 754). Thus, we can represent the decimal significand with a single 64‐bit word. By combining the significand and precomputed tables, we… 
Integer division by constants: optimal bounds

References

SHOWING 1-10 OF 36 REFERENCES
Parsing gigabytes of JSON per second
TLDR
This work presents the first standard-compliant JSON parser to process gigabytes of data per second on a single core, using commodity processors, and makes extensive use of single instruction and multiple data instructions.
Printing floating-point numbers quickly and accurately with integers
We present algorithms for accurately converting floating-point numbers to decimal representation. They are fast (up to 4 times faster than commonly used algorithms that use high-precision integers)
Printing floating-point numbers: a faster, always correct method
TLDR
Errol is presented, a new complete algorithm that is guaranteed to produce correct and optimal results for all inputs while simultaneously being 2x faster than the incomplete Grisu3 and 4X faster than previous complete methods.
How to print floating-point numbers accurately
TLDR
Algorithms for accurately converting floating-point numbers to decimal representation and modification of the well-known algorithm for radix-conversion of fixed-point fractions by multiplication for use in fixed-format applications.
Ryū revisited: printf floating point conversion
  • Ulf Adams
  • Computer Science
    Proc. ACM Program. Lang.
  • 2019
TLDR
It is shown that both Ryū and Ryū Printf generalize to arbitrary number bases, which implies the existence of a fast algorithm to convert from base-10 to base-2, as long as the maximum precision of the input is known a priori.
How to read floating point numbers accurately
TLDR
This paper presents an efficient algorithm that always finds the best approximation, and when using 64 bits of precision to compute IEEE double precision results, the algorithm avoids higher-precision arithmetic over 99% of the time.
A decimal floating-point specification
TLDR
This paper proposes a decimal format which meets the requirements of existing standards for decimal arithmetic and is efficient for hardware implementation, in the hope that designers will consider providing decimal arithmetic in future microprocessors and that future decimal software specifications will consider hardware efficiencies.
Faster remainder by direct computation: Applications to compilers and software libraries
TLDR
A generally applicable algorithm to compute the remainder of the division by a constant from the quotient by a multiplication and a subtraction and derives new tight bounds on the precision required when representing the inverse of the divisor.
A customized precision format based on mantissa segmentation for accelerating sparse linear algebra
TLDR
A customized precision memory format derived by splitting the mantissa (significand) of standard IEEE formats into segments, such that values can be accessed faster if lower accuracy is acceptable, is presented.
Compiling for SIMD Within a Register
TLDR
This paper focuses on how these missing operations can be implemented using either the existing SWAR hardware or even conventional 32-bit integer instructions, and offers a few new challenges for compiler optimization.
...
...