tor

The Tor anonymity network
git clone https://git.dasho.dev/tor.git
Log | Files | Refs | README | LICENSE

commit 992c76764688cf7c6a9a1db487a77ef1328d9b43
parent f21d20ce0f5dc5ee38546d26da44c9d8a22181af
Author: Steven Engler <opara@torproject.org>
Date:   Mon, 29 Sep 2025 21:57:57 -0400

flow-ctrl: add XOFF grace period

This is meant to reduce the number of XOFF sent, especially on conflux
circuits.

Diffstat:
Achanges/bug41130 | 6++++++
Msrc/core/or/congestion_control_flow.c | 46+++++++++++++++++++++++++++++++++++++++++++++-
Msrc/core/or/edge_connection_st.h | 12++++++++++++
3 files changed, 63 insertions(+), 1 deletion(-)

diff --git a/changes/bug41130 b/changes/bug41130 @@ -0,0 +1,6 @@ + o Minor bugfixes (stream flow control performance): + - Use a 5 ms grace period to allow an edge connection to flush its stream + data to the socket before sending an XOFF. This significantly reduces the + number of XON/XOFF messages sent when (1) the application is reading + stream data at a fast rate, and (2) when conflux is enabled. Partially + fixes bug 41130. diff --git a/src/core/or/congestion_control_flow.c b/src/core/or/congestion_control_flow.c @@ -49,6 +49,33 @@ double cc_stats_flow_xon_outbuf_ma = 0; * and strange logic in connection_bucket_get_share(). */ #define MAX_EXPECTED_CELL_BURST 32 +/* This is the grace period that we use to give the edge connection a chance to + * reduce its outbuf before we send an XOFF. + * + * The congestion control spec says: + * > If the length of an edge outbuf queue exceeds the size provided in the + * > appropriate client or exit XOFF consensus parameter, a + * > RELAY_COMMAND_STREAM_XOFF will be sent + * + * This doesn't directly adapt well to tor, where we process many incoming + * messages at once. We may buffer a lot of stream data before giving the + * mainloop a chance to flush the the edge connection's outbuf, even if the + * edge connection's socket is able to accept more bytes. + * + * Instead if we detect that we should send an XOFF (as described in the cc + * spec), we delay sending an XOFF for `XOFF_GRACE_PERIOD_USEC` microseconds. + * This gives the mainloop a chance to flush the buffer to the edge + * connection's socket. If this flush causes the outbuf queue to shrink under + * our XOFF limit, then we no longer need to send an XOFF. If after + * `XOFF_GRACE_PERIOD_USEC` we receive another message and the outbuf queue + * still exceeds the XOFF limit, we send an XOFF. + * + * The value of 5 milliseconds was chosen arbitrarily. In practice it should be + * enough time for the edge connection to get a chance to flush, but not too + * long to cause excessive buffering. + */ +#define XOFF_GRACE_PERIOD_USEC (5000) + /* The following three are for dropmark rate limiting. They define when we * scale down our XON, XOFF, and xmit byte counts. Early scaling is beneficial * because it limits the ability of spurious XON/XOFF to be sent after large @@ -459,7 +486,16 @@ flow_control_decide_xoff(edge_connection_t *stream) if (total_buffered > buffer_limit_xoff) { if (!stream->xoff_sent) { - { + uint64_t now = monotime_absolute_usec(); + + if (stream->xoff_grace_period_start_usec == 0) { + /* If unset, we haven't begun the XOFF grace period. We need to start. */ + log_debug(LD_EDGE, "Exceeded XOFF limit; Beginning grace period: total-buffered=%" TOR_PRIuSZ " xoff-limit=%d", + total_buffered, buffer_limit_xoff); + + stream->xoff_grace_period_start_usec = now; + } else if (now > stream->xoff_grace_period_start_usec + XOFF_GRACE_PERIOD_USEC) { + /* If we've exceeded our XOFF grace period, we need to send an XOFF. */ log_info(LD_EDGE, "Sending XOFF: %"TOR_PRIuSZ" %d", total_buffered, buffer_limit_xoff); tor_trace(TR_SUBSYS(cc), TR_EV(flow_decide_xoff_sending), stream); @@ -473,8 +509,16 @@ flow_control_decide_xoff(edge_connection_t *stream) /* Clear the drain rate. It is considered wrong if we * got all the way to XOFF */ stream->ewma_drain_rate = 0; + + /* Unset our grace period. */ + stream->xoff_grace_period_start_usec = 0; + } else { + /* Else we're in the XOFF grace period, so don't do anything. */ } } + } else { + /* The outbuf length is less than the XOFF limit, so unset our grace period. */ + stream->xoff_grace_period_start_usec = 0; } /* If the outbuf has accumulated more than the expected burst limit of diff --git a/src/core/or/edge_connection_st.h b/src/core/or/edge_connection_st.h @@ -89,6 +89,18 @@ struct edge_connection_t { uint64_t drain_start_usec; /** + * Monotime timestamp of when we started the XOFF grace period for this edge. + * + * See the comments on `XOFF_GRACE_PERIOD_USEC` for an explanation on how + * this is used. + * + * A value of 0 is considered "unset". This isn't great, but we set this + * field as the output from `monotime_absolute_usec()` which should only ever + * be 0 within the first 1 microsecond of initializing the monotonic timer + * subsystem. */ + uint64_t xoff_grace_period_start_usec; + + /** * Number of bytes written since we either emptied our buffers, * or sent an advisory drate rate. Can wrap, buf if so, * we must reset the usec timestamp above. (Or make this u64, idk).