Re: [netmod] On prefixes RE: Next steps for draft-ietf-netmod-rfc8407bis

Jürgen Schönwälder <jschoenwaelder@constructor.university> Mon, 04 March 2024 19:43 UTC

Return-Path: <jschoenwae@constructor.university>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id A00EEC151983 for <netmod@ietfa.amsl.com>; Mon, 4 Mar 2024 11:43:44 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.908
X-Spam-Level:
X-Spam-Status: No, score=-1.908 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=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 (1024-bit key) header.d=jacobsuniversity.onmicrosoft.com
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 My1mDfqfxkm1 for <netmod@ietfa.amsl.com>; Mon, 4 Mar 2024 11:43:41 -0800 (PST)
Received: from EUR05-AM6-obe.outbound.protection.outlook.com (mail-am6eur05on2137.outbound.protection.outlook.com [40.107.22.137]) (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 98CD2C151980 for <netmod@ietf.org>; Mon, 4 Mar 2024 11:43:40 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=aRyY16wasWhGAjpGZyH6IytyFP0rnUKneiNxVaHJiUv+s6ePvqA1ZNC/H6/lnUauFF6vnjF5hzdPEmXZu4SW1DEXqWpt0NMbr8cLPlECdRA7W+2XpFHzzHK2KlolMhPLS9t3ntVWJSE+2497CCCVWkLxSE15cdrnn2qyGh87ehK2SnTy4HKn1Y2yniTI2oSkJ8CY8ol44RNJBSnZU2BbszObEUr8VCNFlcgK3uNSB8OzJEzSBPgSGOsLbeP+17pfjGyQO8BHnJmOjLr7EaeRpyzEVLNlzvqIbUTQBnzcacEpCIUENP/q2XnhOGThG5kwPg5BjUROQDe96I4QbthMaA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=gGQadXevoiPyMakBJbSZVB8W9JnwWOpSoEj5TDkjY3g=; b=KkSoXHm/10Zn66/mTc+WCYY0lppcbK4mpYvcAldcyemKjhb4cSbK6FQybYQrEpx0VqjRhgJMpJIWj/aHKIpQA/ReCbT/+c5DyHc6JpCA5SObTKeEUuSof6OZUhquHAyvmDhyDJ18VgCGB85XppF5JmWYsW+LABfdmd2LRH4NdOPcd/9pqO4mBuZVLN1ked51y4e7PGK9o4H/Uy2UVUcOljrp05QfelXPKBmRFIXndur1dlosorX4EDIarlZvdEdm0dV/ICHPAecycEA28P6FhhEuAXUx9EHprfm/V+rpn493hV58b/+pVY9r8hXkfH/tiL8J7Jsb0RIMPrH/cD6o4g==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=constructor.university; dmarc=pass action=none header.from=constructor.university; dkim=pass header.d=constructor.university; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jacobsuniversity.onmicrosoft.com; s=selector2-jacobsuniversity-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=gGQadXevoiPyMakBJbSZVB8W9JnwWOpSoEj5TDkjY3g=; b=px8OiJoqz+CpmWN4VVb4qJAiJWiBwI179Cvonof95uSv6WxhLIOT/1ZOvoqlzTO47ZA+udlc/1xXCb+9ykipbDYxheWec+tlEu4dkVBpNYQgKMEIC+gekr7bShAa6Ss3t8GoxDdExaNId7W2nQ/vl1ua1aRG36yapDs+4HG3RgY=
Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=constructor.university;
Received: from GVXP190MB1991.EURP190.PROD.OUTLOOK.COM (2603:10a6:150:3::6) by PA4P190MB1279.EURP190.PROD.OUTLOOK.COM (2603:10a6:102:bc::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7339.38; Mon, 4 Mar 2024 19:43:37 +0000
Received: from GVXP190MB1991.EURP190.PROD.OUTLOOK.COM ([fe80::e7ee:439a:328a:6c95]) by GVXP190MB1991.EURP190.PROD.OUTLOOK.COM ([fe80::e7ee:439a:328a:6c95%7]) with mapi id 15.20.7339.035; Mon, 4 Mar 2024 19:43:36 +0000
Message-ID: <8fbc84a6-cfd4-4d2d-9118-09bbb25bbc4c@constructor.university>
Date: Mon, 04 Mar 2024 20:43:34 +0100
User-Agent: Mozilla Thunderbird
Content-Language: en-US
To: netmod@ietf.org
References: <170911084467.36197.13909323798182085568@ietfa.amsl.com> <DU2PR02MB10160D87F56348C8C6C3D947188582@DU2PR02MB10160.eurprd02.prod.outlook.com> <0E99F975-162C-4703-93F7-B9EE82D4186B@tail-f.com> <DU2PR02MB101606A8503CD26291F18034D88232@DU2PR02MB10160.eurprd02.prod.outlook.com> <314d5e9c-3a98-4dd2-ad05-b426cd376644@alumni.stanford.edu>
From: Jürgen Schönwälder <jschoenwaelder@constructor.university>
In-Reply-To: <314d5e9c-3a98-4dd2-ad05-b426cd376644@alumni.stanford.edu>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 8bit
X-ClientProxiedBy: FR3P281CA0052.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:4a::23) To GVXP190MB1991.EURP190.PROD.OUTLOOK.COM (2603:10a6:150:3::6)
MIME-Version: 1.0
X-MS-PublicTrafficType: Email
X-MS-TrafficTypeDiagnostic: GVXP190MB1991:EE_|PA4P190MB1279:EE_
X-MS-Office365-Filtering-Correlation-Id: 3616ea9d-e89f-48db-0d60-08dc3c836250
X-MS-Exchange-AtpMessageProperties: SA
X-MS-Exchange-SenderADCheck: 1
X-MS-Exchange-AntiSpam-Relay: 0
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: Wq03TDvcXqRZ5vIW2mi32ZBN/5hV+mFGGVcsg888RtGUcj9KSU5oZifgY5bKHsdIgyI3SwgDUU/a+QfKYTJoIM+9jkHJz1TUotmG1dLGBEkKIhwwJHJClesZE62g/gi3dzXKPlrYtSIlnm/ysX89DHGz8tEmvfXb4BqTbuT2bNcdXnflnnKe330Ps11laEgUHJAE1YitGOMCiNbCQxgu1Xv+Hg4HsOptEJw2snUJebqsBJN2eRnITbyidehQaDSMgKmunkn2eFFnizX9n/wWP/YqXxMbiH+BRYVmG2gWaY5MFMepVV1eMLPDr8BP023K1JP2WGfs9tFbXGdNCY4INDGkc5J/adMB3fegeo4S7VHNoYcQLkbIlMmNk0+4ESIv1TRxyug0GMQRgm9DMuJjvihA6rjzvxiTBkdbVVQ9Zzld2HzSVGHbIwZChf58pATKbSzTY0XGFE9PaSXds+Lj6ZThUjwF+oZyOiij73U367SAWLNPTSrJVuDAdum4PSPg2vMEukbov8fkKU+ocGNLoHjHU/20KfiFE467CirE+DDoR9Y8ZbE/EJ2+gfU2Kygp+FbKseuAzvx6QC9CGp9f9OnSGKNX/Pguc9rChA0TwaY=
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:GVXP190MB1991.EURP190.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(13230031)(376005); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: rGzhR2SsJD3vamjsc25CQkkFbD4LN0ePadjNRmBPv5BZMKlyY5adTvsXYRvmzH/wBptMFq4RK4ggiPIIhZ23yRWbeGsC1zjSK2F0qvRko7jwX+ljbsOXbJuqyB+IMfbh64+tHKKUVS/jhJzux1yWL/sAn06EtrSwhNqq+IUuMpNBNE2go6QqGUKpudxKHy2i/fHQEj4UcMtnWmHVyKniiPI5RGwEONaB4v9u4X1JhA/GOWktuZaZBI4T9wxfAhiLv9FhtCVKVMqWiG+JfPkTZXNlOchxYfqQmUBp3dWQqh08iW65+4e3ROcW9BjNA0Wx0YDCAtjmAY+43p9XRlcigZSub41lonTiRAAesJVCOUnyImDC5mqpRXLhdw8gyha0YBhbXvXdtbawPhdmuOpF000Ea4+4spA0/DH11Go1ywFHXwwFqvzGjOZtU5MaTmA78A4NbqDoGPPbcKuZAqQ9RmcL+pNVveJ/JTeO/PmCguPOGTjuYM/gu7NPngOYPbNLVIiCCVkFtsctubboUB9NzLY3NHhfC2SI05w7T6cj1pjMjpEmPrm76So2JeT7Oq2ZHEY+aoZksZUAXkprKKV3wHs8cxzEuEU9MGDlRuPZEPX7a1a3nFpIBHl36uMdRFdBP/THVXDNSDwuZUe8yjZaiBK43tfylbN3AoZuiCfTZFnmWi1CI8uufFH+yXXLgUI8Syj0FvVQ/fnyqqqepAjG65nFsWfHd8SpLD1b+6YbbdgkIxpJ+Pwg7JBARe5aecKPE2Hwdjn8MygoxzY8k7L73qdT7aq5aYwSRQDGe8eHzcB0Xg2pOnmFikR1oghZfJIbYT6f2Y+lbqKrML20edMZ54JArspTXX4nfFzybIgd1YImxT+wKod8/eXkqccmUKMAhZIPzrDWV087ckqFqAvVc1We17MuIIqwwnyATgquRq8OElugjOb4m9aBNnt9bzT2lODxFxLE+IkS+p9/tuzx5HH5EIrTt95p70zI6boHKICcIYq9CXsuXr+XD2tsx9TliDsKQ30G/dQLXjrX8/C6LurEtbOXmy+Ntwh7L+AJJZJjZwL5PPkTXNh9X1tGDJw8YmuELXy2OgRJqIlGLeZUuUVZ0m+6ObzOgUWsoWH+aE7nAT2jaHj8hG88GX4Az/FGFvA4Pb+qvbYRNn9zeD7zhg+SeNJDubWJH16Pog139Pf7bjPdwwDk7CVvvD9TGiUOuQTA9xy0lzTzLB9waRuGODKj2WUb/seWgTtcuha9oUJSC9XacZodvW92NfjWrNIqqhsxtL85hRlvAOXAPRxizDgvBLuGDsCatcJtikD/OIV/uZW2NdyDyPu6wQrBv6oPrpu3neDWnjx6Wn18jxB6f8ce4zZ420Uz8Bv9gtbB6zy1yq3xX6Xut/HpULCZZXt5vcJenaosvc9ls6aVIaJNcqeeNQOcSiyRaVd1jTWpem8fYcuuRO/IjWu1RzfaQM58mf26HG98dmzjuB7m9L3ATWDkQN2g4U5ep9ePSlbZMHfqUusO5wF4q+qnLEtMvkClAi3/6MXGOmVuGGOwBt6A96URavqeBWTEn7hjudXpi8HY1u6qUEE63FFXma4kdOOmYlGIhRfk/eoOC2w1MT7R5T49OcrqQuf12oQy1uZRNj4=
X-OriginatorOrg: constructor.university
X-MS-Exchange-CrossTenant-Network-Message-Id: 3616ea9d-e89f-48db-0d60-08dc3c836250
X-MS-Exchange-CrossTenant-AuthSource: GVXP190MB1991.EURP190.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 04 Mar 2024 19:43:36.8546 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: f78e973e-5c0b-4ab8-bbd7-9887c95a8ebd
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: TDICLHo3TE2cPHddwiC00T4jMGKfFuVVqxmJWCpy/z+Rb+eN75LiFfiJ3iC7xFC8b5SCVUojCWeFgHi3swsdRGuspl0BHIMeWwyudk9lgx0=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA4P190MB1279
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/rkdDmzPg2x-WohvguXvNDJ0nuqs>
Subject: Re: [netmod] On prefixes RE: Next steps for draft-ietf-netmod-rfc8407bis
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 04 Mar 2024 19:43:44 -0000

Hi,

the statement "should be selected carefully to be unique" is
impossible to implement given an open ended set of YANG modules.
If this section only applies to IETF modules (I thought it is
more general) and IANA never makes a mistake and we accept
that prefixes get longer or cryptic over time, then this may
be possible to implement, but I am not sure this is actually
desirable.

The original wording "likely to be unique" was selected
carefully, it conveys the message that prefixes can't be
assumed to be unique. Perhaps it should be even further
watered down to "likely to be unique in a certain usage
context".

I believe the original wording was good enough and does not
need an update. Every update, even if well intended, carries
a risk to break something that works.

/js

On 04.03.24 19:39, Randy Presuhn wrote:
> Hi -
> 
> On 2024-03-04 12:51 AM, mohamed.boucadair@orange.com wrote:
>> Hi Jan,
>>
>> I went so far with the following:
>>
>> OLD:
>>
>>     Prefix values SHOULD be short but are also likely to be unique.
>>
>>     Prefix values SHOULD NOT conflict with known modules that have been
>>
>> previously published.
>>
>> NEW:
>>
>>     Prefix values should be selected carefully to be unique, and ideally
>>
>>     not too long.  Specifically, prefix values SHOULD NOT conflict with
>>
>>     known modules that have been previously published.
>>
>> I’m having troubles with the normative language here. If we maintain 
>> the two sentences, the second SHOULD is sufficient for the uniqueness 
>> IMO.
>>
>> Also, as per RFC2119, we should clarify when the SHOULD NOT can be 
>> safely ignored:
>>
>>     SHOULD NOT   This phrase, or the phrase "NOT RECOMMENDED" mean that
>>
>>     there may exist valid reasons in particular circumstances when the
>>
>>     particular behavior is acceptable or even useful, but the full
>>
>>     implications should be understood and the case carefully weighed
>>
>>     before implementing any behavior described with this label.
>>
>> An obvious case is an updated version of a published version.
> ...
> 
> In dealing with SHOULD statements in RFCs, both as an implementor
> and as a specification writer, I find it useful to re-phrase (at least
> in my head) a "SHOULD NOT X" as "MUST be able to cope with others
> doing X, even if it does not itself do X."
> 
> A "SHOULD NOT X" in a specification does NOT relieve implementations
> of the duty to work correctly when X happens, because "SHOULD NOT X"
> means that X is indeed permitted, even if discouraged.  If X causes a
> an implementation pair to violate protocol or miscommunicate (e.g.
> referencing the wrong syntax or semantics) at some level, then it
> really needs to be a "MUST NOT".
> 
> But this is an old, old argument, and gliding along with "likely
> uniqueness" rather than uniqueness has been a longstanding
> bug/feature of netmod.  I'd just like to see a bit more guidance
> for implementors so their products don't crash and burn when they
> do encounter "duplicate" prefixes in the wild.
> 
> Randy
> 
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod

-- 
Jürgen Schönwälder              Constructor University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany