mirror of
https://git.haproxy.org/git/haproxy.git/
synced 2025-11-21 19:01:00 +01:00
This patch implements an algorithm which may be used by congestion algorithms for QUIC to estimate the current delivery rate of a sender. It is at least used by BBR and could be used by others congestion algorithms as cubic. This algorithm was specified by an RFC draft here: https://datatracker.ietf.org/doc/html/draft-cheng-iccrg-delivery-rate-estimation before being merged into BBR v3 here: https://datatracker.ietf.org/doc/html/draft-cardwell-ccwg-bbr#section-4.5.2.2
156 lines
4.8 KiB
C
156 lines
4.8 KiB
C
/* Delivery Rate Sampling */
|
|
|
|
#include <haproxy/pool.h>
|
|
#include <haproxy/quic_cc-t.h>
|
|
#include <haproxy/quic_cc_drs.h>
|
|
#include <haproxy/quic_tx-t.h>
|
|
#include <haproxy/ticks.h>
|
|
#include <haproxy/window_filter.h>
|
|
|
|
static void quic_cc_rs_init(struct quic_cc_rs *rs)
|
|
{
|
|
rs->interval = UINT32_MAX;
|
|
rs->delivered = 0;
|
|
rs->prior_delivered = 0;
|
|
rs->prior_time = TICK_ETERNITY;
|
|
rs->tx_in_flight = 0;
|
|
rs->lost = 0;
|
|
rs->prior_lost = 0;
|
|
rs->send_elapsed = 0;
|
|
rs->ack_elapsed = 0;
|
|
rs->last_end_seq = -1;
|
|
rs->is_app_limited = 0;
|
|
}
|
|
|
|
void quic_cc_drs_init(struct quic_cc_drs *drs)
|
|
{
|
|
quic_cc_rs_init(&drs->rs);
|
|
wf_init(&drs->wf, 12, 0, ~0U);
|
|
drs->round_count = 0;
|
|
drs->next_round_delivered = 0;
|
|
drs->delivered = 0;
|
|
drs->lost = 0;
|
|
drs->last_seq = -1;
|
|
drs->delivered_time = TICK_ETERNITY;
|
|
drs->first_sent_time = TICK_ETERNITY;
|
|
drs->app_limited = 0;
|
|
drs->is_cwnd_limited = 0;
|
|
}
|
|
|
|
/* Update <pkt> TX packet rate sampling information.
|
|
* Must be called after <pkt> has just been sent.
|
|
*/
|
|
void quic_cc_drs_on_pkt_sent(struct quic_cc_path *path,
|
|
struct quic_tx_packet *pkt, struct quic_cc_drs *drs)
|
|
{
|
|
if (!path->in_flight)
|
|
drs->first_sent_time = drs->delivered_time = pkt->time_sent;
|
|
|
|
pkt->rs.first_sent_time = drs->first_sent_time;
|
|
pkt->rs.delivered_time = drs->delivered_time;
|
|
pkt->rs.delivered = drs->delivered;
|
|
pkt->rs.is_app_limited = drs->app_limited != 0;
|
|
|
|
pkt->rs.tx_in_flight = path->in_flight + pkt->len;
|
|
pkt->rs.lost = drs->lost;
|
|
pkt->rs.end_seq = ++drs->last_seq;
|
|
}
|
|
|
|
/* Return 1 if <pkt> TX packet is the most recently sent packet
|
|
* that has been delivered, 0 if not.
|
|
*/
|
|
static inline int quic_cc_drs_is_newest_packet(struct quic_cc_drs *drs,
|
|
struct quic_tx_packet *pkt)
|
|
{
|
|
return tick_is_lt(drs->first_sent_time, pkt->time_sent) ||
|
|
(pkt->time_sent == drs->first_sent_time &&
|
|
pkt->rs.end_seq > drs->rs.last_end_seq);
|
|
}
|
|
|
|
/* RFC https://datatracker.ietf.org/doc/draft-ietf-ccwg-bbr/
|
|
* 4.5.2.3.3. Upon receiving an ACK
|
|
*
|
|
* When an ACK arrives, the sender invokes GenerateRateSample() to fill
|
|
* in a rate sample. For each packet that was newly SACKed or ACKed,
|
|
* UpdateRateSample() updates the rate sample based on a snapshot of
|
|
* connection delivery information from the time at which the packet was
|
|
* last transmitted. UpdateRateSample() is invoked multiple times when
|
|
* a stretched ACK acknowledges multiple data packets. In this case we
|
|
* use the information from the most recently sent packet, i.e., the
|
|
* packet with the highest "P.delivered" value.
|
|
*
|
|
* haproxy implementation: quic_cc_drs_update_rate_sample() matches with
|
|
* RFC UpdateRateSample() called from first part of GenerateRateSample().
|
|
*/
|
|
void quic_cc_drs_update_rate_sample(struct quic_cc_drs *drs,
|
|
struct quic_tx_packet *pkt)
|
|
{
|
|
struct quic_cc_rs *rs = &drs->rs;
|
|
|
|
if (!tick_isset(pkt->rs.delivered_time))
|
|
return;
|
|
|
|
drs->delivered += pkt->len;
|
|
drs->delivered_time = now_ms;
|
|
/* Update info using the newest packet. */
|
|
if (tick_isset(rs->prior_time) && !quic_cc_drs_is_newest_packet(drs, pkt))
|
|
return;
|
|
|
|
rs->prior_delivered = pkt->rs.delivered;
|
|
rs->prior_time = pkt->rs.delivered_time;
|
|
rs->is_app_limited = pkt->rs.is_app_limited;
|
|
rs->send_elapsed = pkt->time_sent - pkt->rs.first_sent_time;
|
|
rs->ack_elapsed = drs->delivered_time - pkt->rs.delivered_time;
|
|
rs->tx_in_flight = pkt->rs.tx_in_flight;
|
|
rs->prior_lost = pkt->rs.lost;
|
|
rs->last_end_seq = pkt->rs.end_seq;
|
|
drs->first_sent_time = pkt->time_sent;
|
|
/* Mark the packet as delivered once it's SACKed to
|
|
* avoid being used again when it's cumulatively acked.
|
|
*/
|
|
pkt->rs.delivered_time = TICK_ETERNITY;
|
|
}
|
|
|
|
/* RFC https://datatracker.ietf.org/doc/draft-ietf-ccwg-bbr/
|
|
* 4.5.2.3.3. Upon receiving an ACK
|
|
*
|
|
* haproxy implementation: second part of GenerateRateSample(). Follows the
|
|
* first one above.
|
|
*/
|
|
void quic_cc_drs_on_ack_recv(struct quic_cc_drs *drs, struct quic_cc_path *path,
|
|
uint64_t pkt_delivered)
|
|
{
|
|
struct quic_cc_rs *rs = &drs->rs;
|
|
uint64_t rate;
|
|
|
|
if (drs->app_limited && drs->delivered > drs->app_limited)
|
|
drs->app_limited = 0;
|
|
|
|
if (pkt_delivered >= drs->next_round_delivered) {
|
|
drs->next_round_delivered = pkt_delivered;
|
|
++drs->round_count;
|
|
}
|
|
|
|
if (!tick_isset(rs->prior_time))
|
|
return;
|
|
|
|
rs->interval = MAX(rs->send_elapsed, rs->ack_elapsed);
|
|
|
|
BUG_ON(drs->delivered <= rs->prior_delivered);
|
|
rs->delivered = drs->delivered - rs->prior_delivered;
|
|
BUG_ON(drs->lost < rs->prior_lost);
|
|
rs->lost = drs->lost - rs->prior_lost;
|
|
|
|
if (rs->interval < path->loss.rtt_min) {
|
|
rs->interval = UINT32_MAX;
|
|
return;
|
|
}
|
|
|
|
if (!rs->interval)
|
|
return;
|
|
|
|
rate = rs->delivered * 1000 / rs->interval;
|
|
if (rate >= wf_get_max(&drs->wf) || !drs->app_limited)
|
|
path->delivery_rate = wf_max_update(&drs->wf, rate, drs->round_count);
|
|
}
|