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

Andy Bierman <andy@yumaworks.com> Tue, 05 March 2024 17:06 UTC

Return-Path: <andy@yumaworks.com>
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 7DF84C14F71E for <netmod@ietfa.amsl.com>; Tue, 5 Mar 2024 09:06:54 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.105
X-Spam-Level:
X-Spam-Status: No, score=-7.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_DNSWL_HI=-5, 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=yumaworks.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 wUp3Uiurr7Nk for <netmod@ietfa.amsl.com>; Tue, 5 Mar 2024 09:06:50 -0800 (PST)
Received: from mail-pj1-x102d.google.com (mail-pj1-x102d.google.com [IPv6:2607:f8b0:4864:20::102d]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 64D8EC14F709 for <netmod@ietf.org>; Tue, 5 Mar 2024 09:06:50 -0800 (PST)
Received: by mail-pj1-x102d.google.com with SMTP id 98e67ed59e1d1-299d3b09342so4440966a91.2 for <netmod@ietf.org>; Tue, 05 Mar 2024 09:06:50 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yumaworks.com; s=google; t=1709658410; x=1710263210; darn=ietf.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=XOdtBtpJ8xfqFyNv/kRSHqyLVll542je8ofe0Z46+Tc=; b=dPV1NEgnfTnPY2PNGWRKpTkxCaIGgxViibtTOvntS1BfhD11N4fSR2wUAqDKKoWCWU qWTya8utfekAsIO9az8hQZA6uoE8+sEKMm5u9CSFub3BhuC1hfmaHQ9QynXXnzpSZXmy 6FX/bamGtC8x3Q7WkRhWz4AmzF/Uay8+zv47P9JTsXE27eY9uE6sCPchBlWai2HJ0wHI 9ASoft0osRne1WvHteQn8IW6FkAZ+1y/hsiWfLk8hdWdSx/Uy+qZUJwtAJPkdhEo78eu 0nEsYnJVPXzNWkAh2qbCHCmytWRIqM/Srs3e19iWPY3kNSgdHUtt+yZZTMfTPo1ukm7O CjzQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709658410; x=1710263210; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=XOdtBtpJ8xfqFyNv/kRSHqyLVll542je8ofe0Z46+Tc=; b=cH1deoxg7Xfciq8QDjSrYBylh/do5HkQjVGl992WcFzTZY8sMIggLd54Zi6k/ccFAU pLUbt1Z2vsm0HXgEt7rjDVe9Y2wG5HjBiHsbUOsqL0Sr9myQu7RGMtsVq2LpKD4jU7hp BG4rNOga60pmCqfq8VdGE8R6p9vMBkDZ8C+xsN4JLNykBsfYw0oKYXHl7FfAkvwkykFX wlGm3/U/lMYLSR8FwpThihaed8SYBLskL9pI81gzxQPufmI8qgn3EOFOaJ3rIZouZy8I tpCXn67ZILEnpsKGKlC7bdBoBeRhFvNWzfLU12MvYIrJvSwS7YjwmhoPI1QfY35aZ2es XfAA==
X-Forwarded-Encrypted: i=1; AJvYcCXkJIj9DFgdGrqBqINH5YmlojjvjuP9Vj+gtwfZO0KZITwO/AYG+F13g3bmelC4SoNFzZ7GGapbkNO4VHM7Mao=
X-Gm-Message-State: AOJu0YzRWNaWUMV/4y7Mic6CiSFPZxvL8xXi7+dFLGBpsC5dmkis52xA kwasbhZ8CElVPW3DQ7aUECkgXXEP8+rvxWpNtyaj2b0nfHFAoYIB06DGIR3TZxwJg3gCEux/cno mOjujJsNmilqN5n/HPzWNkyF6Hls87ilHMRzjt36n8dsAT6Kp
X-Google-Smtp-Source: AGHT+IHF+K7v9CRGS+w3yg1jtYCj/x6j7A8a4HaIFcKFl/Bd9SoKbWMjR9Lu2TwPn85A3lE+wahrJ+nKSHBHNoOVeiM=
X-Received: by 2002:a17:90a:7808:b0:29a:bc00:10d1 with SMTP id w8-20020a17090a780800b0029abc0010d1mr10003866pjk.12.1709658409646; Tue, 05 Mar 2024 09:06:49 -0800 (PST)
MIME-Version: 1.0
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> <8fbc84a6-cfd4-4d2d-9118-09bbb25bbc4c@constructor.university> <DU2PR02MB10160F66C4D98D859480B81AB88222@DU2PR02MB10160.eurprd02.prod.outlook.com> <5b2d4e07-6ecb-48b2-9952-209f8e392a09@constructor.university>
In-Reply-To: <5b2d4e07-6ecb-48b2-9952-209f8e392a09@constructor.university>
From: Andy Bierman <andy@yumaworks.com>
Date: Tue, 05 Mar 2024 09:06:38 -0800
Message-ID: <CABCOCHTQzek7tMc1dQj-TKN3XxrW9eev-Nmos_Mh6P=28byX0Q@mail.gmail.com>
To: Jürgen Schönwälder <jschoenwaelder@constructor.university>
Cc: mohamed.boucadair@orange.com, netmod@ietf.org
Content-Type: multipart/alternative; boundary="00000000000031d58f0612ecde18"
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/21wwN8Hl5uymakev8GrF_OsG2T8>
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: Tue, 05 Mar 2024 17:06:54 -0000

On Tue, Mar 5, 2024 at 1:39 AM Jürgen Schönwälder
<jschoenwaelder@constructor.university> wrote:

> Hi Med,
>
> I believe it is a misconception that text not written in capital letters
> is not normative. I also believe we need _guidelines_ on the choice of
> identifiers like prefixes and not hard rules.
>
> Prefixes do not have to be unique. It is nice if they are for widely
> used modules, but we are on a slippery path if we think of them as
> something that should be unique. Then they get long or clumsy or both
> (or worse we encourage a competition to allocate nice short prefixes).
> Yes, the original language is vague, on purpose. I guess I miss which
> problem is solved by requiring uniqueness that practically can't be
> ensured and is technically also not necessary.
>
>
+1

The prefixes are local to the module or submodule.
We should not pretend they are global identifiers like the module name.


> /js
>

Andy


>
> On 05.03.24 09:58, mohamed.boucadair@orange.com wrote:
> > Hi Jürgen,
> >
> > Please see inline.
> >
> > Cheers,
> > Med
> >
> >> -----Message d'origine-----
> >> De : netmod <netmod-bounces@ietf.org> De la part de Jürgen Schönwälder
> >> Envoyé : lundi 4 mars 2024 20:44
> >> À : netmod@ietf.org
> >> Objet : Re: [netmod] On prefixes RE: Next steps for draft-ietf-netmod-
> >> rfc8407bis
> >>
> >> Hi,
> >>
> >> the statement "should be selected carefully to be unique" is
> >> impossible to implement given an open ended set of YANG modules.
> >
> > [Med] Hmm, but there is no normative text in that sentence. What
> concretely needs to be followed is indicated in the sentence right after
> (SHOULD NOT); which is inherited from 8407.
> >
> > Isn't "selected carefully to be unique" echoing the spirit of this text
> from RFC7950?
> >
> >     Developers of YANG modules and submodules are RECOMMENDED to choose
> >     names for their modules that will have a low probability of colliding
> >     with standard or other enterprise modules, e.g., by using the
> >     enterprise or organization name as a prefix for the module name.
> >     Within a server, all module names MUST be unique.
> >
> >> 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.
> >
> > [Med] "SHOULD ...likely" is really ambiguous as a reco if the text does
> not explain when it won't be
> >
> >> Perhaps it should be even further watered down to "likely to be unique
> >> in a certain usage context".
> >
> > [Med] What is a usage context? how that usage context is known? How a
> module is concretely bound to it? Etc. IMO, this triggers more questions
> that it clarifies the guidance.
> >
> >>
> >> 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://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww%2F&data=05%7C02%7Cjschoenwae%40constructor.university%7C8d19bba074754de88af008dc3cf268cf%7Cf78e973e5c0b4ab8bbd79887c95a8ebd%7C0%7C0%7C638452259052898639%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=kMRfC9Cuik8lhqIMXHI6K4NCZRjHUF1mORjOdUUFAvs%3D&reserved=0
> .
> >>>
> >> ietf.org%2Fmailman%2Flistinfo%2Fnetmod&data=05%7C02%7Cmohamed.boucadai
> >>>
> >> r%40orange.com%7C3b125a3e5a83426657e108dc3c8376a4%7C90c7a20af34b40bfbc
> >>>
> >> 48b9253b6f5d20%7C0%7C0%7C638451782524628913%7CUnknown%7CTWFpbGZsb3d8ey
> >>>
> >> JWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7
> >>>
> >> C%7C%7C&sdata=fkyIdrLqhqIkfdivCbWnetivTNNcpW07OepfdUat3mo%3D&reserved=
> >>> 0
> >>
> >> --
> >> Jürgen Schönwälder              Constructor University Bremen gGmbH
> >> Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
> >>
> >> _______________________________________________
> >> netmod mailing list
> >> netmod@ietf.org
> >>
> https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww%2F&data=05%7C02%7Cjschoenwae%40constructor.university%7C8d19bba074754de88af008dc3cf268cf%7Cf78e973e5c0b4ab8bbd79887c95a8ebd%7C0%7C0%7C638452259052906113%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=HZTNCsEkHPGu9IYUwl%2BIYr91dPNDz32KGguybeo9wSg%3D&reserved=0
> .
> >> ietf.org%2Fmailman%2Flistinfo%2Fnetmod&data=05%7C02%7Cmohamed.boucadai
> >> r%40orange.com%7C3b125a3e5a83426657e108dc3c8376a4%7C90c7a20af34b40bfbc
> >> 48b9253b6f5d20%7C0%7C0%7C638451782524636700%7CUnknown%7CTWFpbGZsb3d8ey
> >> JWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7
> >> C%7C%7C&sdata=AEiqw14B6zxw14njEnUOEkEEzKdTmOc9%2BOTO5l2u8o8%3D&reserve
> >> d=0
> >
> ____________________________________________________________________________________________________________
> > Ce message et ses pieces jointes peuvent contenir des informations
> confidentielles ou privilegiees et ne doivent donc
> > pas etre diffuses, exploites ou copies sans autorisation. Si vous avez
> recu ce message par erreur, veuillez le signaler
> > a l'expediteur et le detruire ainsi que les pieces jointes. Les messages
> electroniques etant susceptibles d'alteration,
> > Orange decline toute responsabilite si ce message a ete altere, deforme
> ou falsifie. Merci.
> >
> > This message and its attachments may contain confidential or privileged
> information that may be protected by law;
> > they should not be distributed, used or copied without authorisation.
> > If you have received this email in error, please notify the sender and
> delete this message and its attachments.
> > As emails may be altered, Orange is not liable for messages that have
> been modified, changed or falsified.
> > Thank you.
> >
>
> --
> Jürgen Schönwälder              Constructor University Bremen gGmbH
> Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
>
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod
>