REVIEW 2 major objections 5 minor 33 references
Scaling the memory wall using mixed-precision -- HPG-MxP on an exascale machine
T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read A highly optimized HPG-MxP implementation on a 9,408-node GPU exascale system shows a penalized 1.6x speedup for mixed double-single precision GMRES-IR over double-precision GMRES.
desk verdict A solid engineering benchmark paper: real 1.6x mixed-precision speedup on Frontier, but the full-scale validation penalty is measured at a looser residual than the official 1e-9, so the "no convergence loss at scale" claim is weaker than stated. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the GMRES-IR solver with classical Gram-Schmidt with reorthogonalization (CGS2), where all steps except the double-precision residual update and solution update may run in single precision. The preconditioner is one geometric multigrid cycle with multicolor Gauss-Seidel smoothing; the implementation reorders each subdomain into independent sets (eight colors for the 27-point stencil), stores the matrix in ELLPACK format, a padded sparse layout that keeps GPU warps busy, fuses residual calculation with restriction, and overlaps halo communication with interior computation using GPU streams and events. The benchmark's final score is penalized by the validation-phase iteration ratio, which is what converts raw speed into a claim about useful performance.
What would settle it
Run double-precision GMRES and mixed-precision GMRES-IR on the full 9,408-node system without the 10,000-iteration cap, both to a relative residual of 1e-9, and compare the resulting iteration ratio to the 0.968 ratio measured at one node; if the ratio rises materially, the penalized 1.6x speedup overestimates the useful gain.
Extended reading notes
Core claim
The central claim is that a mixed double-single precision GMRES with iterative refinement (GMRES-IR) can run the HPG-MxP benchmark about 1.6 times faster than an equally optimized double-precision GMRES, while still giving a solution that is close to double-precision quality. The benchmark's penalty mechanism counts floating-point operations of both precisions equally and scales the mixed-precision throughput by the ratio $n_d/n_{ir}$ of iterations needed by the double and mixed solvers to converge nine orders of magnitude, so the reported speedup is a penalized, useful-performance figure. The paper further claims this is the first full-system HPG-MxP run, at 9,408 nodes or 75,264 GPUs, and that validation on a single node's small problem is as stringent as a new full-scale validation in capturing any loss of convergence from mixed precision.
Load-bearing premise
The result rests on the assumption that the ratio of double-precision to mixed-precision iteration counts measured on a single small node carries over to full-system scale, so the penalty applied to the mixed-precision score stays accurate.
Editorial extensions
If this is right
- Production sparse solvers that use GMRES and multigrid preconditioning can expect a realizable speedup of about 1.6x from double-single precision without sacrificing final double-precision accuracy, according to these benchmarks.
- The optimized kernels sit at the HBM bandwidth roofline, so the speedup comes from halving the bytes moved per operation in the single-precision parts rather than from hiding implementation inefficiencies.
- At full-system scale the orthogonalization phase takes a growing share of time because of all-reduce latency, making communication efficiency the main limiter of mixed-precision scaling above thousands of nodes.
- Validation on one node gives essentially the same penalty ratio as full-scale validation, so benchmark runs can save substantial time by validating on a small subset of processors.
- The benchmark matrix is artificial, so speedups in real applications will depend on the condition numbers and pseudo-spectra of the actual matrices.
Reading between the lines
- If the paper is right, the 1.6x speedup being close to the 2x bandwidth-only ceiling implies that most remaining time is memory traffic, so the next big gain for production solvers would come from reducing bytes moved, for example by storing auxiliary vectors in lower precision, rather than from faster arithmetic.
- The full-scale validation shows that above 64 nodes the double-precision reference no longer reaches a relative residual of 1e-9, so the penalty ratio is measured at a looser residual; a direct test pushing both solvers to 1e-9 at thousands of nodes would reveal whether single-node validation misses any scale-dependent convergence loss.
- For matrix-free or nonlinear GMRES variants, the mixed solver's extra low-precision matrix copy would disappear, making the memory-footprint objection smaller and potentially making the speedup easier to realize in production PDE codes.
- The benchmark counts single- and double-precision flops equally, so its PFLOPS are mixed-precision and are not directly comparable to HPCG's double-precision PFLOPS despite both being memory-bound.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents an optimized implementation of the HPG-MxP benchmark for GPU-based exascale systems, introducing several algorithmic improvements (multicolor Gauss-Seidel, ELLPACK storage, compute-communication overlap, fused SpMV-restriction) that apply to both the mixed- and double-precision GMRES solvers. On Frontier, the authors report a first full-system run at 9408 nodes reaching 17.23 PFLOPS with 78% weak scaling efficiency, and a penalized 1.6x speedup of double-single precision GMRES-IR over double-precision GMRES. They also introduce a 'full-scale validation' mode intended to test whether the benchmark's standard small-scale validation penalty is representative at larger scales.
Significance. The paper's strongest contribution is a carefully engineered, open-source implementation of HPG-MxP with a controlled comparison: the mixed- and double-precision solvers share all optimizations, so the reported 1.6x speedup is not an artifact of comparing an optimized mixed-precision code against an unoptimized double-precision baseline. The roofline plot (Figure 8) substantiates the bandwidth-limited behavior of the kernels, and the traces (Figure 9) support the claimed compute-communication overlap. If the penalized speedup holds at the official 1e-9 tolerance at scale, this would be an important data point showing that mixed precision can deliver practical gains for memory-bound sparse iterative solvers on exascale GPU systems.
major comments (2)
- [§4.2, Table 2; §5] The claim in §5 that 'the original benchmark's validation method sufficiently captures any loss of convergence rate' is not directly supported by the full-scale validation data in Table 2. At 64, 128, 1024, and 4096 nodes the double-precision GMRES run stops at the 10,000-iteration cap with an achieved relative residual of about 1e-5 to 1e-6, so the ratios n_d/n_ir (1.050, 1.023, 1.067, 0.958) are measured against a much looser target than the 1e-9 tolerance used in the standard validation (ratio 0.968). The data do not rule out that the iteration ratio between mixed-precision GMRES-IR and double-precision GMRES deteriorates as the target residual is tightened from 1e-5 to 1e-9 at large node counts; if this occurred, the penalized speedup in Figure 5 would overestimate the useful gain for applications requiring double-precision-accurate solutions. The authors should either run the full-scale validation to the official 1e-9 tolerance at additional scales, or provide residual-history evidence that the iteration ratio is tolerance-independent.
- [§4, Figure 4] The quantitative comparison to the previous reference implementation (Anzt et al., labelled 'xsdk') in Figure 4 relies on values read off a graph, as the authors themselves acknowledge in §4. Because one of the stated contributions is that the optimized implementation 'achieves much higher performance than the reference implementation,' the paper should report the xsdk numbers directly (or with explicit uncertainty bounds) so the comparison is reproducible and not subject to graph-reading error.
minor comments (5)
- [Algorithm 2] The text contains a typographical error: 'Kyrlov' should be 'Krylov', and 'Given's rotations' should be 'Givens rotations'.
- [§4.1] The phrase 'owing to their the need to fetch index arrays' is grammatically incorrect; it should be 'owing to the need to fetch index arrays.'
- [Figure 5] The text says SpMV and multigrid 'drag the speedup down somewhat,' but the figure does not clearly indicate whether these motifs have speedup above or below 1.0; annotating the figure or explaining the values would improve clarity.
- [§4.2] The sentence beginning 'It is clear from the full-scale residual norms...' should specify that at 2 and 8 nodes the achieved residuals (9.98e-10 and 9.99e-10) are just below the 1e-9 threshold, while at larger scales the residuals are three to four orders of magnitude larger.
- [§4 (general)] The paper reports no repeated runs or error bars for any performance measurement; at least for a few representative node counts, a repeated-run or variability analysis would strengthen the reported speedup and scaling efficiency.
Circularity Check
No significant circularity: the 1.6x speedup is a measured benchmark outcome with transparent, non-fitted penalty factors.
full rationale
The paper is an empirical performance study rather than a derivation. The central quantity, the 1.6x speedup, is the ratio of measured penalized throughputs of the mixed-precision GMRES-IR solver and the double-precision GMRES reference, where the penalty is fixed by the HPG-MxP benchmark definition (Yamazaki et al.) as the validation-phase iteration ratio n_d/n_ir. These iteration counts are measurements, not fitted parameters, and no quantity is renamed as a prediction after being used to construct it. The full-scale validation in Section 3.3 compares n_d/n_ir at the double-precision solver's achieved residual tau, which at 64 nodes and above is around 1e-5 rather than 1e-9; this is a genuine evidentiary limitation for the conclusion that the standard validation 'sufficiently captures any loss of convergence rate', but it is not a circular step: the full-scale ratios are new measurements made under a different tolerance, not inputs to the speedup calculation. Self-citations (Kashi's 2020 thesis on Gauss-Seidel variants and the 2025 mixed-precision survey) support implementation context and background, not the speedup claim, so they are not load-bearing. No quoted equation reduces to its own input, no fitted value is presented as an independent prediction, and no uniqueness or correctness claim is imported from the authors' prior work. The result is benchmark data, not a derivation circular with its inputs.
Assumptions & free parameters
assumptions (3)
- domain assumption Multicolor Gauss-Seidel with 8 colors preserves the multigrid preconditioner's effectiveness so that mixed-precision GMRES-IR requires a comparable number of iterations to double-precision GMRES.
- domain assumption The compute-communication overlap using two streams and events produces results identical to non-overlapped SpMV/Gauss-Seidel, so the measured performance is not obtained by changing the numerical algorithm.
- domain assumption The HPG-MxP flop-count model, updated for the fused SpMV-restriction, counts operations consistently between the mixed and double runs.
Cite this review
Pith. "Pith review of Scaling the memory wall using mixed-precision -- HPG-MxP on an exascale machine." pith.science (2026). https://pith.science/paper/NWXL55LH
@misc{pith2026250711512,
author = {Pith},
title = {Pith review of: Scaling the memory wall using mixed-precision -- HPG-MxP on an exascale machine},
year = {2026},
howpublished = {\url{https://pith.science/paper/NWXL55LH}},
note = {Machine review of arXiv:2507.11512}
}
read the original abstract
Mixed-precision algorithms have been proposed as a way for scientific computing to benefit from some of the gains seen for artificial intelligence (AI) on recent high performance computing (HPC) platforms. A few applications dominated by dense matrix operations have seen substantial speedups by utilizing low precision formats such as FP16. However, a majority of scientific simulation applications are memory bandwidth limited. Beyond preliminary studies, the practical gain from using mixed-precision algorithms on a given HPC system is largely unclear. The High Performance GMRES Mixed Precision (HPG-MxP) benchmark has been proposed to measure the useful performance of a HPC system on sparse matrix-based mixed-precision applications. In this work, we present a highly optimized implementation of the HPG-MxP benchmark for an exascale system and describe our algorithm enhancements. We show for the first time a speedup of 1.6x using a combination of double- and single-precision on modern GPU-based supercomputers.
Figures
Figures from the paper (4 more)
Reference graph
Works this paper leans on
-
[1]
High-performance computing at a cross- roads
Ewa Deelman et al. “High-performance computing at a cross- roads”. In: Science 387.6736 (2025), pp. 829–831. doi: 10.1126/ science.adu0801
work page 2025
-
[2]
NVIDIA Blackwell architecture technical brief . Tech. rep. ver- sion 1.1. NVIDIA, 2024
work page 2024
-
[3]
Energy efficiency of mixed precision iterative refinement methods using hybrid hardware platforms
Hartwig Anzt, Björn Rocker, and Vincent Heuveline. “Energy efficiency of mixed precision iterative refinement methods using hybrid hardware platforms”. In: Computer Science - Research and Development 25.3 (2010). doi: 10.1007/s00450- 010-0124-2
doi:10.1007/s00450- 2010
-
[4]
Azzam Haidar et al. “The Design of Fast and Energy-Efficient Linear Solvers: On the Potential of Half-Precision Arithmetic and Iterative Refinement Techniques”. In:Computational Sci- ence – ICCS 2018. Ed. by Yong Shi et al. Springer International Publishing, 2018, pp. 586–600. doi: 10.1007/978-3-319-93698- 7_45
-
[5]
Mixed-precision numerics in scientific ap- plications: survey and perspectives
Aditya Kashi et al. Mixed-precision numerics in scientific ap- plications: survey and perspectives . 2025. arXiv: 2412.19322 [cs.CE]
arXiv 2025
-
[6]
High-performance parallel implicit CFD
William D Gropp et al. “High-performance parallel implicit CFD”. In: Parallel Computing 27.4 (2001). Parallel computing in aerospace, pp. 337–362. issn: 0167-8191. doi: 10.1016/ S0167-8191(00)00075-2
work page 2001
-
[7]
Scaling Algebraic Multigrid Solvers: On the Road to Exascale
Allison H. Baker et al. “Scaling Algebraic Multigrid Solvers: On the Road to Exascale”. In: Competence in High Perfor- mance Computing 2010. Ed. by Christian Bischof et al. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 215–226. isbn: 978-3-642-24025-6. doi: 10.1007/978-3-642-24025-6_18
-
[8]
A. Abdelfattah et al. Advances in Mixed Precision Algorithms: 2021 Edition. English. Tech. rep. LLNL-TR-825909. Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States), Aug. 2021.doi: 10.2172/1814677. (Visited on 04/02/2024)
doi:10.2172/1814677 2021
Show all 33 references
-
[9]
High-Performance GMRES Multi- Precision Benchmark: Design, Performance, and Challenges
Ichitaro Yamazaki et al. “High-Performance GMRES Multi- Precision Benchmark: Design, Performance, and Challenges”. In: 2022 IEEE/ACM International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS). 2022, pp. 112–122. doi:...
2022
-
[10]
High- performance conjugate-gradient benchmark: A new metric for ranking high-performance computing systems
Jack Dongarra, Michael A Heroux, and Piotr Luszczek. “High- performance conjugate-gradient benchmark: A new metric for ranking high-performance computing systems”. en. In: The International Journal of High Performance Computing Applications 30.1 (Feb. 2016), pp. 3–10. issn: 10...
2016 doi
-
[11]
Multi-level adaptive solutions to boundary value problems
Achi Brandt. “Multi-level adaptive solutions to boundary value problems”. In: Mathematics of Computation 31.138 (1977), pp. 333–390. url: https://www.jstor.org/stable/ 2006422
1977
-
[12]
Asynchronous fine-grain parallel iterative solvers for computational fluid dynamics
Aditya Kashi. “Asynchronous fine-grain parallel iterative solvers for computational fluid dynamics”. PhD thesis. McGill University, 2020.url: https://escholarship.mcgill.ca/downloads/ 2f75rd57s
2020
-
[13]
Smith, P.E
B.F. Smith, P.E. Bjørstad, and W.D. Gropp.Domain decomposi- tion - parallel multilevel methods for elliptic partial differential equations. Cambridge University Press, 1996
1996
-
[14]
GMRES - A generalized minimal residual algorithm for solving nonsymmetric lin- ear systems
Youcef Saad and Martin H. Schulz. “GMRES - A generalized minimal residual algorithm for solving nonsymmetric lin- ear systems”. In: SIAM Journal on Scientific and Statistical Computing 7.3 (1986)
1986
-
[15]
Using mixed precision for sparse ma- trix computations to enhance the performance while achiev- ing 64-bit accuracy
Alfredo Buttari et al. “Using mixed precision for sparse ma- trix computations to enhance the performance while achiev- ing 64-bit accuracy”. In: ACM Transactions on Mathematical Software 34.4 (2008). doi: 10.1145/1377596.1377597
2008
-
[16]
Experimental Evaluation of Multipreci- sion Strategies for GMRES on GPUs
Jennifer A. Loe et al. “Experimental Evaluation of Multipreci- sion Strategies for GMRES on GPUs”. In: 2021 IEEE Inter- national Parallel and Distributed Processing Symposium Work- shops (IPDPSW). 2021, pp. 469–478.doi: 10.1109/IPDPSW52791. 2021.00078
2021
-
[17]
2.3.3.01- xSDK-Multiprecision Final Report for Subcontract Partner KIT
Hartwig Anzt. 2.3.3.01- xSDK-Multiprecision Final Report for Subcontract Partner KIT . Tech. rep. Lawrence Livermore Na- tional Laboratory (LLNL), Livermore, CA (United States), SC’25, November 16–21, St. Louis, MO, USA Aditya Kashi, Nicholson Koukpaizan, Hao Lu, Michael Mathe...
2024
-
[18]
Iterative Methods for Sparse Linear Systems
Yousef Saad. Iterative Methods for Sparse Linear Systems . Sec- ond. Society for Industrial and Applied Mathematics, 2003. doi: 10.1137/1.9780898718003
2003 doi
-
[19]
The loss of orthog- onality in the Gram-Schmidt orthogonalization process
L. Giraud, J. Langou, and M. Rozloznik. “The loss of orthog- onality in the Gram-Schmidt orthogonalization process”. In: Computers & Mathematics with Applications 50.7 (2005). Nu- merical Methods and Computational Mechanics, pp. 1069–
2005
-
[20]
Parallel Solution of Sparse Triangular Linear Systems in the Preconditioned Iterative Methods on the GPU
Maxim Naumov. Parallel Solution of Sparse Triangular Linear Systems in the Preconditioned Iterative Methods on the GPU . Tech. rep. NVR-2011-001. NVIDIA, June 2011
2011
-
[21]
Adapting Sparse Triangular Solution to GPUs
Brad Suchoski et al. “Adapting Sparse Triangular Solution to GPUs”. In: 2012 41st International Conference on Parallel Processing Workshops. 2012, pp. 140–148.doi: 10.1109/ICPPW. 2012.23
2012 doi
-
[22]
Implementing sparse matrix-vector multiplication on throughput-oriented proces- sors
Nathan Bell and Michael Garland. “Implementing sparse matrix-vector multiplication on throughput-oriented proces- sors”. In: Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis . 2009, pp. 1–11. doi: 10.1145/1654059.1654078
2009
-
[23]
A Simple Parallel Algorithm for the Maximal Independent Set Problem
Michael Luby. “A Simple Parallel Algorithm for the Maximal Independent Set Problem”. In: SIAM Journal on Computing 15.4 (1986), pp. 1036–1053. doi: 10.1137/0215074
1986 doi
-
[24]
A Parallel Graph Coloring Heuristic
Mark T. Jones and Paul E. Plassmann. “A Parallel Graph Coloring Heuristic”. In:SIAM Journal on Scientific Computing 14.3 (1993), pp. 654–669. doi: 10.1137/0914041. eprint: https: //doi.org/10.1137/0914041. url: https://doi.org/10.1137/ 0914041
1993 doi
-
[25]
Maxim Naumov, Patrice Castonguay, and J. Cohen. Parallel graph coloring with applications to the incomplete LU factor- ization on the GPU . Tech. rep. NVR-2015-001. NVIDIA, May 2015
2015
-
[26]
Nico Trost. rocHPCG. Advanced Micro Devices, inc. 2023. url: https://github.com/ROCm/rocHPCG
2023
-
[27]
Nu- merical experiments with parallel orderings for ILU precon- ditioners
Michele Benzi, Wayne Joubert, and Gabriel Mateescu. “Nu- merical experiments with parallel orderings for ILU precon- ditioners”. In: Electron. Trans. Numer. Anal. 8 (1999), pp. 88–
1999
-
[28]
Ginkgo: A Modern Linear Operator Algebra Framework for High Performance Computing
Hartwig Anzt et al. “Ginkgo: A Modern Linear Operator Algebra Framework for High Performance Computing”. In: ACM Transactions on Mathematical Software 48.1 (Mar. 2022), pp. 1–33. doi: 10.1145/3480935
2022 doi
-
[29]
PETSc/TAO Users Manual
Satish Balay et al. PETSc/TAO Users Manual. Tech. rep. ANL- 21/39 - Revision 3.23. Argonne National Laboratory, 2025. doi: 10.2172/2476320
2025 doi
-
[30]
A Jacobian-free Newton–Krylov algorithm for compressible turbulent fluid flows
Todd T. Chisholm and David W. Zingg. “A Jacobian-free Newton–Krylov algorithm for compressible turbulent fluid flows”. In: Journal of Computational Physics 228.9 (2009), pp. 3490–3507. issn: 0021-9991. doi: 10.1016/j.jcp.2009.02. 004
2009 doi
-
[31]
Krylov subspace acceleration for nonlinear mulrigrid schemes
T. Washio and C.W. Oosterlee. “Krylov subspace acceleration for nonlinear mulrigrid schemes”. In: Electronic Transactions on Numerical Analysis 6 (Dec. 1997), pp. 271–290. issn: 1068- 9613
1997
-
[114]
url: https://etna.math.kent.edu/volumes/1993-2000/ vol8/abstract.php?vol=8%20&pages=88-114
1993
- [1075]
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.