Skip to content

Commit

Permalink
BUG/MAJOR: quic: fix wrong packet building due to already acked frames
Browse files Browse the repository at this point in the history
If a packet build was asked to probe the peer with frames which have just
been acked, the frames build run by qc_build_frms() could be cancelled  by
qc_stream_frm_is_acked() whose aim is to check that current frames to
be built have not been already acknowledged. In this case the packet build run
by qc_do_build_pkt() is not interrupted, leading to the build of an empty packet
which should be ack-eliciting.

This is a bug detected by the BUG_ON() statement in qc_do_build_pk():

	    BUG_ON(qel->pktns->tx.pto_probe &&
           !(pkt->flags & QUIC_FL_TX_PACKET_ACK_ELICITING));

Thank you to @Tristan971 for having reported this issue in GH haproxy#2709

This is an old bug which must be backported as far as 2.6.
  • Loading branch information
haproxyFred committed Nov 25, 2024
1 parent d41273c commit 96b2641
Showing 1 changed file with 17 additions and 1 deletion.
18 changes: 17 additions & 1 deletion src/quic_tx.c
Original file line number Diff line number Diff line change
Expand Up @@ -2012,7 +2012,23 @@ static int qc_do_build_pkt(unsigned char *pos, const unsigned char *end,
goto comp_pkt_len;
}

if (!ack_frm_len && !qel->pktns->tx.pto_probe)
if (qel->pktns->tx.pto_probe) {
/* If a probing packet was asked and could not be built,
* this is not because there was not enough room, but due to
* its frames which were already acknowledeged.
* See qc_stream_frm_is_acked()) called by qc_build_frms().
* Note that qc_stream_frm_is_acked() logs a trace in this
* case mentionning some frames were already acknowledged.
*
* That said, the consequence must be the same: cancelling
* the packet build as if there was not enough room in the
* TX buffer.
*/
qel->pktns->tx.pto_probe--;
goto no_room;
}

if (!ack_frm_len)
goto no_room;
}
}
Expand Down

0 comments on commit 96b2641

Please sign in to comment.