Re: [i2rs] Ephemeral State Requirements discussion

"Susan Hares" <shares@ndzh.com> Tue, 07 June 2016 15:29 UTC

Return-Path: <shares@ndzh.com>
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 8FC1F12D786 for <i2rs@ietfa.amsl.com>; Tue, 7 Jun 2016 08:29:55 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 1.738
X-Spam-Level: *
X-Spam-Status: No, score=1.738 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DOS_OUTLOOK_TO_MX=2.845, RDNS_NONE=0.793] autolearn=no 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 vz6k1TfLyl0M for <i2rs@ietfa.amsl.com>; Tue, 7 Jun 2016 08:29:53 -0700 (PDT)
Received: from hickoryhill-consulting.com (unknown [50.245.122.97]) (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 3B25112D775 for <i2rs@ietf.org>; Tue, 7 Jun 2016 08:29:53 -0700 (PDT)
X-Default-Received-SPF: pass (skip=loggedin (res=PASS)) x-ip-name=174.124.192.86;
From: Susan Hares <shares@ndzh.com>
To: 'Juergen Schoenwaelder' <j.schoenwaelder@jacobs-university.de>
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> <20160607142205.GA9632@elstar.local>
In-Reply-To: <20160607142205.GA9632@elstar.local>
Date: Tue, 07 Jun 2016 11:29:43 -0400
Message-ID: <00b301d1c0d1$6af0f850$40d2e8f0$@ndzh.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Outlook 14.0
Thread-Index: AQI595xICbs8qxkzxeXdZeOMjeBz3QJkHlCCAikbFJQBpW9RlgH/tYeMAru5VaUCdyB9TwGYsOlSAim88zEBeXATgQE4c+Ztnm7br6A=
Content-Language: en-us
X-Authenticated-User: skh@ndzh.com
Archived-At: <https://mailarchive.ietf.org/arch/msg/i2rs/CayTd9IDi6jd82ncaLVGv680ANw>
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
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 15:29:55 -0000

Juergen: 

You are correct that I2RS ephemeral validation !:== YANG config true
validation (where !:== - means is not defined as).  This is why we defined
Ephemeral-REQ-03.  Otherwise, we would not have added it to the list of
requirements.

There is a range of state (static ----> virtual (configured/not existent)
---> LSPs).  You may want to look at OSPF Yang to consider the
virtual-links.  IMHO, NETCONF is being provided with requirements to that
suggest  changes to constraint checking for Ephemeral Configuration State.
In many messages, you asked for requirement and not design. 

In your discussions, I have not heard any suggestions regarding new text for
the ephemeral state document.  Did you have any specific suggestions?  

Sue 
 

-----Original Message-----
From: i2rs [mailto:i2rs-bounces@ietf.org] On Behalf Of Juergen Schoenwaelder
Sent: Tuesday, June 07, 2016 10:22 AM
To: Susan Hares
Cc: 'Jeffrey Haas'; i2rs@ietf.org; 'Joel M. Halpern'
Subject: Re: [i2rs] Ephemeral State Requirements discussion

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

_______________________________________________
i2rs mailing list
i2rs@ietf.org
https://www.ietf.org/mailman/listinfo/i2rs