What communication forbids
What this article forbids
- Resolving the third outcome. An ambiguous non-answer cannot be made definite by any mechanism here. It can only be made harmless by idempotency.
- A bound on client staleness. Clients are not members of any protocol, so nothing limits how far behind their map can be. Correctness must live at the receiver.
- Greedy load balancing on a stale load signal without herding.
- Tail improvement from hedging when slowness is request-local. The hedge is perfectly correlated and buys nothing for double the cost.
- Bounded retry amplification from per-request retry limits under correlated failure; the escape is a fleet-wide retry budget.
- Escaping
E[max of N]by restructuring the gather. Trees fix fan-in, never the tail. - Partial results over a non-tolerant aggregation. The algebra decides, not the engineering.
- A synchronous control-plane dependency with data-plane availability.
Escapes and what each costs
| Escape | Buys | Costs | Paid by |
|---|---|---|---|
| Idempotency keys + dedup window | the unknown outcome stops mattering | server-side state with a retention parameter | the callee, and a janitor |
| Absolute propagated deadline | bounded W, therefore bounded L; no wasted leaf work | requires unbroken context across every hop | anyone with an async boundary |
| In-band context | coordination at zero round trips | only for facts interpretable without shared state | nothing: the cheapest escape here |
| Reject-and-correct at the receiver | clients need never be current | every receiver must check | the server, on every request |
| Power-of-two-choices | near-optimal balance, no herding | worse than a perfect oracle, which does not exist | nothing real |
| Subsetting | bounds O(clients × servers) connections | worse balance; reassignment storms | the fleet, at deploy time |
| Hedging | minimum of k latency draws | k× work on the hedged fraction; useless under correlation | utilization, at the worst moment |
| Partial results | tail and availability, with no extra work | exactness | the answer's precision |
| Fail-static data plane | a control-plane outage stops being an outage | operating on stale config, so fences are required | correctness, if the fence is missing |