Re: Updating RFC2119
Stephen Farrell <stephen.farrell@cs.tcd.ie> Mon, 23 July 2012 11:26 UTC
Return-Path: <stephen.farrell@cs.tcd.ie>
X-Original-To: ietf@ietfa.amsl.com
Delivered-To: ietf@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B9D5621F86EF for <ietf@ietfa.amsl.com>; Mon, 23 Jul 2012 04:26:58 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -103.71
X-Spam-Level:
X-Spam-Status: No, score=-103.71 tagged_above=-999 required=5 tests=[AWL=-1.111, BAYES_00=-2.599, USER_IN_WHITELIST=-100]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 9sngBl1U4pjE for <ietf@ietfa.amsl.com>; Mon, 23 Jul 2012 04:26:58 -0700 (PDT)
Received: from scss.tcd.ie (hermes.scss.tcd.ie [IPv6:2001:770:10:200:889f:cdff:fe8d:ccd2]) by ietfa.amsl.com (Postfix) with ESMTP id A211D21F84F2 for <ietf@ietf.org>; Mon, 23 Jul 2012 04:26:57 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1]) by hermes.scss.tcd.ie (Postfix) with ESMTP id 05A0A157E9C; Mon, 23 Jul 2012 12:26:57 +0100 (IST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cs.tcd.ie; h= content-transfer-encoding:content-type:in-reply-to:references :subject:mime-version:user-agent:from:date:message-id:received :received:x-virus-scanned; s=cs; t=1343042816; bh=/xg7Q/jr/OizG7 tOnOg+78yhbwru0PksILx8TIU6n1Y=; b=ZLaQXCngLtGX68Yk/Vf9dH6f4U55+7 g2PXoiSzYXiB8ti0WKlZ1V0zs+0Ow+usoJNpv8VSRZfil01DAkA1UK8CC/v/HVo8 PQgp0TXnKv29qMz3STeKe0mcDqJDdvcdjanmHXwqJACRYaTSCvqY7OWffbhWeb0C +2mx7ak1hKaOt5HM8zqiHm4GSTNYObhX2DDc22HT6gdgzaQOisRvtR9ag32ICM+n JOmMwokKnnytzAsgW9FezXibzW0h8LrXmUANYSUaVCiQdFE7VG+4LdVkYISoIlqK H5CgZIn7vtCMCDErLIQFSshWHj1cGzBVR8ffW/P98F5qoCrmcvFV6Vsg==
X-Virus-Scanned: Debian amavisd-new at scss.tcd.ie
Received: from scss.tcd.ie ([127.0.0.1]) by localhost (scss.tcd.ie [127.0.0.1]) (amavisd-new, port 10027) with ESMTP id zaQYqsopiuez; Mon, 23 Jul 2012 12:26:56 +0100 (IST)
Received: from [10.87.48.8] (unknown [86.45.58.178]) by smtp.scss.tcd.ie (Postfix) with ESMTPSA id 72715157B8D; Mon, 23 Jul 2012 12:26:56 +0100 (IST)
Message-ID: <500D3500.4080003@cs.tcd.ie>
Date: Mon, 23 Jul 2012 12:26:56 +0100
From: Stephen Farrell <stephen.farrell@cs.tcd.ie>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:14.0) Gecko/20120714 Thunderbird/14.0
MIME-Version: 1.0
To: Abdussalam Baryun <abdussalambaryun@gmail.com>
Subject: Re: Updating RFC2119
References: <CADnDZ89tHLL5OsLwcT4P76w=W-jShM55HfVm+FSW2ubBerWiCQ@mail.gmail.com> <CAPv4CP95Rhma3reOvrWfrWQE_mqsyY8bL2EvkZq5hD6gbyf_ow@mail.gmail.com> <CADnDZ89uM25K=8M5KmkFva0V4SHQGUQ2e7nksiv26Pt=WpSrWA@mail.gmail.com>
In-Reply-To: <CADnDZ89uM25K=8M5KmkFva0V4SHQGUQ2e7nksiv26Pt=WpSrWA@mail.gmail.com>
X-Enigmail-Version: 1.4.3
Content-Type: text/plain; charset="windows-1252"
Content-Transfer-Encoding: 8bit
Cc: ietf@ietf.org
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: IETF-Discussion <ietf.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ietf>, <mailto:ietf-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/ietf>
List-Post: <mailto:ietf@ietf.org>
List-Help: <mailto:ietf-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ietf>, <mailto:ietf-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 23 Jul 2012 11:26:58 -0000
I'd encourage you to not try change 2119. Instead, add whatever new definitions you feel you need to your own draft that addresses some technical, and not process, topic. If people find your new definitions useful they'll say and if enough of that happens they'll be included in a 2119bis whenever that's done. S. On 07/23/2012 12:08 PM, Abdussalam Baryun wrote: > Hi Stewart, > > Usually the (IF x, THEN y) means if x happens then y is a MUST, so I > don't see the important reflection of a MUST in many documentation > when using *if*. That is why I prefer to find requirements more easily > while skimming any IETF document, the MUST, SHOULD, and IF, these are > important requirement words in specifications. Please see below as > examples per your requested. > > ------------------------------------------------------------------------------------------------------ > RFC4861>page36> IMO suggest to use IF, THEN > > If no entry exists, the sender creates one, sets its state > to INCOMPLETE, initiates Address Resolution, and then queues the data > packet pending completion of address resolution. > ------------------------------------------------------------------------------------------------------ > RFC4861>page 49> IMO suggest to use IF and ELSE IF > > If the router already has a Neighbor Cache entry for the > solicitation’s sender, the solicitation contains a Source Link-Layer > Address option, and the received link-layer address differs from that > already in the cache, then the link-layer address SHOULD be updated > in the appropriate Neighbor Cache entry, and its reachability state > MUST also be set to STALE. If there is no existing Neighbor Cache > entry for the solicitation’s sender, the router creates one, installs > the link- layer address and sets its reachability state to STALE as > specified in Section 7.3.3. If there is no existing Neighbor Cache > entry and no Source Link-Layer Address option was present in the > solicitation, the router may respond with either a multicast or a > unicast router advertisement. Whether or not a Source Link-Layer > Address option is provided, if a Neighbor Cache entry for the > solicitation’s sender exists (or is created) the entry’s IsRouter > flag MUST be set to FALSE. > ---------------------------------------------------------------------------------- > RFC5715>page 19> > > If R changes before T, then a loop will form > around R, T, and S. > ----------------------------------------------------------------------------------- > RFC6052> page 10> suggest delete *will* and to add as IF, THEN > > If a packet bound to > 192.0.2.33 reaches the translator, the destination address will be > translated to 2001:db8:122:344:c0:2:2100::, and the packet will be > routed towards R and then to A. > ----------------------------------------------------------------------------------- > > There are many examples that ignore the use of IF , THEN requirements, > which I suggest to be in the I-D update of RFC2119 that I working on > and will submit in 30 July, > > Regards > > Abdussalam Baryun > University of Glamorgan, UK > ================================== > >> Preferable with a list of RFC text snippets that would have been >> more readable if these keywords had been used. > >> Stewart > > >> On Sun, Jul 22, 2012 at 7:17 AM, Abdussalam Baryun >> <abdussalambaryun@gmail.com> wrote: >>> Hi All, >>> >>> I am working on an I-D which is intended as proposed standard but need >>> some addition requirement language. Therefore, I want to propose to >>> write a draft to update RFC2119 to add some other language requirement >>> as below: >>> >>> IF x, THEN y: >>> >>> ELSE: >>> >>> ELSE IF: >>> >>> Please send your comments or advise, thanking you, >> >> That doesn't have to be in 2119. Lots of RFCs have pseudocode at >> various levels of rigor. Just look around at some protocol specs for >> examples. >> > >
- Updating RFC2119 Abdussalam Baryun
- Re: Updating RFC2119 Scott Brim
- Re: Updating RFC2119 Melinda Shore
- Re: Updating RFC2119 Stewart Bryant
- Re: Updating RFC2119 Abdussalam Baryun
- Re: Updating RFC2119 Stephen Farrell
- Re: Updating RFC2119 Abdussalam Baryun
- Re: Updating RFC2119 Dave Crocker