public inbox for passt-dev@passt.top
 help / color / mirror / code / Atom feed
From: Stefano Brivio <sbrivio@redhat.com>
To: David Gibson <david@gibson.dropbear.id.au>
Cc: passt-dev@passt.top, "Jan Rodák" <jrodak@redhat.com>,
	"Paul Holzinger" <pholzing@redhat.com>
Subject: Re: [PATCH 2/2] conf, fwd: Prefer same-scope address as inbound source address from host
Date: Thu, 23 Jul 2026 11:42:36 +0200 (CEST)	[thread overview]
Message-ID: <20260723114234.2266f6dc@elisabeth> (raw)
In-Reply-To: <amGMWeUyKiQKZHK6@zatzit>

On Thu, 23 Jul 2026 13:36:58 +1000
David Gibson <david@gibson.dropbear.id.au> wrote:

> On Thu, Jul 23, 2026 at 01:26:39AM +0200, Stefano Brivio wrote:
> > We might have situations, such as the one described in
> > https://bugs.passt.top/show_bug.cgi?id=217, where using a link-local
> > address as source in a given namespace doesn't guarantee that we can
> > reach the intended destination, because, for instance, the inbound
> > traffic we forward is in turn forwarded to a different interface, such
> > as a bridge.
> > 
> > In that case, the assumption from 9618d247006a ("ndp, dhcpv6, tcp,
> > udp: Always use link-local as source if gateway isn't") isn't a safe
> > one: the user might have specified a valid gateway address, matching
> > the scope of the destination address, but we won't use it as address
> > of last resort, and prefer a link-local address with a mismatch in
> > scope instead.
> > 
> > This should only be an issue in IPv6 local mode, because, otherwise,
> > we source address and default gateway address (presumably compatible)
> > from the host.
> > 
> > So, in local mode, if the user specifies a given default gateway
> > address for IPv6, note that as 'our_tap_addr', like we would do with
> > with IPv4, and stick to Rule 2 of RFC 6724, Section 5, when selecting
> > a source address, by preferring an address with the same scope, if
> > available.
> > 
> > Reported-by: Paul Holzinger <pholzing@redhat.com>
> > Link: https://bugs.passt.top/show_bug.cgi?id=217
> > Signed-off-by: Stefano Brivio <sbrivio@redhat.com>  
> 
> Reviewed-by: David Gibson <david@gibson.dropbear.id.au>
> 
> [snip]
> > diff --git a/fwd.c b/fwd.c
> > index 7152169..4ba0af3 100644
> > --- a/fwd.c
> > +++ b/fwd.c
> > @@ -1090,7 +1090,11 @@ uint8_t fwd_nat_from_host(const struct ctx *c,
> >  				return PIF_NONE;
> >  			tgt->oaddr = inany_from_v4(c->ip4.our_tap_addr);
> >  		} else {
> > -			tgt->oaddr.a6 = c->ip6.our_tap_ll;
> > +			if (inany_is_linklocal6(&tgt->eaddr) ||  
> 
> Just to make sure you're aware: this will only trigger if tgt->eaddr
> has been set at this point, which is not always the case.  In fact it
> will usually only be the case when the rule specifies a target
> address.  In other cases we pick tgt->oaddr first then pick
> tgt->eaddr's scope to try to match it.

Right, yes, I had half a mind to try and change this slightly (see
below) but then I realised that luckily it wasn't needed for this
minimal fix, as Podman will specify an explicit destination address, so
I preferred to avoid the topic altogether for the moment (including
avoiding comments that risk ignoring some corner cases) because:

> I think the fact that the order in which we pick eaddr and oaddr
> varies is pretty confusing, but I haven't so far seen a way to avoid
> it without breaking something worse.

...I think that, at least in the !nat_inbound() case, we should avoid
a strict ordering in the selection of source and destination address
(we should look into both at the same time) because in general we know
upfront if we can match the scope between source and destination, and we
should always try to do that (same here, RFC 6724 Section 5 Rule 2).

And, if there are multiple ways to match the scopes, we should prefer
the most specific / smaller common scope (same rule as above, Section
3.1 helps in the interpretation).

But this would be much simpler to implement once we have Jon's changes
generalising address storage, because at that point we could have a
lookup function for the smallest scope of usable address, or even a
joint lookup function altogether. In detail, I think we should do this
(again, under the !nat_inbound() condition):

1. if there's a possible link-local source address and a possible
   destination source address, pick both

2. if there's a possible unicast source address and a possible unicast
   destination address, pick both

3. if there's a possible link-local source address, pick it, and then
   pick any (mismatching) destination address

4. otherwise, pick any available source address, and any available
   destination address

...and once we have that series, we can probably avoid implementing
these as distinct steps. I would defer all this to that point, and
meanwhile just fix whatever critical case might come up (like the
current one with Podman).

> I still think this change is correct: not previously having
> ip6.our_tap_addr was only possible because we did this odd dance to
> pick eaddr based on oaddr's scope rather than the other way around.
> 
> > +			    IN6_IS_ADDR_UNSPECIFIED(&c->ip6.our_tap_addr))
> > +				tgt->oaddr.a6 = c->ip6.our_tap_ll;
> > +			else
> > +				tgt->oaddr.a6 = c->ip6.our_tap_addr;
> >  		}
> >  	}
> >  	tgt->oport = ini->eport;
> > diff --git a/passt.h b/passt.h
> > index a61baca..51ccd4f 100644
> > --- a/passt.h
> > +++ b/passt.h
> > @@ -121,6 +121,7 @@ struct ip4_ctx {
> >   * @dns:		DNS addresses for DHCPv6 and NDP
> >   * @dns_match:		Forward DNS query if sent to this address
> >   * @our_tap_ll:		Link-local IPv6 address for passt's use on tap
> > + * @our_tap_addr:	Non-LL IPv6 address for passt's use on tap (if any)
> >   * @dns_host:		Use this DNS on the host for forwarding
> >   * @addr_out:		Optional source address for outbound traffic
> >   * @ifname_out:		Optional interface name to bind outbound sockets to
> > @@ -140,6 +141,7 @@ struct ip6_ctx {
> >  	struct in6_addr dns[MAXNS];
> >  	struct in6_addr dns_match;
> >  	struct in6_addr our_tap_ll;
> > +	struct in6_addr our_tap_addr;
> >  
> >  	/* PIF_HOST addresses */
> >  	struct in6_addr dns_host;
> > -- 
> > 2.43.0

-- 
Stefano


      reply	other threads:[~2026-07-23  9:42 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-07-22 23:26 [PATCH 0/2] Allow users to give source address with --gateway also for IPv6 Stefano Brivio
2026-07-22 23:26 ` [PATCH 1/2] conf: Honour --address, --gateway, --netmask in local mode as well Stefano Brivio
2026-07-23  3:26   ` David Gibson
2026-07-22 23:26 ` [PATCH 2/2] conf, fwd: Prefer same-scope address as inbound source address from host Stefano Brivio
2026-07-23  3:36   ` David Gibson
2026-07-23  9:42     ` Stefano Brivio [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20260723114234.2266f6dc@elisabeth \
    --to=sbrivio@redhat.com \
    --cc=david@gibson.dropbear.id.au \
    --cc=jrodak@redhat.com \
    --cc=passt-dev@passt.top \
    --cc=pholzing@redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://passt.top/passt

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for IMAP folder(s).