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

Andy Bierman <andy@yumaworks.com> Tue, 09 March 2021 20:11 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 9B54B3A09B5 for <netmod@ietfa.amsl.com>; Tue, 9 Mar 2021 12:11:46 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.887
X-Spam-Level:
X-Spam-Status: No, score=-1.887 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, SPF_HELO_NONE=0.001, T_SPF_PERMERROR=0.01, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=yumaworks-com.20150623.gappssmtp.com
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 WBmm4DF1m5At for <netmod@ietfa.amsl.com>; Tue, 9 Mar 2021 12:11:44 -0800 (PST)
Received: from mail-lf1-x136.google.com (mail-lf1-x136.google.com [IPv6:2a00:1450:4864:20::136]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id EDB863A09BD for <netmod@ietf.org>; Tue, 9 Mar 2021 12:11:43 -0800 (PST)
Received: by mail-lf1-x136.google.com with SMTP id k9so29335710lfo.12 for <netmod@ietf.org>; Tue, 09 Mar 2021 12:11:43 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yumaworks-com.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=zKaU2HncztpDaw71xz/LlpcxFDnc/okg6h/DOGykPpY=; b=s8hGCxoTdp0/OJflWmW67aU7ls7aWuPvcSVbHLkhtW9pTFrIQ4Ut+r+PyFNC5yvpUv kuq9iP+0oUeH4FJ08xcVduVu54w4n9wSU8WiIthisS/QhbbybEwPKZ6GHUN0UrAG1B0v bTgilqWD4YZbG1yM0/8+v1ubNsGj32rzrtzhSfeBr7gnIPSo1xAb4v72FGuEd83Ey6Sp 7jLyUeX4ZJgMZg4u9m8yfhts7lFoLoH9qGGnxZMcyVhxeC9urqSDEZ23qz6gP0eO/GS2 xOtP35LVBhq1IuWksSUn1p40ADpUmMYhnukhK0GY5PVn4Jhmi9rTrNdR/Qu/ncPWv1Kj BPqw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=zKaU2HncztpDaw71xz/LlpcxFDnc/okg6h/DOGykPpY=; b=j0V7YMquVT8SGvhhLytTdnZl+xDRQTwaPGHOdxCiNKnMd1Bc3wW88RRsL5ZdLGj0ba v5FZ9pWimq0yudKtkQLOn2jPVa6t0DOB9dcpM1m6XQ4aCwWOyq0R0pvL9T98ijg8cEVu 9a7oDjTC9ajcVu+Mp4xN/CfWaiJTL2IiafrgUupR2mVgmgIlcp6HG01o5/BEAL91Bioe LznvxQAFilPJpGdsRb5Uj0LJkITCPpJ7ns+ITgdAUVKsZ6UtgFFDhrzQCGrgB1s4EkQi u4SSUsdSdBSg55ARPeVOnLALI3Pn79uBp0hWYkZSlhCKzCPxSp/Emw+ZwCH7+r3L0tjG BfjQ==
X-Gm-Message-State: AOAM531RLGiaVQolnGsEQI3NjfJy2yk73qXCaiM0If1u3by7YjuIj96t 47I4qDzFLWM9MJIJPpy6YgDGz7G4+JwGBNuU3R+yzQ==
X-Google-Smtp-Source: ABdhPJzWMuDsIdGJeU2l4KbOkERINskSB6Ll3qjbiFIeyS1H6ZBBrUMFo4E540q7nE33bGW0LVLWsEgqszRI3mo/1Xs=
X-Received: by 2002:a19:6d07:: with SMTP id i7mr6058096lfc.568.1615320701061; Tue, 09 Mar 2021 12:11:41 -0800 (PST)
MIME-Version: 1.0
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> <521a9ccd02e14d178a6e62971b4809ea@huawei.com> <20210309195241.k5lfmdnw2zqq6b4o@anna.jacobs.jacobs-university.de>
In-Reply-To: <20210309195241.k5lfmdnw2zqq6b4o@anna.jacobs.jacobs-university.de>
From: Andy Bierman <andy@yumaworks.com>
Date: Tue, 09 Mar 2021 12:11:30 -0800
Message-ID: <CABCOCHQkTsToyZ3qW3am41s3m7VLYt=pAdjBMuR0cMCwahbekg@mail.gmail.com>
To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>, Italo Busi <Italo.Busi@huawei.com>, "netmod@ietf.org" <netmod@ietf.org>
Content-Type: multipart/alternative; boundary="00000000000095ded705bd202801"
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/MSqt3wFM-yzuIRJaf5pVi5_lVcs>
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: Tue, 09 Mar 2021 20:11:47 -0000

On Tue, Mar 9, 2021 at 11:52 AM Juergen Schoenwaelder <
j.schoenwaelder@jacobs-university.de> wrote:

> Changing the semantics of a definition via augments is bad design.
>
> A system that does not understand the augment will believe the default
> is 0. Since there is no way to force an existing implementation to
> understand a certain augmentation, different implementation will
> rightfully disagree on the default value in effect.
>
>

deviation /ex:example/ex:foo {
    delete {
       default 0;
     }
}

IMO it was a bad idea to say deviations MUST NOT appear in standard modules.
Here is a use-case for it.

The old-client does not know about the new dynamic default but it could know
that the old YANG default is not being used.



> /js
>

Andy


>
> On Mon, Mar 08, 2021 at 08:19:39PM +0000, Italo Busi wrote:
> > 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/>
> >
>
> --
> 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/>
>
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod
>