Re: [babel] draft-ietf-babel-applicability WG Last Call

Juliusz Chroboczek <jch@irif.fr> Thu, 12 April 2018 18:01 UTC

Return-Path: <jch@irif.fr>
X-Original-To: babel@ietfa.amsl.com
Delivered-To: babel@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 3FFAA126DED for <babel@ietfa.amsl.com>; Thu, 12 Apr 2018 11:01:43 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.901
X-Spam-Level:
X-Spam-Status: No, score=-1.901 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 8poFSoT_H1ae for <babel@ietfa.amsl.com>; Thu, 12 Apr 2018 11:01:40 -0700 (PDT)
Received: from korolev.univ-paris7.fr (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 913E312762F for <babel@ietf.org>; Thu, 12 Apr 2018 11:01:40 -0700 (PDT)
Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/75695) with ESMTP id w3CI1dFM004698; Thu, 12 Apr 2018 20:01:39 +0200
Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id E1C8FEB273; Thu, 12 Apr 2018 20:01:38 +0200 (CEST)
X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr
Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id P4ClOD2P-EIe; Thu, 12 Apr 2018 20:01:38 +0200 (CEST)
Received: from trurl.irif.fr (unknown [78.194.40.74]) (Authenticated sender: jch) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 3F309EB276; Thu, 12 Apr 2018 20:01:36 +0200 (CEST)
Date: Thu, 12 Apr 2018 20:01:36 +0200
Message-ID: <87zi28mhhb.wl-jch@irif.fr>
From: Juliusz Chroboczek <jch@irif.fr>
To: adrian@olddog.co.uk
Cc: 'Babel at IETF' <babel@ietf.org>
In-Reply-To: <015101d3d275$7bff1e80$73fd5b80$@olddog.co.uk>
References: <CAF4+nEE840P9MZjjijNUNVmx_3acAjssNB1UtuQp5rwAgurthQ@mail.gmail.com> <015101d3d275$7bff1e80$73fd5b80$@olddog.co.uk>
User-Agent: Wanderlust/2.15.9
MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue")
Content-Type: text/plain; charset="US-ASCII"
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [194.254.61.138]); Thu, 12 Apr 2018 20:01:39 +0200 (CEST)
X-Miltered: at korolev with ID 5ACF9F03.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-j-chkmail-Enveloppe: 5ACF9F03.000 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/<jch@irif.fr>
X-j-chkmail-Score: MSGID : 5ACF9F03.000 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000
X-j-chkmail-Status: Ham
Archived-At: <https://mailarchive.ietf.org/arch/msg/babel/MdleUVMa-JQ11ZM88SriZhTlPXw>
Subject: Re: [babel] draft-ietf-babel-applicability WG Last Call
X-BeenThere: babel@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: "A list for discussion of the Babel Routing Protocol." <babel.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/babel>, <mailto:babel-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/babel/>
List-Post: <mailto:babel@ietf.org>
List-Help: <mailto:babel-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/babel>, <mailto:babel-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 12 Apr 2018 18:01:43 -0000

Thanks for your comments, Adrian.  I'll give myself a few days to think
them over.

> Suggest to strike the following.

>    Given a sufficiently friendly audience, the principles
>    behind Babel can be explained in 15 minutes, and a full description
>    of the protocol can be done in 52 minutes (one microcentury).

Strongly disagree.  Comprehensibility and implementability are important
properties of Babel (second only to the fact that it works).  I'm open to
rewording if you find the current wording overly whimsical.

> I'm personally a little sceptical about the first example [in Section
> 2.2] because my experience suggests that coders are fiendishly capable
> of constructing bugs that do all manner of unexpected things.

This is based on actual experience.  I'll try to reword it, but I stand by
my claim.

For example, an early version of babeld had a bug that randomly corrupted
buffers; with high probability, the corruption happened within an IPv6
address, so nodes would simply learn spurious host routes that would time
out after a few seconds.  (It took us ages to find the bug, in the
meantime we were running with a network populated with occasional
"martians".)

Another example: I've recently introduced a bug in the sending of
triggered updates (fixed in 1.8.1).  The effect was that convergence was
slowed down in some cases, until the next periodic update, but the
loop-avoidance mechanisms were still functional, so not much harm happened.

I'll think about how to reword it, perhaps summarising the two examples
above might be useful.

-- Juliusz