NAME

v6LC_2_3_7 - Redirected Twice

TARGET

Host

TOPOLOGY

                           TN1
                            |
----+-------+-------+-------+--- LinkX
    |       |       |
   TR1     TR2     TR3     HUT
    |       |       |       |
----+-------+-------+-------+--- Link0

Link0	global	3ffe:501:ffff:100::/64
	link-local	fe80::/64
LinkX	global	3ffe:501:ffff::/64
	link-local	fe80::/64
TR1	global	3ffe:501:ffff:100:200:ff:fe00:a0a0
	link-local	fe80::200:ff:fe00:a0a0
	ether	00:00:00:00:a0:a0
TR2	global	3ffe:501:ffff:100:200:ff:fe00:a1a1
	link-local	fe80::200:ff:fe00:a1a1
	ether	00:00:00:00:a1:a1
TR3	global	3ffe:501:ffff:100:200:ff:fe00:a2a2
	link-local	fe80::200:ff:fe00:a2a2
	ether	00:00:00:00:a2:a2
HUT	global	3ffe:501:ffff:100::<NutDef.Link0_addr>
	link-local	fe80::<NutDef.Link0_addr>
	ether	<NutDef.Link0_addr>
TN1	global	3ffe:501:ffff::<TnDef.Link0_addr>
	link-local	fe80::<TnDef.Link0_addr>
	ether	<TnDef.Link0_addr>

SETUP

This minimal setup procedure provides the NUT with a default router TR1, a global prefix, and ensures that the NUT can communicate with TR1.

   TR1     HUT
    |       |
    | -->   | RA
    |       |
    *       | Wait (MAX_RTR_SOLICITATION_DELAY + RetransTimer * DupAddrDetectTransmits)
    |       |
    | ----> | Echo Request
    |   <-- | NS
    | ----> | NA
    | <---- | Echo Reply
    |       |
    V       V

1. Send RA

        IPv6 header
            hop limit          = 255
            source             = TR1 (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 1800
            reachable time     = 0
            retrans timer      = 0
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 2592000
            preferred lifetime = 604800
            prefix             = 3ffe:501:ffff:100::

2.  Wait (MAX_RTR_SOLICITATION_DELAY + RetransTimer * DupAddrDetectTransmits)

        Host constants:
            MAX_RTR_SOLICITATION_DELAY: 1 second

        Node constants:
            RETRANS_TIMER             : 1,000 milliseconds

        Host Variables:
            RetransTimer
                Default               : RETRANS_TIMER milliseconds

        Node Variables:
            DupAddrDetectTransmits
                Default               : 1

3. Send Echo Request

        IPv6 header
            source      = TR1 (link-local)
            destination = HUT (link-local)
        Echo Request

4. Observe NS

        IPv6 header
            hop limit   = 255
            source      = HUT (link-local)
            destination = TR1 (solicited-node multicast address)
        NS
            target      = TR1 (link-local)
        SLL option

5. Send NA

        IPv6 header
            hop limit   = 255
            source      = TR1 (link-local)
            destination = HUT (link-local)
        NA
            R           = 1
            S           = 1
            O           = 1
            target      = TR1 (link-local)
        TLL option

6. Observe Echo Reply

        IPv6 header
            source      = HUT (link-local)
            destination = TR1 (link-local)
        Echo Reply

TEST PROCEDURE

Verify that a host properly processes valid Redirect messages twice for the same destination.

   TN1     TR1     TR2     TR3     HUT
    |       |       |       |       |
    | ------+---------------------> | Echo Request (via TR1)
    | <-----+---------------------- | Echo Reply   (via TR1) [Judgment #1]
    |       |       |       |       |
    |       |       | -->   |       | RA
    |       |       |       |       |
    |       | --------------------> | Redirect
    |       |       |       |       |
    | ------+---------------------> | Echo Request (via TR1)
    | <-------------+-------------- | Echo Reply   (via TR2) [Judgment #2]
    |       |       |       |       |
    |       |       |       | -->   | RA
    |       |       |       |       |
    | ------+---------------------> | Echo Request (via TR1)
    | <---------------------+------ | Echo Reply   (via TR3) [Judgment #3]
    |       |       |       |       |
    |       |       *       |       | Wait (DELAY_FIRST_PROBE_TIME)
    |       |       |       |       |
    |       |       | <------------ | NS
    |       |       | <------------ | NS
    |       |       | <------------ | NS
    |       |       |       |       |
    |       |       |       | <---- | NS
    |       |       |       | <---- | NS
    |       |       |       | <---- | NS
    |       |       |       |       |
    V       V       V       V       V

1. Send Echo Request (via TR1)

        IPv6 header
            source      = TN1 (global)
            destination = HUT (global)
        Echo Request

2. Observe Echo Reply (via TR1)

        IPv6 header
            source      = HUT (global)
            destination = TN1 (global)
        Echo Reply

3. Send RA

        IPv6 header
            hop limit          = 255
            source             = TR2 (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 1800
            reachable time     = 0
            retrans timer      = 0
        SLL option
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 2592000
            preferred lifetime = 604800
            prefix             = 3ffe:501:ffff:100::

4. Send Redirect

        IPv6 header
            hop limit   = 255
            source      = TR1 (link-local)
            destination = HUT (global)
        Redirect
            target      = TR2 (link-local)
            destination = TN1 (global)
        TLL option

5. Send Echo Request (via TR1)

        IPv6 header
            source      = TN1 (global)
            destination = HUT (global)
        Echo Request

6. Observe Echo Reply (via TR2)

        IPv6 header
            source      = HUT (global)
            destination = TN1 (global)
        Echo Reply

7. Send RA

        IPv6 header
            hop limit          = 255
            source             = TR3 (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 1800
            reachable time     = 0
            retrans timer      = 0
        SLL option
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 2592000
            preferred lifetime = 604800
            prefix             = 3ffe:501:ffff:100::

8. Send Redirect

        IPv6 header
            hop limit   = 255
            source      = TR1 (link-local)
            destination = HUT (global)
        Redirect
            target      = TR3 (link-local)
            destination = TN1 (global)
        TLL option

9. Send Echo Request (via TR1)

        IPv6 header
            source      = TN1 (global)
            destination = HUT (global)
        Echo Request

10. Observe Echo Reply (via TR3)

        IPv6 header
            source      = HUT (global)
            destination = TN1 (global)
        Echo Reply

11. Wait (DELAY_FIRST_PROBE_TIME)

        Node constants:
            DELAY_FIRST_PROBE_TIME: 5 seconds

12. Observe MAX_UNICAST_SOLICIT NSs

        IPv6 header
            hop limit   = 255
            source      = HUT (link-local)
            destination = TR2 (link-local)
        NS
            target      = TR2 (link-local)
        SLL option

        Node constants:
            MAX_UNICAST_SOLICIT: 3 transmissions

13. Observe MAX_UNICAST_SOLICIT NSs

        IPv6 header
            hop limit   = 255
            source      = HUT (link-local)
            destination = TR3 (link-local)
        NS
            target      = TR3 (link-local)
        SLL option

        Node constants:
            MAX_UNICAST_SOLICIT: 3 transmissions

JUDGEMENT

[Judgment #1] The HUT should respond to the Echo Request using TR1 as a first hop, as it is the only router in the HUT's Default Router List.
[Judgment #2] The HUT should respond to the Echo Request using TR2 as a first hop, indicating the HUT processed the Redirect message.
[Judgment #3] The HUT should respond to the Echo Request using TR3 as a first hop, indicating the HUT processed the Redirect message.

CLEANUP

The Cleanup procedure should cause the NUT to transition Neighbor Cache entries created in this test to state INCOMPLETE and remove any entries from its Default Router and Prefix Lists.

   TR1     TR2     TR3     HUT
    |       |       |       |
    |       |       | -->   | RA
    |       |       |       |
    |       | -->   |       | RA
    |       |       |       |
    | -->   |       |       | RA
    |       |       |       |
    | -->   |       |       | NA
    |       |       |       |
    | --------------------> | Echo Request
    | <-------------------- | Echo Reply
    |       |       |       |
    *       |       |       | Wait (DELAY_FIRST_PROBE_TIME)
    |       |       |       |
    | <-------------------- | NS
    | <-------------------- | NS
    | <-------------------- | NS
    |       |       |       |
    V       V       V       V

1. Send RA

        IPv6 header
            hop limit          = 255
            source             = TR3 (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 1800
            reachable time     = 0
            retrans timer      = 0
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 0
            preferred lifetime = 0
            prefix             = 3ffe:501:ffff:100::

2. Send RA

        IPv6 header
            hop limit          = 255
            source             = TR2 (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 1800
            reachable time     = 0
            retrans timer      = 0
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 0
            preferred lifetime = 0
            prefix             = 3ffe:501:ffff:100::

3. Send RA

        IPv6 header
            hop limit          = 255
            source             = TR1 (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 1800
            reachable time     = 0
            retrans timer      = 0
        Prefix Information option
            prefix length      = 64
            L                  = 1
            A                  = 1
            valid Lifetime     = 0
            preferred lifetime = 0
            prefix             = 3ffe:501:ffff:100::

4. Send NA w/ TLL (diff)

        IPv6 header
            hop limit   = 255
            source      = TR1 (link-local)
            destination = all-nodes multicast address
        NA
            R           = 1
            S           = 0
            O           = 1
            target      = TR1 (link-local)
        TLL option
            address     = TRX (ether)

5. Send Echo Request

        IPv6 header
            source      = TR1 (link-local)
            destination = HUT (link-local)
        Echo Request

6. Observe Echo Reply

        IPv6 header
            source      = HUT (link-local)
            destination = TR1 (link-local)
        Echo Reply

7. Wait (DELAY_FIRST_PROBE_TIME)

        Node constants:
            DELAY_FIRST_PROBE_TIME: 5 seconds

8. Observe MAX_UNICAST_SOLICIT NSs

        IPv6 header
            hop limit   = 255
            source      = HUT (link-local)
            destination = TR1 (link-local)
        NS
            target      = TR1 (link-local)
        SLL option

        Node constants:
            MAX_UNICAST_SOLICIT: 3 transmissions

REFERENCE

RFC 2461 - Neighbor Discovery for IPv6