Re: [netmod] Questions about how to assign default values with YANG

Italo Busi <Italo.Busi@huawei.com> Mon, 08 March 2021 20:19 UTC

Return-Path: <Italo.Busi@huawei.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 F32393A16AA for <netmod@ietfa.amsl.com>; Mon, 8 Mar 2021 12:19:45 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
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 NyQJFPI0M2En for <netmod@ietfa.amsl.com>; Mon, 8 Mar 2021 12:19:43 -0800 (PST)
Received: from frasgout.his.huawei.com (frasgout.his.huawei.com [185.176.79.56]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id D99603A16A7 for <netmod@ietf.org>; Mon, 8 Mar 2021 12:19:42 -0800 (PST)
Received: from fraeml711-chm.china.huawei.com (unknown [172.18.147.200]) by frasgout.his.huawei.com (SkyGuard) with ESMTP id 4DvV0T30p1z67sZC; Tue, 9 Mar 2021 04:13:45 +0800 (CST)
Received: from fraeml715-chm.china.huawei.com (10.206.15.34) by fraeml711-chm.china.huawei.com (10.206.15.60) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2106.2; Mon, 8 Mar 2021 21:19:39 +0100
Received: from fraeml715-chm.china.huawei.com ([10.206.15.34]) by fraeml715-chm.china.huawei.com ([10.206.15.34]) with mapi id 15.01.2106.013; Mon, 8 Mar 2021 21:19:39 +0100
From: Italo Busi <Italo.Busi@huawei.com>
To: 'Juergen Schoenwaelder' <j.schoenwaelder@jacobs-university.de>
CC: "'netmod@ietf.org'" <netmod@ietf.org>
Thread-Topic: [netmod] Questions about how to assign default values with YANG
Thread-Index: AdbvCmZgzen+a6G4QWicT/glaRAynP///QGA///e3yCAAEHcAP//waGggACHKYD/tcyd8A==
Date: Mon, 08 Mar 2021 20:19:39 +0000
Message-ID: <521a9ccd02e14d178a6e62971b4809ea@huawei.com>
References: <a0c43ab5c3c1463a97a1aa594a80ceee@huawei.com> <20210120094737.g5l5pvfzligahrj6@anna.jacobs.jacobs-university.de> <2384a8f549c94ea0ac46d6c772fbca43@huawei.com> <20210120114446.ovih63db7vmv7c7s@anna.jacobs.jacobs-university.de> <0ed5638881af42148720dd7f4843c3e6@huawei.com> <20210120160517.hsg5dnpidvrprtso@anna.jacobs.jacobs-university.de>
In-Reply-To: <20210120160517.hsg5dnpidvrprtso@anna.jacobs.jacobs-university.de>
Accept-Language: it-IT, en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [10.47.24.210]
Content-Type: multipart/alternative; boundary="_000_521a9ccd02e14d178a6e62971b4809eahuaweicom_"
MIME-Version: 1.0
X-CFilter-Loop: Reflected
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/DNb-TWHIH46Nm8BO_ri48pAJEUw>
Subject: Re: [netmod] Questions about how to assign default values with YANG
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
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, 08 Mar 2021 20:19:46 -0000

Hi Juergen,

Thanks again for your clear explanation on this topic

I have found a similar but slightly different issue. In this case, a YANG default statement exists in the base module but the intention with the augmentation is to "overwrite" the default value on the basis of another attribute, defined in the module which augments the base module.

For example, I am wondering whether such a code is valid:

module example-base {
  container example {
    leaf foo {
      type uint8;
      default 0;
    }
  }
}

module example-augment {
  import example {
    prefix ex;
  }

  augment "ex:example" {
    leaf bar {
      type empty;
      description
        "When present, the default value for foo is 10.";
    }
  }
}


In this case, when the leaf foo is not configured but the leaf bar is present, the value of foo in the operational datastore should be 10 (rather than 0).

In this case, I think that it would be better/cleaner if the origin is marked as system.

Maybe a better YANG description for bar could be: "When present, the system overrides the default value of foo to 10."

What is your and/or WG opinion?

Thanks again

Italo

> -----Original Message-----
> From: Juergen Schoenwaelder [mailto:j.schoenwaelder@jacobs-university.de]
> Sent: mercoledì 20 gennaio 2021 17:05
> To: Italo Busi <Italo.Busi@huawei.com>
> Cc: 'netmod@ietf.org' <netmod@ietf.org>
> Subject: Re: [netmod] Questions about how to assign default values with
> YANG
>
> On Wed, Jan 20, 2021 at 02:41:39PM +0000, Italo Busi wrote:
> >
> > What about the case the leaf is not conditional (but still mandatory false
> since a YANG default statement is defined)?
> >
> > May the server still decide not to use/implement this leaf in the operational
> datastore?
> >
> > For example, in appendix C.1 of RFC8342, auto-negotiation is enabled by
> default.
> > What should be the behavior of a system which does not implement auto-
> negotiation?
> > Return the value false or no value (in the operational datastore)?
> >
>
> Here are some of the rules I personally like:
>
>  - <operational> is the ground truth about what a system has and does
>  - do not implement leafs that do not apply
>
> Hence, interfaces supporting auto-negotiation have either auto-
> negotiation/enabled = true or auto-negotiation/enabled = false in
> <operational>. And interfaces not supporting auto-negotiation have nothing
> to report about auto-negotiation. Yes, I do not want to see auto-
> negotiation/enabled = false on a loopback interface.
>
> My historic Ethernet interface from the last century would also not report
> auto-negotiation/enabled in <operational>. You may hit applications that love
> to have auto-negotiation/enabled available on all Ethernet interfaces and then
> you end in a debate where the application developers tell you that no
> information in <operational> may have many reasons (instrumentation not
> implemented, access control rules, whatever and by reporting enabled=false
> you do them a favor) but the true answer in such a debate is often that
> modeling things as a boolean is simplistic since there are often more than
> exactly two states (in this case, enabled, disabled, failed, not-available, ...).
> So you settle on blaming the model writer. ;-)
>
> /js
>
> --
> Juergen Schoenwaelder           Jacobs University Bremen gGmbH
> Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
> Fax:   +49 421 200 3103         <https://www.jacobs-university.de/>