Re: [tcpPrague] [tsvwg] ecn-l4s-id: Proposed Changed to Normative RTT Bias Text

Sebastian Moeller <moeller0@gmx.de> Sat, 31 October 2020 11:03 UTC

Return-Path: <moeller0@gmx.de>
X-Original-To: tcpprague@ietfa.amsl.com
Delivered-To: tcpprague@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 803593A0E13; Sat, 31 Oct 2020 04:03:58 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.149
X-Spam-Level:
X-Spam-Status: No, score=-0.149 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, MIME_HTML_ONLY=0.1, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, THIS_AD=1.399, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=gmx.net
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id STLNgdgxC6Lc; Sat, 31 Oct 2020 04:03:56 -0700 (PDT)
Received: from mout.gmx.net (mout.gmx.net [212.227.17.20]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 32AE53A0DB2; Sat, 31 Oct 2020 04:03:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1604142186; bh=4SKN6JTk9IZjNA7GLr8t6ZyitPEZ7E5mJR4u+aSpYAc=; h=X-UI-Sender-Class:From:To:Cc:Subject:Date:In-Reply-To:References; b=cBSqbqvvFwIomVG9PMNOkp1MLx1WOemfdh+us3mRKujIg026tM6geAOx7KWIxr0c0 JRQk7jjkK4cu24B8HUQU74KN0oKcQYaSovQspt86fCdMZMoI9X01Uf2PZMBEeChWKt c8HjsXG7+3kGTYkhaSplmxpU1kpFcfNBTnP4D+xc=
X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
Received: from [134.76.241.253] ([134.76.241.253]) by web-mail.gmx.net (3c-app-gmx-bs36.server.lan [172.19.170.88]) (via HTTP); Sat, 31 Oct 2020 12:03:06 +0100
MIME-Version: 1.0
Message-ID: <trinity-57d696be-7fbc-4f65-bb4e-7787205d6899-1604142186300@3c-app-gmx-bs36>
From: Sebastian Moeller <moeller0@gmx.de>
To: Bob Briscoe <research@bobbriscoe.net>
Cc: tsvwg IETF list <tsvwg@ietf.org>, iccrg IRTF list <iccrg@irtf.org>, TCP Prague List <tcpPrague@ietf.org>, "De Schepper, Koen (Koen)" <koen.de_schepper@nokia.com>
Content-Type: text/html; charset=UTF-8
Date: Sat, 31 Oct 2020 12:03:06 +0100
Importance: normal
Sensitivity: Normal
In-Reply-To: <e1f151f6-b240-058f-7075-74e77942d325@bobbriscoe.net>
References: <c20cb7de-a6e3-ff18-e34c-cee8c0cfadf3@bobbriscoe.net> <trinity-da9fe99f-0f0e-404b-bbce-0468ed38ff45-1604088791553@3c-app-gmx-bap50> <e1f151f6-b240-058f-7075-74e77942d325@bobbriscoe.net>
X-UI-Message-Type: mail
X-Priority: 3
X-Provags-ID: V03:K1:eo7+huyq8TnUK1HKzh9y+oHTiGKWVDl15OvOPQyrOiyu1Jyh3FadqyJTbpn+6ceF1Uo05 kARPK8DqwQhr6/jn/uI2jd7IfEIjhlPmf0LshzetUPYlBWpCZINR4CfSt5SCnD9q9kRsfdIlZbvb N2ehtaRVaCTkPg0CSoOyfhkvmA/zSnS94Z9SRjDdUx6DArzmarPQOC5k3Hp+QvdaKRoMTfK7ceX+ x+uLMivKZNpKgX/KqM3AzTfvAELj8k+rMyg5FCSgLrdQgOCsR+RSqhEcYzF6qwlpu1Oa30Ow3JyD Z4=
X-UI-Out-Filterresults: notjunk:1;V03:K0:cwLno+mHwSc=:ObDoHEBvOwqMwYL4ya69KI vfMmOJ4jaStP3CNjJzRcYzKKhSRvSGAfgVMZcEzaXhLA5fl+XEwAAwSaVvKK0pXnsK5M/Rjt5 +K+DuvUX4l86GY09JwVO4P4s9TAdcluvCmTHKZxnh1TeXVRUWWoOGq8N0Xpcs60EG7PZrEuxw DQATwwL2WyX8nyGEt8vi81Wo1Xcwz6narKKpwOIGv7J5vDtRj2XUQDYZrF26vDVkPg/CIZdK2 uMP8QSAb7YAGrc1R52HM/KMoSCMzdWsg4NLx/Rb5PfboA8tV3LNsN5Xm/vFn7evV7ijFdTFW5 u2cTTgtWwIeFEQKjLuxbjdiMCadAx/g5zqdJPCjkFxzQfWjC1C5EQPyO5ZtOIJQ9GqVZBs95S jjpCYUK9VEA02GtHfY5g3TDV0wDEPNfShAYoPHNxpFeztv6qAeFwu7qwyWm+dOcYJm2kuk+Bw PNLdheOl1IQoNhcbRKyi328CqYY34djEylhoMopeUdS4fx/cOlc191m/qwvBdCX7QXyxOpOPt eDugrvYqAgiv8zpKHVTJE6bQPStXTJoOwb+OKXEoY/0gKGnGO4mw6OtuAGQkzRtjvhJ8G4fh5 L7vOk+QsC/yvE=
Archived-At: <https://mailarchive.ietf.org/arch/msg/tcpprague/_hB97rgY7sQHiUQ8hZ9ua4x9Jk8>
Subject: Re: [tcpPrague] [tsvwg] ecn-l4s-id: Proposed Changed to Normative RTT Bias Text
X-BeenThere: tcpprague@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "To coordinate implementation and standardisation of TCP Prague across platforms. TCP Prague will be an evolution of DCTCP designed to live alongside other TCP variants and derivatives." <tcpprague.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tcpprague>, <mailto:tcpprague-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tcpprague/>
List-Post: <mailto:tcpprague@ietf.org>
List-Help: <mailto:tcpprague-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tcpprague>, <mailto:tcpprague-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 31 Oct 2020 11:03:59 -0000

Dear Bob,
 
more below in-line, prefixed [SM2]
 
 
Gesendet: Samstag, 31. Oktober 2020 um 11:38 Uhr
Von: "Bob Briscoe" <research@bobbriscoe.net>
An: "Sebastian Moeller" <moeller0@gmx.de>
Cc: "tsvwg IETF list" <tsvwg@ietf.org>rg>, "iccrg IRTF list" <iccrg@irtf.org>rg>, "TCP Prague List" <tcpPrague@ietf.org>rg>, "De Schepper, Koen (Koen)" <koen.de_schepper@nokia.com>
Betreff: Re: Aw: [tsvwg] ecn-l4s-id: Proposed Changed to Normative RTT Bias Text
Sebastian,

I am not going to respond to emails like yours that presume evil intent.
 
        [SM2] You just did. Make of this what you will, but please stop the posturing and get to the data and the facts.
 

Please readjust your sad view of humanity, then re-read. If you then
have nothing to add, pls stay silent.
 
        [SM2] My view of humanity is well, thank you very much, I do not confuse team L4S  with its shady practices and acumen with humanty in general. So copud we stop these attempts at distracting from the fact that your proposed change is a fudge and a clear attempt at post-hoc making L4S RFC compliant, by adjusting the requirement instead of adjusting the L4S design. In this specific case you have my sympathy as the requirement is really impossible to full fill in a meaningful way. The only real option is to dumb down your CC response dynamis for a fixed RTT, and that is clearly a hack and in no way a solution that offers increased path-RTT independence. I am sorry that you seem to still consider your TCP Prague 15ms hack as acceptable.

The rate being inversely proportional to RTT is a feature of all
window-fair congestion controls, including the Reno standard [RFC5168].
 
        [SM2] It also is a consequence of tighter control loops (smaller RTT) being more nimble ans effective than looser ones (greater RTT). The end points can not solve this issue, period. Not within our given pysical constraints that is. As I was reminded recently, the bottleneck AQM however COULD, as it has most of the relevant information available. But you opted to keep a clearly deficient AQM design and instead attempt the impossible by requiring the endpioints to effectively establish faster than light communication. That is ambitious to phraze is poitively.
 

As explained in the rationale linked from the requirement, the only
reason Reno (or any windw-based CC) doesn't continue to get faster at
low /base/ RTTs is the additional queuing delay it induces.
 
        [SM2] That YOUR AQM introduces, without any data shoewing why 15ms was selected. You can not argue out of the fact that the INCREASED RTT dependence at short RTTs observed in DualQ is of your own making. Pretending that this is just a case of normal RTT dependence is a bit naive, and ignoring cause and effect IMHO. Sorry that this is a bit harsh, but we have gone though this ad nauseam already and I prefer to call a spade a spade.
 

So the more one removes this queuing delay (CoDel and PIE also suffered
from this problem), the more the denominator tends to the base RTT.
So at the low end of the base RTT range, the inverse proportionality
pushes the rate considerably higher.
 
        [SM2] Yes, but nobody forces you to COUPLE your two queues in a way that this difference results in differentisl throughput, doing so is a design mistake in DualQ, as so often an initially cute idea that showed some promise did not survive the contact with harsh reality. So far so normal, what is not normal is trying to save that clear misdesign by spreading work-arounds over different layers and fudging the requirement to make these work-arounds not violate the requirements.

A CC that has no RTT bias would satisfy this requirement.
 
        [SM2] Sure, but that is made of unobtainium or rather FTL communication, not a problem resolvable in the scope of L4S, sorry.
 

But making that the requirement would have been overly prescriptive.
So we're trying to write the wording not to exclude the RTT bias that
the Internet already works with today.
 
        [SM2] How about removing a requirement that SIMPLY can not be solved by the endpooints? TCP Prague tried, and as it is clear failed to do so for anything but the special case of the 15ms artifical delay introduced by DualQ. BTW has anybody tried how TCP Prague and TCP-Cubic no compete on say curvy red (or rather any AQM wirhout that brain dead coupling)?

Particularly because the stability implications of moving away from the
current Internet norm need to be treated with care.

        [SM2] Could you elaborate how that is related to requiring the impossible? All of this would be funny, if you would not actually try to force down this clearly under-tested and probably unfinished experiment onto the existing internet with as little od safety measures as you can get away with. Again this soun´ds harsh as less clear wording in the past has simply been argued away or ignored. 
 
Sebastian

Bob

On 30/10/2020 20:13, Sebastian Moeller wrote:
> Dear Bob, Koen.
>
> more below in-line, prefixed [SM].
>
> Gesendet: Freitag, 30. Oktober 2020 um 19:42 Uhr
> Von: "Bob Briscoe" <research@bobbriscoe.net>
> An: "tsvwg IETF list" <tsvwg@ietf.org>
> Cc: "iccrg IRTF list" <iccrg@irtf.org>rg>, "TCP Prague List" <tcpPrague@ietf.org>rg>, "De Schepper, Koen (Koen)" <koen.de_schepper@nokia.com>
> Betreff: [tsvwg] ecn-l4s-id: Proposed Changed to Normative RTT Bias Text
>
> Folks,
>
> The co-authors of ECN L4S ID have been reviewing the correctness of the normative 'Prague' requirements.
>     See https://tools.ietf.org/html/draft-ietf-tsvwg-ecn-l4s-id-10#section-4.3" target="_blank" rel="nofollow">https://tools.ietf.org/html/draft-ietf-tsvwg-ecn-l4s-id-10#section-4.3
> This is the first of 2 emails, about 2 of the requirements that we think ought to be reworded a little.
>
> If you agree with the rationale, but think the new wording still doesn't capture the requirement well, pls suggest sthg better.
> If you disagree with the rationale, pls discuss.
>
>         [SM] This pretty much sounds like both an admission that the original requirement was so broad that is was never achievable, and, leaving a bad taste, an attempt to maker the gross hack of "slowing the CC response in TCP Prague" by the same 15ms that DualQ adds to the shallow queue to make DualQ less catastrophic at short RTT links.
> IMHO the requirement should be scraped, as there is zero evidence that it is at all possible to achieve (short of relaying on oracle schedulers, or the AQM knowing the RTT of each individual flow). AND the gross hack in TCP Prague should be taken out again, and instead of trying to cure the symptoms, the root cause of the issue, dualQ's misdesign, needs to be fixed for good. The observed inequitable sharing between the two queues is caused by dualQ and needs to be fixed by dual queue. As proposed this is like re-arranging the deck chairs on the titanic.
> More to the point though, once L4S is released into the wild, nobody is going to care much for the text in the requirements section at all, as compliant behaviour is not checked by L4S's AQM. So assuming that changing this text will have any other effect, than simply making TCP Prague compliant post-hoc (by tailoring the RFC requirements to the little RTT-independence that was achievable in TCP Prague).
> In my line of work, something like this would be considered a bad faith effort close to cheating, but it seems that here at the IETF we operate under a considerably more relaxed set of standards?
>
> Regards
>         Sebastian
>
>
> 4.3. Prerequisite Congestion Response
> ...
> CURRENT:
> o A scalable congestion control MUST reduce or eliminate RTT bias
> over as wide a range of RTTs as possible, or at least over the
> typical range of RTTs that will interact in the intended
> deployment scenario (see Appendix A.1.5[https://tools.ietf.org/html/draft-ietf-tsvwg-ecn-l4s-id-10#appendix-A.1.5" target="_blank" rel="nofollow">https://tools.ietf.org/html/draft-ietf-tsvwg-ecn-l4s-id-10#appendix-A.1.5] for rationale).
> PROPOSED:
> A scalable congestion control MUST eliminate RTT bias as much as possible in the range between the minimum likely RTT and typical RTTs expected
> in the intended deployment scenario  (see Appendix A.1.5 for rationale).
>
> RATIONALE:
> 1/ "eliminate as much as possible" is stronger than "reduce or eliminate".
> 2/ This requirement was motivated by 'do no harm to others' relative to existing standard (RFC5681 Reno) congestion control. So there is no need to mandate that an L4S implementer does no harm to themselves, which window-based congestion controls tend to do at higher RTT. Of course, this doesn't preclude implementers reducing or eliminating RTT bias for larger than typical RTTs, but it removes any requirement to do so.
>
> Cheers
>
>
> Bob
>

--
________________________________________________________________
Bob Briscoe http://bobbriscoe.net/" target="_blank" rel="nofollow">http://bobbriscoe.net/