Re: [netmod] comments on revised-datastores-00

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Mon, 14 November 2016 22:19 UTC

Return-Path: <j.schoenwaelder@jacobs-university.de>
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 9D7DF129421 for <netmod@ietfa.amsl.com>; Mon, 14 Nov 2016 14:19:35 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -5.697
X-Spam-Level:
X-Spam-Status: No, score=-5.697 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, RP_MATCHES_RCVD=-1.497] 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 crbexSJCAkSj for <netmod@ietfa.amsl.com>; Mon, 14 Nov 2016 14:19:33 -0800 (PST)
Received: from atlas3.jacobs-university.de (atlas3.jacobs-university.de [212.201.44.18]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 56386127076 for <netmod@ietf.org>; Mon, 14 Nov 2016 14:19:33 -0800 (PST)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by atlas3.jacobs-university.de (Postfix) with ESMTP id B60961042; Mon, 14 Nov 2016 23:19:31 +0100 (CET)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from atlas3.jacobs-university.de ([10.70.0.205]) by localhost (demetrius5.jacobs-university.de [10.70.0.222]) (amavisd-new, port 10030) with ESMTP id SJN6vyUTfEbp; Mon, 14 Nov 2016 23:19:30 +0100 (CET)
Received: from hermes.jacobs-university.de (hermes.jacobs-university.de [212.201.44.23]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "hermes.jacobs-university.de", Issuer "Jacobs University CA - G01" (verified OK)) by atlas3.jacobs-university.de (Postfix) with ESMTPS; Mon, 14 Nov 2016 23:19:31 +0100 (CET)
Received: from localhost (demetrius2.jacobs-university.de [212.201.44.47]) by hermes.jacobs-university.de (Postfix) with ESMTP id 7618F20053; Mon, 14 Nov 2016 23:19:31 +0100 (CET)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from hermes.jacobs-university.de ([212.201.44.23]) by localhost (demetrius2.jacobs-university.de [212.201.44.32]) (amavisd-new, port 10024) with ESMTP id gPxWHDvJnyK7; Mon, 14 Nov 2016 23:19:30 +0100 (CET)
Received: from elstar.local (elstar.jacobs.jacobs-university.de [10.50.231.133]) by hermes.jacobs-university.de (Postfix) with ESMTP id C9D9120050; Mon, 14 Nov 2016 23:19:30 +0100 (CET)
Received: by elstar.local (Postfix, from userid 501) id 9C5FC3D3D781; Mon, 14 Nov 2016 23:19:30 +0100 (CET)
Date: Mon, 14 Nov 2016 23:19:30 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Andy Bierman <andy@yumaworks.com>
Message-ID: <20161114221930.GC48068@elstar.local>
Mail-Followup-To: Andy Bierman <andy@yumaworks.com>, Martin Bjorklund <mbj@tail-f.com>, "netmod@ietf.org" <netmod@ietf.org>
References: <m2zil2er5j.fsf@dhcp-8ee8.meeting.ietf.org> <20161114094210.GA45946@elstar.local> <002801d23eae$de9bf4c0$9bd3de40$@ndzh.com> <20161114.221032.493268666299851173.mbj@tail-f.com> <CABCOCHQzGWqrAeXEAh3PWixkMsLP7dnciAG2Wm=-7SKu-dGWRA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <CABCOCHQzGWqrAeXEAh3PWixkMsLP7dnciAG2Wm=-7SKu-dGWRA@mail.gmail.com>
User-Agent: Mutt/1.6.0 (2016-04-01)
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/oPcxuXAOeQIvYiaWAYQHhBum4h0>
Cc: "netmod@ietf.org" <netmod@ietf.org>
Subject: Re: [netmod] comments on revised-datastores-00
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.17
Precedence: list
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
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, 14 Nov 2016 22:19:35 -0000

On Mon, Nov 14, 2016 at 01:42:18PM -0800, Andy Bierman wrote:
> Hi,
> 
> How do the YANG validation rules for datastores apply to this new framework?
> The YANG RFC just refers to a 'valid' datastore. Is validation ever done
> on the 'intended' datastore, or just 'running' (what we have now).

Note that running == intended as long as you do not support inactive
node (commented out notes) or template expansion. If you do support
either of these extensions, that what you validate is actually
intended and not running. For example, inactive (comment out) nodes do
not matter for the validation.
 
> The framework you propose seems reasonable but the real issues show
> up in the protocol interaction model(s) that are out of scope for this
> draft.

Yes, the protocol interaction do of course matter.

> Each datastore (running, intended, applied) can all be different, they can
> all be YANG-valid, but I;m not sure that buys anything.

The current YANG valication rules apply to running/intended. The applied
configuration datastore includes dynamic elements hence validation (if
does exist for applied) likely has to have different semantics.

> It seems complicated to determine that my specific edit is applied
> yet, while there are many writers to the data subtrees.

Yes, since applied and operational-state are in general constantly
changing, it is not really possible to have well-defined
synchronization points at which things can be checked to be valid.

/js

-- 
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/>