Re: [tcpm] [tsvwg] draft-ietf-tsvwg-ecn-l4s-id

"Scharf, Michael" <Michael.Scharf@hs-esslingen.de> Mon, 11 November 2019 10:16 UTC

Return-Path: <Michael.Scharf@hs-esslingen.de>
X-Original-To: tcpm@ietfa.amsl.com
Delivered-To: tcpm@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 2F8A0120059; Mon, 11 Nov 2019 02:16:37 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.987
X-Spam-Level:
X-Spam-Status: No, score=-1.987 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_KAM_HTML_FONT_INVALID=0.01] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=hs-esslingen.de
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 cUh2qvBMZMPG; Mon, 11 Nov 2019 02:16:34 -0800 (PST)
Received: from mail.hs-esslingen.de (mail.hs-esslingen.de [134.108.32.78]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 6F01B120274; Mon, 11 Nov 2019 02:16:33 -0800 (PST)
Received: from localhost (localhost.localdomain [127.0.0.1]) by mail.hs-esslingen.de (Postfix) with ESMTP id 6FBC025A17; Mon, 11 Nov 2019 11:16:31 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=hs-esslingen.de; s=mail; t=1573467391; bh=bkOEfOjNwCMh8wJtQrXwkCIPywIeEPZSiZwLEuPVgbs=; h=From:To:CC:Subject:Date:References:In-Reply-To:From; b=kb9a3rVfVhBumLkHPCo9W+ym3poauyZ5rn8GYIzHuguUJiXBtGqcLzFvuBImzCW42 yhRJCwWj0PSzstS0/QpWjB+9stj0uYDDE5MkAO6IDbA1vprP0kHig8GygHGxevziql QL4D+mB84AhF0F7Oxfk16caZ0iIy3AtHieZJUpgk=
X-Virus-Scanned: by amavisd-new-2.7.1 (20120429) (Debian) at hs-esslingen.de
Received: from mail.hs-esslingen.de ([127.0.0.1]) by localhost (hs-esslingen.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id L-1cUAKu72Mv; Mon, 11 Nov 2019 11:16:27 +0100 (CET)
Received: from rznt8102.rznt.rzdir.fht-esslingen.de (rznt8102.rznt.rzdir.fht-esslingen.de [134.108.29.102]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (No client certificate requested) by mail.hs-esslingen.de (Postfix) with ESMTPS; Mon, 11 Nov 2019 11:16:27 +0100 (CET)
Received: from RZNT8114.rznt.rzdir.fht-esslingen.de ([169.254.3.61]) by rznt8102.rznt.rzdir.fht-esslingen.de ([fe80::f977:d5e6:6b09:56ac%10]) with mapi id 14.03.0468.000; Mon, 11 Nov 2019 11:16:27 +0100
From: "Scharf, Michael" <Michael.Scharf@hs-esslingen.de>
To: Bob Briscoe <in@bobbriscoe.net>, "draft-ietf-tsvwg-ecn-l4s-id@ietf.org" <draft-ietf-tsvwg-ecn-l4s-id@ietf.org>
CC: "tcpm@ietf.org" <tcpm@ietf.org>, "tsvwg@ietf.org" <tsvwg@ietf.org>
Thread-Topic: [tsvwg] draft-ietf-tsvwg-ecn-l4s-id
Thread-Index: AQHVkyRO0hfVTfCa3UGewND2kYjsB6eFsKUAgAAUAgA=
Date: Mon, 11 Nov 2019 10:16:26 +0000
Message-ID: <6EC6417807D9754DA64F3087E2E2E03E2D4FA28D@rznt8114.rznt.rzdir.fht-esslingen.de>
References: <6EC6417807D9754DA64F3087E2E2E03E2D27D05A@rznt8114.rznt.rzdir.fht-esslingen.de> <74c959b8-7756-5f9e-1333-07e9d199dd67@bobbriscoe.net> <f847ef26-8566-2bdb-a827-fb45ceee73a4@bobbriscoe.net>
In-Reply-To: <f847ef26-8566-2bdb-a827-fb45ceee73a4@bobbriscoe.net>
Accept-Language: de-DE, en-US
Content-Language: de-DE
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [134.108.48.164]
Content-Type: multipart/alternative; boundary="_000_6EC6417807D9754DA64F3087E2E2E03E2D4FA28Drznt8114rzntrzd_"
MIME-Version: 1.0
Archived-At: <https://mailarchive.ietf.org/arch/msg/tcpm/vch8eq50XeHyAvgzmWTyhEdIJsQ>
Subject: Re: [tcpm] [tsvwg] draft-ietf-tsvwg-ecn-l4s-id
X-BeenThere: tcpm@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: TCP Maintenance and Minor Extensions Working Group <tcpm.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tcpm>, <mailto:tcpm-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tcpm/>
List-Post: <mailto:tcpm@ietf.org>
List-Help: <mailto:tcpm-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tcpm>, <mailto:tcpm-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 11 Nov 2019 10:16:37 -0000

So can you confirm that a TCP sender can use the L4S service without implementing AccECN? I am asking again since there has been some recent list discussion on that, e.g., given the points raised by Sebastian. I am a bit lost here on what the future plan in L4S actually is.

And I still fail to understand why even the general idea of RACK matters to AQM algorithms, traffic classifiers, or priority schedulers for traffic with 1/p congestion control in a router. RACK has lots of merits, but most of them are IMHO entirely unrelated to the vision of L4S. I’d suggest to focus L4S on solving the key problems for traffic with 1/p congestion control.

Michael (with no hat)



From: Bob Briscoe <in@bobbriscoe.net>
Sent: Monday, November 11, 2019 10:39 AM
To: Scharf, Michael <Michael.Scharf@hs-esslingen.de>de>; draft-ietf-tsvwg-ecn-l4s-id@ietf.org
Cc: tcpm@ietf.org; tsvwg@ietf.org
Subject: Re: [tsvwg] draft-ietf-tsvwg-ecn-l4s-id

Michael,

On a similar question of dependency between experiments, I think you also expressed concern that ecn-l4s-id depends on the RACK experiment. However, ecn-l4s-id only refers to RACK informatively, because it only uses the general idea behind RACK. Just as quic-recovery (stds track) uses the general idea behind RACK (expt track) by referring to it informatively.



Bob
On 04/11/2019 15:26, Bob Briscoe wrote:
Michael,

Thank you for pointing this out, many months ago now.

There is no formal dependency of draft-ietf-tsvwg-ecn-l4s-id on AccECN, as explained below.

For any transport protocol to comply with ecn-l4s-id, it needs sufficiently accurate feedback of the extent of CE marking on the forward path. You pointing this out has made me realize that there is a 'needs' that should be a 'MUST' in the spec:

4.2.  Prerequisite Transport Feedback

CURRENT:

   In general, a scalable congestion control, needs feedback of the

   extent of CE marking on the forward path.
PROPOSED:

   In general, for a transport protocol to provide scalable congestion control,

   it MUST provide feedback of the

   extent of CE marking on the forward path.

However, ecn-l4s-id only specifies the requirements that any L4S transport protocol would have to satisfy. It does not define a transport protocol itself. So AccECN is not a normative ref. So I am also altering the text a little further down, where it refers to AccECN, as follows:

CURRENT:

  TCP:  Support for accurate ECN feedback (AccECN

      [I-D.ietf-tcpm-accurate-ecn<https://tools.ietf.org/html/draft-ietf-tsvwg-ecn-l4s-id-07#ref-I-D.ietf-tcpm-accurate-ecn>]) by both ends is a prerequisite for

      scalable congestion control.
PROPOSED:

  TCP:  Support for accurate ECN feedback (such as AccECN

      [I-D.ietf-tcpm-accurate-ecn<https://tools.ietf.org/html/draft-ietf-tsvwg-ecn-l4s-id-07#ref-I-D.ietf-tcpm-accurate-ecn>]) by both ends is a prerequisite for

      scalable congestion control.
Thanks again for pointing this out.
Dependencies between Experiments

The case of TCP Prague provides a counter-argument:

TCP Prague could be specified in one monolithic experimental spec.
Or it could be broken down into experimental components, and a top level experimental spec that pulls them all together.

The latter option would create multiple dependencies of one experiment on others. But IMHO such modularity is preferable to a monolithic spec. Especially if some of the components might have other uses outside of TCP Prague (which is exactly the case with TCP Prague, e.g. AccECN, ECN++, RACK are all potentially parts of the base TCP stack, and paced-chirping is potentially usable by any other congestion control - these are all experimental component parts).

As another example, BBR was written up as an experimental draft, and the Linux implementation uses RACK (although not mentioned in the draft) which is enabled by default in Linux.

Such modularity is good.


Bob

On 24/03/2019 19:15, Scharf, Michael wrote:

I have just parsed through draft-ietf-tsvwg-ecn-l4s-id-06 and I run into the following sentence:



TCP:  Support for accurate ECN feedback (AccECN

      [I-D.ietf-tcpm-accurate-ecn]) by both ends is a prerequisite for

      scalable congestion control.  Therefore, the presence of ECT(1) in

      the IP headers even in one direction of a TCP connection will

      imply that both ends support AccECN.  However, the converse does

      not apply.  So even if both ends support AccECN, either of the two

      ends can choose not to use a scalable congestion control, whatever

      the other end's choice.



Can the authors please clarify whether there is a normative dependency of draft-ietf-tsvwg-ecn-l4s-id on draft-ietf-tcpm-accurate-ecn?



If so, I think the formal dependency on implementing AccECN has to be spelt out explicitly. In that case, I would be looking for a statement of the sort "MUST/SHOULD/MAY implement draft-ietf-tcpm-accurate-ecn" somewhere. If such a requirement does not exist, I think the above paragraph is confusing.



As individual contributor, I want to note that I disagree with mandatory dependencies between experiments. I have mentioned in the past that I believe that different experiments must be specified independently of each other and should be implementable independently of each other, specifically also to be able to fail independently of each other. It is possible that I am in the rough part of the consensus. But I haven't changed my mind.



Michael (as individual)







--

________________________________________________________________

Bob Briscoe                               http://bobbriscoe.net/



--

________________________________________________________________

Bob Briscoe                               http://bobbriscoe.net/