Re: [Roll] [6tisch] Proposed improvement in RH3-6LoRH

["Pascal Thubert (pthubert)" <[e-mail]>]

Cool!

I’ll add some text about that.

The other thing that is missing is the text that describe the operation that I drew, which is implicit at best in the current draft.

What about:
“
Upon reception, the router checks whether the address in the first entry of the
first RH3-6LoRH one of its own addresses. In that case, router MUST consume that
entry before forwarding, which is an action of popping from a stack, where the
stack is effectively the sequence of entries in consecutive RH3-6LoRH headers.

Popping an entry of an RH3-6LoRH header is a recursive action performed as
follows:
> If the Size of the RH3-6LoRH header is 1 or more, indicating that there
  are at least 2 entries in the header, the router removes the first entry and
  decrements the Size (by 1).

> Else (meaning that this is the last entry in the RH3-6LoRH header),
  if there is no next RH3-6LoRH header after this then the RH3-6LoRH is removed.

> Else, if there is a next RH3-6LoRH of a Type with a larger or equal value,
  meaning a same or lesser compression yielding same or larger compressed forms,
  then the RH3-6LoRH is removed.

> Else, the first entry of the next RH3-6LoRH is popped from the next RH3-6LoRH
  and coalesced with the first entry of this RH3-6LoRH.

At the end of the process, if there is no more RH3-6LoRH in the packet, then
the processing node is the last router along the source route path.
“


Cheers,

Pascal

From: Tengfei Chang [mailto:[e-mail]]
Sent: mardi 19 janvier 2016 14:00
To: Pascal Thubert (pthubert) <[e-mail]>
Cc: [e-mail]; [e-mail]; Routing Over Low power and Lossy networks <[e-mail]>
Subject: Re: [6tisch] Proposed improvement in RH3-6LoRH

Hello Pascal,

Thanks a lot for the detailed answer! I think it solves all my concern. I will vote for it!

Tengfei



On Tue, Jan 19, 2016 at 11:00 AM, Pascal Thubert (pthubert) <[e-mail]<mailto:[e-mail]>> wrote:
Hello Tengfei:

Basically the change proposal accounts for the assumption that the last segment may be different, which comes with the idea of supporting non RPL leaves. If you look at it the original RH4 (RFC 6554) makes a difference for the last hop.

Also, the root is the one computing the 6LoRH so it is easier for it to take its own address as reference.

Finally the text is unclear about which bits from the destination are to be used.

All in all, using the root as reference makes more sense than using the final destination as I had initially proposed. So the new proposal is not a merge but an instead, with clarifying text about the process I showed in the picture.

More answers  inline:
Dear all

The picture below illustrates how the RH3 6LoRH works with draft 03 in a case like Root -> A -> B -> C -> leaf

[cid:image001.png@01D152A0.1C780E10]

The first 6LoRH is expected to be a full address (128 bits) to set up a reference and the next 6LoRH are expected to be smaller and just override the rightmost bits which form the delta from the reference.

What if the B and C address can be compressed to one byte(RH3-6LoRH type 0)?
When leaving the root the format would like:
RH3-6LoRH type 4    IPv6 Prefix (64bits)   A's suffix (64bits)    RH3-6LoRH type 0      B's suffix (8bits)    C's suffix (8bits)


>  Pascal If A’s address is the same as B and C for the first 120 bits then this format is correct : )> Pascal



should node A need to extend the address of B address when the packet leaving A? Like:
RH3-6LoRH type 4    IPv6 Prefix (64bits)   B's suffix (64bits)    RH3-6LoRH type 0      C's suffix (8bits)


>  Pascal: That is correct. Note that there is no separation between prefix in suffix in the type 4. So the drawing applies for all types if you consider that the prefix length is 64, 96, 112 or 120 depending on the type of the next RH. With the proposal, if the root has the same /120 prefix as A, B and C then we have a single type 0 with A, B and C in it.
Proposal: we could consider that the 128bits source of the IP header before the RH3 is the reference to start with.
I have no comments with the proposal. Just want to mention in the currently version of draft (version 3) , it says : (in section 5)
...

   If some bits of the first address in the RH3-6LoRH header can be

   derived from the final destination in the LoWPAN_IPHC, then that

   address may be compressed; otherwise it is expressed as a full IPv6

   address of 128 bits.  Next addresses only need to express the delta

   from the previous address.
...
How to understand this combining with the proposal? (Or this is the point we are going to replace by the proposal? Let me know)


>  Pascal: proposal is to replace. That text was unclear and more complex to implement.  And fails to optimize for leaves that are not configured like the mesh.
With that even the first hop could be compressed the same way as the other hops. With RPL, the root is the encapsulator if IP in IP in used. Good thing, in that case the root is totally elided with the IP-in-IP 6LoRH.
That's great! Could I confirm when the packet is inside a RPL domain where IP in IP is elided, the source destination in IPHC is the reference?

>  Pascal: Yes. The only case where IP in IP is elided is when the source is the root. The root would still be the reference. The text I proposed says the Source of the header that is placed before the RH3, and I meant in the non-compressed form. With RPL as it stands today this is always the root.
So this simple proposal saves up to 16 octets (that’s in the case with a single subnet and all addresses differ only by the last 2 bytes). I’m willing to add it in the next revision.
I don't know how to calculate the saved bytes. For this case, will the format looks like this?
RH3-6LoRH type 1    A's suffix (16bits)     B's suffix (16bits)   C's suffix (16bits)

>  Pascal: Yes. In that case you save 14 bytes in A’s address plus the RH3-6LoRH type 4 which is 2 additional bytes, 16 total.
Any opposition?

Pascal

Thanks for the proposal!



>  Pascal: Do you vote for it? I’m asking because the plugtest is coming.

_______________________________________________
6tisch mailing list
[e-mail]<mailto:[e-mail]>
https://www.ietf.org/mailman/listinfo/6tisch