Re: [homenet] draft-boutier-homenet-source-specific-routing-00

Juliusz Chroboczek <jch@pps.univ-paris-diderot.fr> Tue, 09 July 2013 14:53 UTC

Return-Path: <jch@pps.univ-paris-diderot.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 DCE4721F9B85 for <homenet@ietfa.amsl.com>; Tue, 9 Jul 2013 07:53:46 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.249
X-Spam-Level:
X-Spam-Status: No, score=-2.249 tagged_above=-999 required=5 tests=[BAYES_00=-2.599, HELO_EQ_FR=0.35]
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 We7IEzZLz1cl for <homenet@ietfa.amsl.com>; Tue, 9 Jul 2013 07:53:40 -0700 (PDT)
Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by ietfa.amsl.com (Postfix) with ESMTP id 3ACD221F9FCB for <homenet@ietf.org>; Tue, 9 Jul 2013 07:53:36 -0700 (PDT)
Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/38117) with ESMTP id r69ErZbp023770; Tue, 9 Jul 2013 16:53:35 +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 325D74FABD; Tue, 9 Jul 2013 16:53:35 +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 vCyTacY-YuTf; Tue, 9 Jul 2013 16:53:33 +0200 (CEST)
Received: from pirx.pps.jussieu.fr (bob75-6-82-238-73-9.fbx.proxad.net [82.238.73.9]) (Authenticated sender: jch) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id C161B4FAB8; Tue, 9 Jul 2013 16:53:33 +0200 (CEST)
Received: from localhost ([127.0.0.1] helo=pirx.pps.jussieu.fr) by pirx.pps.jussieu.fr with esmtp (Exim 4.80) (envelope-from <jch@pps.univ-paris-diderot.fr>) id 1UwZIL-0001DR-F3; Tue, 09 Jul 2013 16:53:33 +0200
Date: Tue, 09 Jul 2013 16:53:33 +0200
Message-ID: <87a9lvwzrm.wl%jch@pps.univ-paris-diderot.fr>
From: Juliusz Chroboczek <jch@pps.univ-paris-diderot.fr>
To: Simon Perreault <simon.perreault@viagenie.ca>
In-Reply-To: <51DBC166.6090302@viagenie.ca>
References: <7ippuz4fb8.wl%jch@pps.univ-paris-diderot.fr> <CAKD1Yr3HZOJecNP6hE1yOBdGAxxXzMb5W23aPm9XhZv0fzKBUQ@mail.gmail.com> <7ibo6iw7ch.wl%jch@pps.univ-paris-diderot.fr> <CAKD1Yr0_yZsvw58hwjY++9RJT9urkKbX33zzwTjyWGTKK7RoVg@mail.gmail.com> <87ehbdi33a.wl%jch@pps.univ-paris-diderot.fr> <CAKD1Yr0x=j0tvkM2X8bGw4T538mnm7CV592GBHO76dSVhGLE7w@mail.gmail.com> <87wqp0lal6.wl%jch@pps.univ-paris-diderot.fr> <51DBC166.6090302@viagenie.ca>
User-Agent: Wanderlust/2.15.9
MIME-Version: 1.0 (generated by SEMI 1.14.7 - "Harue")
Content-Type: text/plain; charset="US-ASCII"
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Tue, 09 Jul 2013 16:53:35 +0200 (CEST)
Cc: homenet@ietf.org
Subject: Re: [homenet] draft-boutier-homenet-source-specific-routing-00
X-BeenThere: homenet@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: <homenet.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/homenet>, <mailto:homenet-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/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: Tue, 09 Jul 2013 14:53:47 -0000

> >   (d, s) pairs are ordered according to the lexicographic product of
> >   the longer-prefix orderings
> 
> A merged draft having both that sentence and a longer explanation
> for implementers would make me happy.

Matthieu now has a formulation that is both declarative (it describes
where a packet must go without mandating a particular algorithm) and
expressed in fairly elementary terms (it uses the notion of more or
less specific patterns).  It's a little longer than the compact block
of jargon above, but will hopefully remain abstract enough to allow
reasoning.

I'll run it through this list when we've frozen the terminology.

-- Juliusz