# $NetBSD: t_rtcache.sh,v 1.1 2017/09/20 09:36:20 ozaki-r Exp $

# $NetBSD: t_rtcache.sh,v 1.1 2017/09/20 09:36:20 ozaki-r Exp $
#
# Copyright (c) 2017 Internet Initiative Japan Inc.
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions
# are met:
# 1. Redistributions of source code must retain the above copyright
# notice, this list of conditions and the following disclaimer.
# 2. Redistributions in binary form must reproduce the above copyright
# notice, this list of conditions and the following disclaimer in the
# documentation and/or other materials provided with the distribution.
#
# THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
# ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
# PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
# BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
# INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
# POSSIBILITY OF SUCH DAMAGE.
#

SOCK_SRC=unix://rtcache_src
SOCK_FWD=unix://rtcache_fwd
SOCK_DST1=unix://rtcache_dst1
SOCK_DST2=unix://rtcache_dst2

BUS_SRC=./src
BUS_DST1=./dst1
BUS_DST2=./dst2

DEBUG=${DEBUG:-false}

atf_test_case rtcache_invalidation cleanup
rtcache_invalidation_head()
{

atf_set "descr" "Tests for rtcache invalidation"
atf_set "require.progs" "rump_server"
}

rtcache_invalidation_body()
{
local ip_src=10.0.0.2
local ip_gwsrc=10.0.0.1
local ip_gwdst1=10.0.1.1
local ip_gwdst2=10.0.2.1
local ip_dst1=10.0.1.2
local ip_dst2=10.0.2.2
local ip_dst=10.0.3.1
local subnet_src=10.0.0.0
local subnet_dst=10.0.3.0

rump_server_start $SOCK_SRC
rump_server_start $SOCK_FWD
rump_server_start $SOCK_DST1
rump_server_start $SOCK_DST2

rump_server_add_iface $SOCK_SRC shmif0 $BUS_SRC

rump_server_add_iface $SOCK_FWD shmif0 $BUS_SRC
rump_server_add_iface $SOCK_FWD shmif1 $BUS_DST1
rump_server_add_iface $SOCK_FWD shmif2 $BUS_DST2

rump_server_add_iface $SOCK_DST1 shmif0 $BUS_DST1
rump_server_add_iface $SOCK_DST2 shmif0 $BUS_DST2

export RUMP_SERVER=$SOCK_SRC
atf_check -s exit:0 rump.sysctl -q -w net.inet.ip.dad_count=0
atf_check -s exit:0 rump.ifconfig shmif0 $ip_src/24
atf_check -s exit:0 -o ignore rump.route add default $ip_gwsrc

export RUMP_SERVER=$SOCK_FWD
atf_check -s exit:0 rump.sysctl -q -w net.inet.ip.forwarding=1
atf_check -s exit:0 rump.sysctl -q -w net.inet.ip.dad_count=0
atf_check -s exit:0 rump.ifconfig shmif0 $ip_gwsrc/24
atf_check -s exit:0 rump.ifconfig shmif1 $ip_gwdst1/24
atf_check -s exit:0 rump.ifconfig shmif2 $ip_gwdst2/24

export RUMP_SERVER=$SOCK_DST1
atf_check -s exit:0 rump.sysctl -q -w net.inet.ip.dad_count=0
atf_check -s exit:0 rump.ifconfig shmif0 $ip_dst1/24
atf_check -s exit:0 -o ignore rump.route add default $ip_gwdst1
atf_check -s exit:0 rump.ifconfig shmif0 $ip_dst/24 alias

export RUMP_SERVER=$SOCK_DST2
atf_check -s exit:0 rump.sysctl -q -w net.inet.ip.dad_count=0
atf_check -s exit:0 rump.ifconfig shmif0 $ip_dst2/24
atf_check -s exit:0 -o ignore rump.route add default $ip_gwdst2
atf_check -s exit:0 rump.ifconfig shmif0 $ip_dst/24 alias

export RUMP_SERVER=$SOCK_SRC
atf_check -s exit:0 -o ignore rump.ping -n -w 3 -c 1 $ip_dst1
atf_check -s exit:0 -o ignore rump.ping -n -w 3 -c 1 $ip_dst2
# It fails because there is no route to $ip_dst
atf_check -s not-exit:0 -o ignore rump.ping -n -w 3 -c 1 $ip_dst

extract_new_packets $BUS_DST1 > ./outfile

export RUMP_SERVER=$SOCK_FWD
# Add the default route so that $ip_dst @ dst1 is reachable now
atf_check -s exit:0 -o ignore rump.route add default $ip_dst1
export RUMP_SERVER=$SOCK_DST1
# ...but don't response ICMP requests to avoid rtcache pollution
atf_check -s exit:0 -o ignore \
rump.route add -net $subnet_src/24 127.0.0.1 -blackhole

export RUMP_SERVER=$SOCK_SRC
# ping fails expectedly
atf_check -s not-exit:0 -o ignore rump.ping -n -w 3 -c 1 $ip_dst

# An ICMP request should come to dst1
extract_new_packets $BUS_DST1 > ./outfile
atf_check -s exit:0 -o match:"$ip_src > $ip_dst: ICMP echo request" \
cat ./outfile

export RUMP_SERVER=$SOCK_FWD
# Teach the subnet of $ip_dst is at dst2
atf_check -s exit:0 -o ignore rump.route add -net $subnet_dst/24 $ip_dst2
export RUMP_SERVER=$SOCK_DST2
# ...but don't response ICMP requests to avoid rtcache pollution
atf_check -s exit:0 -o ignore \
rump.route add -net $subnet_src/24 127.0.0.1 -blackhole

export RUMP_SERVER=$SOCK_SRC
# ping fails expectedly
atf_check -s not-exit:0 -o ignore rump.ping -n -w 3 -c 1 $ip_dst

# An ICMP request should come to dst2. If rtcaches aren't invalidated
# correctly, the ICMP request should appear at dst1
extract_new_packets $BUS_DST1 > ./outfile
atf_check -s exit:0 -o not-match:"$ip_src > $ip_dst: ICMP echo request" \
cat ./outfile

export RUMP_SERVER=$SOCK_FWD
# Delete the route so the packets heading to $ip_dst should go dst1 again
atf_check -s exit:0 -o ignore rump.route delete -net $subnet_dst/24 $ip_dst2

export RUMP_SERVER=$SOCK_SRC
# ping fails expectedly
atf_check -s not-exit:0 -o ignore rump.ping -n -w 3 -c 1 $ip_dst

# An ICMP request should come to dst1
extract_new_packets $BUS_DST1 > ./outfile
atf_check -s exit:0 -o match:"$ip_src > $ip_dst: ICMP echo request" \
cat ./outfile

rump_server_destroy_ifaces
}

rtcache_invalidation_cleanup()
{

$DEBUG && dump
cleanup
}

atf_init_test_cases()
{

atf_add_test_case rtcache_invalidation
}