Re: [netmod] Does defining a feature require the module be implemented?

Robert Varga <nite@hq.sk> Fri, 13 May 2022 15:49 UTC

Return-Path: <nite@hq.sk>
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 626ADC15EB5F for <netmod@ietfa.amsl.com>; Fri, 13 May 2022 08:49:45 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.952
X-Spam-Level:
X-Spam-Status: No, score=-3.952 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, NICE_REPLY_A=-1.857, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, 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=hq.sk
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 VKPCMCvWS296 for <netmod@ietfa.amsl.com>; Fri, 13 May 2022 08:49:41 -0700 (PDT)
Received: from mail.hq.sk (hq.sk [81.89.59.181]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 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 4BB7CC1594AD for <netmod@ietf.org>; Fri, 13 May 2022 08:49:38 -0700 (PDT)
Received: from [192.168.1.146] (chello085216197060.chello.sk [85.216.197.60]) by mail.hq.sk (Postfix) with ESMTPSA id 9DFCF242EB8; Fri, 13 May 2022 17:49:34 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=hq.sk; s=mail; t=1652456974; bh=NT5mHQmq8gmfavMPiljv5bG7lS/oVtvtpEHQxZLf/aA=; h=Date:Subject:To:Cc:References:From:In-Reply-To; b=qtMwCglbj9vNtybQpHBG/XcShv79FesWI2gjsgRQU7bNkJVT+6Hrf2Pmufk0WGe/p VYF7+n45G5M/JYsrgoKSd71edrUpNtnGKVokNZihyEN25GfeYKwnTzpkeg0otvSSi8 HIeXhdBUoGzFXcYdsOToIuomTItKvAxDQGCsEU9o=
Message-ID: <4754acfc-8fa0-ad2b-52ad-36302c5aada9@hq.sk>
Date: Fri, 13 May 2022 17:49:33 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.0
Content-Language: en-US
To: Kent Watsen <kent+ietf@watsen.net>, Michal Vasko <mvasko@cesnet.cz>
Cc: "netmod@ietf.org" <netmod@ietf.org>
References: <01000180a9eb37cb-85b9c576-c1eb-425a-b42c-b3cabe548fbb-000000@email.amazonses.com> <9ba4be2a-a9f4-8940-d470-efa385a2cb52@cesnet.cz> <01000180bdf26740-3d7da48c-9c93-4123-9298-161a294988b1-000000@email.amazonses.com>
From: Robert Varga <nite@hq.sk>
In-Reply-To: <01000180bdf26740-3d7da48c-9c93-4123-9298-161a294988b1-000000@email.amazonses.com>
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------d9Dcnb4VArNZRPeMGZ0PyQoy"
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/2FNBuwIwIGIRrLRnKzIrCtzh1sc>
Subject: Re: [netmod] Does defining a feature require the module be implemented?
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.34
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: Fri, 13 May 2022 15:49:45 -0000

On 13/05/2022 17:03, Kent Watsen wrote:
> True, the current YANG Library structure allows features to be declared 
> only for implemented modules, but I'm unsure how intentional that was.
> 
> We always talk about how a module needs to be "implemented" in order for 
> its Identities to be defined, but we don't ever talk about the same 
> being true for Features.
> 
> It seems that, if this is the case, there should be a note somewhere 
> about features used in "grouping" statements and hence the 
> exporting-module must be "implemented" for the grouping to be used as 
> intended.
> 
> These sections from RFC 8407 don't say anything about it:
> 
>   * 4.13. Reusable Groupings
>     <https://datatracker.ietf.org/doc/html/rfc8407#section-4.13>
>   * 4.17.  Feature Definitions
>     <https://datatracker.ietf.org/doc/html/rfc8407#section-4.17>

Right, I think we need to first clarify what RFC8525's:

>            "An entry in this list indicates that the server imports
>             reusable definitions from the specified revision of the
>             module but does not implement any protocol-accessible
>             objects from this revision.

"reusable definition" seems to be an under-defined term. I think the 
intent is to cover not only groupings, but also typedefs and extensions.

I think these should also include identities and features -- but that 
opens up quite a can of worms in terms of what a 'supported feature' is:
- is it tied to a particular revision or does it apply to all revisions?
- is it a property of imported or (ultimante) importing module?

Regards,
Robert