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/>
- [i2rs] I2RS Interim Meeting - June 1, 2016 - 10:0… Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Joel M. Halpern
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Andy Bierman
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Joel M. Halpern
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Jeffrey Haas
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Jeffrey Haas
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Jeffrey Haas
- Re: [i2rs] Ephemeral State Requirements discussion Joel M. Halpern
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Joel M. Halpern
- Re: [i2rs] I2RS Requriements - secure transfer Joel M. Halpern
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares
- Re: [i2rs] I2RS Requriements - secure transfer Jeffrey Haas
- Re: [i2rs] I2RS Requriements - secure transfer Joel M. Halpern
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Andy Bierman
- [i2rs] Can I2RS focus on the "Over the Wire" data… Linda Dunbar
- Re: [i2rs] Can I2RS focus on the "Over the Wire" … Andy Bierman
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] Can I2RS focus on the "Over the Wire" … Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares
- Re: [i2rs] Can I2RS focus on the "Over the Wire" … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Andy Bierman
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] Can I2RS focus on the "Over the Wire" … Jeffrey Haas
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Jeffrey Haas
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Andy Bierman
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Jeffrey Haas
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Joel Halpern Direct
- Re: [i2rs] Can I2RS focus on the "Over the Wire" … Linda Dunbar
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Susan Hares
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Jeffrey Haas
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Eric Voit (evoit)
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Joel M. Halpern
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] I2RS Interim Meeting - June 1, 2016 - … Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Fedyk, Don
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares
- Re: [i2rs] Ephemeral State Requirements discussion Juergen Schoenwaelder
- Re: [i2rs] Ephemeral State Requirements discussion Susan Hares