Re: Protocol Definition

Dave CROCKER <dhc@dcrocker.net> Thu, 05 January 2012 16:50 UTC

Return-Path: <dhc@dcrocker.net>
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 60E5421F882A for <ietf@ietfa.amsl.com>; Thu, 5 Jan 2012 08:50:37 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.932
X-Spam-Level:
X-Spam-Status: No, score=-6.932 tagged_above=-999 required=5 tests=[AWL=-0.333, BAYES_00=-2.599, RCVD_IN_DNSWL_MED=-4]
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 DSmGtFnYDinw for <ietf@ietfa.amsl.com>; Thu, 5 Jan 2012 08:50:36 -0800 (PST)
Received: from sbh17.songbird.com (sbh17.songbird.com [72.52.113.17]) by ietfa.amsl.com (Postfix) with ESMTP id E2DDD21F8827 for <ietf@ietf.org>; Thu, 5 Jan 2012 08:50:34 -0800 (PST)
Received: from [192.168.1.9] (adsl-67-127-55-53.dsl.pltn13.pacbell.net [67.127.55.53]) (authenticated bits=0) by sbh17.songbird.com (8.13.8/8.13.8) with ESMTP id q05GoRFP028475 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for <ietf@ietf.org>; Thu, 5 Jan 2012 08:50:33 -0800
Message-ID: <4F05D4CF.4060105@dcrocker.net>
Date: Thu, 05 Jan 2012 08:50:23 -0800
From: Dave CROCKER <dhc@dcrocker.net>
Organization: Brandenburg InternetWorking
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:8.0) Gecko/20111105 Thunderbird/8.0
MIME-Version: 1.0
To: ietf@ietf.org
Subject: Re: Protocol Definition
References: <CAD7Ssm-Vetqmh3sxMWRiOHysp+XUaas7XuBkeg803mkTCsA0vQ@mail.gmail.com> <alpine.OSX.2.01.1201031756290.15402@rcdn-vpn-client-10-89-1-59.cisco.com> <07F7D7DED63154409F13298786A2ADC9042C5169@EXRAD5.ad.rad.co.il> <4F05B856.9050205@dcrocker.net> <B7092FD9FD5F81DC5CBF9D81@PST.JCK.COM>
In-Reply-To: <B7092FD9FD5F81DC5CBF9D81@PST.JCK.COM>
Content-Type: text/plain; charset="ISO-8859-1"; format="flowed"
Content-Transfer-Encoding: 7bit
X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.0 (sbh17.songbird.com [72.52.113.17]); Thu, 05 Jan 2012 08:50:34 -0800 (PST)
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
Reply-To: dcrocker@bbiw.net
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: Thu, 05 Jan 2012 16:50:37 -0000

>> (One can quibble about the difference between algorithm and
>> program.  An algorithm is a component of a program.
...
> Or an algorithm is an abstraction (usually mathematical as
> distinct from some other sort of specification)  and the program
> (or part of it) is a specific realization of that abstraction.

As a discussion detached from utility in the IETF, that view has academic merit, 
of course.

In terms of practical IETF discussions -- and for the comparative purposes this 
thread was developing -- I am used to the view that a program typically contains 
multiple algorithms and therefore performs a larger and integrated /set/ of 
activities (functions).

Note that Wikipedia nicely correlates algorithm with function, which largely 
matches the "component of" view that I suggested.


> The difference between that distinction and the one you make is
> that we have a long history of correct algorithms and incorrect
> or inadequate implementations.

And indeed the tendency to confuse constructs /within/ network architecture with 
the distinction /between/ network architecture and software implementation is 
quite common.

For the IETF, we typically do not focus on implementation correctness, except to 
the extent that a pattern of implementation problems might affect architectural 
choices to improve simplicity.

I've assumed that this thread on the IETF list ought to focus on uses of the 
terms that aid IETF work...

d/
-- 

   Dave Crocker
   Brandenburg InternetWorking
   bbiw.net