2010-05-29 22:23:21 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2010, Swedish Institute of Computer Science.
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
* 3. Neither the name of the Institute nor the names of its contributors
|
|
|
|
* may be used to endorse or promote products derived from this software
|
|
|
|
* without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*
|
|
|
|
* This file is part of the Contiki operating system.
|
|
|
|
*
|
|
|
|
*/
|
2014-11-08 00:15:42 +00:00
|
|
|
|
2010-05-29 22:23:21 +00:00
|
|
|
/**
|
|
|
|
* \file
|
2015-11-29 20:44:39 +00:00
|
|
|
* The Minimum Rank with Hysteresis Objective Function (MRHOF), RFC6719
|
2011-02-04 14:45:24 +00:00
|
|
|
*
|
2014-05-30 09:01:20 +00:00
|
|
|
* This implementation uses the estimated number of
|
2013-07-01 16:00:21 +00:00
|
|
|
* transmissions (ETX) as the additive routing metric,
|
|
|
|
* and also provides stubs for the energy metric.
|
2010-05-29 22:23:21 +00:00
|
|
|
*
|
|
|
|
* \author Joakim Eriksson <joakime@sics.se>, Nicolas Tsiftes <nvt@sics.se>
|
|
|
|
*/
|
|
|
|
|
2014-11-08 00:15:42 +00:00
|
|
|
/**
|
2017-09-29 20:18:48 +00:00
|
|
|
* \addtogroup uip
|
2014-11-08 00:15:42 +00:00
|
|
|
* @{
|
|
|
|
*/
|
|
|
|
|
2017-12-09 12:55:57 +00:00
|
|
|
#include "net/routing/rpl-classic/rpl.h"
|
|
|
|
#include "net/routing/rpl-classic/rpl-private.h"
|
2013-07-29 16:49:21 +00:00
|
|
|
#include "net/nbr-table.h"
|
2015-11-29 20:44:39 +00:00
|
|
|
#include "net/link-stats.h"
|
2010-05-29 22:23:21 +00:00
|
|
|
|
2011-09-22 15:22:59 +00:00
|
|
|
#define DEBUG DEBUG_NONE
|
2017-09-22 13:06:44 +00:00
|
|
|
#include "net/ipv6/uip-debug.h"
|
2010-05-29 22:23:21 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
/* RFC6551 and RFC6719 do not mandate the use of a specific formula to
|
|
|
|
* compute the ETX value. This MRHOF implementation relies on the value
|
|
|
|
* computed by the link-stats module. It has an optional feature,
|
|
|
|
* RPL_MRHOF_CONF_SQUARED_ETX, that consists in squaring this value.
|
|
|
|
* This basically penalizes bad links while preserving the semantics of ETX
|
|
|
|
* (1 = perfect link, more = worse link). As a result, MRHOF will favor
|
|
|
|
* good links over short paths. Recommended when reliability is a priority.
|
|
|
|
* Without this feature, a hop with 50% PRR (ETX=2) is equivalent to two
|
|
|
|
* perfect hops with 100% PRR (ETX=1+1=2). With this feature, the former
|
|
|
|
* path obtains ETX=2*2=4 and the former ETX=1*1+1*1=2. */
|
|
|
|
#ifdef RPL_MRHOF_CONF_SQUARED_ETX
|
|
|
|
#define RPL_MRHOF_SQUARED_ETX RPL_MRHOF_CONF_SQUARED_ETX
|
|
|
|
#else /* RPL_MRHOF_CONF_SQUARED_ETX */
|
|
|
|
#define RPL_MRHOF_SQUARED_ETX 0
|
|
|
|
#endif /* RPL_MRHOF_CONF_SQUARED_ETX */
|
|
|
|
|
2016-06-03 10:51:39 +00:00
|
|
|
#if !RPL_MRHOF_SQUARED_ETX
|
2015-11-29 20:44:39 +00:00
|
|
|
/* Configuration parameters of RFC6719. Reject parents that have a higher
|
2016-02-04 21:43:34 +00:00
|
|
|
* link metric than the following. The default value is 512 but we use 1024. */
|
2016-06-03 10:51:39 +00:00
|
|
|
#define MAX_LINK_METRIC 1024 /* Eq ETX of 8 */
|
2015-11-29 20:44:39 +00:00
|
|
|
/* Hysteresis of MRHOF: the rank must differ more than PARENT_SWITCH_THRESHOLD_DIV
|
|
|
|
* in order to switch preferred parent. Default in RFC6719: 192, eq ETX of 1.5.
|
|
|
|
* We use a more aggressive setting: 96, eq ETX of 0.75.
|
2011-02-04 14:45:24 +00:00
|
|
|
*/
|
2016-06-03 10:51:39 +00:00
|
|
|
#define PARENT_SWITCH_THRESHOLD 96 /* Eq ETX of 0.75 */
|
|
|
|
#else /* !RPL_MRHOF_SQUARED_ETX */
|
|
|
|
#define MAX_LINK_METRIC 2048 /* Eq ETX of 4 */
|
|
|
|
#define PARENT_SWITCH_THRESHOLD 160 /* Eq ETX of 1.25 (results in a churn comparable
|
|
|
|
to the threshold of 96 in the non-squared case) */
|
|
|
|
#endif /* !RPL_MRHOF_SQUARED_ETX */
|
|
|
|
|
|
|
|
/* Reject parents that have a higher path cost than the following. */
|
|
|
|
#define MAX_PATH_COST 32768 /* Eq path ETX of 256 */
|
2010-05-29 22:23:21 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
/*---------------------------------------------------------------------------*/
|
2010-05-31 14:22:00 +00:00
|
|
|
static void
|
2014-03-27 15:17:47 +00:00
|
|
|
reset(rpl_dag_t *dag)
|
2010-05-31 14:22:00 +00:00
|
|
|
{
|
2013-09-20 13:44:18 +00:00
|
|
|
PRINTF("RPL: Reset MRHOF\n");
|
2010-05-31 14:22:00 +00:00
|
|
|
}
|
2015-11-29 20:44:39 +00:00
|
|
|
/*---------------------------------------------------------------------------*/
|
2016-03-26 19:12:52 +00:00
|
|
|
#if RPL_WITH_DAO_ACK
|
2015-08-19 13:50:20 +00:00
|
|
|
static void
|
|
|
|
dao_ack_callback(rpl_parent_t *p, int status)
|
|
|
|
{
|
2016-03-26 19:12:52 +00:00
|
|
|
if(status == RPL_DAO_ACK_UNABLE_TO_ADD_ROUTE_AT_ROOT) {
|
2015-09-23 07:12:35 +00:00
|
|
|
return;
|
|
|
|
}
|
2015-08-19 13:50:20 +00:00
|
|
|
/* here we need to handle failed DAO's and other stuff */
|
2015-09-23 07:12:35 +00:00
|
|
|
PRINTF("RPL: MRHOF - DAO ACK received with status: %d\n", status);
|
2015-08-19 13:50:20 +00:00
|
|
|
if(status >= RPL_DAO_ACK_UNABLE_TO_ACCEPT) {
|
|
|
|
/* punish the ETX as if this was 10 packets lost */
|
2016-04-22 21:59:59 +00:00
|
|
|
link_stats_packet_sent(rpl_get_parent_lladdr(p), MAC_TX_OK, 10);
|
2015-08-19 13:50:20 +00:00
|
|
|
} else if(status == RPL_DAO_ACK_TIMEOUT) { /* timeout = no ack */
|
|
|
|
/* punish the total lack of ACK with a similar punishment */
|
2016-04-22 21:59:59 +00:00
|
|
|
link_stats_packet_sent(rpl_get_parent_lladdr(p), MAC_TX_OK, 10);
|
2015-08-19 13:50:20 +00:00
|
|
|
}
|
|
|
|
}
|
2016-03-26 19:12:52 +00:00
|
|
|
#endif /* RPL_WITH_DAO_ACK */
|
2015-11-29 20:44:39 +00:00
|
|
|
/*---------------------------------------------------------------------------*/
|
|
|
|
static uint16_t
|
|
|
|
parent_link_metric(rpl_parent_t *p)
|
2010-05-29 22:23:21 +00:00
|
|
|
{
|
2015-11-29 20:44:39 +00:00
|
|
|
const struct link_stats *stats = rpl_get_parent_link_stats(p);
|
|
|
|
if(stats != NULL) {
|
|
|
|
#if RPL_MRHOF_SQUARED_ETX
|
|
|
|
uint32_t squared_etx = ((uint32_t)stats->etx * stats->etx) / LINK_STATS_ETX_DIVISOR;
|
|
|
|
return (uint16_t)MIN(squared_etx, 0xffff);
|
|
|
|
#else /* RPL_MRHOF_SQUARED_ETX */
|
|
|
|
return stats->etx;
|
|
|
|
#endif /* RPL_MRHOF_SQUARED_ETX */
|
2013-07-29 19:50:33 +00:00
|
|
|
}
|
2015-11-29 20:44:39 +00:00
|
|
|
return 0xffff;
|
2010-05-29 22:23:21 +00:00
|
|
|
}
|
2015-11-29 20:44:39 +00:00
|
|
|
/*---------------------------------------------------------------------------*/
|
|
|
|
static uint16_t
|
|
|
|
parent_path_cost(rpl_parent_t *p)
|
2010-05-29 22:23:21 +00:00
|
|
|
{
|
2015-11-29 20:44:39 +00:00
|
|
|
uint16_t base;
|
2010-06-14 12:44:37 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
if(p == NULL || p->dag == NULL || p->dag->instance == NULL) {
|
|
|
|
return 0xffff;
|
2010-06-14 12:44:37 +00:00
|
|
|
}
|
2010-05-29 22:23:21 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
#if RPL_WITH_MC
|
|
|
|
/* Handle the different MC types */
|
|
|
|
switch(p->dag->instance->mc.type) {
|
|
|
|
case RPL_DAG_MC_ETX:
|
|
|
|
base = p->mc.obj.etx;
|
|
|
|
break;
|
|
|
|
case RPL_DAG_MC_ENERGY:
|
|
|
|
base = p->mc.obj.energy.energy_est << 8;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
base = p->rank;
|
|
|
|
break;
|
2010-06-03 12:12:20 +00:00
|
|
|
}
|
2015-11-29 20:44:39 +00:00
|
|
|
#else /* RPL_WITH_MC */
|
|
|
|
base = p->rank;
|
|
|
|
#endif /* RPL_WITH_MC */
|
2010-05-29 22:23:21 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
/* path cost upper bound: 0xffff */
|
|
|
|
return MIN((uint32_t)base + parent_link_metric(p), 0xffff);
|
2010-05-29 22:23:21 +00:00
|
|
|
}
|
2015-11-29 20:44:39 +00:00
|
|
|
/*---------------------------------------------------------------------------*/
|
|
|
|
static rpl_rank_t
|
|
|
|
rank_via_parent(rpl_parent_t *p)
|
2011-07-11 13:50:51 +00:00
|
|
|
{
|
2015-11-29 20:44:39 +00:00
|
|
|
uint16_t min_hoprankinc;
|
|
|
|
uint16_t path_cost;
|
2011-07-11 13:50:51 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
if(p == NULL || p->dag == NULL || p->dag->instance == NULL) {
|
2017-06-10 12:35:39 +00:00
|
|
|
return RPL_INFINITE_RANK;
|
2011-07-11 13:50:51 +00:00
|
|
|
}
|
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
min_hoprankinc = p->dag->instance->min_hoprankinc;
|
|
|
|
path_cost = parent_path_cost(p);
|
2011-07-11 13:50:51 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
/* Rank lower-bound: parent rank + min_hoprankinc */
|
|
|
|
return MAX(MIN((uint32_t)p->rank + min_hoprankinc, 0xffff), path_cost);
|
|
|
|
}
|
|
|
|
/*---------------------------------------------------------------------------*/
|
|
|
|
static int
|
|
|
|
parent_is_acceptable(rpl_parent_t *p)
|
|
|
|
{
|
|
|
|
uint16_t link_metric = parent_link_metric(p);
|
|
|
|
uint16_t path_cost = parent_path_cost(p);
|
|
|
|
/* Exclude links with too high link metrics or path cost (RFC6719, 3.2.2) */
|
|
|
|
return link_metric <= MAX_LINK_METRIC && path_cost <= MAX_PATH_COST;
|
|
|
|
}
|
|
|
|
/*---------------------------------------------------------------------------*/
|
2015-11-30 18:17:17 +00:00
|
|
|
static int
|
|
|
|
parent_has_usable_link(rpl_parent_t *p)
|
|
|
|
{
|
|
|
|
uint16_t link_metric = parent_link_metric(p);
|
|
|
|
/* Exclude links with too high link metrics */
|
|
|
|
return link_metric <= MAX_LINK_METRIC;
|
|
|
|
}
|
|
|
|
/*---------------------------------------------------------------------------*/
|
2010-05-29 22:23:21 +00:00
|
|
|
static rpl_parent_t *
|
|
|
|
best_parent(rpl_parent_t *p1, rpl_parent_t *p2)
|
|
|
|
{
|
2010-06-14 12:44:37 +00:00
|
|
|
rpl_dag_t *dag;
|
2015-11-29 20:44:39 +00:00
|
|
|
uint16_t p1_cost;
|
|
|
|
uint16_t p2_cost;
|
|
|
|
int p1_is_acceptable;
|
|
|
|
int p2_is_acceptable;
|
|
|
|
|
2016-02-04 21:43:34 +00:00
|
|
|
p1_is_acceptable = p1 != NULL && parent_is_acceptable(p1);
|
|
|
|
p2_is_acceptable = p2 != NULL && parent_is_acceptable(p2);
|
2010-09-15 13:22:22 +00:00
|
|
|
|
2016-02-04 21:43:34 +00:00
|
|
|
if(!p1_is_acceptable) {
|
|
|
|
return p2_is_acceptable ? p2 : NULL;
|
|
|
|
}
|
|
|
|
if(!p2_is_acceptable) {
|
|
|
|
return p1_is_acceptable ? p1 : NULL;
|
2015-11-29 20:44:39 +00:00
|
|
|
}
|
2011-02-15 00:13:30 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
dag = p1->dag; /* Both parents are in the same DAG. */
|
|
|
|
p1_cost = parent_path_cost(p1);
|
|
|
|
p2_cost = parent_path_cost(p2);
|
2010-06-14 12:44:37 +00:00
|
|
|
|
|
|
|
/* Maintain stability of the preferred parent in case of similar ranks. */
|
2011-03-04 15:40:40 +00:00
|
|
|
if(p1 == dag->preferred_parent || p2 == dag->preferred_parent) {
|
2015-11-29 20:44:39 +00:00
|
|
|
if(p1_cost < p2_cost + PARENT_SWITCH_THRESHOLD &&
|
|
|
|
p1_cost > p2_cost - PARENT_SWITCH_THRESHOLD) {
|
2011-03-04 15:40:40 +00:00
|
|
|
return dag->preferred_parent;
|
|
|
|
}
|
2010-06-14 12:44:37 +00:00
|
|
|
}
|
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
return p1_cost < p2_cost ? p1 : p2;
|
2010-05-29 22:23:21 +00:00
|
|
|
}
|
2015-11-29 20:44:39 +00:00
|
|
|
/*---------------------------------------------------------------------------*/
|
|
|
|
static rpl_dag_t *
|
|
|
|
best_dag(rpl_dag_t *d1, rpl_dag_t *d2)
|
|
|
|
{
|
|
|
|
if(d1->grounded != d2->grounded) {
|
|
|
|
return d1->grounded ? d1 : d2;
|
|
|
|
}
|
2011-02-15 00:13:30 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
if(d1->preference != d2->preference) {
|
|
|
|
return d1->preference > d2->preference ? d1 : d2;
|
|
|
|
}
|
|
|
|
|
|
|
|
return d1->rank < d2->rank ? d1 : d2;
|
|
|
|
}
|
|
|
|
/*---------------------------------------------------------------------------*/
|
|
|
|
#if !RPL_WITH_MC
|
2011-02-15 00:13:30 +00:00
|
|
|
static void
|
2011-07-11 13:50:51 +00:00
|
|
|
update_metric_container(rpl_instance_t *instance)
|
2011-02-15 00:13:30 +00:00
|
|
|
{
|
2015-11-29 20:44:39 +00:00
|
|
|
instance->mc.type = RPL_DAG_MC_NONE;
|
2013-09-20 13:44:18 +00:00
|
|
|
}
|
2015-11-29 20:44:39 +00:00
|
|
|
#else /* RPL_WITH_MC */
|
2013-09-20 13:44:18 +00:00
|
|
|
static void
|
|
|
|
update_metric_container(rpl_instance_t *instance)
|
|
|
|
{
|
2011-07-11 13:50:51 +00:00
|
|
|
rpl_dag_t *dag;
|
2015-11-29 20:44:39 +00:00
|
|
|
uint16_t path_cost;
|
2011-04-25 20:37:25 +00:00
|
|
|
uint8_t type;
|
2011-07-11 13:50:51 +00:00
|
|
|
|
|
|
|
dag = instance->current_dag;
|
2015-11-29 20:44:39 +00:00
|
|
|
if(dag == NULL || !dag->joined) {
|
2013-09-20 13:44:18 +00:00
|
|
|
PRINTF("RPL: Cannot update the metric container when not joined\n");
|
2011-07-11 13:50:51 +00:00
|
|
|
return;
|
|
|
|
}
|
2011-04-25 20:37:25 +00:00
|
|
|
|
2011-07-11 13:50:51 +00:00
|
|
|
if(dag->rank == ROOT_RANK(instance)) {
|
2015-11-29 20:44:39 +00:00
|
|
|
/* Configure MC at root only, other nodes are auto-configured when joining */
|
|
|
|
instance->mc.type = RPL_DAG_MC;
|
|
|
|
instance->mc.flags = 0;
|
|
|
|
instance->mc.aggr = RPL_DAG_MC_AGGR_ADDITIVE;
|
|
|
|
instance->mc.prec = 0;
|
|
|
|
path_cost = dag->rank;
|
2011-02-15 00:13:30 +00:00
|
|
|
} else {
|
2015-11-29 20:44:39 +00:00
|
|
|
path_cost = parent_path_cost(dag->preferred_parent);
|
2011-02-15 00:13:30 +00:00
|
|
|
}
|
2011-03-16 12:29:01 +00:00
|
|
|
|
2015-11-29 20:44:39 +00:00
|
|
|
/* Handle the different MC types */
|
|
|
|
switch(instance->mc.type) {
|
|
|
|
case RPL_DAG_MC_NONE:
|
|
|
|
break;
|
|
|
|
case RPL_DAG_MC_ETX:
|
|
|
|
instance->mc.length = sizeof(instance->mc.obj.etx);
|
|
|
|
instance->mc.obj.etx = path_cost;
|
|
|
|
break;
|
|
|
|
case RPL_DAG_MC_ENERGY:
|
|
|
|
instance->mc.length = sizeof(instance->mc.obj.energy);
|
|
|
|
if(dag->rank == ROOT_RANK(instance)) {
|
|
|
|
type = RPL_DAG_MC_ENERGY_TYPE_MAINS;
|
|
|
|
} else {
|
|
|
|
type = RPL_DAG_MC_ENERGY_TYPE_BATTERY;
|
|
|
|
}
|
|
|
|
instance->mc.obj.energy.flags = type << RPL_DAG_MC_ENERGY_TYPE;
|
|
|
|
/* Energy_est is only one byte, use the least significant byte of the path metric. */
|
|
|
|
instance->mc.obj.energy.energy_est = path_cost >> 8;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
PRINTF("RPL: MRHOF, non-supported MC %u\n", instance->mc.type);
|
|
|
|
break;
|
2011-03-15 00:16:20 +00:00
|
|
|
}
|
2011-02-15 00:13:30 +00:00
|
|
|
}
|
2015-11-29 20:44:39 +00:00
|
|
|
#endif /* RPL_WITH_MC */
|
|
|
|
/*---------------------------------------------------------------------------*/
|
|
|
|
rpl_of_t rpl_mrhof = {
|
|
|
|
reset,
|
|
|
|
#if RPL_WITH_DAO_ACK
|
|
|
|
dao_ack_callback,
|
|
|
|
#endif
|
|
|
|
parent_link_metric,
|
2015-11-30 18:17:17 +00:00
|
|
|
parent_has_usable_link,
|
2015-11-29 20:44:39 +00:00
|
|
|
parent_path_cost,
|
|
|
|
rank_via_parent,
|
|
|
|
best_parent,
|
|
|
|
best_dag,
|
|
|
|
update_metric_container,
|
|
|
|
RPL_OCP_MRHOF
|
|
|
|
};
|
2014-05-30 09:01:20 +00:00
|
|
|
|
|
|
|
/** @}*/
|