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