Home | History | Annotate | Line # | Download | only in arp
t_dad.sh revision 1.10
      1  1.10     ozaki #	$NetBSD: t_dad.sh,v 1.10 2016/11/24 08:52:19 ozaki-r Exp $
      2   1.1     ozaki #
      3   1.1     ozaki # Copyright (c) 2015 The NetBSD Foundation, Inc.
      4   1.1     ozaki # All rights reserved.
      5   1.1     ozaki #
      6   1.1     ozaki # Redistribution and use in source and binary forms, with or without
      7   1.1     ozaki # modification, are permitted provided that the following conditions
      8   1.1     ozaki # are met:
      9   1.1     ozaki # 1. Redistributions of source code must retain the above copyright
     10   1.1     ozaki #    notice, this list of conditions and the following disclaimer.
     11   1.1     ozaki # 2. Redistributions in binary form must reproduce the above copyright
     12   1.1     ozaki #    notice, this list of conditions and the following disclaimer in the
     13   1.1     ozaki #    documentation and/or other materials provided with the distribution.
     14   1.1     ozaki #
     15   1.1     ozaki # THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     16   1.1     ozaki # ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     17   1.1     ozaki # TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     18   1.1     ozaki # PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     19   1.1     ozaki # BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     20   1.1     ozaki # CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     21   1.1     ozaki # SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     22   1.1     ozaki # INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     23   1.1     ozaki # CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     24   1.1     ozaki # ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     25   1.1     ozaki # POSSIBILITY OF SUCH DAMAGE.
     26   1.1     ozaki #
     27   1.1     ozaki 
     28   1.1     ozaki inetserver="rump_server -lrumpnet -lrumpnet_net -lrumpnet_netinet -lrumpnet_shmif"
     29   1.7       kre inetserver="${inetserver} -lrumpdev"
     30   1.1     ozaki HIJACKING="env LD_PRELOAD=/usr/lib/librumphijack.so RUMPHIJACK=sysctl=yes"
     31   1.1     ozaki 
     32   1.1     ozaki SOCKLOCAL=unix://commsock1
     33   1.1     ozaki SOCKPEER=unix://commsock2
     34   1.1     ozaki 
     35   1.9     ozaki DEBUG=${DEBUG:-false}
     36   1.1     ozaki 
     37   1.1     ozaki atf_test_case dad_basic cleanup
     38   1.1     ozaki atf_test_case dad_duplicated cleanup
     39   1.1     ozaki 
     40   1.1     ozaki dad_basic_head()
     41   1.1     ozaki {
     42   1.1     ozaki 	atf_set "descr" "Tests for IPv4 DAD basic behavior"
     43   1.1     ozaki 	atf_set "require.progs" "rump_server"
     44   1.1     ozaki }
     45   1.1     ozaki 
     46   1.1     ozaki dad_duplicated_head()
     47   1.1     ozaki {
     48   1.1     ozaki 	atf_set "descr" "Tests for IPv4 DAD duplicated state"
     49   1.1     ozaki 	atf_set "require.progs" "rump_server"
     50   1.1     ozaki }
     51   1.1     ozaki 
     52   1.1     ozaki setup_server()
     53   1.1     ozaki {
     54   1.1     ozaki 	local sock=$1
     55   1.1     ozaki 	local ip=$2
     56   1.1     ozaki 
     57   1.1     ozaki 	export RUMP_SERVER=$sock
     58   1.1     ozaki 
     59   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 create
     60   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 linkstr bus1
     61   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet $ip/24
     62   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 up
     63   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig -w 10
     64   1.1     ozaki 
     65   1.1     ozaki 	$DEBUG && rump.ifconfig shmif0
     66   1.1     ozaki }
     67   1.1     ozaki 
     68   1.1     ozaki make_pkt_str()
     69   1.1     ozaki {
     70   1.1     ozaki 	local target=$1
     71   1.1     ozaki 	local sender=$2
     72   1.1     ozaki 	pkt="> ff:ff:ff:ff:ff:ff, ethertype ARP (0x0806), length 42:"
     73   1.1     ozaki 	pkt="$pkt Request who-has $target tell $sender, length 28"
     74   1.1     ozaki 	echo $pkt
     75   1.1     ozaki }
     76   1.1     ozaki 
     77   1.1     ozaki dad_basic_body()
     78   1.1     ozaki {
     79   1.1     ozaki 	local pkt=
     80   1.1     ozaki 
     81   1.1     ozaki 	atf_check -s exit:0 ${inetserver} $SOCKLOCAL
     82   1.1     ozaki 	export RUMP_SERVER=$SOCKLOCAL
     83   1.1     ozaki 
     84   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 create
     85   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 linkstr bus1
     86   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.1/24
     87   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.2/24 alias
     88   1.1     ozaki 	$DEBUG && rump.ifconfig shmif0
     89   1.1     ozaki 
     90   1.4     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 up
     91   1.4     ozaki 	rump.ifconfig shmif0 > ./out
     92   1.4     ozaki 	$DEBUG && cat ./out
     93   1.1     ozaki 
     94   1.4     ozaki 	# The primary address doesn't start with tentative state
     95   1.8  christos 	atf_check -s not-exit:0 -x "cat ./out |grep 10.0.0.1 |grep -iq tentative"
     96   1.4     ozaki 	# The alias address starts with tentative state
     97   1.4     ozaki 	# XXX we have no stable way to check this, so skip for now
     98   1.8  christos 	#atf_check -s exit:0 -x "cat ./out |grep 10.0.0.2 |grep -iq tentative"
     99   1.4     ozaki 
    100   1.4     ozaki 	atf_check -s exit:0 sleep 2
    101   1.4     ozaki 	extract_new_packets > ./out
    102   1.4     ozaki 	$DEBUG && cat ./out
    103   1.1     ozaki 
    104   1.1     ozaki 	# Check DAD probe packets
    105   1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.2 0.0.0.0)
    106   1.1     ozaki 	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
    107   1.1     ozaki 	# No DAD for the primary address
    108   1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.1 0.0.0.0)
    109   1.1     ozaki 	atf_check -s not-exit:0 -x "cat ./out |grep -q '$pkt'"
    110   1.1     ozaki 
    111   1.1     ozaki 	# Waiting for DAD complete
    112   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig -w 10
    113   1.6     ozaki 	# Give a chance to send a DAD announce packet
    114   1.6     ozaki 	atf_check -s exit:0 sleep 1
    115   1.4     ozaki 	extract_new_packets > ./out
    116   1.4     ozaki 	$DEBUG && cat ./out
    117   1.1     ozaki 
    118   1.1     ozaki 	# Check the DAD announce packet
    119   1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.2 10.0.0.2)
    120   1.1     ozaki 	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
    121   1.1     ozaki 	# The alias address left tentative
    122   1.8  christos 	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.2 |grep -iq tentative"
    123   1.1     ozaki 
    124   1.1     ozaki 	#
    125   1.1     ozaki 	# Add a new address on the fly
    126   1.1     ozaki 	#
    127   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.3/24 alias
    128   1.1     ozaki 
    129   1.4     ozaki 	# The new address starts with tentative state
    130   1.5     ozaki 	# XXX we have no stable way to check this, so skip for now
    131   1.8  christos 	#atf_check -s exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.3 |grep -iq tentative"
    132   1.1     ozaki 
    133   1.1     ozaki 	# Check DAD probe packets
    134   1.4     ozaki 	atf_check -s exit:0 sleep 2
    135   1.4     ozaki 	extract_new_packets > ./out
    136   1.4     ozaki 	$DEBUG && cat ./out
    137   1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.3 0.0.0.0)
    138   1.1     ozaki 	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
    139   1.1     ozaki 
    140   1.1     ozaki 	# Waiting for DAD complete
    141   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig -w 10
    142   1.6     ozaki 	# Give a chance to send a DAD announce packet
    143   1.6     ozaki 	atf_check -s exit:0 sleep 1
    144   1.4     ozaki 	extract_new_packets > ./out
    145   1.4     ozaki 	$DEBUG && cat ./out
    146   1.1     ozaki 
    147   1.1     ozaki 	# Check the DAD announce packet
    148   1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.3 10.0.0.3)
    149   1.1     ozaki 	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
    150   1.1     ozaki 	# The new address left tentative
    151   1.8  christos 	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.3 |grep -iq tentative"
    152   1.1     ozaki }
    153   1.1     ozaki 
    154   1.1     ozaki dad_duplicated_body()
    155   1.1     ozaki {
    156   1.1     ozaki 	local localip1=10.0.1.1
    157   1.1     ozaki 	local localip2=10.0.1.11
    158   1.1     ozaki 	local peerip=10.0.1.2
    159   1.1     ozaki 
    160   1.1     ozaki 	atf_check -s exit:0 ${inetserver} $SOCKLOCAL
    161   1.1     ozaki 	atf_check -s exit:0 ${inetserver} $SOCKPEER
    162   1.1     ozaki 
    163   1.1     ozaki 	setup_server $SOCKLOCAL $localip1
    164   1.1     ozaki 	setup_server $SOCKPEER $peerip
    165   1.1     ozaki 
    166   1.1     ozaki 	export RUMP_SERVER=$SOCKLOCAL
    167   1.1     ozaki 
    168   1.1     ozaki 	# The primary address isn't marked as duplicated
    169   1.8  christos 	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep $localip1 |grep -iq duplicated"
    170   1.1     ozaki 
    171   1.1     ozaki 	#
    172   1.1     ozaki 	# Add a new address duplicated with the peer server
    173   1.1     ozaki 	#
    174   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet $peerip alias
    175   1.1     ozaki 	atf_check -s exit:0 sleep 1
    176   1.1     ozaki 
    177   1.1     ozaki 	# The new address is marked as duplicated
    178   1.8  christos 	atf_check -s exit:0 -x "rump.ifconfig shmif0 |grep $peerip |grep -iq duplicated"
    179   1.1     ozaki 
    180   1.1     ozaki 	# A unique address isn't marked as duplicated
    181   1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet $localip2 alias
    182   1.1     ozaki 	atf_check -s exit:0 sleep 1
    183   1.8  christos 	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep $localip2 |grep -iq duplicated"
    184   1.1     ozaki }
    185   1.1     ozaki 
    186   1.1     ozaki cleanup()
    187   1.1     ozaki {
    188   1.1     ozaki 	env RUMP_SERVER=$SOCKLOCAL rump.halt
    189   1.1     ozaki 	env RUMP_SERVER=$SOCKPEER rump.halt
    190   1.1     ozaki }
    191   1.1     ozaki 
    192   1.1     ozaki dump_local()
    193   1.1     ozaki {
    194   1.1     ozaki 	export RUMP_SERVER=$SOCKLOCAL
    195   1.1     ozaki 	rump.netstat -nr
    196   1.1     ozaki 	rump.arp -n -a
    197   1.1     ozaki 	rump.ifconfig
    198   1.1     ozaki 	$HIJACKING dmesg
    199   1.1     ozaki }
    200   1.1     ozaki 
    201   1.1     ozaki dump_peer()
    202   1.1     ozaki {
    203   1.1     ozaki 	export RUMP_SERVER=$SOCKPEER
    204   1.1     ozaki 	rump.netstat -nr
    205   1.1     ozaki 	rump.arp -n -a
    206   1.1     ozaki 	rump.ifconfig
    207   1.1     ozaki 	$HIJACKING dmesg
    208   1.1     ozaki }
    209   1.1     ozaki 
    210   1.1     ozaki dump()
    211   1.1     ozaki {
    212   1.1     ozaki 	dump_local
    213   1.1     ozaki 	dump_peer
    214   1.1     ozaki 	shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r -
    215   1.1     ozaki }
    216   1.1     ozaki 
    217   1.1     ozaki dad_basic_cleanup()
    218   1.1     ozaki {
    219   1.1     ozaki 	$DEBUG && dump_local
    220   1.1     ozaki 	$DEBUG && shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r -
    221   1.1     ozaki 	env RUMP_SERVER=$SOCKLOCAL rump.halt
    222   1.1     ozaki }
    223   1.1     ozaki 
    224   1.1     ozaki dad_duplicated_cleanup()
    225   1.1     ozaki {
    226   1.1     ozaki 	$DEBUG && dump
    227   1.2     ozaki 	cleanup
    228   1.1     ozaki }
    229   1.1     ozaki 
    230   1.1     ozaki atf_init_test_cases()
    231   1.1     ozaki {
    232   1.1     ozaki 	atf_add_test_case dad_basic
    233   1.1     ozaki 	atf_add_test_case dad_duplicated
    234   1.1     ozaki }
    235