Re: [tsvwg] RFC 4301 on ECN codepoints (was RE: L4S vs SCE (Evolvability))

Sebastian Moeller <moeller0@gmx.de> Sun, 05 January 2020 15:55 UTC

Return-Path: <moeller0@gmx.de>
X-Original-To: tsvwg@ietfa.amsl.com
Delivered-To: tsvwg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 393C81200C1 for <tsvwg@ietfa.amsl.com>; Sun, 5 Jan 2020 07:55:56 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.348
X-Spam-Level:
X-Spam-Status: No, score=-2.348 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, LOTS_OF_MONEY=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham 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 N2jh66ECkHyM for <tsvwg@ietfa.amsl.com>; Sun, 5 Jan 2020 07:55:50 -0800 (PST)
Received: from mout.gmx.net (mout.gmx.net [212.227.17.22]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id C5AEB12001E for <tsvwg@ietf.org>; Sun, 5 Jan 2020 07:55:49 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1578239743; bh=HLUheL1fmbVBu+Ws1PYmeMWA+xumw9sLUPtDmAhWDBc=; h=X-UI-Sender-Class:Subject:From:In-Reply-To:Date:Cc:References:To; b=ADObsnkqokb8r4xPTZVyOGGReYcmz0NEuiJmXJ2shIwWlCwQ6uU2uMhdYzpnBW/PO K8t6tGNe8sEpgdC+yDZ1O3pCApChg3WLHmUUa/BINVuQfo8P1RK2Pxn45uVGqnuFtq EIwxX0TqtBytbKu7rJSXGO9GatvzytDO3cvYcdCo=
X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
Received: from hms-beagle2.lan ([77.1.68.40]) by mail.gmx.com (mrgmx104 [212.227.17.168]) with ESMTPSA (Nemesis) id 1Mr9Bu-1jSSfQ3Uow-00oEWC; Sun, 05 Jan 2020 16:55:42 +0100
Content-Type: text/plain; charset="us-ascii"
Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\))
From: Sebastian Moeller <moeller0@gmx.de>
In-Reply-To: <HE1PR07MB4425D57353141EF5F24A1A73C23D0@HE1PR07MB4425.eurprd07.prod.outlook.com>
Date: Sun, 05 Jan 2020 16:55:40 +0100
Cc: Ingemar Johansson S <ingemar.s.johansson=40ericsson.com@dmarc.ietf.org>, "tsvwg@ietf.org" <tsvwg@ietf.org>
Content-Transfer-Encoding: quoted-printable
Message-Id: <5F01026E-46C2-4E7A-BC1C-D8AD35943506@gmx.de>
References: <HE1PR07MB44253C4F00626C004E36D150C2200@HE1PR07MB4425.eurprd07.prod.outlook.com> <MN2PR19MB404592710685811AC2D255FE83200@MN2PR19MB4045.namprd19.prod.outlook.com> <HE1PR07MB4425C5C29B3F53BD3B838DE1C2230@HE1PR07MB4425.eurprd07.prod.outlook.com> <9D3452AD-8487-4937-B81C-6E0AC721D572@gmx.de> <HE1PR07MB4425168743DB5FECBE97C41DC2230@HE1PR07MB4425.eurprd07.prod.outlook.com> <8F5FF199-F4AA-463F-8759-D6EF0DD47695@gmx.de> <HE1PR07MB4425408BF88CC43B5E38044AC2220@HE1PR07MB4425.eurprd07.prod.outlook.com> <033682A3-FAB2-4DEA-92BD-2397D90A6A93@gmx.de> <HE1PR07MB442583499BDB937166BB24D2C2220@HE1PR07MB4425.eurprd07.prod.outlook.com> <77AD735B-9B4B-47ED-90A3-7BEBC2EA9673@gmx.de> <HE1PR07MB442575EFA35016D973A6C3D8C23D0@HE1PR07MB4425.eurprd07.prod.outlook.com> <807A1EA1-39D0-4A95-8A89-A08DF45B3850@gmx.de> <HE1PR07MB4425D57353141EF5F24A1A73C23D0@HE1PR07MB4425.eurprd07.prod.outlook.com>
To: Ingemar Johansson S <ingemar.s.johansson@ericsson.com>
X-Mailer: Apple Mail (2.3445.104.11)
X-Provags-ID: V03:K1:e3MSJJWiwgjH7emwHRXqaDQFOR6iEnocaw7+BPFZWJ3fj3VsnQS KQtwc8HvkMQDnPg0m0nhQnhJy4zkU8Zh+nzu9zCk5cBgL82+7hkg+OIHCNexuouDNkAPuDc yaTYoFeF3PJ4kZvdqnNh6QKCbUsqLf2thuyoUtSd0w1ce1fRzUJChesQvYnE4m/v+ploxKS in3uJRJT2QyXGlffsxiqw==
X-UI-Out-Filterresults: notjunk:1;V03:K0:FP/Ui5tYci4=:HKIBbJer/9eZUkSXBdXAKn BtrDPEkHNgJwH940lo1Z8WjZWZr9sKAFhHEzXqCDMfpWInJGYAVvWB4a/k9e8FbrzbDaSQgd3 nzrHqdRU+AKjCbW4xv9I7+shBaQUweH14SR6aKbL2552RO4jMjSqPrIpcrn3v1IHSHBNkpjks er3/8WinVQEECK8jzeBod7I1fbMztttakhrbZbsMfpZqTK1d+sEsjabh5PcppwlxC/3wmfFpH NXYfXObHzJ4U06Hf+RW9HBOKvduaxW1deYsRrLg3Jq6LkkLZhwjFxxLWd8R7E+4hI4aaB7qN2 G8n4xpF3hqdAIDW8j6amGI2Xp3KhrUGUwfeVqTfu+0ySunsLsqqSAnMaWlL0fwWNPnDTZGQVi HnQB31WofPy9xzAmgkglWKdf+RWSgBLbSLVi1gWaBjxdhdKypqHnWyse2L7Haj2ZCspGvB7Pj PCXTH7Z2ab1Ig7OuhcH9C7wcvid+pm9dCSWAZUDyDNRwevOtpyVfwtVegffnVj58qafGrhyZ6 mdWF6Z470lYkFy6f9BvMGaztxlCxzA15n8BNXWSZJ8QH7qrmc8W2fW/c+lJA6+elHIxXFGU4E eGBEjz+0a1O3R+B/cNLeB9LNMy0WccyykYMB32+spfjnyQpzO8qesdokRBffZN/DZ1866JD9K NPgm2jD6jU/EQpv52Ao0KrIrRzwlwHoFBixE3Ka8BcK5cIUt9sjLyhuC2XweW3kzLOUUUxpVt wmN8nrW8AEh6Bsq3yIlv8vm7mOtxK5VPqkF6TvxO6pLn+mIGrCdWIS/7Q8HUzXLpQkj38Q0oc +l8sg8Dio0MnkmcFKR+o1QC9idWUSKGrIp9PsHwiD8/E3PFbVeJjPaRP4NW6ZKLuAJ4MOwFt6 lkTVPNG1Pitclu4mHoM7IIyzLflAYo2WBKXG7DByHJCzubhjCy0hKevTai//6E55IIXH5s2Pk 1koQWkxG2lONC443L5IkVY124RsXp/S5ejipcN4YkRaxc5VjW26vWUcs7Qi433AgtPSZ/rhI0 Ux0DNFjViMB6mL5B82/sewajiZrwQ5B80Yzy+xKzfXgE/K58rnDXOK1rQlHfpj5OtvRY3mgqG hfJwD7pv2EXpv2B09inWhjXB35SS0fqpi5h3SC1SMUNsRqhOzgiiSRlKSjZ9F9g/OFuuhA0sD wjGKaT8rOJo1iRPiXiropKxNgJhaflNY+X8zcKiq0fDrdrgSIYn/mDsOsvvPjrj+cOHqJciGM GxJ/83RD40fj8K79PENwRjdren50v2OnYjU0kchPz2J2SGlT3mMFmLG4BUSs=
Archived-At: <https://mailarchive.ietf.org/arch/msg/tsvwg/mEp6pOL53ZrmbecP36XczyP7Z_Q>
Subject: Re: [tsvwg] RFC 4301 on ECN codepoints (was RE: L4S vs SCE (Evolvability))
X-BeenThere: tsvwg@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Transport Area Working Group <tsvwg.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tsvwg>, <mailto:tsvwg-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tsvwg/>
List-Post: <mailto:tsvwg@ietf.org>
List-Help: <mailto:tsvwg-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tsvwg>, <mailto:tsvwg-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 05 Jan 2020 15:55:56 -0000

Hi Ingemar,

please indulge one final response and then I let it rest, but feel free to give a final comment.

some parting words below in-line.

Everybody else, please ignore the rest.


> On Jan 5, 2020, at 15:25, Ingemar Johansson S <ingemar.s.johansson@ericsson.com> wrote:
> 
> Hi Sebastian
> 
> I believe that I don't get any further so it is perhaps best to finalize
> this tread?
> 
> There is a long list of things that can possibly go wrong with L4S. The
> problem is that we don't know how serious they are if they are a problem at
> all. 

	[SM] And this is why the L4S team would do wonders for their cause if they would actually attempt to quantify these problems. So far I see more of a "probably insignificant so let's ignore this" kind of response.


> L4S is chartered as an experiment and everyone is welcome to participate in
> the work and verify its function in experiments. If you have concerns with
> particular scenarios with L4S, please run experiments to verify these.

	[SM] I have been invited multiple times by different members of the L4S team to pick the hot chestnuts out of the fire already, as before I will pass.

> And
> if you find ways to improve things, then please suggest them to the working
> group. 

	[SM] As I have considering the ref_delay of 15ms in the non-L4S queue's PI2 instance, only to be ridiculed by the L4S members that did not even seemed to bothered to actually follow my recommendations. (Short note to the accidental reader: the 15ms reference delay specified for the non-L4S queue is 10ms too long for the targeted default 100ms RTT flow and severely compounds the systemic bias of the dual queue coupled AQM in favor of L4S over the non-L4S queue, to the tune of 1:8 to 1:15 ratios of non-L4S to L4S queue thoughput).


> The problem with yet a parallel experiment with the ECN bits (that I
> understand that you want with SCE?)

	[SM] Ingemar, I mostly argue about L4S for a reason, I see discrepncies between L4S's declared goals and requirements and what the current implementation actually achieves. In my opinion L4S fall short to achieve its own goals andI try to judge it on its own merits. When I drag SCE into the discussion, then mainly as an example with working code that demonstrates that some of the problems L4S faces can be over-come quite elegantly. But my main argument is simply the "emperor has no cloths" aka the current implementation of the dual queue coupled AQM does not seem fit to merit experimental status (and more importanatly roll-out into the wider internet). I am not understanding this as a discussion of L4S versus L4S but rather L4S versus the real existing internet.

>  is that it risks killing off the
> usefuleness with ECN completely. Nobody wins in such a scenario as I see it,
> except perhaps proponents of more complex and costly in-band or out-of-band
> signaling to solve similar problems that L4S seek to solve.

	[SM] ATM the clever ideas behind the L4S default AQM fall short, so rolling this out as is will exactly lead to such a nobody wins scenario you predict. 


> 
> I believe active work with L4S and contribution to it is much better use of
> time and energy than the trench-war that we currently engage in.

	[SM] That certainly looks like an option, but given that Bob will even fight simple word substitutions in the I.D.s nail and tooth that have zero relevance for the actual L4S implementation, I fear that offering help will be a fool's errand.


> So my
> suggestion is to first engage in the L4S work and see where it ends.

	[SM] I tried to some degree, by openly talking about issues, only to find myself not in an open discussion about the issues but in a somewhat silly debate (mostly with Bob who is not willing to cede a single point, even when he is clearly out of his area of competence (I do not claim to be an expert in the theory behind CoDel, but Bob obviously has even less domain knowledge)). Since I consider debates entertaining but not really productive my attempt to engage in the L4S work is stalled.


> There
> is interest in L4S outside IETF,

	[SM] In the promises/goals of L4S or in the exact implementation?

> I will personally engage in L4S experiments
> in 5G access technology where we see a need for it in it for services like
> online gaming AR/VR and remote control.

	[SM] And I will not attempt to stop you, But I will also not stop to argue to do my best what ever version of L4S that is finally rolled-out will have as little negative side-effects for the rest of the internet traffic out there. I am fully behind the idea to enable 1/p type congestion controllers over the wider internet and I am also a proponent for keeping latencies low, but I do not think that current L4S proposals are a viable way to get there. I understand and accept that it will be a long time until 1/p CC will "take over the internet" no matter how attractive and obvious they look to us, so the incremental deployment without side-effects component of that 1/p system is IMHO a very important issue, and so far L4S has too many side-effects designed in for my taste.


Best Regards
	Sebastian


> 
> Regards
> /Ingemar
> 
>> -----Original Message-----
>> From: Sebastian Moeller <moeller0@gmx.de>
>> Sent: den 5 januari 2020 12:11
>> To: Ingemar Johansson S <ingemar.s.johansson@ericsson.com>
>> Cc: Ingemar Johansson S
>> <ingemar.s.johansson=40ericsson.com@dmarc.ietf.org>; tsvwg@ietf.org
>> Subject: Re: [tsvwg] RFC 4301 on ECN codepoints (was RE: L4S vs SCE
>> (Evolvability))
>> 
>> Hi Ingemar,
>> 
>> 
>> more below in-line.
>> 
>> To anybody not interested in the detailed discussion below, please ignore
>> this e-mail, thanks.
>> 
>> 
>>> On Jan 5, 2020, at 10:43, Ingemar Johansson S
>> <ingemar.s.johansson@ericsson.com> wrote:
>>> 
>>> Hi
>>> Please see inline
>>> 
>>> /Ingemar
>>> 
>>>> -----Original Message-----
>>>> From: Sebastian Moeller <moeller0@gmx.de>
>>>> Sent: den 4 januari 2020 22:38
>>>> To: Ingemar Johansson S <ingemar.s.johansson@ericsson.com>
>>>> Cc: Ingemar Johansson S
>>>> <ingemar.s.johansson=40ericsson.com@dmarc.ietf.org>
>>>> Subject: Re: [tsvwg] RFC 4301 on ECN codepoints (was RE: L4S vs SCE
>>>> (Evolvability))
>>>> 
>>>> Hi Ingemar,
>>>> 
>>>> more below in-line
>>>> 
>>>> 
>>>>> On Jan 4, 2020, at 20:10, Ingemar Johansson S
>>>> <ingemar.s.johansson@ericsson.com> wrote:
>>>>> 
>>>>> Hi
>>>>> Please see inline
>>>>> 
>>>>> /Ingemar
>>>>> 
>>>>>> -----Original Message-----
>>>>>> From: Sebastian Moeller <moeller0@gmx.de>
>>>>>> Sent: den 4 januari 2020 16:30
>>>>>> To: Ingemar Johansson S <ingemar.s.johansson@ericsson.com>
>>>>>> Cc: Ingemar Johansson S
>>>>>> <ingemar.s.johansson=40ericsson.com@dmarc.ietf.org>;
>> tsvwg@ietf.org
>>>>>> Subject: Re: [tsvwg] RFC 4301 on ECN codepoints (was RE: L4S vs SCE
>>>>>> (Evolvability))
>>>>>> 
>>>>>> Hi Ingemar,
>>>>>> 
>>>>>> more below in-line.
>>>>>> 
>>>>>> 
>>>>>>> On Jan 4, 2020, at 15:41, Ingemar Johansson S
>>>>>> <ingemar.s.johansson@ericsson.com> wrote:
>>>>>>> 
>>>>>>> Hi
>>>>>>> See inline
>>>>>>> /Ingemar
>>>>>>> 
>>>>>>>> -----Original Message-----
>>>>>>>> From: Sebastian Moeller <moeller0@gmx.de>
>>>>>>>> Sent: den 3 januari 2020 17:37
>>>>>>>> To: Ingemar Johansson S <ingemar.s.johansson@ericsson.com>
>>>>>>>> Cc: Ingemar Johansson S
>>>>>>>> <ingemar.s.johansson=40ericsson.com@dmarc.ietf.org>; Black,
>> David
>>>>>>>> <David.Black@dell.com>; Bob Briscoe <ietf@bobbriscoe.net>;
>> Roland
>>>>>>>> Bless <roland.bless@kit.edu>; tsvwg-chairs@ietf.org;
>>>>>>>> tsvwg@ietf.org
>>>>>>>> Subject: Re: [tsvwg] RFC 4301 on ECN codepoints (was RE: L4S vs
>>>>>>>> SCE
>>>>>>>> (Evolvability))
>>>>>>>> 
>>>>>>>> 
>>>>>>>> Hi Ingemar,
>>>>>>>> 
>>>>>>>> more below in-line.
>>>>>>>> 
>>>>>>>>> On Jan 3, 2020, at 12:18, Ingemar Johansson S
>>>>>>>> <ingemar.s.johansson@ericsson.com> wrote:
>>>>>>>>> 
>>>>>>>>> Hi
>>>>>>>>> Please see inline
>>>>>>>>> /Ingemar
>>>>>>>>> 
>>>>>>>>>> -----Original Message-----
>>>>>>>>>> From: Sebastian Moeller <moeller0@gmx.de>
>>>>>>>>>> Sent: den 3 januari 2020 10:28
>>>>>>>>>> To: Ingemar Johansson S
>>>>>>>>>> <ingemar.s.johansson=40ericsson.com@dmarc.ietf.org>; Black,
>>>> David
>>>>>>>>>> <David.Black@dell.com>; Bob Briscoe <ietf@bobbriscoe.net>;
>>>> Roland
>>>>>>>>>> Bless <roland.bless@kit.edu>
>>>>>>>>>> Cc: Ingemar Johansson S <ingemar.s.johansson@ericsson.com>;
>>>>>> tsvwg-
>>>>>>>>>> chairs@ietf.org; tsvwg@ietf.org
>>>>>>>>>> Subject: Re: [tsvwg] RFC 4301 on ECN codepoints (was RE: L4S vs
>>>>>>>>>> SCE
>>>>>>>>>> (Evolvability))
>>>>>>>>>> 
>>>>>>>>>> Hi Ingmar,
>>>>>>>>>> 
>>>>>>>>>> On January 3, 2020 10:10:31 AM GMT+01:00, Ingemar Johansson S
>>>>>>>>>> <ingemar.s.johansson=40ericsson.com@dmarc.ietf.org> wrote:
>>>>>>>>>>> Hi
>>>>>>>>>>> Yes I am aware that SCE works with RFC6040 tunnels, it does
>>>>>>>>>>> however seem to work well with RFC4301 ditto.
>>>>>>>>>>> Now I have no idea as regards to how large extent RFC4301 is
>>>>>>>>>>> deployed on the internet and whether this is a large problem
>>>>>>>>>>> for SCE or not. I notice however that RFC4301 is no problem for
>> L4S.
>>>>>>>>>> 
>>>>>>>>>>    [SM] I beg to differ, L4S will not play nice with either a
>>>>>>>>>> rfc3168 or SCE- capable AQM on a tunneled segment, as it will
>>>>>>>>>> completely misinterpret the received CE marks and will not
>>>>>>>>>> respond appropriately with a sufficiently large reduction of
>>>>>>>>>> the congestion window*. The currently still preferred solution
>>>>>>>>>> to this issue, if I understand Bob correctly, is still to
>>>>>>>>>> reason that such ECN-enabled AQMs along tunneled path
>> segments
>>>>>>>>>> (which
>>>> I
>>>>>>>>>> understand to be always inside the core of an AS as towards the
>>>>>>>>>> edges packets get
>>>>>>>>>> decapsulated) are rare enough to allow completely ignoring them.
>>>>>>>>> 
>>>>>>>>> [IJ] This is more of a concern with traditional loss/ECN based
>>>>>>>>> congestion control algorithms like Reno, Cubic (and DCTCP).
>>>>>>>> 
>>>>>>>> 	[SM] How so? As far as I can tell the failure mode is, that
> L4S
>>>>>>> flows will
>>>>>>>> not yield to the rfc3168 AQMs CE marks in the way that the AQM
>>>>>>>> expects/is designed for, thereby crowding out the 1/sqrt(p) flows
>>>>>>>> and securing
>>>>>>> themselves
>>>>>>>> the lion's share of the bandwidth (assuming the hop does not need
>>>>>>>> to dip
>>>>>>> deep
>>>>>>>> into dropping-instead-of-marking territory)). BBR, might bully
>>>>>>>> over the
>>>>>>> AQM's
>>>>>>>> signals, but I am not sure whether that actually is an
>>>>>>>> improvement over
>>>>>>> the
>>>>>>>> status quo (unless purely viewed from BBR's perspective), but
>>>>>>>> that is a
>>>>>>> different
>>>>>>>> kettle of fish.
>>>>>>>> 
>>>>>>>>> If one look more into the
>>>>>>>>> future (and actually present) I see algorithms like BBRv2 that
>>>>>>>>> strive one BDP queue and will therefore not strive to bloat the
>>>>>>>>> queues as much as the forementioned CC algos.  It seems to me
>>>>>>>>> like there is incentive to go towards more of these. And as you
>>>>>>>>> point out below there is work ongoing work by Bob and others to
>>>>>>>>> add
>>>>>>>>> RFC3168
>>>>>>> compatibility to
>>>>>>>> TCP Prague.
>>>>>>>> 
>>>>>>>> 	[SM] Which albeit quite belated is a welcome development. I
>> am
>>>>>>> looking
>>>>>>>> forward to the data demonstrating that approach working as
>>>>>>>> intended and as required (I am especially interested to see how
>>>>>>>> long this is going to take
>>>>>>> and
>>>>>>>> whether it introduces a "latency-bolus" in the queue). But that
>>>>>>>> still
>>>>>>> leaves all
>>>>>>>> other transports the L4S folks envision classifying into the
>>>>>>>> L4S-queue to
>>>>>>> worry
>>>>>>>> about. Doing that for TCP Prague is only a first mile-stone, sure
>>>>>>>> being
>>>>>>> proof of
>>>>>>>> principle it might be an important mile stone, but if coexistence
>>>>>>>> with the
>>>>>>> existing
>>>>>>>> internet is of serious concern (which it should) it is only the
>>>>>>> beginning...
>>>>>>>> 	I consider this to be a side-effect/consequence of
> redefining
>>>>>>>> what a
>>>>>>> CE-
>>>>>>>> mark means, as the SCE proposal demonstrates that is not the only
>>>>>>>> option
>>>>>>> to
>>>>>>>> implement 1/p style signaling.
>>>>>>>> 
>>>>>>>> 
>>>>>>>>> Speaking of the SCE capable AQMs, how much does it take to make
>>>>>> them
>>>>>>>>> L4S capable instead, an update of RFC8290 ?
>>>>>>>> 
>>>>>>>> 	[SM] Note that RFC8290 is not really SCE capable to begin
>> with
>>>>>>>> (how could it, it predates the SCE drafts considerably). Be that
>>>>>>>> as it may,
>>>>>>> IMHO it
>>>>>>>> would take a) as a precondition a robust and reliable indicator
>>>>>>>> of how a
>>>>>>> flow will
>>>>>>>> respond to congestion signaling, 1/p or 1/sqrt(p), unfortunately
>>>>>>>> ECT(1) is
>>>>>>> neither
>>>>>>>> robust nor reliable*, and b) a consensus that overloading the ECN
>>>>>>> CE-codepoint
>>>>>>>> with two semantic different meanings is reliable, robust (and
>>>>>>>> safe for the
>>>>>>> rest of
>>>>>>>> the network).
>>>>>>>> 	The more relevant question for me is what it would take to
>>>>>>>> remedy these two obvious issues in the L4S design... and what
>>>>>>>> would it take in
>>>>>>> addition
>>>>>>>> to start tackling the failure of the dual queue coupled AQM to do
>>>>>>>> the one
>>>>>>> thing is
>>>>>>>> was intended/designed for reliably and robustly.
>>>>>>> 
>>>>>>> [IJ] I understand that
>>>>>>> a) delves into the flow rate fairness that has been discussed at
>>>>>>> length in other mail treads.
>>>>>> 
>>>>>> 	[SM] I am puzzled, a) above is about how it mark/differentiate
>>>>>> between flows that should be treated to 1/p versus those that
>>>>>> should be treated to 1/sqrt(p) congestion signaling. IMHO this has
>>>>>> exactly zero to
>>>>> do
>>>>>> with flow rate fairness and all with how to make the two types of
>>>>> congestion
>>>>>> responses coexist peacefully in the existing internet. But please
>>>>> elaborate
>>>>>> what you referred to above with "flow rate fairness".
>>>>>> 	Really, the constant attacks against FQ solution are a RED HERRING
>>>>> in
>>>>>> the context whether L4S is ready to reach experimental stage. My
>>>>>> issue is not that L4S might not be the theoretically best solution
>>>>>> for the
>>>>> challenge it
>>>>>> was designed to solve, my issue is that practically the current
>>>>>> implementations ARE NO SOLUTION at all, as they do not work
>>>>>> reliably and robustly, period.
>>>>>> 
>>>>>> 
>>>>>>>  I don't see the possible rate unfairness that DualQ gives as
>>>>>>> unsafe
>>>>>> 
>>>>>> 	[SM] Try the shoe on the other foot then, if the IETF would
>>>>>> command to change the dual queue coupled AQM so that it gives the
>>>>>> same priority/bandwidth advantage to non-L$S flows instead, would
>>>>>> you still be okay with that? If your answer is yes, you can predict
>>>>>> which changes to
>>>>> dual
>>>>>> queue coupled AQM I will propose next... I take it that you also
>>>>>> consider
>>>>> 15
>>>>>> ms the ideal ref-delay for the non-L4S's queue PI2 instance without
>>>>>> being able to tell what makes 15 so magically wonderful in that
>>> context?
>>>>>> 
>>>>>> 
>>>>>>> and
>>>>>>> it is quite clear to me that
>>>>>>>  this is something that relates more to how endpoint congestion
>>>>>>> control algorithms are deigned
>>>>>>>  than on the specific design of DualQ.
>>>>>> 
>>>>>> 	[SM] Again I disagree, the dual queue coupled AQM's sole reason to
>>>>>> exists is to equitably share between the two traffic classes the
>>>>>> L4S
>>>>> approach
>>>>>> categorizes the world into. Failure to do so reliably and robustly
>>>>>> is NOT
>>>>> a
>>>>>> function of the endpoints  but of your isolation mechanism (as an
>>>>>> isolator that can be easily gamed by the endpoints does not even
>>>>>> deserve that name).
>>>>>> 	I realize that this is an inconvenient truth and that both Bob and
>>>>> Koen
>>>>>> always try to change this into an unrelated discussions about say
>>>>>> RTT- independence, but that is simply a distraction strategy as I
>>>>>> have alluded
>>>>> to
>>>>>> multiple times, not least because so far the L4S team has utterly
>>>>>> failed
>>>>> to
>>>>>> present data demonstrating that they managed to make TCP Prague,
>>>>>> their demonstration transport, RTT-independent enough to paper over
>>>>>> the dual queue coupled AQM's design mistakes. But to be explicit,
>>>>>> even if you manage to fix this for TCP Prague, unless you only
>>>>>> admit TCP Prague flow
>>>>> the
>>>>>> the L4S queue you have won very little. If it apprears that I
>>>>>> repeat
>>>>> myself,
>>>>>> then simply because part of my audience does not seem to be
>>>>>> listening or engaging with my arguments at all.
>>>>>> 
>>>>>> 
>>>>>>> I understand that we disagree on
>>>>>>> this and therefore it
>>>>>>>  is best to ask a wider group to comment this.
>>>>>>> b) Means that a RCF3168 ECN capable flow whose packets have been
>>>>>>> CE marked upstreams are put  in the L4S queue in the DualQ
>>>>>>> downstreams and therefore causing packet reordering for the
>>>>>>> RFC3168 flow.
>>>>>> 
>>>>>> 	[SM] Exactly, by mis-classifying CE packets into the L4S queue one
>>>>>> risks out-of-order delivery for non-L4S flows, as a direct
>>>>>> consequence of abusing a single codepoint as binary classifier. If
>>>>>> this single codepoint
>>>>> would
>>>>>> be the only option this might be worth discussing/accepting, but
>>>>>> since
>>>>> there
>>>>>> are quite a number of different classifier schemes ECT(1) really
>>>>>> should be taken off the table IMHO.
>>>>>> 	Except, that for the reordering to happen, you do not even need
>>>>>> packets in both directions, even in one direction reordering can be
>>>>> inflicted
>>>>>> upon non-L4S flows, if a CE-marked packet hits the dual queue
>>>>>> coupled AQM it will traverse the L4S queue and will be given
>>>>>> priority over packets of
>>>>> the
>>>>>> same flow in the non-L4S queue, so as long as the non-L4S queue is
>>>>>> not empty reordering can happen. That is a side-effect most easily
>>>>>> dealt with
>>>>> by
>>>>>> employing a full independent bit for proper classification, or by
>>>>> defaulting all
>>>>>> CE-marked packets to the non-L4S queues (that way reordering is
>>>>>> restricted to the new L4S flows and there s a real incentive to
>>>>>> carefully look again
>>>>> at the
>>>>>> unfortunate choice of 15ms ref_delay for the non-L4S queue, a
>>>>>> win-win situation form the perspective of non-L4S traffic).
>>>>>> 
>>>>>> 
>>>>>>> The severity of this reordering assumes a scenario where
>>>>>>>  i) congestion occurs simultaneously both on the upstreams and
>>>>>>> downstreams,
>>>>>> 
>>>>>> 	[SM] I am not sure that you need simultaneous congestion in both
>>>>>> directions, and secondly, I believe this situation to be more
>>>>> probable/likely
>>>>>> than you seem to assume (this is partly a consequence of the often
>>>>>> highly asymmetric links to end-users).
>>>>>> 
>>>>>>>     I have so far seen this as quite unlikely
>>>>>>>  ii) congestion occurs upstreams and the uncongested DualQ
>>>>>>> downstreams deliberately builds a large queue,
>>>>>>>     I have not see that DualQ does this.
>>>>>>> I have possibly missed something, please clarify
>>>>>> 
>>>>>> 	As above for packet reordering you do not need simultaneous bi-
>>>>>> directional congestion. My point however is that this again is one
>>>>>> of the situations where the L4S team opted to make the non-L4S
>>>>>> traffic pay all
>>>>> the
>>>>>> cost of the "impedance mismatch" between the current network and
>>>>>> the "brave new world" that L4S promises.
>>>>> 
>>>>> [IJ] I believe that you misunderstood the scenario. It is not about
>>>> bidirectional congestion (or additional congestion in the reverse ACK
>>> path).
>>>>> It is only about the congestion in the forward path.
>>>> 
>>>> 
>>>> 	[SM] Indeed I misread your upstream downstream references as
>>>> denoting the general traffic direction and not simply the position in
>>> relation
>>>> to the L4S node. Thanks for clearing this up and persisting through
>>>> my
>>> block-
>>>> headedness.
>>>> 
>>>> 
>>>>> Consider a path between a sender and a receiver with two
>>>>> intermediate nodes A and B, where node A is upstreams i.e closer to
> the
>> sender.
>>>>> Both nodes implement AQMs that can CE mark ECT packets. Node B
>>>>> implements a DualQ AQM in which ECT(1) and CE marked packets are
>>>> directed to the L4S queue.
>>>>> This correctly means that CE marked packets for an RFC3168 flow will
>>>>> also go into the L4S queue, which can cause packet reordering for
>>>>> the
>>>> RFC3168 flow.
>>>> 
>>>> 	[SM] Yes, I agree.
>>>> 
>>>>> For this to actually happen you need any of (repeat of my last email)
>>>>>   i) congestion occurs simultaneously both on node A and B
>>>>>        at least it should happen within the same RTT
>>>>>         I have so far seen this as quite unlikely
>>>> 
>>>> 	[SM] Currently the likelihood is close to zero, by virtue of the
>>> lack of
>>>> L4S AQMs in the wild, so yes this is unlikely. But I for example use
>>>> an
>>> rfc-3168
>>>> compliant AQM on ingress and egress of my network and hence ECN-
>>>> enabled flows (on egress) will see CE-marks when leaving slow-start
>>>> and later in their life time (when ever they exceed their share of the
> link).
>>> If an
>>>> L4S AQM is instantiated on say a peering link (as envisioned or at
>>>> least
>>> hinted
>>>> at by some of the L4S design descriptions) congestion on that link
>>>> can and
>>> will
>>>> be quite decoupled from congestion and ECN-marking on my own access
>>>> link. Can I put a number to quantify this? No, I can not, at least
>>>> not any believable number more precise than non-zero.
>>>> 
>>>> 
>>>>>   ii) congestion occurs in node A and the
>>>>>       uncongested DualQ in node B builds a (large) queue
>>>>>       I have not seen that DualQ does this.
>>>> 
>>>> 	[SM] If two (or more) packets of a single flow arrive back to back
>>> at
>>>> the L4S AQM with the last CE-marked, can you guarantee that that the
>>>> dual queue coupled AQM will not reorder them even without saturating
>>>> load, after all it is designed to give the L4S-queue (limited)
>>>> priority over the
>>> non-
>>>> L4S queue?
>>> 
>>> [IJ] I cannot guarantee anything,
>> 
>> 	[SM] That is a problem, don't you agree? This is something that is
>> empirically testable, the fact that is seems to have not been tested yet,
>> shows that there are still avenues available to kick L4S's tires in the
> lab and
>> that (experimental) roll-out into the wider internet seems premature.
>> 
>> 
>>> my observation is however that possible packet bursts are very likely
>>> ironed out in node A as it CE marks packets for the RFC3168 and is
>>> therefore congested. This should mean that the queues in node B should
>>> be empty and packets will be forwarded as they arrive.
>> 
>> 	[SM] But as you conceded, we have no idea whether that is actually
>> sufficient for the dual queue coupled AQM to not re-order packets.
>> 
>> 
>>> Still there is a likelihood that packets arriving in the L4S buffer
>>> are scheduled before packets arriving in the RFC3168 buffer and that
>>> can cause packet reordering for the RFC3168 flow.
>>> The questions are :
>>> * How large will the reordering depth be?, my gut feeling is that this
>>> will be in the order of sub milliseconds but I can only speculate.
>> 
>> 	[SM] The way TCP works the number of milliseconds seems less
>> important than the maximum out of sequence-ness, I think about dupACKs
>> here. Sure for the case where only a single CE-marked packet, jumps the
>> queue nothing really will happen (as there will only be one dupACK and
> after
>> that cumulative ACKs should increase again), except that the flow's
> tolerance
>> against re-ordering along the rest of the path is now compromised... But
> the
>> fact remains that this compromise for non-L4S flows only exists, because
> the
>> ECT(1) as classifier breaks down for CE-marked packets; how about
>> defaulting all CE-marked packets to the non-L4S queue instead, in that
> case
>> L4S-traffic woulld pay the price for L4S' unfortunate choice of classifier
> (but
>> due to recommending RACK L4S traffic should be more robust against re-
>> ordering anyway)...
>> 
>>> * Is this worse than the reordering that we see already today ?
>> 
>> 	[SM] In the limit yes, because we currently have this additional re-
>> ordering "source" in the internet.
>> 
>>> * Is the reordering depth more than RACK can handle ?
>> 
>> 	[SM] How is that going to help standards-compliant TCPs not
>> employing RACK? RACK, as far as I can tell recommends to keep the
>> permissible re-ordering window <= the unloaded RTT*, so at short (and low
>> bandwidth) paths even a few packets worth of re-ordering might cause
>> issues even with RACK.
>> 
>> Best Regards
>> 	Sebastian
>> 
>> 
>> 
>> *) https://tools.ietf.org/html/draft-ietf-tcpm-rack-06
>> "4.  The RACK reordering window MUST be bounded and this bound SHOULD
>>       be one round trip."
>> 
>