Re: SHOULD vs MUST

John C Klensin <john-ietf@jck.com> Wed, 25 June 2008 17:37 UTC

Return-Path: <ietf-bounces@ietf.org>
X-Original-To: ietf-archive@megatron.ietf.org
Delivered-To: ietfarch-ietf-archive@core3.amsl.com
Received: from [127.0.0.1] (localhost [127.0.0.1]) by core3.amsl.com (Postfix) with ESMTP id 2511A3A6A09; Wed, 25 Jun 2008 10:37:41 -0700 (PDT)
X-Original-To: ietf@core3.amsl.com
Delivered-To: ietf@core3.amsl.com
Received: from localhost (localhost [127.0.0.1]) by core3.amsl.com (Postfix) with ESMTP id 071773A6961 for <ietf@core3.amsl.com>; Wed, 25 Jun 2008 10:37:40 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 1.168
X-Spam-Level: *
X-Spam-Status: No, score=1.168 tagged_above=-999 required=5 tests=[AWL=3.767, BAYES_00=-2.599]
Received: from mail.ietf.org ([64.170.98.32]) by localhost (core3.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id XRYgOhSQATIl for <ietf@core3.amsl.com>; Wed, 25 Jun 2008 10:37:39 -0700 (PDT)
Received: from bs.jck.com (ns.jck.com [209.187.148.211]) by core3.amsl.com (Postfix) with ESMTP id D98723A6876 for <ietf@ietf.org>; Wed, 25 Jun 2008 10:37:38 -0700 (PDT)
Received: from [127.0.0.1] (helo=p3.JCK.COM) by bs.jck.com with esmtp (Exim 4.34) id 1KBYw7-0008zb-FW; Wed, 25 Jun 2008 13:37:39 -0400
Date: Wed, 25 Jun 2008 13:37:38 -0400
From: John C Klensin <john-ietf@jck.com>
To: Scott Brim <swb@employees.org>
Subject: Re: SHOULD vs MUST
Message-ID: <4FB4C3E1F32D9BE108374D5D@p3.JCK.COM>
In-Reply-To: <48627A42.6030907@employees.org>
References: <20080525020040.4DE5A5081A@romeo.rtfm.com> <F66D7286825402429571678A16C2F5EE03ADF950@zrc2hxm1.corp.nortel.com> <20080620195947.29D0B5081A@romeo.rtfm.com> <9D9CF008-7350-4831-8F21-E08A0A7B255E@insensate.co.uk> <7706.1214216391.855029@peirce.dave.cridland.net> <g3ror8$2b9$1@ger.gmane.org> <900B2F8D-5960-4277-9DBC-E59A05F1CFBA@cisco.com> <48623304.1050008@employees.org> <2D990430F5F5D3C7984BDFDF@p3.JCK.COM> <48627A42.6030907@employees.org>
X-Mailer: Mulberry/4.0.8 (Win32)
MIME-Version: 1.0
Content-Disposition: inline
Cc: IETF Discussion <ietf@ietf.org>
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.9
Precedence: list
List-Id: IETF Discussion <ietf.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/listinfo/ietf>, <mailto:ietf-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/pipermail/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>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Sender: ietf-bounces@ietf.org
Errors-To: ietf-bounces@ietf.org


--On Wednesday, 25 June, 2008 13:02 -0400 Scott Brim
<swb@employees.org> wrote:

> On 6/25/08 8:24 AM, John C Klensin allegedly wrote:
>> 
>> --On Wednesday, 25 June, 2008 07:59 -0400 Scott Brim
>> <swb@employees.org> wrote:
>>> ... and draft authors should include explanations in their
>>> drafts of the reasons an implementor might legitimately have
>>> for not implementing the "should".  For example, an older
>>> operating system that does not support a new capability.
> 
> 
>> Do you really mean, e.g., 
>> 
>> 	... where feasible and, in the author's judgment,
>> 	appropriate, it is desirable to include explanations or
>> 	illustrations of the exception cases in drafts that use
>> 	SHOULD.
>> 
>> ???
>> 
>> I've run into a number of situations over the years in which
>> there are known edge cases that prevent a MUST but where those
>> edge cases are rare and obscure enough that describing them
>> would require extensive text.
> 
> My rule of thumb is: when you're writing the draft if
> something is not a MUST, ask yourself "why not?" and write
> down your answer.  You can be brief but make it clear that the
> SHOULD is a MUST with exceptions.
> 
> There's no way we should have strict process rules about this.
> The IETF has enough rules as it is.  However, explanations of
> SHOULDs do make better standards.  The point is to give
> guidance to implementors.  I did an informal survey last year
> and found that some implementors treat every SHOULD as a MUST,
> but more of them just treat a SHOULD as a MAY, essentially to
> be ignored.  An explanation of the circumstances surrounding a
> SHOULD will lead to a lot more consistency in implementation.
> Many SHOULDs in RFCs are because there are old implementations
> that need to be taken into account, or because some capability
> isn't widely possible yet but will be within the lifetime of
> the standard.  If a MUST becomes a SHOULD to take that into
> account, and you explain it, your chances of getting rid of
> non-MUST-capable implementations eventually goes up
> tremendously.  So, to reiterate, when you're writing the draft
> if something is not a MUST, ask yourself "why not?" and write
> down your answer.

Certainly we are in complete agreement about the principles
here.  We probably also agree about Fred's slightly different
take, which is thinking about whether a proposed MUST really
might have exception cases that we would prefer to keep within
the bounds of the standard.  My concern is about anything that
might get turned into another rule while various of us are
trying to concentrate on technical work and not, e.g., watching
every entry in the IESG's tracker logs.

More generally, thinking carefully about these conformance
statements is A Good Thing and should be encouraged whenever
possible.

   john

> 
> 




_______________________________________________
IETF mailing list
IETF@ietf.org
https://www.ietf.org/mailman/listinfo/ietf