ケース1 --2つのdefault router と 1つのnetwork prefix--
図1) テストのコンフィグ
インターフェイスrtk0を落した時
(1)最初
行きと帰りのルートはタイミングなどによって決定される。よって、行きはルータPower2を通って到達し、帰りはルータPower3を通っ来るということもありえます。いまは、Dyna1はデフォルトルータをとしてPower3を選びました。ping6のパケットはPower3を通ってgr2000.k2c.wide.ad.jpに届き、エコーリプライもPower3を通って戻ってきています。
図2)最初の経路
経路表
Dyna1
Power1
Power2
Power3
Dyna1のndpエントリ
Dyna1
(2)Power3のインターフェイスrtk0を落した時
次に、Power3のインターフェイスrtk0を落します。そうすると、Dyna1はデフォルトルータとしてPower2を選び、ping6は目的地のgr2000に届きます。しかし、そのエコーリプライはDyna1に届くことはありません。これはPower1の"2001:200:0:8411::/64"への経路表が変わっていないからです。.
図3)インターフェイスrtk0を落した直後。
(3)インターフェイスrtk0を落した時
その後、10秒もたたずに、Power1の"2001:200:0:8411::/64"への経路表がOSPFによって書き変わり、Dyna1のgr2000へのping6は行って帰って来れるようになった。
図4)最終的な経路
経路表
Dyna1
Power1
Power2
Power3
Dyna1のndpエントリ
Dyna1
この実験によって、スペック通り動いているのが確認できた。