Definition · Durability, and the first-order loss estimateConsider a placement group holding N copies of an item, each on a device that fails independently at rate f a year, with a lost copy rebuilt within a repair window of R hours. The annual probability of losing the item is approximately N! × fᴺ × (R/8760)ᴺ⁻¹. This is a first-order rare-event estimate: it drops every term in which failures overlap or a repair completes mid-window.
The shape is easier to see than the constant. Any one of the N copies can fail first, at rate f each; the second must fail inside the window, which happens with probability about f × R/8760; the third likewise. Multiplying and counting the orderings gives the factorial, the N-th power of f and the (N − 1)-th power of the window fraction.
N = 3, f = 0.02 a year, R = 24 h, 8760 h in a year
R/8760 = 24/8760 = 0.00273973
P ≈ 3! × 0.02³ × 0.00273973²
= 6 × 0.000008 × 0.0000075061
= 3.603 × 10⁻¹⁰ per group per year
the same first-order formula as an exact fraction
= 3/8 326 562 500
across 10 000 placement groups
3.603 × 10⁻⁶ losses a year, one every 2.776 × 10⁵ years
The exact fraction is printed beside the float deliberately. The arithmetic on rational f and R is exact and the two agree, which is how you can tell that the gap between this number and the truth is in the modelling rather than in the division. Every other figure on this course is exact; this one is rounded, and what rounds is the first-order truncation.
How big the truncation is
The estimate stands in for an exponential: the probability that a further copy fails within the window is 1 − e⁻ˣ with x = (N − 1) f R/8760, and the formula uses x itself. Here x = 1.095890 × 10⁻⁴ and 1 − e⁻ˣ = 1.095830 × 10⁻⁴, a relative gap of 0.0055%. The truncation is negligible in this regime and would not be if f or R were large, which is the condition under which the formula may be used at all.
Example · What halving the repair window is worthCutting R from 24 hours to 12 takes the annual loss probability from 3.603 × 10⁻¹⁰ to 9.007 × 10⁻¹¹, a factor of 2ᴺ⁻¹ = 4. At four copies the same halving is a factor of eight. Rebuild speed is not a second-order concern that gets attention after the replica count is settled; at three copies it is exactly as powerful as reducing the device failure rate by the same factor, twice over.
What the number is a statement about
It is a per-group, per-year probability under a model in which devices fail independently at a constant rate and rebuilds always finish inside R. Multiply it by the number of groups to get an expected count for the fleet — 3.603 × 10⁻⁶ a year across ten thousand groups — and invert that for a mean time between losses. Those conversions are arithmetic; the model underneath them is the part that can be wrong.
And it usually is wrong in one specific direction. Independence is the assumption of “Correlated Failure”, and it fails here for the reasons it fails everywhere: three copies in one rack, on one power feed, in one firmware version, or written by one buggy release. The eleven-figure durability numbers quoted for storage systems are answers about device failure, and device failure is rarely what loses data.
Example · Where the real losses come fromA three-copy system at 3.603 × 10⁻¹⁰ per group per year would lose an item roughly once every 2.776 × 10⁵ years across ten thousand groups. Operators do not observe that; they observe losses from deletion bugs, from a bad deploy that corrupts all three copies identically, from an operator command applied fleet-wide, and from a rebuild that silently did not happen. None of those are in the model, and all of them are correlated — which is why backups with a different failure domain exist alongside replication rather than instead of it.
One consequence worth naming: the model says a rebuild that does not finish is not a slow repair, it is an infinite R. A group whose rebuild is stalled has left the regime the formula describes entirely, and the durability figure computed for the fleet does not apply to it. Monitoring under-replicated groups is therefore not an operational nicety; it is the condition under which the arithmetic is true.