Home | History | Annotate | Line # | Download | only in arp
t_dad.sh revision 1.9
      1  1.9     ozaki #	$NetBSD: t_dad.sh,v 1.9 2016/11/07 05:25:36 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.4     ozaki extract_new_packets()
     78  1.4     ozaki {
     79  1.4     ozaki 	local old=./old
     80  1.4     ozaki 
     81  1.4     ozaki 	if [ ! -f $old ]; then
     82  1.4     ozaki 		old=/dev/null
     83  1.4     ozaki 	fi
     84  1.4     ozaki 
     85  1.4     ozaki 	shmif_dumpbus -p - bus1 2>/dev/null| \
     86  1.4     ozaki 	    tcpdump -n -e -r - 2>/dev/null > ./new
     87  1.4     ozaki 	diff -u $old ./new |grep '^+' |cut -d '+' -f 2 > ./diff
     88  1.4     ozaki 	mv -f ./new ./old
     89  1.4     ozaki 	cat ./diff
     90  1.4     ozaki }
     91  1.4     ozaki 
     92  1.1     ozaki dad_basic_body()
     93  1.1     ozaki {
     94  1.1     ozaki 	local pkt=
     95  1.1     ozaki 
     96  1.1     ozaki 	atf_check -s exit:0 ${inetserver} $SOCKLOCAL
     97  1.1     ozaki 	export RUMP_SERVER=$SOCKLOCAL
     98  1.1     ozaki 
     99  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 create
    100  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 linkstr bus1
    101  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.1/24
    102  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.2/24 alias
    103  1.1     ozaki 	$DEBUG && rump.ifconfig shmif0
    104  1.1     ozaki 
    105  1.4     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 up
    106  1.4     ozaki 	rump.ifconfig shmif0 > ./out
    107  1.4     ozaki 	$DEBUG && cat ./out
    108  1.1     ozaki 
    109  1.4     ozaki 	# The primary address doesn't start with tentative state
    110  1.8  christos 	atf_check -s not-exit:0 -x "cat ./out |grep 10.0.0.1 |grep -iq tentative"
    111  1.4     ozaki 	# The alias address starts with tentative state
    112  1.4     ozaki 	# XXX we have no stable way to check this, so skip for now
    113  1.8  christos 	#atf_check -s exit:0 -x "cat ./out |grep 10.0.0.2 |grep -iq tentative"
    114  1.4     ozaki 
    115  1.4     ozaki 	atf_check -s exit:0 sleep 2
    116  1.4     ozaki 	extract_new_packets > ./out
    117  1.4     ozaki 	$DEBUG && cat ./out
    118  1.1     ozaki 
    119  1.1     ozaki 	# Check DAD probe packets
    120  1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.2 0.0.0.0)
    121  1.1     ozaki 	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
    122  1.1     ozaki 	# No DAD for the primary address
    123  1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.1 0.0.0.0)
    124  1.1     ozaki 	atf_check -s not-exit:0 -x "cat ./out |grep -q '$pkt'"
    125  1.1     ozaki 
    126  1.1     ozaki 	# Waiting for DAD complete
    127  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig -w 10
    128  1.6     ozaki 	# Give a chance to send a DAD announce packet
    129  1.6     ozaki 	atf_check -s exit:0 sleep 1
    130  1.4     ozaki 	extract_new_packets > ./out
    131  1.4     ozaki 	$DEBUG && cat ./out
    132  1.1     ozaki 
    133  1.1     ozaki 	# Check the DAD announce packet
    134  1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.2 10.0.0.2)
    135  1.1     ozaki 	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
    136  1.1     ozaki 	# The alias address left tentative
    137  1.8  christos 	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.2 |grep -iq tentative"
    138  1.1     ozaki 
    139  1.1     ozaki 	#
    140  1.1     ozaki 	# Add a new address on the fly
    141  1.1     ozaki 	#
    142  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.3/24 alias
    143  1.1     ozaki 
    144  1.4     ozaki 	# The new address starts with tentative state
    145  1.5     ozaki 	# XXX we have no stable way to check this, so skip for now
    146  1.8  christos 	#atf_check -s exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.3 |grep -iq tentative"
    147  1.1     ozaki 
    148  1.1     ozaki 	# Check DAD probe packets
    149  1.4     ozaki 	atf_check -s exit:0 sleep 2
    150  1.4     ozaki 	extract_new_packets > ./out
    151  1.4     ozaki 	$DEBUG && cat ./out
    152  1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.3 0.0.0.0)
    153  1.1     ozaki 	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
    154  1.1     ozaki 
    155  1.1     ozaki 	# Waiting for DAD complete
    156  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig -w 10
    157  1.6     ozaki 	# Give a chance to send a DAD announce packet
    158  1.6     ozaki 	atf_check -s exit:0 sleep 1
    159  1.4     ozaki 	extract_new_packets > ./out
    160  1.4     ozaki 	$DEBUG && cat ./out
    161  1.1     ozaki 
    162  1.1     ozaki 	# Check the DAD announce packet
    163  1.1     ozaki 	pkt=$(make_pkt_str 10.0.0.3 10.0.0.3)
    164  1.1     ozaki 	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
    165  1.1     ozaki 	# The new address left tentative
    166  1.8  christos 	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.3 |grep -iq tentative"
    167  1.1     ozaki }
    168  1.1     ozaki 
    169  1.1     ozaki dad_duplicated_body()
    170  1.1     ozaki {
    171  1.1     ozaki 	local localip1=10.0.1.1
    172  1.1     ozaki 	local localip2=10.0.1.11
    173  1.1     ozaki 	local peerip=10.0.1.2
    174  1.1     ozaki 
    175  1.1     ozaki 	atf_check -s exit:0 ${inetserver} $SOCKLOCAL
    176  1.1     ozaki 	atf_check -s exit:0 ${inetserver} $SOCKPEER
    177  1.1     ozaki 
    178  1.1     ozaki 	setup_server $SOCKLOCAL $localip1
    179  1.1     ozaki 	setup_server $SOCKPEER $peerip
    180  1.1     ozaki 
    181  1.1     ozaki 	export RUMP_SERVER=$SOCKLOCAL
    182  1.1     ozaki 
    183  1.1     ozaki 	# The primary address isn't marked as duplicated
    184  1.8  christos 	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep $localip1 |grep -iq duplicated"
    185  1.1     ozaki 
    186  1.1     ozaki 	#
    187  1.1     ozaki 	# Add a new address duplicated with the peer server
    188  1.1     ozaki 	#
    189  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet $peerip alias
    190  1.1     ozaki 	atf_check -s exit:0 sleep 1
    191  1.1     ozaki 
    192  1.1     ozaki 	# The new address is marked as duplicated
    193  1.8  christos 	atf_check -s exit:0 -x "rump.ifconfig shmif0 |grep $peerip |grep -iq duplicated"
    194  1.1     ozaki 
    195  1.1     ozaki 	# A unique address isn't marked as duplicated
    196  1.1     ozaki 	atf_check -s exit:0 rump.ifconfig shmif0 inet $localip2 alias
    197  1.1     ozaki 	atf_check -s exit:0 sleep 1
    198  1.8  christos 	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep $localip2 |grep -iq duplicated"
    199  1.1     ozaki }
    200  1.1     ozaki 
    201  1.1     ozaki cleanup()
    202  1.1     ozaki {
    203  1.1     ozaki 	env RUMP_SERVER=$SOCKLOCAL rump.halt
    204  1.1     ozaki 	env RUMP_SERVER=$SOCKPEER rump.halt
    205  1.1     ozaki }
    206  1.1     ozaki 
    207  1.1     ozaki dump_local()
    208  1.1     ozaki {
    209  1.1     ozaki 	export RUMP_SERVER=$SOCKLOCAL
    210  1.1     ozaki 	rump.netstat -nr
    211  1.1     ozaki 	rump.arp -n -a
    212  1.1     ozaki 	rump.ifconfig
    213  1.1     ozaki 	$HIJACKING dmesg
    214  1.1     ozaki }
    215  1.1     ozaki 
    216  1.1     ozaki dump_peer()
    217  1.1     ozaki {
    218  1.1     ozaki 	export RUMP_SERVER=$SOCKPEER
    219  1.1     ozaki 	rump.netstat -nr
    220  1.1     ozaki 	rump.arp -n -a
    221  1.1     ozaki 	rump.ifconfig
    222  1.1     ozaki 	$HIJACKING dmesg
    223  1.1     ozaki }
    224  1.1     ozaki 
    225  1.1     ozaki dump()
    226  1.1     ozaki {
    227  1.1     ozaki 	dump_local
    228  1.1     ozaki 	dump_peer
    229  1.1     ozaki 	shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r -
    230  1.1     ozaki }
    231  1.1     ozaki 
    232  1.1     ozaki dad_basic_cleanup()
    233  1.1     ozaki {
    234  1.1     ozaki 	$DEBUG && dump_local
    235  1.1     ozaki 	$DEBUG && shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r -
    236  1.1     ozaki 	env RUMP_SERVER=$SOCKLOCAL rump.halt
    237  1.1     ozaki }
    238  1.1     ozaki 
    239  1.1     ozaki dad_duplicated_cleanup()
    240  1.1     ozaki {
    241  1.1     ozaki 	$DEBUG && dump
    242  1.2     ozaki 	cleanup
    243  1.1     ozaki }
    244  1.1     ozaki 
    245  1.1     ozaki atf_init_test_cases()
    246  1.1     ozaki {
    247  1.1     ozaki 	atf_add_test_case dad_basic
    248  1.1     ozaki 	atf_add_test_case dad_duplicated
    249  1.1     ozaki }
    250