[tcpPrague] Experimental dual-queue ECN

John Leslie <john@jlc.net> Fri, 24 June 2016 17:01 UTC

Return-Path: <john@jlc.net>
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 7DF0B12DC69 for <tcpprague@ietfa.amsl.com>; Fri, 24 Jun 2016 10:01:25 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.026
X-Spam-Level:
X-Spam-Status: No, score=-4.026 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, 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 LkQfXia3Efmx for <tcpprague@ietfa.amsl.com>; Fri, 24 Jun 2016 10:01:23 -0700 (PDT)
Received: from mailhost.jlc.net (mailhost.jlc.net [199.201.159.4]) by ietfa.amsl.com (Postfix) with ESMTP id 7BC6112DC75 for <tcpPrague@ietf.org>; Fri, 24 Jun 2016 10:01:22 -0700 (PDT)
Received: by mailhost.jlc.net (Postfix, from userid 104) id 3D108C941E; Fri, 24 Jun 2016 13:01:18 -0400 (EDT)
Date: Fri, 24 Jun 2016 13:01:18 -0400
From: John Leslie <john@jlc.net>
To: Spencer Dawkins at IETF <spencerdawkins.ietf@gmail.com>
Message-ID: <20160624170118.GA52708@verdi>
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>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <CAKKJt-cjncm7zsfj3=7pqB-uSNTxMPfjPY=qpSNnDncVmy+enA@mail.gmail.com>
User-Agent: Mutt/1.4.1i
Archived-At: <https://mailarchive.ietf.org/arch/msg/tcpprague/FBOuuiXeDWikGV0J-Jm5s4oGIeI>
Cc: "gorry@erg.abdn.ac.uk" <gorry@erg.abdn.ac.uk>, Bob Briscoe <ietf@bobbriscoe.net>, John Leslie <john@jlc.net>, TCP Prague List <tcpPrague@ietf.org>
Subject: [tcpPrague] Experimental dual-queue ECN
X-BeenThere: tcpprague@ietf.org
X-Mailman-Version: 2.1.17
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: Fri, 24 Jun 2016 17:01:25 -0000

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. 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
2. that ECN(1) MAY request marking for a lesser degree of congestion than
   ECN(0).

   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...

   And even if _both_ experiments are declared a failure; the principle
of allowing differing requests and differing reactions is still 100%
valid.

   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>