Re: [i2rs] Ephemeral State Requirements discussion

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Tue, 07 June 2016 14:22 UTC

Return-Path: <j.schoenwaelder@jacobs-university.de>
X-Original-To: i2rs@ietfa.amsl.com
Delivered-To: i2rs@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id C27FD12D69C for <i2rs@ietfa.amsl.com>; Tue, 7 Jun 2016 07:22:12 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -5.626
X-Spam-Level:
X-Spam-Status: No, score=-5.626 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, RP_MATCHES_RCVD=-1.426] 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 JXwdogyeNWpb for <i2rs@ietfa.amsl.com>; Tue, 7 Jun 2016 07:22:11 -0700 (PDT)
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 554B212D69B for <i2rs@ietf.org>; Tue, 7 Jun 2016 07:22:11 -0700 (PDT)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by atlas3.jacobs-university.de (Postfix) with ESMTP id 1B309FDE; Tue, 7 Jun 2016 16:22:10 +0200 (CEST)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from atlas3.jacobs-university.de ([10.70.0.220]) by localhost (demetrius5.jacobs-university.de [10.70.0.222]) (amavisd-new, port 10030) with ESMTP id 8fT91LPgrjK1; Tue, 7 Jun 2016 16:22:07 +0200 (CEST)
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; Tue, 7 Jun 2016 16:22:08 +0200 (CEST)
Received: from localhost (demetrius2.jacobs-university.de [212.201.44.47]) by hermes.jacobs-university.de (Postfix) with ESMTP id BC3CA2004E; Tue, 7 Jun 2016 16:22:08 +0200 (CEST)
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 FMvQrXo1JzaA; Tue, 7 Jun 2016 16:22:07 +0200 (CEST)
Received: from elstar.local (elstar.jacobs.jacobs-university.de [10.50.231.133]) by hermes.jacobs-university.de (Postfix) with ESMTP id 13F0F20047; Tue, 7 Jun 2016 16:22:06 +0200 (CEST)
Received: by elstar.local (Postfix, from userid 501) id 026153B0AF23; Tue, 7 Jun 2016 16:22:05 +0200 (CEST)
Date: Tue, 07 Jun 2016 16:22:05 +0200
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Susan Hares <shares@ndzh.com>
Message-ID: <20160607142205.GA9632@elstar.local>
Mail-Followup-To: Susan Hares <shares@ndzh.com>, 'Jeffrey Haas' <jhaas@pfrc.org>, i2rs@ietf.org, "'Joel M. Halpern'" <jmh@joelhalpern.com>
References: <20160531192729.GA23116@elstar.local> <005801d1bb7a$e7b2e440$b718acc0$@ndzh.com> <20160601091953.GD24118@elstar.local> <20160602142733.GU17462@pfrc.org> <20160606174413.GA7492@elstar.local> <01a701d1c01f$918dbf00$b4a93d00$@ndzh.com> <20160606183122.GA7624@elstar.local> <021201d1c026$a26da540$e748efc0$@ndzh.com> <20160606200353.GB7820@elstar.local> <029b01d1c047$e38fd400$aaaf7c00$@ndzh.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <029b01d1c047$e38fd400$aaaf7c00$@ndzh.com>
User-Agent: Mutt/1.6.0 (2016-04-01)
Archived-At: <https://mailarchive.ietf.org/arch/msg/i2rs/VXg4MNjrORTiJjfK0bcts6SmkP0>
Cc: 'Jeffrey Haas' <jhaas@pfrc.org>, i2rs@ietf.org, "'Joel M. Halpern'" <jmh@joelhalpern.com>
Subject: Re: [i2rs] Ephemeral State Requirements discussion
X-BeenThere: i2rs@ietf.org
X-Mailman-Version: 2.1.17
Precedence: list
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
List-Id: "Interface to The Internet Routing System \(IRS\)" <i2rs.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/i2rs>, <mailto:i2rs-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/i2rs/>
List-Post: <mailto:i2rs@ietf.org>
List-Help: <mailto:i2rs-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/i2rs>, <mailto:i2rs-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 07 Jun 2016 14:22:13 -0000

Sue,

Ephemeral-REQ-03 seems to be in conflict with what YANG validation
rules expects. If I2RS validation depends on 'temporary operational
state', then the validation result is only meaningful at a specific
point in time; YANG validation specially avoids this in order to have
the property that a configuration that is valid remains valid (and
does not become invalid if 'temporary operational state' changes.

Hence: I2RS ephemeral validation != YANG config true validation

/js

On Mon, Jun 06, 2016 at 07:05:15PM -0400, Susan Hares wrote:
> Juergen: 
> 
> Thank you for the pointer,  I am assuming you are referring to section 8.3
> on constraint enforcement (from RFC6020bis), and as a part of constraint
> enforcement, the validation.  
> 
> I2RS ephemeral requirements 1-4 are: 
>    Ephemeral-REQ-01: I2RS requires ephemeral configuration state; i.e. state
> that does not persist
>     across reboots. If state must be restored, it should be done solely
>     by replay actions from the I2RS client via the I2RS agent.
> 
>    Ephemeral-REQ-02: Non-ephemeral state MUST NOT refer to  ephemeral state
> for constraint purposes; 
>    it SHALL be considered a validation error if it does.
>    Ephemeral-REQ-03: Ephemeral state must be able to utilized temporary
> operational state 
>     (e.g. MPLS LSP-ID or a BGP IN-RIB) as a constraints. 
>    Ephemeral-REQ-04: Ephemeral state MAY refer to non-ephemeral state 
>    for purposes of implementing constraints.
> 
> I2RS uses the definition you do of constraint and validation.  For
> discussion purposes, let us consider  "ephemeral state" in these
> requirements as "ephemeral configuration state".   
> 
> What needs to be expanded for Ephemeral Configuration State is the second
> paragraph of section 8.3.3 to include ephemeral state.  In the end, the
> ephemeral configuration parsing of rpc payloads, <edit-config>, and
> validation MUST obey all validation constraints.  What we are discussing is
> "when" and "how" the I2RS constraint enforcement occurs, and "when" and
> "how" validation occurs.   
> 
> Sue 
>   
> 
> ================
> For reference of I2RS list
> 
> 8.3.  NETCONF Constraint Enforcement Model
> 
>    For configuration data, there are three windows when constraints MUST
>    be enforced:
>    o  during parsing of RPC payloads - 
>    o  during processing of the <edit-config> operation
>    o  during validation
>    Each of these scenarios is considered in the following sections.
> 
> 
> 8.3.3.  Validation
> 
>    When datastore processing is complete, the final contents MUST obey
>    all validation constraints.  This validation processing is performed
>    at differing times according to the datastore.  
> 
>   If the datastore is "running" or "startup", these constraints MUST be
> enforced at the end
>    of the <edit-config> or <copy-config> operation.  If the datastore is
>    "candidate", the constraint enforcement is delayed until a <commit>
>    or <validate> operation.
> 
> 
> 
> -----Original Message-----
> From: Juergen Schoenwaelder [mailto:j.schoenwaelder@jacobs-university.de] 
> Sent: Monday, June 06, 2016 4:04 PM
> To: Susan Hares
> Cc: 'Jeffrey Haas'; i2rs@ietf.org; 'Joel M. Halpern'
> Subject: Re: [i2rs] Ephemeral State Requirements discussion
> 
> On Mon, Jun 06, 2016 at 03:07:13PM -0400, Susan Hares wrote:
> > Juergen: 
> > 
> > Please start by defining validation for NETCONF configuration.  Then, 
> > we can provide the additions for ephemeral configuration state that 
> > are not in ephemeral requirements.  See the rest of the comments below.
> >
> 
> The validation of NETCONF configurations modelled in YANG 1.0 is defined in
> RFC 6020 and for configurations modelled in YANG 1.1 it is defined in
> draft-ietf-netmod-rfc6020bis-12.
> 
> /js
> 
> PS: Our communication is not effective, I drop out for now.
> 
> -- 
> 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/>
> 

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