REVIEW 3 major objections 4 minor 19 references
Distributed Training under Packet Loss
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper claims that a two-stage defense—renormalizing whatever gradient shards arrive and proving inter-worker parameter drift stays $O(1)$—lets distributed training run over lossy UDP-like transports without changing model code or…
desk verdict Real problem, plausible mechanism, and genuine experiments, but the bounded-drift proof ignores accumulated staleness and the unbiasedness claim overreaches; worth a serious referee, not acceptance as-is. 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 mechanism is a two-stage defense built from the Bernoulli arrival indicator $s_t\sim\mathrm{Bernoulli}(1-p)$. Stage one, unbiased gradient aggregation, replaces a missing gradient shard by renormalizing the received shards, which preserves expectation at the price of added variance. Stage two, bounded-drift parameter broadcast, lets each worker keep its previous copy when an update is lost and analyzes the resulting discrepancy with a scalar recurrence; the fixed point of the recurrence is the $O(1)$ drift bound. The theorem's proof is the recurrence, and the experiment's mechanism is per-shard drop simulation during reduce-scatter and all-gather.
What would settle it
Run a two-worker shard-broadcast simulation under independent Bernoulli drops, logging every reception mask; compute the empirical steady-state mean squared gap over a long horizon and compare it with $2p/(1+p)\sigma^2$, and separately compute the average gap over windows containing consecutive one-sided receptions. If the windowed average grows with the number of consecutive one-sided receptions, the recurrence's reset assumption is violated and the stated constant does not describe the process.
Extended reading notes
Core claim
The central discovery is that the two failure modes of lossy distributed training can be separated and each neutralized. For gradients, the resilient aggregate $\hat g_t^{(j)} = (\sum_i s_t^{(i,j)} g_t^{(i,j)})/(\sum_i s_t^{(i,j)})$ is an unbiased estimator of the true shard gradient $G_t^{(j)}$ because conditioning on the arrival indicators leaves the expectation of each received gradient unchanged; hence standard stochastic-gradient convergence arguments still apply. For parameters, if $D_t$ is the difference between two workers' copies of a shard and $\sigma^2=\mathbb{E}[\Delta\theta_t^2]$, the recurrence $\mathbb{E}[D_{t+1}^2]=p^2\mathbb{E}[D_t^2]+2p(1-p)\sigma^2$ drives the steady-state squared drift to $2p/(1+p)\,\sigma^2$, independent of the number of iterations.
Load-bearing premise
The drift bound's recurrence assumes that when only one of two workers receives a broadcast, the two copies were identical just before that broadcast; after several consecutive updates reach only one worker, the lagging copy differs by the sum of all missed updates, so the steady-state gap could be larger than the stated constant.
Editorial extensions
If this is right
- The unbiased gradient aggregate means existing SGD convergence guarantees continue to hold in expectation under packet loss, without modifying model code or the optimizer.
- The expected squared inter-worker discrepancy converges to a constant instead of growing linearly with $t$, so model replicas do not drift apart over arbitrarily long training runs.
- Reliable transports can be replaced by loss-tolerant UDP-style connections, removing acknowledgment traffic and retransmission tail latency.
- On a 7B-parameter language model trained for 5,000 iterations, 10% random shard loss produces small single-digit relative changes in loss and perplexity, and 20% loss stays below roughly 3% degradation.
Reading between the lines
- A natural test of the drift theorem is to instrument two workers so every reception mask is logged and compare the empirical steady-state $\mathbb{E}[D_t^2]$ with $2p/(1+p)\sigma^2$; runs containing long streaks of one-sided receptions should be examined separately, since the proof's recurrence treats each one-sided reception as resetting the gap to a single update.
- Real networks have bursty, correlated loss, not i.i.d. Bernoulli drops; under bursts the lagging worker misses several consecutive updates, so the effective steady-state drift likely depends on burst length and may exceed the stated constant.
- The paper's sketch of selective reliability—sending high-norm or rare-vocabulary updates over a reliable channel and the long tail over UDP—is a concrete extension whose loss-versus-throughput trade-off could be measured shard by shard.
- The unbiased aggregate assumes at least one copy of each shard arrives; the rare event where all copies are dropped, with probability $p^N$, is handled by a regularizer fallback, and the bias that fallback introduces at very high loss rates is not analyzed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a two-stage scheme for distributed training over unreliable (packet-dropping) connections. In the first stage, each worker aggregates whatever gradient shards arrive and renormalizes by the number received, with the claim that the resulting gradient estimate is unbiased (Corollary 3.2). In the second stage, parameter broadcasts are sent unreliably, and the authors claim that the expected squared inter-worker discrepancy remains bounded as O(1), with the explicit steady-state constant 2p/(1+p)σ² (Theorem 3.1). The authors report LLaMA-2 7B training on 64 Gaudi accelerators under drop rates from 0% to 40%, and state that 10% loss changes validation perplexity by at most 0.8%. The central formal claims are that training under i.i.d. packet loss preserves convergence and accuracy without modifying model code or optimizers.
Significance. If the formal claims were correct, this would be a practically relevant contribution: it would justify removing retransmission and acknowledgment traffic from large-scale training clusters and replacing them with lossy UDP-style transport. The empirical study is a genuine large-scale data point, and the authors provide a code link and an explicit list of limitations, which is commendable. However, the theoretical core is not sound. Theorem 3.1's recurrence ignores accumulated staleness after consecutive missed broadcasts, and Corollary 3.2's unbiasedness proof assumes all workers evaluate gradients at the same parameter vector, which contradicts the paper's own drift model. In addition, the abstract's headline perplexity figure is contradicted by Table 1. The qualitative bounded-drift idea may survive a corrected analysis, but the guarantees as stated are not established.
major comments (3)
- [§3, 'Quantifying Model Drift', proof of Theorem 3.1] The recurrence E[D_{t+1}^2] = p^2 E[D_t^2] + 2p(1-p)σ^2 is valid only if, in the one-sided-reception case, the two workers' copies were equal before the broadcast. After a worker has missed several consecutive broadcasts, its copy lags the owner by the sum of several updates, so the new difference is D_t + Δθ_t or D_t − Δθ_t, not ±Δθ_t. The proof never establishes the pre-broadcast equality it implicitly uses, and the resulting cross terms change the fixed point. In a minimal i.i.d.-update model with per-worker lag L_i (geometric with P(L=ℓ)=(1-p)p^ℓ), one obtains E[D^2] = σ^2 E|L_1−L_2| = 2p/((1−p)(1+p)) σ^2, which differs from the stated 2p/(1+p)σ^2 by the factor 1/(1−p). The proof also assumes Δθ_t has constant variance and is independent of reception history, which is not justified once gradients are computed on drifted models. Therefore Theorem 3.1, including its exact constant, is not established.
- [§3, 'Unbiased Gradient Aggregation' and Corollary 3.2] The proof assumes E[g_i^(j)] = G*_j for every worker, i.e., that every worker computes its gradient at the same parameter vector. This contradicts the drift model described in the paper: after packet loss, workers evaluate on different parameter copies, so E[g_i^(j)] is the full-batch gradient at θ_i, not at a common θ. In addition, the estimator ˆg_j is undefined when all S_ij are zero; the 'small regularizer' fallback mentioned later is not included in the expectation calculation, so even under the paper's assumptions the estimator is not unconditionally unbiased. The corollary and the claim that standard SGD convergence guarantees continue to hold in expectation are therefore unsupported.
- [Abstract, §5 Discussion, and Table 1] The abstract and the Discussion state that tolerating 10% random packet loss changes validation perplexity by at most 0.8%. Table 1, however, reports Val PPL increasing from 10.653 to 10.778 at 10% loss, a relative increase of +1.17% (while Train PPL increases by +0.77%). The stated ≤0.8% figure is contradicted by the paper's own results table. This numerical claim should be corrected or qualified.
minor comments (4)
- [§4, Algorithm 1] The drop simulation in Algorithm 1 does not transparently implement the theoretical estimator in §3: line 12 says 'renormalise surviving shards' without specifying the denominator, and line 7 substitutes the previous gradient rather than the zero-or-renormalization rule used in the theory. The relationship between the analytical model and the experimental protocol should be documented explicitly.
- [§4, Experiments] The hardware description is inconsistent: the text says 'two Gaudi 4 nodes (64 Gaudi 3 accelerators in total)', which cannot both be correct. Please clarify the accelerator type.
- [§5 and throughout] There is a typo in the heading 'F uture Directions', and the notation for gradients is inconsistent: G_j, G*_j, ˆg_j, and ˆg_n are used without a unified definition of how they relate to the sharded model.
- [§3, proof of Theorem 3.1] The quantity σ² in E[Δθ_t²] = σ² is never defined. Since Δθ_t is the shard update, its variance depends on the learning rate, the number of received gradients, and the drift state; explicitly defining σ² and stating the assumptions under which it is constant would improve reproducibility.
Circularity Check
No significant circularity: the paper derives its guarantees from explicit modeling assumptions and validates them against an external baseline, with only a non-load-bearing self-cited code repository.
full rationale
The paper's central derivations are not circular. The unbiased-gradient result (Corollary 3.2) follows from a conditional-expectation argument: given the assumption E[g_i^{(j)}] = G*_j, the normalized sum over randomly received gradient pieces has expectation G*_j; this is a direct derivation from a stated premise, not a redefinition of the target. The bounded-drift result (Theorem 3.1) is derived from a Markov recurrence over reception indicators; although the proof relies on an implicit assumption that a non-receiving worker's pre-broadcast copy equals the owner's pre-update value, which is questionable as a correctness matter, the recurrence does not assume the O(1) conclusion or fit any parameter to it. The experiments in Table 1 are measured comparisons against a 0%-drop baseline using Megatron-LM and LLaMA-2 7B; no parameter of the theorem is fitted to the experimental outcomes, and the empirical claims do not reduce to the analytical claims. The only self-citation is reference [14], a simulation-code repository used for reproducibility, which is not load-bearing for the paper's mathematical or experimental conclusions. The Limitations section explicitly acknowledges the i.i.d. Bernoulli-loss assumption and open questions, further indicating that the claims are stated as assumptions rather than smuggled in. Therefore the derivation chain is self-contained, and any weaknesses are correctness or scope issues, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption Packet drops are i.i.d. Bernoulli with fixed rate p, independent across workers, shards, and iterations.
- domain assumption Every worker's gradient satisfies E[g_i^(j)] = G*_j, the true full-batch gradient at a common parameter vector.
- domain assumption The parameter update Delta_theta_t has constant second moment sigma^2 and is independent of drop history and of the current drift D_t.
- ad hoc to paper When exactly one of two workers receives a broadcast, the pre-broadcast copies of the two workers are equal, so the post-broadcast difference is just the current update.
Cite this review
Pith. "Pith review of Distributed Training under Packet Loss." pith.science (2026). https://pith.science/paper/7TTH3DXB
@misc{pith2026250707114,
author = {Pith},
title = {Pith review of: Distributed Training under Packet Loss},
year = {2026},
howpublished = {\url{https://pith.science/paper/7TTH3DXB}},
note = {Machine review of arXiv:2507.07114}
}
read the original abstract
State-of-the-art language and vision models are routinely trained across thousands of GPUs, often spanning multiple data-centers, yet today's distributed frameworks still assume reliable connections (e.g., InfiniBand or RoCE). The resulting acknowledgment traffic and retransmissions inflate tail latencies and limit scalability. Leveraging unreliable connections will reduce latency but may sacrifice model accuracy and convergence once packets are dropped. A principled, end-to-end solution that preserves accuracy and convergence guarantees under genuine packet loss has previously been missing. We address this critical gap by introducing a novel distributed training framework capable of operating over unreliable connections, offering unbiased gradient aggregation and bounded parameter drift without modifying model code or optimizers. The key insight is a two-stage defense against missing messages: (i) Unbiased gradient aggregation: each worker reconstructs a consistent gradient estimate from whatever packets arrive, guaranteeing expectation-level correctness; and (ii) Bounded-drift parameter broadcasts: we prove the inter-worker model discrepancy remains O(1) even after arbitrarily many iterations, preventing the unbounded divergence typical of asynchronous setups. Analytical bounds are matched by experiments on the LLAMA2 7B model with 64 GPUs: tolerating 10% random packet loss yields at most 0.8% perplexity change. This work bridges the gap between communication-efficient datacenter protocols and the accuracy and generalization guarantees demanded by modern large-model training, enabling robust, high-throughput learning on commodity or wide-area networks.
Figures
Reference graph
Works this paper leans on
-
[1]
Boost- ing distributed machine learning training through loss-tolerant transmission protocol
Zixuan Chen, Lei Shi, Xuandong Liu, Xin Ai, Sen Liu, and Yang Xu. Boost- ing distributed machine learning training through loss-tolerant transmission protocol. In IWQoS. IEEE, 2023
work page 2023
-
[2]
Zixuan Chen, Lei Shi, Xuandong Liu, Xin Ai, Sen Liu, and Yang Xu. Dgt: A contribution-aware differential gradient transmission mechanism for distributed machine learning. Computer Networks , 2023
work page 2023
-
[3]
Epoch. Machine learning trends. https://epoch.ai/trends, 2025. Ac- cessed: 2025-07-01
work page 2025
-
[4]
Rdma over ethernet for distributed AI training at meta scale
Adithya Gangidi, Rui Miao, Shengbao Zheng, et al. Rdma over ethernet for distributed AI training at meta scale. In Proceedings of ACM SIGCOMM ’24, 2024. Shows PFC-induced HoL blocking and tail-latency spikes on large RoCE clusters
work page 2024
-
[5]
More effective distributed ml via a stale synchronous parallel parameter server
Qirong Ho, James Cipar, Henggang Cui, Jin Kyu Kim, Abhimanyu Kumar, Gregory R Ganger, Garth Gibson, Phillip B Gibbons, and Eric P Xing. More effective distributed ml via a stale synchronous parallel parameter server. In NeurIPS, 2013
work page 2013
-
[6]
Sdp4bit: Toward 4-bit communication quantization in sharded data parallelism for llm training
Jinda Jia, Cong Xie, Hanlin Lu, Daoce Wang, et al. Sdp4bit: Toward 4-bit communication quantization in sharded data parallelism for llm training. In Advances in Neural Information Processing Systems (NeurIPS 2024) ,
work page 2024
-
[7]
Chao Jin, Ziheng Jiang, Zhihao Bai, Zheng Zhong, Juncai Liu, et al. Megascale-moe: Large-scale communication-efficient training of mixture- of-experts models in production. https://arxiv.org/abs/2505.11432,
-
[8]
Geon-Woo Kim, Junbo Li, Shashidhar Gandham, Omar Baldonado, Adithya Gangidi, Pavan Balaji, Zhangyang Wang, and Aditya Akella. Halos: Hierarchical asynchronous local SGD over slow networks for geo- distributed large language model training. In Proc. ICML 2025 , 2025. Hierarchical SSP; 7.5 × faster W AN training
work page 2025
Show all 19 references
-
[9]
Deep gradient compression: Reducing the communication bandwidth for dis- tributed training
Yujun Lin, Song Han, Huizi Mao, Yujun Wang, and William Dally. Deep gradient compression: Reducing the communication bandwidth for dis- tributed training. arXiv preprint arXiv:1712.01887 , 2017
2017 arXiv
-
[10]
Bandwidth optimal all-reduce algorithms for clusters of workstations
Pitch Patarasuk and Xin Yuan. Bandwidth optimal all-reduce algorithms for clusters of workstations. Journal of Parallel and Distributed Computing, 69(2):117–124, 2009
2009
-
[11]
Zero: Memory optimizations toward training trillion parameter models
Samyam Rajbhandari, Jeff Rasley, Olatunji Ruwase, and Yuxiong He. Zero: Memory optimizations toward training trillion parameter models. In arXiv preprint arXiv:1910.02054, 2019. 13
1910 arXiv
-
[12]
Scaling intelligence: Designing data centers for next-gen language models
Jesmin Jahan Tithi, Hanjiang Wu, Avishaii Abuhatzera, and Fabrizio Petrini. Scaling intelligence: Designing data centers for next-gen language models. In Proceedings of the International Conference for High Perfor- mance Computing (SC ’25) , 2025. Preprint: https://arxiv.org/a...
2025 arXiv
-
[13]
Mlt: Towards domain-specific network transport for distributed dnn training
Hao Wang, Han Tian, Jingrong Chen, Xinchen Wan, Jiacheng Xia, Gaox- iong Zeng, Wei Bai, Junchen Jiang, Yong Wang, and Kai Chen. Mlt: Towards domain-specific network transport for distributed dnn training. In Proceedings of NSDI ’24, 2024. Bounded-loss transport—no retransmit; ...
2024
-
[14]
Simulation code for distributed training under packet loss
Erez Weintraub. Simulation code for distributed training under packet loss. https://github.com/eweintra38/Megatron-LM.git, 2025. Branch: LMWithRandDrops
2025
-
[15]
Collective operation
Wikipedia contributors. Collective operation. https://en.wikipedia. org/wiki/Collective_operation. Accessed: 2025-06-19
2025
-
[16]
Evaluation and optimization of gradient compression for distributed deep learning
Liang Zhang et al. Evaluation and optimization of gradient compression for distributed deep learning. arXiv preprint arXiv:2306.08881 , 2023
2023 arXiv
-
[17]
Dynamic stale synchronous parallel distributed training for deep learning
Xing Zhao, Aijun An, Junfeng Liu, and Bao Xin Chen. Dynamic stale synchronous parallel distributed training for deep learning. arXiv preprint arXiv:1908.11848, 2019. 14
1908 arXiv
-
[2024]
Up to 4.08 × throughput on 128 GPUs
-
[2025]
Shows 1.88 × speed-up via comm/comp overlap
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.