[babel] Last-minute tightening in rfc6126bis

Juliusz Chroboczek <jch@irif.fr> Fri, 26 April 2019 10:07 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 3A9A812019F for <babel@ietfa.amsl.com>; Fri, 26 Apr 2019 03:07:45 -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, 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 lKgyzASweQlc for <babel@ietfa.amsl.com>; Fri, 26 Apr 2019 03:07:42 -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 72F98120075 for <babel@ietf.org>; Fri, 26 Apr 2019 03:07:42 -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/82085) with ESMTP id x3QA7att014117 for <babel@ietf.org>; Fri, 26 Apr 2019 12:07:36 +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 3BC165B305 for <babel@ietf.org>; Fri, 26 Apr 2019 12:07:40 +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 Ya01WoK7xzeF for <babel@ietf.org>; Fri, 26 Apr 2019 12:07:39 +0200 (CEST)
Received: from lanthane.irif.fr (unknown [172.23.36.89]) (Authenticated sender: jch) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 0422D5B2FF for <babel@ietf.org>; Fri, 26 Apr 2019 12:07:37 +0200 (CEST)
Date: Fri, 26 Apr 2019 12:07:37 +0200
Message-ID: <87mukd9j12.wl-jch@irif.fr>
From: Juliusz Chroboczek <jch@irif.fr>
To: babel@ietf.org
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]); Fri, 26 Apr 2019 12:07:36 +0200 (CEST)
X-Miltered: at korolev with ID 5CC2D868.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-j-chkmail-Enveloppe: 5CC2D868.002 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 : 5CC2D868.002 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/UqTUDpixXy9usUoVylSPwFw6F3Q>
Subject: [babel] Last-minute tightening in rfc6126bis
X-BeenThere: babel@ietf.org
X-Mailman-Version: 2.1.29
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: Fri, 26 Apr 2019 10:07:45 -0000

Dear all,

Joao Sobrinho has sent me his observations about convergence of a certain
class of routing protocols in the presence of metrics that are not
left-distributive.  In short, it turns out that protocols such as DSDV can
cause persistent blackholes in some topologies if the metric being used is
not left-distributive.

Happily enough, Babel does not belong to the class of protocols that are
problematic.  However, the current text describes the relevant property in
non-normative language.  Thanks to Sobrinho's explanation, I've decided to
make the relevant property into a MUST.  I believe that all existent
implementations already have the right property.

I've just committed the relevant changes to the github repository:

    https://github.com/jech/babel-drafts/commit/5b038542a765b550cec487878f9f0acc2c2f82b0

I'll let them simmer for a few days, then push a new revision to the
datatracker.

-- Juliusz