Re: [netmod] Must offline-validation of <running> alone be valid?

Kent Watsen <kent@watsen.net> Tue, 14 December 2021 01:32 UTC

Return-Path: <0100017db69159e5-16596fab-ac8f-48b9-8e81-ad5db2e749bf-000000@amazonses.watsen.net>
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 788973A0D70 for <netmod@ietfa.amsl.com>; Mon, 13 Dec 2021 17:32:03 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.896
X-Spam-Level:
X-Spam-Status: No, score=-1.896 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=amazonses.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 jB_JfVN_meYc for <netmod@ietfa.amsl.com>; Mon, 13 Dec 2021 17:32:00 -0800 (PST)
Received: from a48-90.smtp-out.amazonses.com (a48-90.smtp-out.amazonses.com [54.240.48.90]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 64F9B3A0D6F for <netmod@ietf.org>; Mon, 13 Dec 2021 17:32:00 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/simple; s=ug7nbtf4gccmlpwj322ax3p6ow6yfsug; d=amazonses.com; t=1639445519; h=From:Message-Id:Content-Type:Mime-Version:Subject:Date:In-Reply-To:Cc:To:References:Feedback-ID; bh=QOzm/3nYsJXdZ4O5ZNdb07rWZDB0afim0vsmWCpEn/k=; b=CFU4AMJhJm3pGAzygKAtYIfmHPbGkS3GRPgnIdGHA+0lUHacwN4L667nNtKBK7Zi uiY4SHpiPlMIFVb+MNdhdTmCys+zYSdtSXZfG8dMvE8e8AU7zVW4eBYnWbCxTDfA6lo RshUHZhMvaNrj41jonUH+lZ6muTkHd1UGrjU8QtE=
From: Kent Watsen <kent@watsen.net>
Message-ID: <0100017db69159e5-16596fab-ac8f-48b9-8e81-ad5db2e749bf-000000@email.amazonses.com>
Content-Type: multipart/alternative; boundary="Apple-Mail=_B0EC4928-0398-4031-9350-BA438A4A87EA"
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.13\))
Date: Tue, 14 Dec 2021 01:31:58 +0000
In-Reply-To: <CABCOCHQenqXZKMyXc65BHV62z5tJMKF-DzFSiLK=5Dk1ardxtw@mail.gmail.com>
Cc: "Sterne, Jason (Nokia - CA/Ottawa)" <jason.sterne@nokia.com>, "maqiufang (A)" <maqiufang1=40huawei.com@dmarc.ietf.org>, "netmod@ietf.org" <netmod@ietf.org>
To: Andy Bierman <andy@yumaworks.com>
References: <0df9454875b54804b42ec2f5cc6b151f@huawei.com> <D198DDBF-BC97-4E4C-8B62-470880287A06@tail-f.com> <VI1PR07MB550191DA7C787DD4E344989791609@VI1PR07MB5501.eurprd07.prod.outlook.com> <7511E143-A08F-4089-89CB-17F74C2E9CCE@tail-f.com> <0100017d6dbe6f00-1f424f2e-1faa-433b-bd36-a2b299a3764d-000000@email.amazonses.com> <DD4B9BD4-464D-4D92-AF45-4474185C3D28@tail-f.com> <20211203102610.6zntrwbemnyxxjnr@anna> <CABCOCHTXpcQEH+vSvJfaAJ4o3bzSz5N==8rWrciUh60qbFF_1w@mail.gmail.com> <DM6PR08MB50844DB8F2F7D2D11A6CB0879B6F9@DM6PR08MB5084.namprd08.prod.outlook.com> <CABCOCHQenqXZKMyXc65BHV62z5tJMKF-DzFSiLK=5Dk1ardxtw@mail.gmail.com>
X-Mailer: Apple Mail (2.3654.120.0.1.13)
Feedback-ID: 1.us-east-1.DKmIRZFhhsBhtmFMNikgwZUWVrODEw9qVcPhqJEI2DA=:AmazonSES
X-SES-Outgoing: 2021.12.14-54.240.48.90
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/v7PiI7VcmLPcCpvS0OS-dUl-gEc>
Subject: Re: [netmod] Must offline-validation of <running> alone be valid?
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
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: Tue, 14 Dec 2021 01:32:13 -0000


> On Dec 8, 2021, at 5:50 PM, Andy Bierman <andy@yumaworks.com> wrote:
> 
> Andy - about use cases.  Here is a problem we're trying to address:
> 
>  
> 
> There are at least several major router implementations that have this concept of "hidden config" (i.e. list entries that can be referenced in a leafref by explicit user config, but those list entries are not returned in a <get-config>).  
> 
> 
> Clearly not in compliance with RFC 7950.

Andy, can you please point to the part in RFC 7950 that says offline validation must be supported?   I believe that this "common understanding” actually lacks a basis, and an equally-valid interoperation is that the <running> must be valid *on the server* vis-a-vis it actually validating <intended>.



> IMO the "enable flag" approach to the general problem, presented by Kent a couple years ago,
> is a much simpler and better solution than a new <system> datastore.
> The full set of nodes is in <running>.
> A generalized "enable" mechanism causes the resource to be used or not,
> where it shows up in <intended> and <operational> if enabled=true.
> 
> IMO this fits the original intent of NMDA and does so in a way that requires
> the least disruption to current compliant implementations.

You have the memory of an elephant  ;)

That I-D (conditional-enablement [1]) was mostly about how to support JUNOS’s “inactive” annotation.  I replaced the negative “inactive” with positive “enabled” for readability.  That draft also shined a light on how the “enabled” annotation could be used in firewall pollination for, e.g., 9am-5pm ACL rules.

I guess I’m unclear about the relation to the system-defined config - can you say some more?

[1] https://datatracker.ietf.org/doc/html/draft-kwatsen-conditional-enablement-00 <https://datatracker.ietf.org/doc/html/draft-kwatsen-conditional-enablement-00>


K.