Re: [tsvwg] Gorry Fairhurst Individual thoughts on choosing whether/howto advance ECN work.

Sebastian Moeller <moeller0@gmx.de> Sat, 23 May 2020 22:01 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 68AAA3A0BF9 for <tsvwg@ietfa.amsl.com>; Sat, 23 May 2020 15:01:25 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.649
X-Spam-Level:
X-Spam-Status: No, score=-1.649 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, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, 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 CeQbQ5JQQxev for <tsvwg@ietfa.amsl.com>; Sat, 23 May 2020 15:01:24 -0700 (PDT)
Received: from mout.gmx.net (mout.gmx.net [212.227.15.18]) (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 81F9C3A0D83 for <tsvwg@ietf.org>; Sat, 23 May 2020 15:01:23 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1590271225; bh=9FycrUIOMFK2EJhKzOe3vdhQw4FaK0D/ODH8MBf+t/I=; h=X-UI-Sender-Class:Subject:From:In-Reply-To:Date:Cc:References:To; b=fqVT8SQ8+6adMluaODVg9UciSSCZPxvOkiWL28l5dMPb3OPjO5lCsMs7fBpGvgm4N TNM6zh8OVf5Fc43M0syhMmDVbUPfo8WDSpECZJiVO+dG5DWWkkRRgIAYu+CAwhLVim fIaRwil6G+uFkAjNlK/cHVl8JhNv/1xYI76tNTi4=
X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
Received: from hms-beagle2.lan ([95.112.110.247]) by mail.gmx.com (mrgmx004 [212.227.17.190]) with ESMTPSA (Nemesis) id 1N9MpS-1j03or13vY-015M2h; Sun, 24 May 2020 00:00:25 +0200
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.14\))
From: Sebastian Moeller <moeller0@gmx.de>
In-Reply-To: <alpine.DEB.2.20.2005240026090.11277@whs-18.cs.helsinki.fi>
Date: Sun, 24 May 2020 00:00:22 +0200
Cc: Bob Briscoe <ietf@bobbriscoe.net>, Gorry Fairhurst <gorry@erg.abdn.ac.uk>, Joseph Touch <touch@strayalpha.com>, tsvwg@ietf.org
Content-Transfer-Encoding: quoted-printable
Message-Id: <5D7C2E01-F71D-441B-B611-2D156947C14E@gmx.de>
References: <dbc71da6-70f1-7369-1d2d-f08fb3b08b69@erg.abdn.ac.uk> <21483444.sDhFMENYeD@linux-9daj> <a85600da-e69f-9190-7ca1-d23a7e7246f9@bobbriscoe.net> <3267993.nvHYsSR2bi@linux-9daj> <dd8e3896-2951-537f-e3d1-9954c93348dd@bobbriscoe.net> <2268A1D8-9E49-41DB-BB52-3BF6381025E8@gmx.de> <alpine.DEB.2.20.2005240026090.11277@whs-18.cs.helsinki.fi>
To: Ilpo Järvinen <ilpo.jarvinen@cs.helsinki.fi>
X-Mailer: Apple Mail (2.3445.104.14)
X-Provags-ID: V03:K1:z8ksga5SZ6nc1l6fC7GAV3xRzEoDCnEi17szSElvJ5gMDkMD9qP YwHn037gwttkLt9PuWZwzQS5sK4DF3gSwbzEer3K2IlU4ppkxaxGSuvGDlykPaHogtEHj5y 50ChoBzGw78RmGADOu474bNcnMS+TAaoMUdnYFwUHRnelblRE213DqdyzaZ9qd/8sgzwMcO NQ4Vo1VzQ9ItevmVBm+3g==
X-UI-Out-Filterresults: notjunk:1;V03:K0:MFJlC33AcU8=:qZUFX6zUpANv5lsFdwnIlp 0EtBrviKDuH882go67WsdTgRHYDjNroQoOowpxIn+L6ChqwWLtuH0FcYTWqdwl2Eq7obCJ8BP 9NRcLLmySS2DocoIur1OtLTdMFGgGGQjB0vmTxGbkwUWx0SDOEQrURLVBkklnzecf2Uadcz6C UrAa4gzJpXZgrZ0l88rOnLY5WX76gjYagV2wMeerOZOLEJD/uU9F80cL0dkXSsO9E9H8IB2NF SQP2L6qs3km7YP6CSoriWwwf4WQeAUufFyvJREzeAt0DxeLhbSTVmeRZ/5plGtCnD7PiBWdI6 XgZEjKiraBw8vxNAhfmCiKWnX0cj7Lu4ig2rLVaEzoO3mOqq9wP6Izozagy7vMu6FEkOHqBFd Ai8E2mRJKsljILBlnb5t0TIzHZP6DQ7KO20ZTiz6ysqTDgHqvxrkShga0kEBRSLP9KxyXSzAt 2qLUvdWDHTPGVZK8q//S67WlvVYfSfYPmOJnLeRHxpttJ+1N0vXMa4Ofkb7Zkp5qanMWzuMJi EiZ1pc9ZZGc294Hl0mCLespbIxKd+qE8kKTLLHcReR1hxCIggV8jg54l8AwXxY9wfBgj3vuwi 0u/ZP3FAGZigyGcvtZbiyIlilOwvSmxzFnCQEJjIDLkHTM9f6921cbt1etDKnJ8Iklw8KjRCZ Qv7NUP12x1+Z6orRd/1eZnnZ9FwAPHa65WymHh/QpLVzxaaSVHMVKuciVuRMsjwmLzgVxUuVS 6N8A6EX4EJzgPk0ppLybeQ7Xv1XaH+YLDCIG3yegkwPQCwjxAfcWMaUXYr8+AfVB7tgbSeB+1 rqZ4bVZI0P+HC/Op9rfzX2PYXP+5wOe7ZUa7tFTH4G1uFo5vBa3/qOFRzq1GNT+tjPedXKlD7 k7ycP1ozzAiAF0uyiS7s+uMTDyTthajbLaoRktJvJkCJYOSn7dtTRJ8/2ESAxV036klFbj/jh 0XUcU2M0tHtRhyEkLck2d1xt2utQDklmddVvgjcijSSwSO4I5Kfv6bFroU4o9umr4H9CEQbqc zxEi66ozPW1xI04HTMIAjwKaTYAssl70nnrdSArD+czDqlhhF3VfN2L519iH82TBhpEZBmlAL 4CXWA/eJbsAkSoTv13QFb1WUdiYHksOsX2kb2KOR04sUFwXn4gyOygO0bSrP3HXQyMRmI2xti RgVwxNSi419ECT9Hdm6DvH/I1qJhMwZB9l4d6C7ZaBpN4tDARJjiBLLhY63kBEnZOhEU1WCHV Q4aDmp2mw5GLkdaDa
Archived-At: <https://mailarchive.ietf.org/arch/msg/tsvwg/8JGdXIxAQbGMXlhcIWaL-3Xs3Ec>
Subject: Re: [tsvwg] Gorry Fairhurst Individual thoughts on choosing whether/howto advance ECN work.
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: Sat, 23 May 2020 22:01:26 -0000

HI Ilpo,


> On May 23, 2020, at 23:36, Ilpo Järvinen <ilpo.jarvinen@cs.helsinki.fi> wrote:
> 
> On Sat, 23 May 2020, Sebastian Moeller wrote:
> 
>> Dear Bob,
>> 
>> 
>>> On May 23, 2020, at 17:07, Bob Briscoe <ietf@bobbriscoe.net> wrote:
>>> [...]
>>> [BB] I don't think anyone except you is arguing that FQ_CoDel is 
>>> simpler than the DualQ (because it isn't). You can compare this 
>>> pseudocode yourself, which also links to the Linux code: 
>>> https://tools.ietf.org/html/draft-ietf-tsvwg-aqm-dualq-coupled-11#appendix-A.1
>> 
>> 	I note that the fq-codel RFC contains zero lines of pseudocode, so 
>>      by this measure it must be infinitely simpler than the dual queue 
>>      coupled AQM, no?
>> 
>> But joking aside, it seems like an odd choice to compare the complexity 
>> of an qdisc in the main-line kernel with an out of line qdisc under 
>> active development, but if we attempt to do this, surely 724 lines for 
>> https://github.com/L4STeam/sch_dualpi2_upstream/blob/sch_dualpi2/net/sched/sch_fq_codel.c 
>> (plus 310 lines for https://github.com/L4STeam/sch_dualpi2_upstream/blob/sch_dualpi2/net/sched/sch_codel.c) 
> 
> And what about the header files that in this case actually implement part 
> of CoDel (rather than just containing some func signatures)?

	[SM] Let me cite myself here:
"My point is, please refrain from completely unhelpful complexity comparisons by virtue of pseudeocode, especially if not both qdiscs to be compared actually exist in pseudocode in the first place...."

I was not so much trying to offer an academically correct complexity comparison, but to show that Bob's approach was/is a waste of everybody's time and not useful at all, and that it is rather simple to do a bit better, by at least comparing real code instead of pseudocode...


But sure if we want to go that unproductive route here are some missing headers:

164 lines: https://github.com/L4STeam/sch_dualpi2_upstream/blob/sch_dualpi2/include/net/codel.h
255 lines: https://github.com/L4STeam/sch_dualpi2_upstream/blob/sch_dualpi2/include/net/codel_impl.h
74 lines: https://github.com/L4STeam/sch_dualpi2_upstream/blob/sch_dualpi2/include/net/codel_qdisc.h

724+310+164+255+74 = 1527

versus 746 for the dualq, but that uses its own private PIE version, let's see how/if that survives upstreaming into the linux kernel.

Best Regards
	Sebastian

P.S.: I assume you actually had a look at the relevant files yourself and just omitted the numbers to keep things concise.


> 
> 
> -- 
> i.
> 
>> and 746 lines for https://github.com/L4STeam/sch_dualpi2_upstream/blob/sch_dualpi2/net/sched/sch_dualpi2.c do not seem to support your hypothesis, unless we want to quibble over individual lines of code here. And yes the runtime cost for fq_codel probably is a bit higher than for dualq, but I would be amazed if we would talk about an order of magnitude (base2) here...    
>> 
>> My point is, please refrain from completely unhelpful complexity 
>> comparisons by virtue of pseudeocode, especially if not both qdiscs to 
>> be compared actually exist in pseudocode in the first place....