Re: [Roll] [manet] Understanding RPL [was: Working group re-charter ideas]

Juliusz Chroboczek <jch@pps.univ-paris-diderot.fr> Fri, 03 April 2015 09:59 UTC

Return-Path: <jch@pps.univ-paris-diderot.fr>
X-Original-To: roll@ietfa.amsl.com
Delivered-To: roll@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 950A51A6F13; Fri, 3 Apr 2015 02:59:24 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.25
X-Spam-Level:
X-Spam-Status: No, score=-1.25 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HELO_EQ_FR=0.35, MIME_8BIT_HEADER=0.3] autolearn=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 do8GuCX7hqvD; Fri, 3 Apr 2015 02:59:24 -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 A66431A6F5D; Fri, 3 Apr 2015 02:59:23 -0700 (PDT)
Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/56100) with ESMTP id t339xL5f014106 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Fri, 3 Apr 2015 11:59:21 +0200
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/56228) with ESMTP id t339xLCR000350; Fri, 3 Apr 2015 11:59:21 +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 802B92A0C60; Fri, 3 Apr 2015 11:59:21 +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 L2zuLz0HTkDe; Fri, 3 Apr 2015 11:59:20 +0200 (CEST)
Received: from pirx.pps.jussieu.fr (unknown [78.194.40.74]) (Authenticated sender: jch) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id E7B202A0C02; Fri, 3 Apr 2015 11:59:19 +0200 (CEST)
Date: Fri, 03 Apr 2015 11:59:34 +0200
Message-ID: <87ego1zg55.wl-jch@pps.univ-paris-diderot.fr>
From: Juliusz Chroboczek <jch@pps.univ-paris-diderot.fr>
To: Cenk =?ISO-8859-1?Q?G=FCndogan?= <cnkgndgn@gmail.com>
In-Reply-To: <551E2FE1.4000509@gmail.com>
References: <CA+-pDCe1jMFaBJH5Ynss6Kf7mtxoLC8DYjz6N9d0Zu10o0WRuQ@mail.gmail.com> <CAGnRvuqzehpwW11XvhYQXZAjMiOvfexG0ygH4pnp6PyeD_Yq_Q@mail.gmail.com> <87pp7mlmf7.wl-jch@pps.univ-paris-diderot.fr> <E045AECD98228444A58C61C200AE1BD849D983BB@xmb-rcd-x01.cisco.com> <87fv8i85dq.wl-jch@pps.univ-paris-diderot.fr> <551E2FE1.4000509@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 [IPv6:2001:660:3301:8000::1:2]); Fri, 03 Apr 2015 11:59:21 +0200 (CEST)
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Fri, 03 Apr 2015 11:59:21 +0200 (CEST)
X-Miltered: at korolev with ID 551E6479.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-Miltered: at potemkin with ID 551E6479.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)!
X-j-chkmail-Enveloppe: 551E6479.001 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/<jch@pps.univ-paris-diderot.fr>
X-j-chkmail-Enveloppe: 551E6479.001 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/<jch@pps.univ-paris-diderot.fr>
X-j-chkmail-Score: MSGID : 551E6479.001 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000
X-j-chkmail-Score: MSGID : 551E6479.001 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000
X-j-chkmail-Status: Ham
X-j-chkmail-Status: Ham
Archived-At: <http://mailarchive.ietf.org/arch/msg/roll/7yy80NB1JBWnWjjHZLGuHpif8cY>
Cc: Routing Over Low power and Lossy networks <roll@ietf.org>, "manet@ietf.org" <manet@ietf.org>
Subject: Re: [Roll] [manet] Understanding RPL [was: Working group re-charter ideas]
X-BeenThere: roll@ietf.org
X-Mailman-Version: 2.1.15
Precedence: list
Reply-To: Routing Over Low power and Lossy networks <roll@ietf.org>
List-Id: Routing Over Low power and Lossy networks <roll.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/roll>, <mailto:roll-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/roll/>
List-Post: <mailto:roll@ietf.org>
List-Help: <mailto:roll-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/roll>, <mailto:roll-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 03 Apr 2015 09:59:24 -0000

>>> Local repair is done by either poisoning or detaching, section 8.2.2.5.

>> I don't see how that can be implemented.
>>
>> Suppose A is B's parent.  A advertises INFINITE_RANK.  A's retraction
>> ("poison") is lost.  B has no reason to change parents, so B has a parent
>> with infinite rank.  Oops, B is just violating the MUST NOT in 8.2.2.5.2.

> I also did struggle with this scenario for quite some time.

> However, there are several places in the RFC that specifically deal
> (directly or indirectly) with this issue.

I'm afraid I don't understand your answer.  Could you please tell me
exactly what happens in the scenario I've described above?

-- Juliusz