Re: [homenet] Genart last call review of draft-ietf-homenet-babel-profile-05

Juliusz Chroboczek <jch@irif.fr> Wed, 21 February 2018 00:42 UTC

Return-Path: <jch@irif.fr>
X-Original-To: homenet@ietfa.amsl.com
Delivered-To: homenet@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 4F6A212E741; Tue, 20 Feb 2018 16:42:14 -0800 (PST)
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 HamwcQhbQwpl; Tue, 20 Feb 2018 16:42:12 -0800 (PST)
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 3D31512E059; Tue, 20 Feb 2018 16:42:09 -0800 (PST)
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 w1L0g7vj003473; Wed, 21 Feb 2018 01:42:07 +0100
Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id D63ACEB3AC; Wed, 21 Feb 2018 01:42:06 +0100 (CET)
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 4jECo_JU7SWC; Wed, 21 Feb 2018 01:42:05 +0100 (CET)
Received: from trurl.irif.fr (unknown [78.194.40.74]) (Authenticated sender: jch) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id C7A4CEB340; Wed, 21 Feb 2018 01:42:05 +0100 (CET)
Date: Wed, 21 Feb 2018 01:42:05 +0100
Message-ID: <87inarp40y.wl-jch@irif.fr>
From: Juliusz Chroboczek <jch@irif.fr>
To: Stewart Bryant <stewart.bryant@gmail.com>
Cc: <gen-art@ietf.org>, homenet@ietf.org, draft-ietf-homenet-babel-profile.all@ietf.org, ietf@ietf.org
In-Reply-To: <151914881778.3979.5852568551524317238@ietfa.amsl.com>
References: <151914881778.3979.5852568551524317238@ietfa.amsl.com>
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]); Wed, 21 Feb 2018 01:42:07 +0100 (CET)
X-Miltered: at korolev with ID 5A8CC05F.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-j-chkmail-Enveloppe: 5A8CC05F.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 : 5A8CC05F.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/homenet/MRx9HxGald3S2o2Vz0k6TCaN-pY>
Subject: Re: [homenet] Genart last call review of draft-ietf-homenet-babel-profile-05
X-BeenThere: homenet@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: IETF Homenet WG mailing list <homenet.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/homenet>, <mailto:homenet-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/homenet/>
List-Post: <mailto:homenet@ietf.org>
List-Help: <mailto:homenet-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/homenet>, <mailto:homenet-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 21 Feb 2018 00:42:14 -0000

> I am the assigned Gen-ART reviewer for this draft.

Thanks for your comments, Stewart.

>       if implementations use conflicting route selection policies,
>       persistent oscillations might occur.
SB> Is this consistent with the statement earlier in the para that
SB> " Distinct
SB> implementations of RFC 6126bis Babel will interoperate, in the
SB> sense that they will maintain a set of loop-free forwarding paths"?

Yes, it is consistent.  Please see Section 3.6 of rfc6126bis.

In short, Babel guarantees that the forwarding graph remains loop-free
at all times (which is somewhat weaker than what you'd expect -- in
particular, it does not entail that a packet will never pass the same
router more than once).  It does not make any guarantees about the
stability of the forwarding graph if the route selection policy is
completely crazy.

As far as I am aware, the problem of defining the class of non-crazy route
selection policies is an open research problem.  The best we can do, to
the best of my knowledge, is give examples of policies that do not cause
oscillations.

This is not unlike BGP, which does an excellent job avoiding loops, but
does not prevent persisten oscillations in the presence of crazy policies.
Interestingly enough, a numbre of papers indicate that this is not
a problem in the Internet, and that router operators are pretty good at
defining reasonable BGP policies.  I believe the same is true of Babel.

>  Since IPv6 has some
>       features that make implementations somewhat simpler and more
>       reliable (notably link-local addresses), we require carrying
>       control data over IPv6.
SB> Earlier you said that IPv4 also had Link Local addresses, so how
SB> can link local addresses be the deciding selection criteria? Is there
SB> something technically better about IPv6 LL?

No, I didn't -- I'm trying to be consistent, and use LL to mean fe80::/64.
I believe the issue is in Section 1, where I say

   traffic is carried over either link-local IPv6 or IPv4

where what I mean is

   either link-local IPv6 carries traffic, or IPv4 carries traffic.

I'm not a native speaker, and I'll be grateful if you can suggest a better
formulation.

> Minor issues:

>       Rationale: support for wireless transit links is a "killer
>       feature" of Homenet, something that is requested by our users and
>       easy to explain to our bosses.  In the absence of dynamically

SB> Not sure explicability to your boss counts for much as a basis for
SB> a feature an international standard.

I think this paragraph is helpful for implementors -- it helps people
explain to their bosses why we're bothering with link-quality estimation
when we've done routing protocols with no link-quality estimation for the
last fifty years or so.  (The Fuzzball LSI-11 router had link-quality
estimation, but that was in the 1980s.)  Still, if you find the tone too
informal, I'm open to reformulating.

> Abstract

>    This document defines the subset of the Babel routing protocol and
>    its extensions that a Homenet router must implement, as well as the
>    interactions between HNCP and Babel.

SB> HNCP needs to be expanded Both need a reference, but the reference
SB> needs to be expanded i.e. RFC7788 not [RFC7788]

Is this consistent with the last sentence of RFC 7322 Section 4.3?

-- Juliusz