NAME

V6LC_2_1_5_B - Host Prefix List (Prefix Lifetime updated by RA)

TARGET

Host

TOPOLOGY

    |
    TN     NUT
    |       |
----+-------+--- Link0

Link0	global	3ffe:501:ffff:100::/64
	link-local	fe80::/64
TN	global	3ffe:501:ffff:100::<TnDef.Link0_addr>
	link-local	fe80::<TnDef.Link0_addr>
	ether	<TnDef.Link0_addr>
NUT	global	3ffe:501:ffff:100::<NutDef.Link0_addr>
	link-local	fe80::<NutDef.Link0_addr>
	ether	<NutDef.Link0_addr>

SETUP

none

TEST PROCEDURE

    TN     NUT
    |       |
    | -->   | RA
    |       |
    *       | Wait (MAX_RTR_SOLICITATION_DELAY + RetransTimer * DupAddrDetectTransmits)
    |       |
    | ----> | Echo Request
    |   <-- | NS (multicast) [Judgment #1]
    | ----> | NA
    | <---- | Echo Reply     [Judgment #2]
    |       |
    | -->   | RA
    |       |
    *       | Wait (8) Ignore DAD
    |       |
    | -->   | RA
    |       |
    *       | Wait (8) Ignore DAD
    |       |
    | ----> | Echo Request
    |   <-- | NS (multicast) [Judgment #3]
    V       V

    State: NONE (TN) (link-local)

1. Send RA

        IPv6 header
            hop limit   = 255
            source      = TN (link-local)
            destination = all-nodes multicast address
        RA
            cur hop limit   = 64
            M               = 0
            O               = 0
            router lifetime = 20
            reachable time  = 600000
            retrans timer   = 1000
 

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

    State: STALE (TN) (link-local)

    State: NONE (TN) (link-local)

3. Send Echo Request

        IPv6 header
            source      = TN  (link-local)
            destination = NUT (link-local)
        Echo Request

    State: INCOMPLETE (TN) (link-local)

4. Observe NS [Judgment #1]

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

5. Send NA

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

    State: REACHABLE (TN) (link-local)

6. Observe Echo Reply [Judgment #2]

        IPv6 header
            source      = NUT (link-local)
            destination = TN  (link-local)
        Echo Reply

    State: REACHABLE (TN) (link-local)

7. Send RA

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

8.  Wait (8) - Ignore DAD

9. Send RA

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

10.  Wait (8) - Ignore DAD

11. Observe NS [Judgment #3]

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

JUDGEMENT

[Judgment #1] NUT must transmit NS to TN solicited-node multicast address
[Judgment #2] NUT must transmit Echo Reply to TN
[Judgment #3] NUT must transmit NS to TN solicited-node multicast address

CLEANUP

- Remove global address
- Clear default router
- Set neighbor cache state for TN to NONE

    TN     NUT
    |       |
    | ----> | RA (rltime=0, vltime=0, pltime=0)
    |       |
    | ----> | NS (unicast) (different cached address)
    | <---- | NA
    |       |
    *       | Wait (DELAY_FIRST_PROBE_TIME)
    |       |
    | <---- | NS (unicast)
    | <---- | NS (unicast)
    | <---- | NS (unicast)
    |       |
    V       V

    State: REACHABLE (TN) (link-local)

1. Send RA

        IPv6 header
            hop limit          = 255
            source             = TN (link-local)
            destination        = all-nodes multicast address
        RA
            cur hop limit      = 64
            M                  = 0
            O                  = 0
            router lifetime    = 0
            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 NS

        IPv6 header
            hop limit   = 255
            source      = TN  (link-local)
            destination = NUT (link-local)
        NS
            target      = NUT (link-local)
        SLL option
            address     = H0  (ether)

    State: STALE (TN) (link-local)

3. Observe NA

        IPv6 header
            source      = NUT (link-local)
            destination = TN  (link-local)
        NA
            R           = 0
            S           = 1
            O           = 1
            target      = NUT (link-local)
        TLL option

    State: DELAY (TN) (link-local)

4. Wait (DELAY_FIRST_PROBE_TIME)

        Node constants:
            DELAY_FIRST_PROBE_TIME: 5 seconds

    State: PROBE (TN) (link-local)

5. Observe MAX_UNICAST_SOLICIT NSs

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

        Node constants:
            MAX_UNICAST_SOLICIT: 3 transmissions

    State: NONE (TN) (link-local)

REFERENCE

RFC 2461 - Neighbor Discovery for IPv6