Re: [tcpPrague] Enough energy for an L4S/TCP Prague BoF?

Spencer Dawkins at IETF <spencerdawkins.ietf@gmail.com> Thu, 16 June 2016 13:02 UTC

Return-Path: <spencerdawkins.ietf@gmail.com>
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 05EC212D14F for <tcpprague@ietfa.amsl.com>; Thu, 16 Jun 2016 06:02:38 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.699
X-Spam-Level:
X-Spam-Status: No, score=-2.699 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
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 1gqo5CvTT71t for <tcpprague@ietfa.amsl.com>; Thu, 16 Jun 2016 06:02:34 -0700 (PDT)
Received: from mail-yw0-x234.google.com (mail-yw0-x234.google.com [IPv6:2607:f8b0:4002:c05::234]) (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 67A5B12D594 for <tcpPrague@ietf.org>; Thu, 16 Jun 2016 06:02:34 -0700 (PDT)
Received: by mail-yw0-x234.google.com with SMTP id v137so41878040ywa.3 for <tcpPrague@ietf.org>; Thu, 16 Jun 2016 06:02:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=EdqAzjh3oY3ThUJnPmIY3rCYAYICkXHmosRgIUbwQYY=; b=HmjaGC7OL/R4RCiFNfON503bd9NyOU1sua+WEFpYJ3b1jd2vc5VSO/E9tywBTtU5t2 5RlHskewEGpTpuhATun2Xhl3laOHfi8HYez80JTKeHG0KIhpX0FhWcQnsqKPFB/0ME9M Oyboxgif3lRuF0ht+oQbpHFAmi2tXamk+lqBxabh5zFOHeY4e6vqEfFLqmuYZ6dJG6g6 eP4UCwzS1mge6s4sFOuggiVfpq2bLRUbj/3LbQLFq6hSggYgyg5GOFIBqxjaCM8m+xOi A1U36t5MFAm66e7aFDXshqdVMmK+/X50N4U1jY10KbMGAGTrqfHr6A0hBG+fM8oWYNTW xStg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=EdqAzjh3oY3ThUJnPmIY3rCYAYICkXHmosRgIUbwQYY=; b=EpVXH2rhlD7pe81jiBKgfbDborUyKzJcoF2ts5BFTjl9XVdPC7Jb6MSny5Bx78739V 2DP2OtuUF2KqHBgWc6TWQEfAMBssE/oa1rU7vSDTafb0rYZXCZpDrglhYdR/USmZMER9 IWOGlXzKTveCmJjCUiL5ElGHs1TCZpWxI9/PhHSdGAqi/FAI+2Xou6ZaihC41SiX+XvI JuFDfx+PD/jp+l/P37tjmwRQTDMiKz360FlsU0OwBagsHcdiGZUkZTRQskf5vYT8TgWq TAukT+f2dIOS+DMVYQxX9iZiHzfAbybhFSPxwEQmfr9zEXqdpoqyczQbRrOTUz7d9c8I +EOw==
X-Gm-Message-State: ALyK8tLtWfvgNfVIicZDVjbSfH4B+ZYdGPikd7A9uy/MMGiRoCKTvFyGoqbD1SyTaDlKuaCHLTnzUbR7qdD70w==
X-Received: by 10.37.230.65 with SMTP id d62mr589606ybh.111.1466082153640; Thu, 16 Jun 2016 06:02:33 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.37.101.84 with HTTP; Thu, 16 Jun 2016 06:02:32 -0700 (PDT)
In-Reply-To: <3f8fa637-17b5-853b-b835-db486a2a69f6@erg.abdn.ac.uk>
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>
From: Spencer Dawkins at IETF <spencerdawkins.ietf@gmail.com>
Date: Thu, 16 Jun 2016 08:02:32 -0500
Message-ID: <CAKKJt-cjncm7zsfj3=7pqB-uSNTxMPfjPY=qpSNnDncVmy+enA@mail.gmail.com>
To: "gorry@erg.abdn.ac.uk" <gorry@erg.abdn.ac.uk>
Content-Type: multipart/alternative; boundary="94eb2c0a915afab70a053564d9db"
Archived-At: <https://mailarchive.ietf.org/arch/msg/tcpprague/N45-ibvZ-7DN7HX77Flxwr3B0D4>
Cc: Bob Briscoe <ietf@bobbriscoe.net>, John Leslie <john@jlc.net>, TCP Prague List <tcpPrague@ietf.org>
Subject: Re: [tcpPrague] Enough energy for an L4S/TCP Prague BoF?
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: Thu, 16 Jun 2016 13:02:40 -0000

Hi, Bob and Gorry,

On Thu, Jun 16, 2016 at 7:48 AM, Gorry Fairhurst <gorry@erg.abdn.ac.uk>
wrote:

> Hi Bob,
>
> As it currently stands, I think a proposal to change the meaning of the
> ECN base spec should come to TSVWG, as should updating the experimental
> codepoint use currently assigned to ECN-NONCE. This would mean re-defining
> ECT(0) as not equivalent to ECT(1) within the default (BE) diffserv class -
> currently this is only permitted as an alternate behaviour.
>
> I think it could perhaps be argued that the meaning of CE is not
> significantly changed, rather the marking behaviour and interpretation
> would be updated for endpoints using the new proposed method. A short draft
> that notes the impact on existing RFCs would be good as a step forward.
>
> For the moment, let's first discuss at the BoF what is needed - deciding
> where to get standards progressed comes later.


I agree with this (but see below) ...


> Gorry
>
>
> On 16/06/2016 08:34, Bob Briscoe wrote:
>
>> Gorry,
>>
>> Thank you for this - v useful.
>>
>> I would like to get a sense of people's opinion on a particular
>> political/procedural question that John L has raise that I think will be
>> central. And you may have a better feel for 'public opinion' on this
>> than me...
>>
>> I expect any L4S aqm algos and any congestion control algos to be
>> experimental track.
>>
> >
>
>> However, in order to be experimented with on the public Internet, they
>> will need to distinguish their packets with an identifier.
>> ECT(1) is the leading contender, complemented by CE as the marking.{Note
>> 1}
>
>
So, just to make sure I understand the proposal ... because I'm probably
confused.

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?

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?

Thanks,

Spencer


> There are many pre-existing standards track docs {Note 2} that describe
>> usage of ECT(1), based on the assumption that it was an experimental
>> nonce.
>> A Proposed Standard RFC would be needed to update these PSs.
>>
>> John L suggests (if I understand it correctly) a PS that makes space for
>> experiments by reserving ECT(1) again, without redefining it for any new
>> purpose (I guess it would mention L4S non-normatively). This RFC would
>> be written to update all the mentioned PS RFCs. I assume he is proposing
>> that then a new definition of ECT(1) for L4S could be written as a new
>> experimental track use of this newly reserved codepoint.
>>
>> a) Is this a feasible way to evolve these proposed standards?
>> b) Do you think there might be support for this?
>>
>> One problem I see:
>> * L4S needs to redefine the semantics of both ECT(1) /and/ CE, with the
>> definition of CE shared between L4S and Classic flows. {Note 3}
>>   We may have to somehow word the "John-L-proposed-PS" to allow this?
>>
>>
>> Bob
>>
>> {Note 1} There are no perfect choices (the choices and their compromises
>> are listed in draft-briscoe-tsvwg-ecn-l4s-id).
>> {Note 2} Listed under "the standardization problem" in our L4S problem
>> statement draft-briscoe-tsvwg-aqm-tcpm-rmcat-l4s-problem.
>>                Also, quoting from the above l4s-id draft (which is
>> written as intended for the experimental track):
>>
>> "  Therefore, if the experiment is successful and a descendant of this
>>    document proceeds to the standards track, it would be expected to
>>    update the specification of ECN in IP [RFC3168].  It would also
>>    update the transport behaviour when using ECN in the standards track
>>    RFCs listed in Section 2.3 (i.e.  ECN in TCP [RFC3168], in SCTP
>>    [RFC4960], in RTP [RFC6679], and in DCCP [RFC4340]).
>> "
>> {Note 3} Hosts understand which meaning of CE is intended, because they
>> have per-flow context. For the network, the l4s-id draft proposes that a
>> stateless L4S-capable classifier classifies CE as L4S. Any ECN-capable
>> queue can still re-mark either ECT(0) or ECT(1) to CE.
>> This last point is no change from RFC3168. But the first two points
>> /are/ changes to the PSs.
>>
>>
>>
>> On 15/06/16 18:40, Gorry Fairhurst wrote:
>>
>>>
>>> This topic may well fit within the scope of TSVWG.We could in
>>> principle consider such a discussion, *IF* that's the best use of
>>> face-to-face time at the meeting.
>>>
>>> Since L4S is approved, please discuss the topics there.
>>>
>>> Gorry
>>>
>>>
>>> On 01/06/2016 22:53, John Leslie wrote:
>>>
>>>> Bob Briscoe <research@bobbriscoe.net> wrote:
>>>>
>>>>>
>>>>> John, Gorry,
>>>>>
>>>>> A random new thought...
>>>>>
>>>>
>>>>    (I'm still working on a reply to Bob's earlier email today: I'm
>>>> tending to make it a private reply since I'm not seeing a lot of
>>>> interest
>>>> in discussing it on the tcpprague list.)
>>>>
>>>> Another mechanism I've seen for this sort of thing is a mini-BoF within
>>>>> an existing WG agenda.
>>>>>
>>>>
>>>>    I'm not aware of any rules pertaining to such a mini-BoF -- I'd guess
>>>> the WGCs are entitled to call a section of their WG session a "mini-BoF"
>>>> and operate under near-BoF rules...
>>>>
>>>> Am I correct that a mini-BoF is appropriate for extending a WG's
>>>>> charter
>>>>> in a more major direction than just adding one doc, and/or where it's
>>>>> not clear whether a new WG might be needed instead?
>>>>> It could possibly be a tsvwg mini-BoF.
>>>>>
>>>>
>>>>    ISTM that is up to the TSVWG chairs.
>>>>
>>>> Or perhaps a joint tcpm, tsvwg, aqm mini-BoF, if such a thing exists?
>>>>>
>>>>
>>>>    I really doubt such a thing exists.
>>>>
>>>>    I'd be happy to see what Bob is suggesting as part of a TSVWG agenda.
>>>>
>>>> --
>>>> John Leslie <john@jlc.net>
>>>>
>>>> _______________________________________________
>>>> tcpPrague mailing list
>>>> tcpPrague@ietf.org
>>>> https://www.ietf.org/mailman/listinfo/tcpprague
>>>>
>>>>
>>> _______________________________________________
>>> tcpPrague mailing list
>>> tcpPrague@ietf.org
>>> https://www.ietf.org/mailman/listinfo/tcpprague
>>>
>>> --
>>> ________________________________________________________________
>>> Bob Briscoe                               http://bobbriscoe.net/
>>>
>>
>> _______________________________________________
>> tcpPrague mailing list
>> tcpPrague@ietf.org
>> https://www.ietf.org/mailman/listinfo/tcpprague
>>
>>
> _______________________________________________
> tcpPrague mailing list
> tcpPrague@ietf.org
> https://www.ietf.org/mailman/listinfo/tcpprague
>