Re: SHOULD vs MUST

Dave Crocker <dhc2@dcrocker.net> Thu, 26 June 2008 09:46 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 5E4D43A692B; Thu, 26 Jun 2008 02:46:39 -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 12F553A67B7 for <ietf@core3.amsl.com>; Thu, 26 Jun 2008 02:46:37 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.702
X-Spam-Level:
X-Spam-Status: No, score=-0.702 tagged_above=-999 required=5 tests=[BAYES_00=-2.599, DATE_IN_FUTURE_06_12=1.897]
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 9lJVNOeuWIvg for <ietf@core3.amsl.com>; Thu, 26 Jun 2008 02:46:36 -0700 (PDT)
Received: from sbh17.songbird.com (mail.mipassoc.org [IPv6:2001:470:1:76:0:ffff:4834:7146]) by core3.amsl.com (Postfix) with ESMTP id BD2583A692B for <ietf@ietf.org>; Thu, 26 Jun 2008 02:46:35 -0700 (PDT)
Received: from [192.168.0.3] (adsl-67-127-53-97.dsl.pltn13.pacbell.net [67.127.53.97]) (authenticated bits=0) by sbh17.songbird.com (8.13.8/8.13.8) with ESMTP id m5PBgkBT003151 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for <ietf@ietf.org>; Wed, 25 Jun 2008 04:42:52 -0700
Message-ID: <4862920D.4060003@dcrocker.net>
Date: Wed, 25 Jun 2008 11:44:29 -0700
From: Dave Crocker <dhc2@dcrocker.net>
Organization: Brandenburg InternetWorking
User-Agent: Thunderbird 2.0.0.14 (Windows/20080421)
MIME-Version: 1.0
To: IETF Discussion <ietf@ietf.org>
Subject: Re: SHOULD vs MUST
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>
In-Reply-To: <48627A42.6030907@employees.org>
X-Virus-Scanned: ClamAV 0.92/7561/Wed Jun 25 09:20:43 2008 on sbh17.songbird.com
X-Virus-Status: Clean
X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.0 (sbh17.songbird.com [72.52.113.17]); Wed, 25 Jun 2008 04:42:52 -0700 (PDT)
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.9
Precedence: list
Reply-To: dcrocker@bbiw.net
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-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Sender: ietf-bounces@ietf.org
Errors-To: ietf-bounces@ietf.org


Scott Brim wrote:
> 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.


This gets to an essential issue with IETF specification writing, as well as 
suggesting some of the distinction between MUST and SHOULD.

(By the way, I hope folks are clear that IETF use of these words as normative 
does not depend upon the case that is used?)


1. MUST is required if interoperability will otherwise be broken.  The spec does 
not offer any leeway to implementors.  Including rationale might be nice, but is 
not required.

2. SHOULD is used when there is a strong consensus that the specification's 
utility is greatly enhanced by having the SHOULD get implemented, but the 
specification is acknowledging that careful judgment by an implementor can 
produce cases in which it is acceptable not to implement it.

   The fact that a SHOULD explicitly calls for judgment by an implementor 
invites two things that we probably are not very consistent about delivering in 
specifications:

    a) Why is it best to implement the SHOULD?  What is the nature of the 
benefit provided by the feature?  Often this is obvious, such as an additional 
and more powerful algorithm for a set of component security mechanisms.  Still, 
it makes sense to state this explicitly.

    b) What examples are there that would justify *not* implementing it?  For 
example, resource constraints, implementation simplicity, very tightly 
controlled execution environment?  Of course, the danger with listing examples 
is that folks might come to believe they are exhaustive...

d/

-- 

   Dave Crocker
   Brandenburg InternetWorking
   bbiw.net
_______________________________________________
IETF mailing list
IETF@ietf.org
https://www.ietf.org/mailman/listinfo/ietf