Re: [Roll] Ralph's DISCUSS on MRHOF spec

Philip Levis <pal@cs.stanford.edu> Fri, 08 June 2012 22:35 UTC

Return-Path: <pal@cs.stanford.edu>
X-Original-To: roll@ietfa.amsl.com
Delivered-To: roll@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id C6D3A11E8154 for <roll@ietfa.amsl.com>; Fri, 8 Jun 2012 15:35:32 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.599
X-Spam-Level:
X-Spam-Status: No, score=-6.599 tagged_above=-999 required=5 tests=[BAYES_00=-2.599, RCVD_IN_DNSWL_MED=-4]
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 DCuxqaOlEpOX for <roll@ietfa.amsl.com>; Fri, 8 Jun 2012 15:35:32 -0700 (PDT)
Received: from cs-smtp-1.Stanford.EDU (cs-smtp-1.Stanford.EDU [171.64.64.25]) by ietfa.amsl.com (Postfix) with ESMTP id 49B1E11E8091 for <roll@ietf.org>; Fri, 8 Jun 2012 15:35:32 -0700 (PDT)
Received: from 23-24-194-1-static.hfc.comcastbusiness.net ([23.24.194.1] helo=[192.168.1.108]) by cs-smtp-1.Stanford.EDU with esmtpsa (TLSv1:AES128-SHA:128) (Exim 4.76) (envelope-from <pal@cs.stanford.edu>) id 1Sd7mE-00068P-C9; Fri, 08 Jun 2012 15:35:30 -0700
Mime-Version: 1.0 (Apple Message framework v1257)
Content-Type: text/plain; charset="us-ascii"
From: Philip Levis <pal@cs.stanford.edu>
In-Reply-To: <E045AECD98228444A58C61C200AE1BD806E78F8F@xmb-rcd-x01.cisco.com>
Date: Fri, 08 Jun 2012 15:35:28 -0700
Content-Transfer-Encoding: quoted-printable
Message-Id: <EC60D6F0-41AB-447A-8A85-9ADDC7D335CA@cs.stanford.edu>
References: <831338825.521366.1338009982543.JavaMail.root@mail17.pantherlink.uwm.edu> <8EFE80AF-3E7C-494E-8237-C63E6ECDAE7E@gmail.com> <53E28E3B-4C73-4BD3-BCFE-2C669FC3FA1D@cs.stanford.edu> <CAC8E858-8215-4BC8-98C6-962109324BED@gmail.com> <E045AECD98228444A58C61C200AE1BD806E78F8F@xmb-rcd-x01.cisco.com>
To: Pascal Thubert <pthubert@cisco.com>
X-Mailer: Apple Mail (2.1257)
X-Scan-Signature: 5d20a7956aeeabba2813f93fa960b57d
Cc: Haberman Brian <brian@innovationslab.net>, roll <roll@ietf.org>, Stiemerling Martin <mstiemerling@googlemail.com>, Michael Richardson <mcr@sandelman.ca>
Subject: Re: [Roll] Ralph's DISCUSS on MRHOF spec
X-BeenThere: roll@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
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, 08 Jun 2012 22:35:32 -0000

On Jun 7, 2012, at 2:49 PM, Pascal Thubert (pthubert) wrote:

> 
> [Pascal] I agree with Ralph here. I fail to be convinced that there will an explosion of OCPs if we fail to factorize the metrics. But I see how the device implementation can be simplified if the OCP says it all. Also, we do not want to force a device that implements MRHOF to have to implement all metrics in the I-D. Conversely, say we extend MrHof to other metrics with further work, wouldn't it become OCP 2 anyway? I wouldn't mind blocking OCP 1..9 for current and future MrHof metric variations.


Well, here was your argument for it:

Begin forwarded message:

> From: "Pascal Thubert (pthubert)" <pthubert@cisco.com>
> Subject: RE: rank and metric in DIOs
> Date: November 6, 2009 12:52:54 AM PST
> To: "Jonathan Hui" <jhui@archrock.com>, "Richard Kelsey" <richard.kelsey@ember.com>
> Cc: <rpl-authors@external.cisco.com>
> 
> Hi Jonathan:
> 
> I do not think we need to enforce anything. The gear box protects the
> future. I think we must leave the core spec abstract on that. And since
> the burden is on the OCP anyway, what's the point?
> 
> OTOH, we can design an OCP / metric where the metric has the properties
> that is proposed here. In that case, the OCP should be simpler. OCP zero
> is a bit like that if you look at it :) Maybe our disagreement is only
> what is in the base spec (the generic thing) and what goes in a specific
> instantiation (the OCP).
> 
> I can wholeheartedly accept Richard's way of start simple and solid, and
> then build over it if that's how more people can catch up with our work
> for both understanding and implementation. As a next step for an OCP>0,
> it is certainly a good thing to do. I'd support that, even more gladly
> if we base it on ETX. 
> 
> Personally I think that this proposal yields limitations that will soon
> appear inacceptable for a number of use cases where you have more
> metrics, not necessarily incremental, fast varying, and logic to wrap
> that up. So we MUST NOT make it generic. Some of those metrics you need
> to propagate, but you do not want to change the rank and restart
> trickle.
> 
> I listed the properties of the rank several times already. Its stability
> (long time constant is only one of those properties). 
> 
> A list (probably incomplete) of the differences:
> 
> - its type: it is a scalar
> - its function: it is a relative coordinate, not a cost or a distance to
> root.
> - its granularity: it is coarse grained to enable siblings
> - its range with a short infinite
> - its properties: rank is strictly monotonic, and increments from parent
> rank + OCP stuff, not like the metrics themselves increment or
> propagate. How would you play with throughput or jitter?
> - universal and very abstract: we can always default to OCP0. I have
> uses cases where I could actually do that successfully, like cars in a
> parking lot.
> 
> I think that the OCP job to turn its knowledge of the requirements, the
> environment and the ranks of parents into a rank cannot be generalized.
> Leaving that operation out of RPL base spec is actually making it
> simpler.
> 
> I'd be glad to add some words in RPL base spec on those rank properties
> though...


Phil