Re: [netmod] evaluation of "when" under NMDA

Andy Bierman <andy@yumaworks.com> Mon, 04 December 2017 17:36 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 9B3E2124239 for <netmod@ietfa.amsl.com>; Mon, 4 Dec 2017 09:36:48 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.6
X-Spam-Level:
X-Spam-Status: No, score=-2.6 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-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 Myra5o_ehF9m for <netmod@ietfa.amsl.com>; Mon, 4 Dec 2017 09:36:46 -0800 (PST)
Received: from mail-lf0-x236.google.com (mail-lf0-x236.google.com [IPv6:2a00:1450:4010:c07::236]) (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 4A7D612009C for <netmod@ietf.org>; Mon, 4 Dec 2017 09:36:46 -0800 (PST)
Received: by mail-lf0-x236.google.com with SMTP id f20so20105678lfe.3 for <netmod@ietf.org>; Mon, 04 Dec 2017 09:36:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yumaworks-com.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=xGGLhYlf5eq2J43hRwu4zCezNzcnzsIN0Z+kV/729gA=; b=aPL8BZ7M0ozkt4+mIASIIFyC9rs1dyAjqXC9S40pt0D7yyXVHuimux0dw0twiU+kvd o3j90QPOo35qPjUlFf0k6+sizeeML0yfWCGXKAMEbXmCLTBP3kA0HI74mHdQjXmem9kn /QqpIAbQmd6zd3MLQQlEj0kpRB4lO3GW5n+YTjKoj4YWNSAfioVrdHRrLWSUjdijKSaa vJmCaLeqWUxo9335i1s1bBD+yEKOnBQub1a0t3VA2nCHRbfkHmChD2j0q28LjpMdoU1C spEr4xtct3gJyOLc52BFQRdCvD/mCkdRAb6NmFu5VzBhPH2FkvZnivJMeDHpv30EjvTP g17g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=xGGLhYlf5eq2J43hRwu4zCezNzcnzsIN0Z+kV/729gA=; b=pmbkUirI8XjUUvJbBcg8c98VOlklWrrSBQ5sWbnLygwYeO6PIXg40rkgV4xNtE0b8e S196WDS50O91FgovQc0zo+tt+f/O4rzVLTa7olasQNGd+exTUPs7CdsvdSDIrMlgkl/e zgjZm0IyQo/fepAcU0jZKe3j7ztURCZhyck2LqRZ33C9ZyycMC3dloyj/PHqsxEVI1jh 4ifodSKoMQpu8tANh587ew6hbRNdRDjdr2sfd6jnPJos6kDz5dRRqkjVoxUapZepirgt /mYntIvtAGYIv5BqEK4Yh1lFoOygkW1ouqGFvs21nMlQ008R5hTbzGM7DcHN7ZuD7bu5 1Pjg==
X-Gm-Message-State: AKGB3mK6dkdWGWrWeucc/ADJTfvdE+ny7knqymPnlepzUxdcglPwzWxv jVLrHECFQ+IzFGS8Sqof3nCccMcAhIkK0h02v+P+QQ==
X-Google-Smtp-Source: AGs4zMak42ZnVXPb9Ug5KBAF9waInWd6nUe9VTapWoyCd/fWmp1nwDGePlDpbKOP2hgAJ9lq9zuiMfHHBATm+riLf2Q=
X-Received: by 10.46.57.10 with SMTP id g10mr222192lja.77.1512409004592; Mon, 04 Dec 2017 09:36:44 -0800 (PST)
MIME-Version: 1.0
Received: by 10.25.33.81 with HTTP; Mon, 4 Dec 2017 09:36:43 -0800 (PST)
In-Reply-To: <20171204172247.rj3ilazharvzbyn6@elstar.local>
References: <1512404811.1422.63.camel@nic.cz> <20171204.173431.1294203680272812703.mbj@tail-f.com> <1512407158.6635.8.camel@nic.cz> <20171204172247.rj3ilazharvzbyn6@elstar.local>
From: Andy Bierman <andy@yumaworks.com>
Date: Mon, 04 Dec 2017 09:36:43 -0800
Message-ID: <CABCOCHQrV-iE5TO2HGXRt3LD0+UtAkAfcJhi34iDLy8Juy-ZNw@mail.gmail.com>
To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>, Ladislav Lhotka <lhotka@nic.cz>, NETMOD WG <netmod@ietf.org>
Content-Type: multipart/alternative; boundary="089e082f5ce479687e055f8729a9"
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/aall-Y86Y2TIK03vp057WQ_sl3Y>
Subject: Re: [netmod] evaluation of "when" under NMDA
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.22
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 Dec 2017 17:36:48 -0000

On Mon, Dec 4, 2017 at 9:22 AM, Juergen Schoenwaelder <
j.schoenwaelder@jacobs-university.de> wrote:

> On Mon, Dec 04, 2017 at 06:05:58PM +0100, Ladislav Lhotka wrote:
> > On Mon, 2017-12-04 at 17:34 +0100, Martin Bjorklund wrote:
> > > Ladislav Lhotka <lhotka@nic.cz> wrote:
> > > > Hi,
> > > >
> > > > if we have
> > > >
> > > > augment "/target/node" {
> > > >   when "...";
> > > >   ...
> > > > }
> > > >
> > > > is the "when" expression supposed to be evaluated separately in each
> > >
> > > datastore,
> > > > and the augment applied only in those datastores where the result is
> true?
> > >
> > > Yes.
> >
> > But then it cannot be guaranteed that the schema for <operational> is a
> superset
> > of the schema of configuration datastores - the when expression can
> evaluate to
> > false in <operational> but true in <intended>.
> >
>
> For me, its still the same schema - a when expression does not change
> my notion of 'schema'.
>


Agreed, but it changes the validation results against the schema.
As Martin pointed out, we already have this separate validation issue in
<candidate>.
This is not a problem though because only <running> is required to pass
validation tests.

I think NMDA works out fine because the YANG validation of config=true nodes
is done in <intended>, not in <operational>.  Only the config=false nodes
would be validated in <operational>, done by the client, not the server.
(Server implementations do not validate their own output).



> /js
>


Andy


>
> --
> Juergen Schoenwaelder           Jacobs University Bremen gGmbH
> Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
> Fax:   +49 421 200 3103         <http://www.jacobs-university.de/>
>
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod
>