Re: [homenet] In-network connectivity and HNCP: IPv6 ULA

Juliusz Chroboczek <jch@irif.fr> Thu, 19 July 2018 09:57 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 C2B40130F30 for <homenet@ietfa.amsl.com>; Thu, 19 Jul 2018 02:57:14 -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 JIK4PlTyCmOD for <homenet@ietfa.amsl.com>; Thu, 19 Jul 2018 02:57:13 -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 10299130F2A for <homenet@ietf.org>; Thu, 19 Jul 2018 02:57:12 -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 w6J9uTLD015255; Thu, 19 Jul 2018 11:56:29 +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 0D476EB913; Thu, 19 Jul 2018 11:57:11 +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 bUwcmDcaBxn1; Thu, 19 Jul 2018 11:57:10 +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 18E05EB8EE; Thu, 19 Jul 2018 11:57:10 +0200 (CEST)
Date: Thu, 19 Jul 2018 11:57:09 +0200
Message-ID: <87sh4fczuy.wl-jch@irif.fr>
From: Juliusz Chroboczek <jch@irif.fr>
To: Ted Lemon <mellon@fugue.com>
Cc: Homenet <homenet@ietf.org>
In-Reply-To: <CAPt1N1mJj7NDsv8t5_ZofQDVED98BJd65RZLYXDuMBcEHR1zSA@mail.gmail.com>
References: <87bmb4oy1w.wl-jch@irif.fr> <CAPt1N1nz+SAZNjUEFQ1GzmrskWW0DAmh1TNaN1icPsD-YPd69g@mail.gmail.com> <874lgwotoo.wl-jch@irif.fr> <871sc0ot4r.wl-jch@irif.fr> <CAPt1N1mJj7NDsv8t5_ZofQDVED98BJd65RZLYXDuMBcEHR1zSA@mail.gmail.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]); Thu, 19 Jul 2018 11:56:29 +0200 (CEST)
X-Miltered: at korolev with ID 5B50604D.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-j-chkmail-Enveloppe: 5B50604D.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 : 5B50604D.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/homenet/VYGh4wsBNpwN-HPWfWmhJL3BLS4>
Subject: Re: [homenet] In-network connectivity and HNCP: IPv6 ULA
X-BeenThere: homenet@ietf.org
X-Mailman-Version: 2.1.27
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: Thu, 19 Jul 2018 09:57:15 -0000

I've re-read Section 6.5 of 7788, and it looks like I was wrong.  Sorry,
I should not be writing technical mails in the middle of the night.

As far as I can tell from the wording of 6.5:

  - creating ULA is SHOULD if there's no global IPv6, MUST NOT otherwise;
  - creating private IPv4 is MAY if there's no global IPv4, MUST NOT otherwise.

If my reading is correct, that sucks.  I don't see how the MAY can be
implemented, since there's no obvious way to distinguish global from local
IPv4, and if you don't implement the MAY, then you'll lose local IPv4
whenever your IPv4 provider has a glitch, as you described.

> if you have a connection over IPv4 and suddenly your IPv4 network is
> deconfigured, your connection will hang.

The point Brian and I are trying to make is that you should have no
intra-Homenet IPv4 traffic -- your applications should prefer IPv6 to
IPv4, and and there should always be IPv6 in your Homenet.

Unfortunately, our point is made moot by the first MUST NOT above, since
the ULA becomes deprecated whenever there's global IPv6.

-- Juliusz