Re: [yang-doctors] YD review and yang-push and friends

Benoit Claise <bclaise@cisco.com> Thu, 15 March 2018 11:20 UTC

Return-Path: <bclaise@cisco.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 BA8511270B4 for <yang-doctors@ietfa.amsl.com>; Thu, 15 Mar 2018 04:20:52 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -14.51
X-Spam-Level:
X-Spam-Status: No, score=-14.51 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_HI=-5, SPF_PASS=-0.001, T_RP_MATCHES_RCVD=-0.01, URIBL_BLOCKED=0.001, USER_IN_DEF_DKIM_WL=-7.5] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=cisco.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 X1w2VQI4tD5s for <yang-doctors@ietfa.amsl.com>; Thu, 15 Mar 2018 04:20:50 -0700 (PDT)
Received: from aer-iport-1.cisco.com (aer-iport-1.cisco.com [173.38.203.51]) (using TLSv1.2 with cipher DHE-RSA-SEED-SHA (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 0066D1270AB for <yang-doctors@ietf.org>; Thu, 15 Mar 2018 04:20:49 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cisco.com; i=@cisco.com; l=8470; q=dns/txt; s=iport; t=1521112850; x=1522322450; h=subject:to:cc:references:from:message-id:date: mime-version:in-reply-to:content-transfer-encoding; bh=esOKLYynFU9yc5nSqHSB5bkxIxAxHjFy40HbSbEOFxE=; b=UIsz1JNeIoi39fbaoam+4/1s325rPa8TyOlZ93ZXqgNKtHtVvsUPaBDz i9XhlHf2XFz01kJ/9mcBGJ2vloLda+1H6TuB8UJcYsz0TQdcuvWuUu+tz wXtI7kbKWfAdKLec4IfWvCYkrkwanXnfN8CSfOfAA9VtEEd5Lc+SluChx k=;
X-IronPort-AV: E=Sophos;i="5.48,310,1517875200"; d="scan'208";a="2622343"
Received: from aer-iport-nat.cisco.com (HELO aer-core-3.cisco.com) ([173.38.203.22]) by aer-iport-1.cisco.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Mar 2018 11:20:48 +0000
Received: from [10.149.1.10] (dhcp-10-149-1-10.cisco.com [10.149.1.10]) by aer-core-3.cisco.com (8.14.5/8.14.5) with ESMTP id w2FBKm0s023929; Thu, 15 Mar 2018 11:20:48 GMT
To: Martin Bjorklund <mbj@tail-f.com>, andy@yumaworks.com
Cc: kwatsen@juniper.net, mersue@gmail.com, yang-doctors@ietf.org, Ignas Bagdonas <ibagdona.ietf@gmail.com>, "Joe Clarke (jclarke)" <jclarke@cisco.com>
References: <007301d3badd$7b300640$719012c0$@gmail.com> <A98F0B76-B46F-4FFD-8543-2AE619CB3812@juniper.net> <CABCOCHTvsHtXrKUaea9OsnMgLK_xBFoDZ9QSVr_hDorcNP8dXA@mail.gmail.com> <20180315.083339.570580949668320282.mbj@tail-f.com>
From: Benoit Claise <bclaise@cisco.com>
Message-ID: <9aa89cc3-daaa-3e94-178f-b1d991b68402@cisco.com>
Date: Thu, 15 Mar 2018 12:20:46 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0
MIME-Version: 1.0
In-Reply-To: <20180315.083339.570580949668320282.mbj@tail-f.com>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Transfer-Encoding: 8bit
Content-Language: en-US
Archived-At: <https://mailarchive.ietf.org/arch/msg/yang-doctors/v2Da8tq9AfXptL6OFd4rZbMFqIY>
Subject: Re: [yang-doctors] YD review and yang-push and friends
X-BeenThere: yang-doctors@ietf.org
X-Mailman-Version: 2.1.22
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: Thu, 15 Mar 2018 11:20:53 -0000

Dear all,
> Andy Bierman <andy@yumaworks.com> wrote:
>> On Tue, Mar 13, 2018 at 3:29 PM, Kent Watsen <kwatsen@juniper.net> wrote:
>>
>>> Fine, but what about the examples that are contained within a draft that
>>> defines the YANG module.  Do we expect YANG Doctors to review the examples
>>> or not?   What I'm looking for is a definition of what all a YANG Doctor
>>> looks at, if anything less than the entire draft.  Can the YANG Doctor
>>> function be automated, or is function more than validators could ever hope
>>> to do?
>>>
>>> K.
>>>
>>> =====
>>>
>>> As YANG secretary I have an issue with reviewing draft which do not
>>> include YANG modules.
>>>
>>>> A YANG module has its review criteria defined in YANG RFCs.
>>>> However examples may be manifold and imperfect.
>>> If the group decides to review such documents the review criteria needs to
>>> be defined first.
>>>
>>>
>> IMO the scope needs to be fairly tight, and needs to focus on the aspects
>> that
>> no tool could ever hope to automate:
>>
>>    Review YANG module(s) from 3 POVs
>>        A) standard POV -- consistent with all related standards; reusing
>> existing YANG correctly?
>>        B) server POV -- it is clear to server implementors what to do
>>        C) client POV -- it is clear to client developers what to do, and
>> what a server is expected to do
>>
>> Since normative text is spread all over the place, determining if (2) is
>> correct
>> can be a massive undertaking.
>>
>> So I will focus only only these aspects during my reviews.
>> If you want to check if the indentation is exactly right or
>> every single reference is fully named, then an automated tool should do
>> that.
> I agree.  But there are two issues right now: (i) who checks that
> these tools have been run or who runs the tools; and (ii) such tools
> currently do not do a 100% good job.
>
> Until we have these tools 100% automated, I think it is part of the YD
> review to check these things.
>
> For example, to check indentation of YANG itself you can do:
>
>     $ pyang -f yang --keep-comments <IN> > <OUT>
>     $ diff <IN> <OUT>
>
> ... and manually check the result (it won't be empty).
>
> The reference checker "should" be built into idnits, or similar.
We all agree that everything that could be automated should be automated.
In the end, it boils down to IETF hackathon and community members 
investing their time. Looking at the IETF hackathon participants this 
coming week-end ... I guess that Joe Clarke, Vladimir Vassilev, and I 
will be lonely at our YANG tools development table.

I was able to get some Cisco funding for one developer/9 months for the 
yangcatalog.org and related integration in the datatracker. That money 
stream dried out.

Next step: I hope for some ISOC money for the next phase of development 
on the yangcatalog.org and related tools. I've been trying for 3 months 
but the process is very slow.
In the mean time, see you guys at the hackathon?

Regards, Benoit
>
>
>
> /martin
>
>
>
>>
>> Cheers,
>>> Mehmet
>>>
>> Andy
>>
>>
>>>> -----Original Message-----
>>>> From: Martin Bjorklund <mbj@tail-f.com>
>>>> Sent: Tuesday, March 13, 2018 9:22 AM
>>>> To: bclaise@cisco.com
>>>> Cc: kwatsen@juniper.net; mersue@gmail.com; yang-doctors@ietf.org
>>>> Subject: Re: [yang-doctors] YD review and yang-push and friends
>>>>
>>>> Benoit Claise <bclaise@cisco.com> wrote:
>>>>> Why not review the document, even if there is no YANG module, and see
>>>>> if there is something to pay attention to? The examples, for example,
>>>>> are important to review and validate.
>>>> Yes, but is this something for the YANG doctors in general?
>>>>
>>>> In this particular case, it doesn't really matter, since most likely
>>> several YDs
>>>> will review the document anyway.
>>>>
>>>>
>>>> /martin
>>>>
>>>>> Regards, B.
>>>>>
>>>>>
>>>>>> Now that the YD page has been restored, here's what it says:
>>>>>>
>>>>>> """
>>>>>>
>>>>>> What to look for during a review
>>>>>>
>>>>>> The most important item is to give the AD a sense of how important
>>>>>> it is that they pay attention to the document.
>>>>>> For YANG reviews the YANG Doctors will apply the RFC6087bis document
>>>>>> on the Guidelines for Authors and Reviewers of YANG Data Model
>>>>>> Documents
>>>>>> ​https://urldefense.proofpoint.com/v2/url?u=https-
>>> 3A__datatracker.ietf.org_doc_draft-2Dietf-2Dnetmod-
>>> 2Drfc6087bis_&d=DwIFaQ&c=HAkYuh63rsuhr6Scbfh0UjBXeMK-ndb3voDTXcWzoCI&r=
>>> 9zkP0xnJUvZGJ9EPoOH7Yhqn2gsBYaGTvjISlaJdcZo&m=9NbPiPD-CVHGtQCZXZJQf-
>>> eRBVyomnwn2DvqhWonaBc&s=a93P1wWzQy2YYDl9KQTai1EbHdIRYwH_EwYv-TcUYjU&e=.
>>> The
>>>>>> YANG language syntax and semantics should be analyzed. The
>>>>>> compliance with ​Network Management Datastore Architecture should to
>>>>>> be ensured (see also ​NMDA guidelines).
>>>>>>
>>>>>> Review Information
>>>>>>
>>>>>> Under some circumstances, the YANG doctors might discover open
>>>>>> issues or provide feedback worth documenting for the larger
>>>>>> community. While the NETMOD WG still work on RFC6087bis, updating
>>>>>> this document is preferred. If the topic is not appropriate for the
>>>>>> RFC6087bis or if RFC6087bis has already been published, then this
>>>>>> must be documented on the YANG questions/answers WIKI
>>>>>> https://urldefense.proofpoint.com/v2/url?u=https-3A__trac.
>>> ietf.org_trac_ops_wiki_YANGDoctorsFAQ&d=DwIFaQ&c=
>>> HAkYuh63rsuhr6Scbfh0UjBXeMK-ndb3voDTXcWzoCI&r=
>>> 9zkP0xnJUvZGJ9EPoOH7Yhqn2gsBYaGTvjISlaJdcZo&m=9NbPiPD-CVHGtQCZXZJQf-
>>> eRBVyomnwn2DvqhWonaBc&s=s7Yh35PaMXizxNvkc0_aLaDV1FDcJgoj2_IuPiEoRlc&e=.
>>>>>> """
>>>>>>
>>>>>> The scope of the YD's review is unclear.
>>>>>>
>>>>>> K.
>>>>>>
>>>>>>
>>>>>> ===== original message =====
>>>>>>
>>>>>> One question coming up in my mind is against which criteria should
>>>>>> such drafts be reviewed.
>>>>>> A YANG module has its review criteria defined in YANG RFCs.
>>>>>> However examples may be manifold and imperfect.
>>>>>>
>>>>>> Cheers,
>>>>>> Mehmet
>>>>>>
>>>>>>> -----Original Message-----
>>>>>>> From: Kent Watsen <kwatsen@juniper.net>
>>>>>>> Sent: Thursday, March 8, 2018 6:09 PM
>>>>>>> To: Mehmet Ersue <mersue@gmail.com>; 'Martin Bjorklund'
>>>> <mbj@tail-
>>>>>>> f.com>
>>>>>>> Cc: yang-doctors@ietf.org
>>>>>>> Subject: Re: [yang-doctors] YD review and yang-push and friends
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>>> I did not start review for netconf-event-notifications-08.
>>>>>>>>
>>>>>>>> Netconf co-chairs: Please clarify whether a review is required.
>>>>>>> What's in a YANG Doctor review?  Is it just syntax, or semantics
>>> too?
>>>>>>> If it includes semantics, then does that then entail needing to
>>>>>>> read the draft text as well, to determine if the YANG module
>>>>>>> expresses the correct semantics or find that the draft text is
>>>>>>> wrong?  Would it also extend to reviewing the examples in the
>>>>>>> draft, to further ensure that the semantics are understood
>>>>>>> correctly or, possibly, that there is an error in the example?
>>>>>>>
>>>>>>> Yes, I am aware that netconf-event-notifications does not define a
>>>>>>> YANG module, but it does have examples that for the YANG modules in
>>>>>>> the
>>>>>>> yang-
>>>>>>> push and subscriber-notifications drafts.  In that sense, I'm
>>>>>>> wondering if they need to be reviewed, or do we expect the YD
>>>>>>> reviewers of those other two drafts to look at this draft already?
>>>>>>>
>>>>>>> FWIW, I not talking about what might be found via validation.  I've
>>>>>>> already asked the authors to post a script that validates the 14
>>>>>>> examples in this draft...
>>>>>>>
>>>>>>>
>>>>>>> K.
>>>>>>>
>>>>>>
>>>>>>
>>>>>> _______________________________________________
>>>>>> yang-doctors mailing list
>>>>>> yang-doctors@ietf.org
>>>>>> https://urldefense.proofpoint.com/v2/url?u=https-3A__www.
>>> ietf.org_mailman_listinfo_yang-2Ddoctors&d=DwIFaQ&c=
>>> HAkYuh63rsuhr6Scbfh0UjBXeMK-ndb3voDTXcWzoCI&r=
>>> 9zkP0xnJUvZGJ9EPoOH7Yhqn2gsBYaGTvjISlaJdcZo&m=9NbPiPD-CVHGtQCZXZJQf-
>>> eRBVyomnwn2DvqhWonaBc&s=3pky8v7zSfdi3HNvorvvT3Y60l7ZxfBUm6K8ulTV3r8&e=
>>>
>>>
>>> _______________________________________________
>>> yang-doctors mailing list
>>> yang-doctors@ietf.org
>>> https://www.ietf.org/mailman/listinfo/yang-doctors
>>>