Re: [tsvwg] What TCP to target in TCP-friendly [was:A word for "does not have a significantly negative impact on traffic using standard congestion control"?]

[Sebastian Moeller <[e-mail]>]

Dear All,

in the cited response Bob proposes to define TCP Reno as the reference TCP all TCP-friendly protocols need to be compatible with. I had a quick look at what TCP CCs are actually in use, and according to wikipdia, all major operatig systems, Windows10 (since 1709, 2017), MacOs (since Yosemite, 2014), Linux (since 2.6.19, 2006) converged on CUBIC as the default TCP congestion control algorithm.
Given that data, I propose to not enshrine YCP Reno's behavior as the current applicable reference, but instead TCP CUBIC. 
	For the L4S drafts that does not change much, because the dualQ's unfairness towards non-L4S-CCs does not seem to care for the exact way a CC is NOT L4S, (and related, but not totally on topic: TCP Pragues abysmal (self)-fairness in FIFO buffers is also independent of the exact nature of the competing CC). That is to say, L4S fails to meet its promises on both fronts, the network bits and the protocol bits are not fit for purpose (neither in safety nor functionality).


Best Regards
	Sebastian



> On Mar 10, 2021, at 15:05, Bob Briscoe <[e-mail]> wrote:
> 
> Sebasitan
> 
> On 10/03/2021 08:27, Sebastian Moeller wrote:
>> Dear All,
>> 
>> while I appreciate the attempt to strive for better nomenclature, I think here it is best to stick to the existing terms. Sure add a paragraph that explicitly spells out what it exactly means, but do not muddy the water with slightly different terms. Also, be as accurate and descriptive as possible.
>> 
>> The argument that there are more protocols than TCP is a rather weak one, becauseIMHO " TCP-friendly" really just conveys that all internet-wide congestion response should strive to not harm TCP (still being one of the major traffic types in the net). Also this needs a strict definition of harm, so that congestion responses can be tested against this requirements and simply judged friendly or non-friendly.
>> 
>> Bob later hints at a similar thought with:
>> "Something that's not as sensitive to single losses as Reno. Which means it could push Reno down (somewhat more than say Cubic in Reno mode would), but not "significantly"."
>> 
>> But IMHO this is a slippery slope (the scare quotes around significantly indicate a non-objective assessment), so please define the amount of harm that is permissible. And also, if that boils down to "do not starve" add an explicit definition of starvation that can be used in a statistical test, the old "I know starvation when I see it" definition is clearly in the eye of the beholder and hence pretty useless for designing and testing CC algorithms against.
>> 
>> With all that said, how about something along the lines of:
>> 
>> New congestion control algorithms, will share the internet with existing CCs for the foreseeable future, and hence need to c o-exist peacefully with existing CCs. Given TCP's importance in the early internet(?) such behaviour has been called TCP-friendly, and boils down to that new CCs do not do more harm to existing CC-flows than such existing flows would do to each other. In addition to the "no more harm" principle new CCs should also avoid driving other TCP-friendly flows into starvation. In this context starvation means a reduction of a flows capacity share, below 1/8 (3 orders of magnitude) its equitable capacity share if no new-CC flows would be present.
> 
> [BB] (I assume you mean 'Reno' here, each time you say 'TCP'.)
> 
> Whatever, the question was looking for a word that describes more harm than none.
> We saw in the survey at the last Nov '20 ICCRG that Reno is becoming a small minority. I suspect this is because it's over-sensitive to noise that often isn't really congestion (accepting that it's hard for any CC to know what caused a loss).
> 
> We're looking for a way to describe the congestion controls that do actually do some harm to such "over-sensitive" congestion controls, but not significant harm.
> 
>> 
>> IMHO that captures the gist of the issue:
>> 1) do no harm: is a concise phrasing of "does not have a significantly negative impact"
> 
> [BB] That would be "do no significant harm", as explained above.
> 
>> 2) giving a definition of clearly acceptable harm (what TCP-friendly CCs already inflict on each other).
>> 3) tackles the so far under defined starvation issue heads on by giving a definition of starvation that can be empirically confirmed during tests
>> 4) uses a reference rate for the starvation calculation that effortlessly allows for prioritization and selective shaping on each node where the sharing behaviour is explored.
>> 5) by having a numerical definition of starvation and of the reference sharing behaviour, it becomes possible to statistically test whether the new CC significantly harms existing TCP-friendly traffic or not (getting rid of the subjective components of "significantly").
> 
> [BB] I'd like to work on this.
> 
> I believe the problem is similar to relative poverty. It depends on some notion of average (long-running, capacity-seeking) flow rate in a deployment environment, not solely the other rates in one bottleneck.
> 
> 
> Bob
> 
>> 
>> This blurb clearly is not perfect, but IMHO worth discussing.
>> 
>> 
>> Best Regards
>> 	Sebastian
>> 
>> 
>>> On Mar 9, 2021, at 02:19, Bob Briscoe <[e-mail]> wrote:
>>> 
>>> tsvwg-ers,
>>> 
>>> In the survey of the L4S Prague Requirements, we got quite significant push-back from developers about our two requirements to fall back to Reno-Friendly (which the draft defines as a translation of 'TCP-Friendly' into transport-agnostic language, 'cos TCP isn't the only transport these days).
>>> 
>>> Basically, people don't want to have to fall back to something as lame a Reno (apologies if that's disparaging, but I'm just the messenger).
>>> 
>>> I was hoping people would interpret 'Reno-Friendly' liberally. But everyone takes Reno-Friendly to mean quite close to Reno behaviour - not surprising really, given the definition of TCP-Friendly in TFRC is roughly within 2x of Reno [RFC5348] (pasted at the end).
>>> 
>>> What I'm looking for is a word that means "does not have a significantly negative impact on traffic using standard congestion control", which
>>> RFC5033 allows for experimental congestion controls.
>>> 
>>> 
>>> 
>>> ==Details from the RFCs==
>>> 
>>> RFCRFC2914 (borrowing from RFC2309) defines TCP-compatible to mean the same behaviour as Reno (essentially).
>>> 
>>> RFC5348 defines the term TCP-Friendly, which was originally intended for real-time media - to allow the rate to temporarily stray from TCP-compatible because it needed to remain more stable as available capacity varied. But it was also used for regular elastic congestion controls like Cubic. Here's the TFRC definition.
>>> 
>>>    TFRC is designed to be reasonably fair when competing for bandwidth
>>>    with TCP flows, where we call a flow "reasonably fair" if its sending
>>>    rate is generally within a factor of two of the sending rate of a TCP
>>>    flow under the same conditions.  However, TFRC has a much lower
>>>    variation of throughput over time compared with TCP, which makes it
>>>    more suitable for applications such as telephony or streaming media
>>>    where a relatively smooth sending rate is of importance.
>>> 
>>> 
>>> In RFC5033, Sally Floyd wrote this, which is a useful turn of phrase. I'd just like to find a shorter way of saying it:
>>> 
>>>        Alternate congestion controllers that have a
>>>        significantly negative impact on traffic using standard
>>>        congestion control may be suspect
>>> 
>>> 
>>> 
>>> Bob
>>> -- 
>>> ________________________________________________________________
>>> Bob Briscoe
>>> http://bobbriscoe.net/
> 
> -- 
> ________________________________________________________________
> Bob Briscoe                               http://bobbriscoe.net/
>