Re: [tsvwg] Robert Wilton's No Objection on draft-ietf-tsvwg-ecn-encap-guidelines-21: (with COMMENT)

Bob Briscoe <ietf@bobbriscoe.net> Fri, 01 December 2023 15:16 UTC

Return-Path: <ietf@bobbriscoe.net>
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 529B1C151093; Fri, 1 Dec 2023 07:16:08 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.105
X-Spam-Level:
X-Spam-Status: No, score=-2.105 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=bobbriscoe.net
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id zZYPD4-rreJf; Fri, 1 Dec 2023 07:16:03 -0800 (PST)
Received: from mail-ssdrsserver2.hostinginterface.eu (mail-ssdrsserver2.hostinginterface.eu [185.185.85.90]) (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 494D0C15108E; Fri, 1 Dec 2023 07:16:01 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=bobbriscoe.net; s=default; h=In-Reply-To:From:References:Cc:To:Subject: MIME-Version:Date:Message-ID:Content-Type:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=Eb8e5AqJm7aezHuF1bwZWJjryyQuWY1HgCiViVsEGIc=; b=LA5wl+O4tS5hxLJcJIeAiKYyLS V7X6S4dQ/zyNbSlJf+ctGeiZPYp28+4BFPlU4drc5oTNNyxsWttzcVFHbP+qEvQmlC6/S43ha1FWJ ic2A7TLMFp7d6286PVUzuz8Ypnu5NbPvm7x44b3vHmUmiUKjzlhCbEAU84MMyTqcnmT2qpQNXQba0 StugXuCiqZd2oTXnDwHoHO3P24AJ2w5GfMD50Z8oEyRSetPbtzHvY8bgG7UIlcPO/q/gBkIml3UVz 7QIIDCBV2+FqCKx9Su9VsnT4v+MoWNAipQ7jOD+3T3IucezkdxP4bz9NHeWOp/StHClGEHaMkIBDw NxBeEgDA==;
Received: from 67.153.238.178.in-addr.arpa ([178.238.153.67]:58620 helo=[192.168.1.29]) by ssdrsserver2.hostinginterface.eu with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.96.2) (envelope-from <ietf@bobbriscoe.net>) id 1r95FQ-00023b-3B; Fri, 01 Dec 2023 15:16:01 +0000
Content-Type: multipart/alternative; boundary="------------gBsTjeGMwHivGOSnpNwounwN"
Message-ID: <e3b15c97-640a-496c-890a-b6d8c6825209@bobbriscoe.net>
Date: Fri, 01 Dec 2023 15:15:57 +0000
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-GB
To: "Rob Wilton (rwilton)" <rwilton@cisco.com>, The IESG <iesg@ietf.org>
Cc: "draft-ietf-tsvwg-ecn-encap-guidelines@ietf.org" <draft-ietf-tsvwg-ecn-encap-guidelines@ietf.org>, "tsvwg-chairs@ietf.org" <tsvwg-chairs@ietf.org>, "tsvwg@ietf.org" <tsvwg@ietf.org>, David Black <david.black@dell.com>, "gorry@erg.abdn.ac.uk" <gorry@erg.abdn.ac.uk>
References: <170117817775.15754.964980242245668550@ietfa.amsl.com> <64acdaa3-80ba-454f-8b3b-b1ab4a756de5@bobbriscoe.net> <BY5PR11MB4196BD35FBBA017EC0BC3F71B581A@BY5PR11MB4196.namprd11.prod.outlook.com>
From: Bob Briscoe <ietf@bobbriscoe.net>
In-Reply-To: <BY5PR11MB4196BD35FBBA017EC0BC3F71B581A@BY5PR11MB4196.namprd11.prod.outlook.com>
X-MagicSpam-TUUID: 7095ac32-639a-43a4-8363-6950ed902b56
X-MagicSpam-SUUID: 9a53c7c3-1515-4d25-9d59-486e739d53c3
X-AntiAbuse: This header was added to track abuse, please include it with any abuse report
X-AntiAbuse: Primary Hostname - ssdrsserver2.hostinginterface.eu
X-AntiAbuse: Original Domain - ietf.org
X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12]
X-AntiAbuse: Sender Address Domain - bobbriscoe.net
X-Get-Message-Sender-Via: ssdrsserver2.hostinginterface.eu: authenticated_id: in@bobbriscoe.net
X-Authenticated-Sender: ssdrsserver2.hostinginterface.eu: in@bobbriscoe.net
X-Source:
X-Source-Args:
X-Source-Dir:
Archived-At: <https://mailarchive.ietf.org/arch/msg/tsvwg/IBiwvZwjZiaO2D7AIkyXvKzdwME>
Subject: Re: [tsvwg] Robert Wilton's No Objection on draft-ietf-tsvwg-ecn-encap-guidelines-21: (with COMMENT)
X-BeenThere: tsvwg@ietf.org
X-Mailman-Version: 2.1.39
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: Fri, 01 Dec 2023 15:16:08 -0000

Rob, pls see [BB2]

On 01/12/2023 09:55, Rob Wilton (rwilton) wrote:
> Hi Bob,
>
>> -----Original Message-----
>> From: Bob Briscoe<in@bobbriscoe.net>
>> Sent: Friday, December 1, 2023 12:55 AM
>> To: Rob Wilton (rwilton)<rwilton@cisco.com>; The IESG<iesg@ietf.org>
>> Cc:draft-ietf-tsvwg-ecn-encap-guidelines@ietf.org;tsvwg-chairs@ietf.org;
>> tsvwg@ietf.org; David Black<david.black@dell.com>;gorry@erg.abdn.ac.uk
>> Subject: Re: Robert Wilton's No Objection on draft-ietf-tsvwg-ecn-encap-
>> guidelines-21: (with COMMENT)
>>
>> Robert, Thank you for your review. See [BB]
>>
>> On 28/11/2023 13:29, Robert Wilton via Datatracker wrote:
>>> Robert Wilton has entered the following ballot position for
>>> draft-ietf-tsvwg-ecn-encap-guidelines-21: No Objection
>>>
>>> When responding, please keep the subject line intact and reply to all
>>> email addresses included in the To and CC lines. (Feel free to cut this
>>> introductory paragraph, however.)
>>>
>>>
>>> Please refer to
>> https://www.ietf.org/about/groups/iesg/statements/handling-ballot-
>> positions/
>>> for more information about how to handle DISCUSS and COMMENT
>> positions.
>>>
>>> The document, along with other ballot positions, can be found here:
>>> https://datatracker.ietf.org/doc/draft-ietf-tsvwg-ecn-encap-guidelines/
>>>
>>>
>>>
>>> ----------------------------------------------------------------------
>>> COMMENT:
>>> ----------------------------------------------------------------------
>>>
>>> Hi,
>>>
>>> Thanks for this document, it is well written and an interesting read.
>>>
>>> I have just one very minor comment for you to consider please:
>>>
>>> (1) p 4, sec 1.  Introduction
>>>
>>>      Therefore, the capitalized terms 'SHOULD' or 'SHOULD NOT' are often
>>>      used in preference to 'MUST' or 'MUST NOT', because it is difficult
>>>      to know the compromises that will be necessary in each protocol
>>>      design.  If a particular protocol design chooses not to follow a
>>>      'SHOULD (NOT)' given in the advice below, it MUST include a sound
>>>      justification.
>>>
>>> I would suggest "must include a sound justification", i.e., otherwise it is
>>> unclear how the justification affects protocol conformance.
>> [BB] I don't understand. Surely it's very clear... If a protocol spec
>> does not include a sound justification for why it does not follow any of
>> the SHOULD (NOT)s given in this BCP, it does not comply with this BCP-to-be.
>>
>> To my mind, conformance is only unclear without the 'MUST' in caps?
> [Rob Wilton (rwilton)]
>
> I mostly think of RFC 2199 language as helping protocol conformance, i.e., will two implementations of a protocol successfully interoperate together.  Hence, I'm struggling to see why, on the wire, whether or not a justification is stated in a document will affect whether two implementations successfully interoperate.
>
> Writing must instead of MUST still requires that they do it, and section 6 of RFC 2119 states:
>
> 6. Guidance in the use of these Imperatives
>
>     Imperatives of the type defined in this memo must be used with care
>     and sparingly.  In particular, they MUST only be used where it is
>     actually required for interoperation or to limit behavior which has
>     potential for causing harm (e.g., limiting retransmisssions)  For
>     example, they must not be used to try to impose a particular method
>     on implementors where the method is not required for
>     interoperability.
>
> Also RFC 8174, that updates 2119 states:
>
>     o  These words can be used as defined here, but using them is not
>        required.  Specifically, normative text does not require the use
>        of these key words.  They are used for clarity and consistency
>        when that is what's wanted, but a lot of normative text does not
>        use them and is still normative.
>
>     o  The words have the meanings specified herein only when they are in
>        all capitals.
>
>     o  When these words are not capitalized, they have their normal
>        English meanings and are not affected by this document.

[BB2] OK, so you're not talking about conformance with /this/ BCP, 
you're talking about conformance with the specs that might be written 
following this BCP. The problems here are two fold:

 1. Nearly all the uses of 'SHOULD' in this document are to ensure that
    new L2 protocol designs will interoperate properly. So, ideally most
    of the 'SHOULD's would have been written as 'MUST's. Nonetheless,
    the caveat you've quoted explains why that would have been too
    inflexible, so  'MUST' has been used sparingly.
 2. indeed , in theory, lower case words still have the force of their
    normal English meaning{Note 1}. However, in practice, that subtle
    point flies over the heads of 99% of practitioners.

So, by saying that protocol designers 'MUST' include a sound 
justification (when they don't follow a SHOULD), the draft could well 
improve interop of future protocol designs. And I don't think it could 
ever do any harm (other than looking odd). So, as you've tagged this as 
a minor comment, I think on balance I'm going to leave the text as it is.

But thank you for bringing it up, and explaining it.

{Note 1} (I started a thread on rswg about the automated addition of 
<bcp14> around capitalized keywords, where this point came up)


Bob

>
> However, having said all of this, this is not a blocking comment, and if you wish to keep it as MUST you may do so.  I just think that it looks odd.
>
> Regards,
> Rob
>
>
>
>>
>> Bob
>>
>>> Regards,
>>> Rob
>>>
>>>
>>>
>> --
>> ________________________________________________________________
>> Bob Briscoehttp://bobbriscoe.net/

-- 
________________________________________________________________
Bob Briscoehttp://bobbriscoe.net/