Re: Making RFC2119 key language easier to Protocol Readers

Abdussalam Baryun <abdussalambaryun@gmail.com> Sat, 05 January 2013 08:54 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 2775F21F87D1 for <ietf@ietfa.amsl.com>; Sat, 5 Jan 2013 00:54:47 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.599
X-Spam-Level:
X-Spam-Status: No, score=-3.599 tagged_above=-999 required=5 tests=[AWL=0.000, BAYES_00=-2.599, RCVD_IN_DNSWL_LOW=-1]
Received: from mail.ietf.org ([64.170.98.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id sbygNchFuJ9l for <ietf@ietfa.amsl.com>; Sat, 5 Jan 2013 00:54:46 -0800 (PST)
Received: from mail-vb0-f44.google.com (mail-vb0-f44.google.com [209.85.212.44]) by ietfa.amsl.com (Postfix) with ESMTP id 8F91121F87CD for <ietf@ietf.org>; Sat, 5 Jan 2013 00:54:46 -0800 (PST)
Received: by mail-vb0-f44.google.com with SMTP id fc26so17267409vbb.17 for <ietf@ietf.org>; Sat, 05 Jan 2013 00:54:45 -0800 (PST)
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; bh=7zJcTCWuGMIkLR3VtgIjpp2duxclgF3NVcsYDCe9zSI=; b=YGejuWaYt6QKcQtZLIBztK+a4OiQH5ni50cab7sOm6ycCslbxMtZspKIz6oZJ2U1GL zK7eqPaLj4f+Uh5Nkrhmc+Oe5hDIUu1PWXhc3XcdkAOJB5IG61CYOi19uz3SVKr+pPnp Nz3pRotlR28bvbAq+yrrb9DehowRiMbABfYIddu5lsyzsVCGHoyF8ZQ2A7hV4feNSyvZ Ux6Rr/szcgr6awaT3bP6dUfR7qMg7pNWiHHZqmuoFstx04Tw3TAmvYAEWbDFX4GG9BS/ W6bjvxiV8M0ke/WEklgmKo5UWgsENNWb4i3//TOJBXBM6RmM6QbC7HzoIPDeRur1Qhbg 6bGg==
MIME-Version: 1.0
Received: by 10.52.175.106 with SMTP id bz10mr67822460vdc.125.1357376085772; Sat, 05 Jan 2013 00:54:45 -0800 (PST)
Received: by 10.220.145.5 with HTTP; Sat, 5 Jan 2013 00:54:45 -0800 (PST)
In-Reply-To: <CADnDZ8-yCxUbrD9oFyQKkJuTgDZbamnV8K4GU+sAN5SekpyHAA@mail.gmail.com>
References: <CADnDZ8-yCxUbrD9oFyQKkJuTgDZbamnV8K4GU+sAN5SekpyHAA@mail.gmail.com>
Date: Sat, 05 Jan 2013 09:54:45 +0100
Message-ID: <CADnDZ8_jW_rCgYuLZ79h+aMfkiA5kN7QdTiHdGkavz-O55vyMQ@mail.gmail.com>
Subject: Re: Making RFC2119 key language easier to Protocol Readers
From: Abdussalam Baryun <abdussalambaryun@gmail.com>
To: ned+ietf@mauve.mrochek.com
Content-Type: text/plain; charset="ISO-8859-1"
Cc: narten@us.ibm.com, 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: Sat, 05 Jan 2013 08:54:47 -0000

(was Re: I'm struggling with 2219 language again)

>> Where you want to use MUST is where an implementation might be tempted
>> to take a short cut -- to the detriment of the Internet -- but could
>> do so without actually breaking interoperability. A good example is
>> with retransmissions and exponential backoff. You can implement those
>> incorrectly (or not at all), and still get "interoperability". I.e.,
>> two machines can talk to each other. Maybe you don't get "good"
>> intereoperability and maybe not great performance under some
>> conditions, but you can still build an interoperabile implementation.

>> IMO, too many specs seriously overuse/misuse 2119 language, to the
>> detriment of readability, common sense, and reserving the terms to
>> bring attention to those cases where it really is important to
>> highlight an important point that may not be obvious to a casual
>> reader/implementor.

>Sadly true.

We can fix that, by discussing it further, or as Scott mentioned the survey [*]

>> two machines can talk to each other. Maybe you don't get "good"
>> intereoperability and maybe not great performance under some
>> conditions, but you can still build an interoperabile implementation.

As machines reads and writes may depend on conditions, I don't think
it is true that you can still interoperabile implementation by
ignoring using/documenting requirement keys language (i.e. all common
keys of all languages).

AB