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

Andy Bierman <andy@yumaworks.com> Mon, 04 December 2017 17:47 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 94432126C2F for <netmod@ietfa.amsl.com>; Mon, 4 Dec 2017 09:47:41 -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 ID_z8EPCOFPI for <netmod@ietfa.amsl.com>; Mon, 4 Dec 2017 09:47:40 -0800 (PST)
Received: from mail-lf0-x234.google.com (mail-lf0-x234.google.com [IPv6:2a00:1450:4010:c07::234]) (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 A3D0612025C for <netmod@ietf.org>; Mon, 4 Dec 2017 09:47:39 -0800 (PST)
Received: by mail-lf0-x234.google.com with SMTP id f18so20119137lfg.8 for <netmod@ietf.org>; Mon, 04 Dec 2017 09:47:39 -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 :cc; bh=HhF1ySaA0pHVlhHHskDYVP6wq2PN8KVJaIGnYaWiXfU=; b=pDPjoIQZwyYIBwg+cN8aDs1fsYCu7rHbjAQCPeVeSJ9PDxvd4ULxkUyfIW3GoI2ysy NP+TzojNe4BBI0mNxKqdTEispzXCmaaomWv8/Adws9tZYoOZz1dcvTvvlnYUk+LwiiJC i+FCPo2DJuHsy7hpTJS6gr4U4iXdXtkkKPJmAfVVnh/qkTwMr8LmAhvgJCwXLKCP/Fpv DpENDc3ISu3BBFwuzn6HxIqw3oPkCQcZs/F55wLGnURjBFMnMH5QhBtL9xMCsZu6AfsA T48RrdAEZN8d7OYxsHohQ9YW8Bh+zS3oL7xbuRV4+l24XRdAgM/erMYn6BD4Vq/LWD68 ZKng==
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:cc; bh=HhF1ySaA0pHVlhHHskDYVP6wq2PN8KVJaIGnYaWiXfU=; b=C8XG6DdKDApN6YLenWNaSaPB4V+1xP2lc7nIubpc9f7vPLuaBmzko5xgTutKja0Hjz 8FYa9QWZ9LV7jSrIN9DbMmBv2aUjq73OwZIROmIP1iwE0IE+bYfR8eMzjnBIq6XXq9Ym z/svZ4rLK/xJmiOdDT2bKmM71t2nAJ/qjexJDGafnZPQyIUm5jskCNooNpS+x6qMhVrv bOsHG5xKtIQlXRoX7GcwbZP6UCtvCFW400dVBhpqbH4n9X4uhKT54lwazOvmBQQWQ/yL Zd6XivzumIdxj9UoPmJMBHZid4AXhgxEXO/Nf3xjciBRVfY/nTPnJzXHMvD7int9jm5D SJGQ==
X-Gm-Message-State: AJaThX5KRecEw78wMQlCMpjSdbzVSJcTHq2nVGqTme9JDYuUTt7U/W1S Ax4TSTAOzviqajVt99SrHf7zggWFMVCOESckVlmE6A==
X-Google-Smtp-Source: AGs4zMY/tDOShJwRTlBx/uxFmbzNHH1SR0ymRdkew6lpGkKcSyHcQikhLGcc/s5Ezl/yxeQ1SSvaZpCRViZs13rmYws=
X-Received: by 10.25.147.67 with SMTP id v64mr6382479lfd.99.1512409657851; Mon, 04 Dec 2017 09:47:37 -0800 (PST)
MIME-Version: 1.0
Received: by 10.25.33.81 with HTTP; Mon, 4 Dec 2017 09:47:37 -0800 (PST)
In-Reply-To: <1512407158.6635.8.camel@nic.cz>
References: <1512404811.1422.63.camel@nic.cz> <20171204.173431.1294203680272812703.mbj@tail-f.com> <1512407158.6635.8.camel@nic.cz>
From: Andy Bierman <andy@yumaworks.com>
Date: Mon, 04 Dec 2017 09:47:37 -0800
Message-ID: <CABCOCHRg7H=DbS1oxOhdq=dkQgAcL_r1ECSFgcU=DkE-vXwcOg@mail.gmail.com>
To: Ladislav Lhotka <lhotka@nic.cz>
Cc: NETMOD WG <netmod@ietf.org>
Content-Type: multipart/alternative; boundary="f403045c31c269564b055f8750e2"
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/Z6-OhL7mMoTBJisqV16cfLcQKk0>
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:47:41 -0000

On Mon, Dec 4, 2017 at 9:05 AM, Ladislav Lhotka <lhotka@nic.cz> 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>.
>
>

I see your point now.
The server has to evaluate the when-stmts in operational.
Even though the schema trees are the same, the client has a complex task
comparing
<intended> to <operational>.  However it is no different than the existing
complexity comparing <candidate> to <running>.



> Lada
>
>
Andy


> >
> > > RFC 7950 says in sec. 7.21.5 that the context node for XPath
> evaluation is
> >
> > "the
> > > augment's target node in the data tree", but with NMDA we have
> multiple data
> > > trees, hence multiple target nodes.
> >
> > We had multiple datastores even before NMDA.  The when expression
> > could be true in candidate but false in running.
> >
> > /martin
> --
> Ladislav Lhotka
> Head, CZ.NIC Labs
> PGP Key ID: 0xB8F92B08A9F76C67
>
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod
>