Re: Updating RFC2119
Abdussalam Baryun <abdussalambaryun@gmail.com> Mon, 23 July 2012 12:14 UTC
Return-Path: <abdussalambaryun@gmail.com>
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 61BD921F8683 for <ietf@ietfa.amsl.com>; Mon, 23 Jul 2012 05:14:15 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.454
X-Spam-Level:
X-Spam-Status: No, score=-3.454 tagged_above=-999 required=5 tests=[AWL=0.145, BAYES_00=-2.599, RCVD_IN_DNSWL_LOW=-1]
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 7R-Hrhjq4O00 for <ietf@ietfa.amsl.com>; Mon, 23 Jul 2012 05:14:14 -0700 (PDT)
Received: from mail-vc0-f172.google.com (mail-vc0-f172.google.com [209.85.220.172]) by ietfa.amsl.com (Postfix) with ESMTP id DAB9621F8616 for <ietf@ietf.org>; Mon, 23 Jul 2012 05:14:13 -0700 (PDT)
Received: by vcbfo14 with SMTP id fo14so5008618vcb.31 for <ietf@ietf.org>; Mon, 23 Jul 2012 05:14:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=XqD8LRG5GHvd2FNZ+9jHZyE+6S8AnFZL1RzlEt2OyNg=; b=RUx26pDc4YoQzEOEsUPc0tqs4saK79CNFgDQrM8sx8oPWxWgO7BeYrB/NpleSLUo1n Lwh+pqBAq+hK0TsQBhkZJwv2EH6NyYThXFa/s8jgLJqq251zgyxj5Wx8mFWXrSg7nOTc IXAwkP3VZjXCeiu4qD0Ippzt25PCoO3dqZWvUfxoQF2wgJyK5Eza0iUDlnkgIyXYdriR BcqIvMiO+bY2MUzi0FSF2b9oFcpBs3Kw9C8w7w5t7Ck1n2X/cGDvTVMTWcL5J1r3kFcO UglJz/urHrdZlP91e2GVIDnLe55whfHpO44grXMn3GbLReigDnGokf/NRwKhUeqD9qWC k16A==
MIME-Version: 1.0
Received: by 10.220.149.131 with SMTP id t3mr12135870vcv.1.1343045653318; Mon, 23 Jul 2012 05:14:13 -0700 (PDT)
Received: by 10.220.141.200 with HTTP; Mon, 23 Jul 2012 05:14:13 -0700 (PDT)
In-Reply-To: <500D3500.4080003@cs.tcd.ie>
References: <CADnDZ89tHLL5OsLwcT4P76w=W-jShM55HfVm+FSW2ubBerWiCQ@mail.gmail.com> <CAPv4CP95Rhma3reOvrWfrWQE_mqsyY8bL2EvkZq5hD6gbyf_ow@mail.gmail.com> <CADnDZ89uM25K=8M5KmkFva0V4SHQGUQ2e7nksiv26Pt=WpSrWA@mail.gmail.com> <500D3500.4080003@cs.tcd.ie>
Date: Mon, 23 Jul 2012 14:14:13 +0200
Message-ID: <CADnDZ89XLoQ6spu7aVyWj8SHE4POEcFVjykAimBnQMUHbwVoyg@mail.gmail.com>
Subject: Re: Updating RFC2119
From: Abdussalam Baryun <abdussalambaryun@gmail.com>
To: Stephen Farrell <stephen.farrell@cs.tcd.ie>
Content-Type: text/plain; charset="windows-1252"
Content-Transfer-Encoding: quoted-printable
Cc: ietf <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 12:14:15 -0000
comments in line > > I'd encourage you to not try change 2119. thanks for your comment > > Instead, add whatever new definitions you feel > you need to your own draft that addresses some > technical, and not process, topic. > I agree that I will need to add to the technical draft for now. > 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. > this is the reason for this thread to see the feedback of the community including me (at this time and the comings) and IMO the submission of the I-D to update RFC2119 that includes new definition may help the discussion, in the end the community will decide AB === > > 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