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