Skip to content

Commit

Permalink
net: ensure unbound datagram socket to be chosen when not in a VRF
Browse files Browse the repository at this point in the history
Ensure an unbound datagram skt is chosen when not in a VRF. The check
for a device match in compute_score() for UDP must be performed when
there is no device match. For this, a failure is returned when there is
no device match. This ensures that bound sockets are never selected,
even if there is no unbound socket.

Allow IPv6 packets to be sent over a datagram skt bound to a VRF. These
packets are currently blocked, as flowi6_oif was set to that of the
master vrf device, and the ipi6_ifindex is that of the slave device.
Allow these packets to be sent by checking the device with ipi6_ifindex
has the same L3 scope as that of the bound device of the skt, which is
the master vrf device. Note that this check always succeeds if the skt
is unbound.

Even though the right datagram skt is now selected by compute_score(),
a different skt is being returned that is bound to the wrong vrf. The
difference between these and stream sockets is the handling of the skt
option for SO_REUSEPORT. While the handling when adding a skt for reuse
correctly checks that the bound device of the skt is a match, the skts
in the hashslot are already incorrect. So for the same hash, a skt for
the wrong vrf may be selected for the required port. The root cause is
that the skt is immediately placed into a slot when it is created,
but when the skt is then bound using SO_BINDTODEVICE, it remains in the
same slot. The solution is to move the skt to the correct slot by
forcing a rehash.

Signed-off-by: Mike Manning <mmanning@vyatta.att-mail.com>
Reviewed-by: David Ahern <dsahern@gmail.com>
Tested-by: David Ahern <dsahern@gmail.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
  • Loading branch information
Mike Manning authored and David S. Miller committed Nov 8, 2018
1 parent e781905 commit 6da5b0f
Show file tree
Hide file tree
Showing 5 changed files with 31 additions and 21 deletions.
11 changes: 11 additions & 0 deletions include/net/udp.h
Original file line number Diff line number Diff line change
Expand Up @@ -252,6 +252,17 @@ static inline int udp_rqueue_get(struct sock *sk)
return sk_rmem_alloc_get(sk) - READ_ONCE(udp_sk(sk)->forward_deficit);
}

static inline bool udp_sk_bound_dev_eq(struct net *net, int bound_dev_if,
int dif, int sdif)
{
#if IS_ENABLED(CONFIG_NET_L3_MASTER_DEV)
return inet_bound_dev_eq(!!net->ipv4.sysctl_udp_l3mdev_accept,
bound_dev_if, dif, sdif);
#else
return inet_bound_dev_eq(true, bound_dev_if, dif, sdif);
#endif
}

/* net/ipv4/udp.c */
void udp_destruct_sock(struct sock *sk);
void skb_consume_udp(struct sock *sk, struct sk_buff *skb, int len);
Expand Down
2 changes: 2 additions & 0 deletions net/core/sock.c
Original file line number Diff line number Diff line change
Expand Up @@ -567,6 +567,8 @@ static int sock_setbindtodevice(struct sock *sk, char __user *optval,

lock_sock(sk);
sk->sk_bound_dev_if = index;
if (sk->sk_prot->rehash)
sk->sk_prot->rehash(sk);
sk_dst_reset(sk);
release_sock(sk);

Expand Down
15 changes: 6 additions & 9 deletions net/ipv4/udp.c
Original file line number Diff line number Diff line change
Expand Up @@ -371,6 +371,7 @@ static int compute_score(struct sock *sk, struct net *net,
{
int score;
struct inet_sock *inet;
bool dev_match;

if (!net_eq(sock_net(sk), net) ||
udp_sk(sk)->udp_port_hash != hnum ||
Expand Down Expand Up @@ -398,15 +399,11 @@ static int compute_score(struct sock *sk, struct net *net,
score += 4;
}

if (sk->sk_bound_dev_if || exact_dif) {
bool dev_match = (sk->sk_bound_dev_if == dif ||
sk->sk_bound_dev_if == sdif);

if (!dev_match)
return -1;
if (sk->sk_bound_dev_if)
score += 4;
}
dev_match = udp_sk_bound_dev_eq(net, sk->sk_bound_dev_if,
dif, sdif);
if (!dev_match)
return -1;
score += 4;

if (sk->sk_incoming_cpu == raw_smp_processor_id())
score++;
Expand Down
10 changes: 7 additions & 3 deletions net/ipv6/datagram.c
Original file line number Diff line number Diff line change
Expand Up @@ -772,19 +772,23 @@ int ip6_datagram_send_ctl(struct net *net, struct sock *sk,
case IPV6_2292PKTINFO:
{
struct net_device *dev = NULL;
int src_idx;

if (cmsg->cmsg_len < CMSG_LEN(sizeof(struct in6_pktinfo))) {
err = -EINVAL;
goto exit_f;
}

src_info = (struct in6_pktinfo *)CMSG_DATA(cmsg);
src_idx = src_info->ipi6_ifindex;

if (src_info->ipi6_ifindex) {
if (src_idx) {
if (fl6->flowi6_oif &&
src_info->ipi6_ifindex != fl6->flowi6_oif)
src_idx != fl6->flowi6_oif &&
(sk->sk_bound_dev_if != fl6->flowi6_oif ||
!sk_dev_equal_l3scope(sk, src_idx)))
return -EINVAL;
fl6->flowi6_oif = src_info->ipi6_ifindex;
fl6->flowi6_oif = src_idx;
}

addr_type = __ipv6_addr_type(&src_info->ipi6_addr);
Expand Down
14 changes: 5 additions & 9 deletions net/ipv6/udp.c
Original file line number Diff line number Diff line change
Expand Up @@ -117,6 +117,7 @@ static int compute_score(struct sock *sk, struct net *net,
{
int score;
struct inet_sock *inet;
bool dev_match;

if (!net_eq(sock_net(sk), net) ||
udp_sk(sk)->udp_port_hash != hnum ||
Expand Down Expand Up @@ -144,15 +145,10 @@ static int compute_score(struct sock *sk, struct net *net,
score++;
}

if (sk->sk_bound_dev_if || exact_dif) {
bool dev_match = (sk->sk_bound_dev_if == dif ||
sk->sk_bound_dev_if == sdif);

if (!dev_match)
return -1;
if (sk->sk_bound_dev_if)
score++;
}
dev_match = udp_sk_bound_dev_eq(net, sk->sk_bound_dev_if, dif, sdif);
if (!dev_match)
return -1;
score++;

if (sk->sk_incoming_cpu == raw_smp_processor_id())
score++;
Expand Down

0 comments on commit 6da5b0f

Please sign in to comment.