Re: [yang-doctors] [netmod] Operational State usage of YANG choices and constraints (fix draft address)

Mahesh Jethanandani <mjethanandani@gmail.com> Mon, 22 January 2024 16:42 UTC

Return-Path: <mjethanandani@gmail.com>
X-Original-To: yang-doctors@ietfa.amsl.com
Delivered-To: yang-doctors@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id F16CFC14CE42; Mon, 22 Jan 2024 08:42:43 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.103
X-Spam-Level:
X-Spam-Status: No, score=-2.103 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id tFZxsFInRRLu; Mon, 22 Jan 2024 08:42:39 -0800 (PST)
Received: from mail-pl1-x62d.google.com (mail-pl1-x62d.google.com [IPv6:2607:f8b0:4864:20::62d]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id C5B99C14CE3F; Mon, 22 Jan 2024 08:42:39 -0800 (PST)
Received: by mail-pl1-x62d.google.com with SMTP id d9443c01a7336-1d73066880eso15443415ad.3; Mon, 22 Jan 2024 08:42:39 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1705941759; x=1706546559; darn=ietf.org; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:from:to:cc:subject:date:message-id:reply-to; bh=fqwao0I4BmmJXTiPDyJcOikXwaxOF/oIlGa81/w/SDY=; b=igyUvEcmaKv7G1yBwLbtKWtQ7a5DOhj+14noNP+h+mjBJSJCe/HkPiLufALvu1K6Af ZPI9jEa0Sdm/4QkHu3aT5aOKjHy0b10me5SH8xt5R+jB46M+V38YQZ24bFfqYtVKVUAK 6PR3HugJKDmW/V06fLSm1f82TNIpSFM5MQGNdFn6mAgCpM4ChuS6duHoydgqr8whKOX7 iQ8w5RmI/UyGeUpjkMHkQnjCooTRbKnzsg0CQC2uQI+ie5vOM9tezt/fi5K7f3wtPpFK hvu2HXy9k8yU37lJP0eQE6+MMUGbD8tlMd+H/NgNsxZQsS7MxrDx1RsNcVmOWo+x3uWi +oPw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1705941759; x=1706546559; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=fqwao0I4BmmJXTiPDyJcOikXwaxOF/oIlGa81/w/SDY=; b=d1BBoR7yO/key7FS6SqhWKuIZ6j2sql50EFI+FeUk0dvi9NJbMn92HRtN7qq02F4c8 T+RETRq8RJeP4XhtSyxSxFaLRMwA6UUAi23F+IMMm32zgqW7rq9O1BNRIVkHHKPYdUxZ t84YN2CRNjFfr5cGFlKwrzMSKMJTBQVF44+Tz1NeHHzeEeo4dB+HK8AN/TRrygtzYghf LKwQ7piNkw6xQhRulZ4iHQpP1jUlKCDj3vNV1BpoOHbw2yQfXjYjselhEDSF1pN58tnV bYf5wzZ6sDdYsNMu1Q+08nyXM01WLGApPikwTCum7nUrW658KeyKmc/6yfRc0cOOPdYX 1qfg==
X-Gm-Message-State: AOJu0YxW6C7AEdz20px94wXS0H1c8QtZeC3+kGJO9BAimG0S609T/4sZ MD9V38zVPinY4CZMFsPt2AmIxkzJFsffeS6ZKOfLv0ASKEgyt0AA
X-Google-Smtp-Source: AGHT+IFxisLM0eRjpYAWLZwQbZVV/3pC6R7I2FukXsRKmNlHv3Etf7ZlDi3N/WYyTBem37BaxZDpuA==
X-Received: by 2002:a17:902:ef83:b0:1d3:3a82:a836 with SMTP id iz3-20020a170902ef8300b001d33a82a836mr4550059plb.51.1705941758990; Mon, 22 Jan 2024 08:42:38 -0800 (PST)
Received: from smtpclient.apple (c-69-181-169-15.hsd1.ca.comcast.net. [69.181.169.15]) by smtp.gmail.com with ESMTPSA id y4-20020a170902d64400b001d7465c213bsm2577140plh.197.2024.01.22.08.42.37 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 22 Jan 2024 08:42:38 -0800 (PST)
From: Mahesh Jethanandani <mjethanandani@gmail.com>
Message-Id: <8094CE60-24B5-4C4A-92E7-9B808DE615F3@gmail.com>
Content-Type: multipart/alternative; boundary="Apple-Mail=_ED9D7E46-9C2C-4451-A259-3B7AC550C056"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.4\))
Date: Mon, 22 Jan 2024 08:42:36 -0800
In-Reply-To: <DU2PR02MB101602ABD2EC1558BEFC9B29488752@DU2PR02MB10160.eurprd02.prod.outlook.com>
Cc: Acee Lindem <acee.ietf@gmail.com>, YANG Doctors <yang-doctors@ietf.org>, "netmod@ietf.org" <netmod@ietf.org>, "draft-ietf-netmod-rfc8407bis@ietf.org" <draft-ietf-netmod-rfc8407bis@ietf.org>
To: mohamed.boucadair@orange.com
References: <C1B843D2-D178-4E83-AEF8-6C726BD22597@gmail.com> <0100018c92fb0b64-5950acf7-2b47-4062-a35a-c2ca8fab14ce-000000@email.amazonses.com> <ZYXlOcZv8GUcfoBI@alice.eecs.jacobs-university.de> <ED9E8589-26F0-4434-AF93-F3EFC781EF97@gmail.com> <CABCOCHQxAj7VAX1X8qTc3oiErmv=+6kBgw1ys5Ve-CspZU3d1Q@mail.gmail.com> <A2E743CE-9D29-4782-9970-AE8CF97DC603@gmail.com> <DU2PR02MB101602ABD2EC1558BEFC9B29488752@DU2PR02MB10160.eurprd02.prod.outlook.com>
X-Mailer: Apple Mail (2.3696.120.41.1.4)
Archived-At: <https://mailarchive.ietf.org/arch/msg/yang-doctors/A__vyUxJWxhA8SCr63-ViIBhXWQ>
Subject: Re: [yang-doctors] [netmod] Operational State usage of YANG choices and constraints (fix draft address)
X-BeenThere: yang-doctors@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Email list of the yang-doctors directorate <yang-doctors.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/yang-doctors>, <mailto:yang-doctors-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/yang-doctors/>
List-Post: <mailto:yang-doctors@ietf.org>
List-Help: <mailto:yang-doctors-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/yang-doctors>, <mailto:yang-doctors-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 22 Jan 2024 16:42:44 -0000

Hi Med,

> On Jan 21, 2024, at 11:44 PM, mohamed.boucadair@orange.com wrote:
> 
> Hi Acee,
>  
> > I think these points are worth addressing in RFC8407 BIS.
>  
> We do already have the following in the bis, which I think covers your initial question about “mandatory true” data nodes for operational state”:
>  
>    Section 8.1 of [RFC7950] includes a provision for defining a
>    constraint on state data and specifies that the constraint must be
>    true in a valid state data.  However, Section 5.3 of [RFC8342]
>    softens that behavior by allowing semantic constraints to be violated
>    under some circumstances to help detecting anomalies.  Relaxing
>    validation constraints on state data is meant to reveal deviations of
>    the observed behavior vs. intended behavior of a managed entity and
>    hopefully trigger corrective actions by a management system.  From
>    that perspective, it is RECOMMENDED to avoid defining constraints on
>    state data that would hinder the detection by a management system of
>    abnormal behaviors of a managed entity.

[mj] When I read this, it tells me that it is ok to put constraints on state data.

What I am hearing on the mailing list, by Juergen and others, is questioning the use of constraints on state data. What I am interested in understanding is, would there be a problem in dropping/ignoring constraints on state data?

Thanks.

>  
> No?
>  
> Cheers,
> Med
>  
> De : netmod <netmod-bounces@ietf.org <mailto:netmod-bounces@ietf.org>> De la part de Acee Lindem
> Envoyé : vendredi 19 janvier 2024 18:47
> À : Andy Bierman <andy@yumaworks.com <mailto:andy@yumaworks.com>>
> Cc : Jürgen Schönwälder <jschoenwaelder@constructor.university <mailto:jschoenwaelder@constructor.university>>; YANG Doctors <yang-doctors@ietf.org <mailto:yang-doctors@ietf.org>>; netmod@ietf.org <mailto:netmod@ietf.org>; draft-ietf-netmod-rfc8407bis@ietf.org <mailto:draft-ietf-netmod-rfc8407bis@ietf.org>
> Objet : Re: [netmod] [yang-doctors] Operational State usage of YANG choices and constraints (fix draft address)
>  
> Hi Andy, 
> 
> 
> On Jan 19, 2024, at 12:17, Andy Bierman <andy@yumaworks.com <mailto:andy@yumaworks.com>> wrote:
>  
>  
>  
> On Fri, Jan 19, 2024 at 9:02 AM Acee Lindem <acee.ietf@gmail.com <mailto:acee.ietf@gmail.com>> wrote:
> Along the same lines, what is the sentiment for “mandatory true” data nodes for operational state (i.e., “config false” nodes)? Does this make sense to identify data nodes the must be returned if the parent node is returned?
> 
>  
>  
> What does "must be returned" mean?
>  
> Obviously, it does not mean returning the data even if the filters do not select that node. (I hope)
> I used to think it meant conformance  (whether the server must implement or may implement).
> I was told years ago that is not the case. Use if-feature for that. No if-feature == mandatory-to-implement.
>  
> If a client requests the parent subtree, then how would it know the difference between config=false
> nodes that are not present vs. the server just decided not to return them (even though conformance
> to the retrieval operation requires them)?
>  
> IMO the mandatory-stmt for config=false nodes does not make any sense at all.
>  
> I’m fine with that - we just need to make sure that this is reflected in our IETF models. I think these points are worth addressing in RFC8407 BIS. 
>  
> Thanks,
> Acee
>  
>  
> 
> 
>  
>  
> Thanks
> Acee
> 
>  
> Andy
>  
> > On Dec 22, 2023, at 2:36 PM, Jürgen Schönwälder <jschoenwaelder@constructor.university <mailto:jschoenwaelder@constructor.university>> wrote:
> > 
> > On Fri, Dec 22, 2023 at 07:22:55PM +0000, Kent Watsen wrote:
> >> With limited experience wrt the impact on servers, as a client, it’s always best for the opstate data to be modeled as accurately as possible, for better processing and user experience.
> >> 
> > 
> > What is accurate?
> > 
> > I think the answer is "it depends". There are states that a model
> > allows to represent and there are states it does not allow to
> > represent. If a device ends up in a state that the model can't
> > represent, then the device has a problem, From a debugging point of
> > view, the worst is a device in a state that can't be represented
> > propoerly reporting a valid state it is not in.
> > 
> > So like everything else, it is a modeling decision, like picking types
> > and everything else. I am not sure that 'as accurate as possible" is a
> > helpful guideline; for operational state I prefer to see as much as
> > possible the device's true state. (But even picking data types for
> > leaves restricts what can be represented, so it is a judgement call.)
> > 
> > /js
> > 
> > -- 
> > Jürgen Schönwälder              Constructor University Bremen gGmbH
> > Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
> > Fax:   +49 421 200 3103         <https://constructor.university/ <https://constructor.university/>>
> 
> _______________________________________________
> yang-doctors mailing list
> yang-doctors@ietf.org <mailto:yang-doctors@ietf.org>
> https://www.ietf.org/mailman/listinfo/yang-doctors <https://www.ietf.org/mailman/listinfo/yang-doctors>
> ____________________________________________________________________________________________________________
> Ce message et ses pieces jointes peuvent contenir des informations confidentielles ou privilegiees et ne doivent donc
> pas etre diffuses, exploites ou copies sans autorisation. Si vous avez recu ce message par erreur, veuillez le signaler
> a l'expediteur et le detruire ainsi que les pieces jointes. Les messages electroniques etant susceptibles d'alteration,
> Orange decline toute responsabilite si ce message a ete altere, deforme ou falsifie. Merci.
> 
> This message and its attachments may contain confidential or privileged information that may be protected by law;
> they should not be distributed, used or copied without authorisation.
> If you have received this email in error, please notify the sender and delete this message and its attachments.
> As emails may be altered, Orange is not liable for messages that have been modified, changed or falsified.
> Thank you.
> _______________________________________________
> yang-doctors mailing list
> yang-doctors@ietf.org <mailto:yang-doctors@ietf.org>
> https://www.ietf.org/mailman/listinfo/yang-doctors <https://www.ietf.org/mailman/listinfo/yang-doctors>

Mahesh Jethanandani
mjethanandani@gmail.com