Re: [tcpPrague] Experimental dual-queue ECN

Gorry Fairhurst <gorry@erg.abdn.ac.uk> Fri, 24 June 2016 17:41 UTC

Return-Path: <gorry@erg.abdn.ac.uk>
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 8EBDE12D99F for <tcpprague@ietfa.amsl.com>; Fri, 24 Jun 2016 10:41:43 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.326
X-Spam-Level:
X-Spam-Status: No, score=-3.326 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RP_MATCHES_RCVD=-1.426] autolearn=ham autolearn_force=no
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 jxvX3XfZ6JAi for <tcpprague@ietfa.amsl.com>; Fri, 24 Jun 2016 10:41:40 -0700 (PDT)
Received: from pegasus.erg.abdn.ac.uk (pegasus.erg.abdn.ac.uk [IPv6:2001:630:241:204::f0f0]) by ietfa.amsl.com (Postfix) with ESMTP id 297FC12D13E for <tcpPrague@ietf.org>; Fri, 24 Jun 2016 10:41:40 -0700 (PDT)
Received: from Gs-MacBook-Pro.local (fgrpf.plus.com [212.159.18.54]) by pegasus.erg.abdn.ac.uk (Postfix) with ESMTPA id D7E5A1B0025B; Fri, 24 Jun 2016 18:41:31 +0100 (BST)
Message-ID: <576D70CB.8060108@erg.abdn.ac.uk>
Date: Fri, 24 Jun 2016 18:41:31 +0100
From: Gorry Fairhurst <gorry@erg.abdn.ac.uk>
Organization: University of Aberdeen
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:12.0) Gecko/20120428 Thunderbird/12.0.1
MIME-Version: 1.0
To: John Leslie <john@jlc.net>
References: <574EBEA2.8080705@bobbriscoe.net> <20160601152908.GB1754@verdi> <574F2A2D.9070407@bobbriscoe.net> <574F4F29.9040409@bobbriscoe.net> <20160601215312.GA25116@verdi> <0898e249-03dd-aff9-7179-03cc8642efea@erg.abdn.ac.uk> <5762567D.8010609@bobbriscoe.net> <3f8fa637-17b5-853b-b835-db486a2a69f6@erg.abdn.ac.uk> <CAKKJt-cjncm7zsfj3=7pqB-uSNTxMPfjPY=qpSNnDncVmy+enA@mail.gmail.com> <20160624170118.GA52708@verdi>
In-Reply-To: <20160624170118.GA52708@verdi>
Content-Type: text/plain; charset="ISO-8859-1"; format="flowed"
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/tcpprague/e_g4xhlZEie4yRn5SEJnWTxpKaQ>
Cc: gorry Fairhurst <gorry@erg.abdn.ac.uk>, Bob Briscoe <ietf@bobbriscoe.net>, Spencer Dawkins at IETF <spencerdawkins.ietf@gmail.com>, TCP Prague List <tcpPrague@ietf.org>
Subject: Re: [tcpPrague] Experimental dual-queue ECN
X-BeenThere: tcpprague@ietf.org
X-Mailman-Version: 2.1.17
Precedence: list
Reply-To: gorry@erg.abdn.ac.uk
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: Fri, 24 Jun 2016 17:41:43 -0000

Since this is TCP-Prague, I'm speaking here only as an author of the ABE 
spec...

On 24/06/2016 18:01, John Leslie wrote:
> Spencer Dawkins at IETF<spencerdawkins.ietf@gmail.com>  wrote:
>> ...
>> I would support publication of these algorithms as Experimental, if that's
>> what is proposed.
>>
>> Are you thinking the experiment is, that devices on the public Internet are
>> upgraded to provide this new functionality even if they aren't
>> participating in the experiment, and then this new functionality is then
>> experimented with, and the result of the experiment might be "now we know
>> why that's a bad idea, so we're not going to standardize it", so then the
>> devices revert to previous functionality?
>     I can't answer that part.
>
>> The way I thought this worked was that when you experiment with a
>> standards-track protocol, the Experimental RFC is supported only by
>> devices that are participating in the experiment, and the Experimental
>> RFC doesn't update the standards-track RFC(s) until the experiment
>> succeeds, and then the Experimental RFC is republished as a standards-
>> track RFC that updates the previous standards-track RFCs.
That seems correct to me.
>> If you decide
>> the experiment is a bad idea, only devices that opt in to the experiment
>> need to revert to previous functionality.
>> Are you thinking that wouldn't work here?
>     IMHO, such a path to  update RFC 3168 is impractical.
>
>     At 62 pages, RFC 3168 simply covers too much territory. It covers both
> the behavior of ECN-capable forwarders and the behavior of TCP senders
> and receivers. (Fortunately, it doesn't try to cover the behavior of
> non-TCP transports.)
>
>     At the time it was written, it really wasn't practical to cover less
> territory. But today, we understand that even TCP transport is entirely
> too broad a topic.
>
>     IMHO, we need to break off a limited part of it for Experimental
> protocols:
> 1. that reaction to ECN-CE should be the "same as" drop; and
I disagree of course - the CE-marking proposal has already been 
discussed at the IETF - and I suggest no ECN is likely to be found using 
RED - and ECN-marked RED is now anyway now deprecated. Many modern AQM 
methods CE-mark on a shallow queue - and I think we need to update the 
PS to reflect this.

I also don't see a specific experiment that is needed here  - what would 
be needed to test for safety in deployment? I *think* particular update 
can be taken directly to PS.
> 2. that ECN(1) MAY request marking for a lesser degree of congestion than
>     ECN(0).
That to me requires two changes - a standards action to address the 
current ECN PS requirement that the two codepoints (i.e., ECT(0) and 
ECT(1) are treated the same in the default DS class.

*AND* followed by an experimental proposal to use something different 
and obsolete the ECN-NONCE.

To me though, these are both TSVWG concerns - discussion should be taken 
on that list.
>     This needs justification; and I believe we can give ample justification
> without setting on _just_ dual-queue. Surely you've noticed there's
> already a separate proposal for differing treatment of ECN-CE.
>
>     I'm hoping we can agree that both experiments can co-exist...
If you refer to TCP's recation proposed in ABE (now a draft in TCPM), as 
a co-author I would suggest that these two experiments (and their usage 
if they continue) can co-exist. We have spoken to Bob and Koen on this 
topic.
>     And even if _both_ experiments are declared a failure; the principle
> of allowing differing requests and differing reactions is still 100%
> valid.
Indeed, until a PS is published.
>     Your concern about backing out of an experiment is 100% correct.
>
>     My preference is some kind of registration scheme to state which
> senders and which forwarders are implementing an experiment. Registration
> is conceptually simple; but associating senders with forwarders remains
> challenging. IMHO, we need not solve that: it's sufficient to leave that
> question to those who propose a particular experiment.
>     Unfortunately, we have to deal with human beings to design experiments.
> It is up to those who review the proposals to keep pressure on those
> volunteers to distinguish their eventual aims from how to conduct and
> evaluate experiments.
>
>     IMHO, if we ask each experimental-track writer to solve that in addition
> to designing the intended end-state _and_ how to modify RFC 3168, we're
> inviting failure.
>
>     Obviously, YMMV; but I think I owe it to you to provide whatever advice
> I can.
>
> --
> John Leslie<john@jlc.net>
I can see we need to think about how to manage experiments and that 
there could indeed be lots of possibilities about how to manage the 
ECT(1) codepoint usage. I think your proposal should probably be 
analysed (at least discussed) if (hopefully when) TSVWG decides to allow 
experimental use of that codepoint.

Gorry