diff mbox

[ovs-dev,net] openvswitch: Fix for force/commit action failures

Message ID 1500048639-24169-1-git-send-email-gvrose8192@gmail.com
State Not Applicable
Headers show

Commit Message

Gregory Rose July 14, 2017, 4:10 p.m. UTC
When there is an established connection in direction A->B, it is
possible to receive a packet on port B which then executes
ct(commit,force) without first performing ct() - ie, a lookup.
In this case, we would expect that this packet can delete the existing
entry so that we can commit a connection with direction B->A. However,
currently we only perform a check in skb_nfct_cached() for whether
OVS_CS_F_TRACKED is set and OVS_CS_F_INVALID is not set, ie that a
lookup previously occurred. In the above scenario, a lookup has not
occurred but we should still be able to statelessly look up the
existing entry and potentially delete the entry if it is in the
opposite direction.

This patch extends the check to also hint that if the action has the
force flag set, then we will lookup the existing entry so that the
force check at the end of skb_nfct_cached has the ability to delete
the connection.

Fixes: dd41d330b03 ("openvswitch: Add force commit.")
CC: Pravin Shelar <pshelar@nicira.com>
CC: dev@openvswitch.org
Signed-off-by: Joe Stringer <joe@ovn.org>
Signed-off-by: Greg Rose <gvrose8192@gmail.com>
---
 net/openvswitch/conntrack.c | 50 +++++++++++++++++++++++++++++++--------------
 1 file changed, 35 insertions(+), 15 deletions(-)

Comments

Joe Stringer July 14, 2017, 6:29 p.m. UTC | #1
On 14 July 2017 at 09:10, Greg Rose <gvrose8192@gmail.com> wrote:
> When there is an established connection in direction A->B, it is
> possible to receive a packet on port B which then executes
> ct(commit,force) without first performing ct() - ie, a lookup.
> In this case, we would expect that this packet can delete the existing
> entry so that we can commit a connection with direction B->A. However,
> currently we only perform a check in skb_nfct_cached() for whether
> OVS_CS_F_TRACKED is set and OVS_CS_F_INVALID is not set, ie that a
> lookup previously occurred. In the above scenario, a lookup has not
> occurred but we should still be able to statelessly look up the
> existing entry and potentially delete the entry if it is in the
> opposite direction.
>
> This patch extends the check to also hint that if the action has the
> force flag set, then we will lookup the existing entry so that the
> force check at the end of skb_nfct_cached has the ability to delete
> the connection.
>
> Fixes: dd41d330b03 ("openvswitch: Add force commit.")
> CC: Pravin Shelar <pshelar@nicira.com>
> CC: dev@openvswitch.org
> Signed-off-by: Joe Stringer <joe@ovn.org>
> Signed-off-by: Greg Rose <gvrose8192@gmail.com>
> ---

Thanks for the fix.

Reviewed-by: Joe Stringer <joe@ovn.org>
Joe Stringer July 14, 2017, 6:42 p.m. UTC | #2
On 14 July 2017 at 09:10, Greg Rose <gvrose8192@gmail.com> wrote:
> When there is an established connection in direction A->B, it is
> possible to receive a packet on port B which then executes
> ct(commit,force) without first performing ct() - ie, a lookup.
> In this case, we would expect that this packet can delete the existing
> entry so that we can commit a connection with direction B->A. However,
> currently we only perform a check in skb_nfct_cached() for whether
> OVS_CS_F_TRACKED is set and OVS_CS_F_INVALID is not set, ie that a
> lookup previously occurred. In the above scenario, a lookup has not
> occurred but we should still be able to statelessly look up the
> existing entry and potentially delete the entry if it is in the
> opposite direction.
>
> This patch extends the check to also hint that if the action has the
> force flag set, then we will lookup the existing entry so that the
> force check at the end of skb_nfct_cached has the ability to delete
> the connection.
>
> Fixes: dd41d330b03 ("openvswitch: Add force commit.")
> CC: Pravin Shelar <pshelar@nicira.com>
> CC: dev@openvswitch.org
> Signed-off-by: Joe Stringer <joe@ovn.org>
> Signed-off-by: Greg Rose <gvrose8192@gmail.com>
> ---
>  net/openvswitch/conntrack.c | 50 +++++++++++++++++++++++++++++++--------------
>  1 file changed, 35 insertions(+), 15 deletions(-)
>
> diff --git a/net/openvswitch/conntrack.c b/net/openvswitch/conntrack.c
> index 08679eb..1260f2b 100644
> --- a/net/openvswitch/conntrack.c
> +++ b/net/openvswitch/conntrack.c
> @@ -629,6 +629,33 @@ static int handle_fragments(struct net *net, struct sw_flow_key *key,
>         return ct;
>  }
>
> +struct nf_conn *ovs_ct_executed(struct net *net,
> +                               const struct sw_flow_key *key,
> +                               const struct ovs_conntrack_info *info,
> +                               struct sk_buff *skb,
> +                               bool *ct_executed)

Actually, some compilers will report this new warning:
net/openvswitch/conntrack.c:632:16: warning: symbol 'ovs_ct_executed'
was not declared. Should it be static?

Could you make this function static and repost?

Thanks.
Gregory Rose July 14, 2017, 6:44 p.m. UTC | #3
On 07/14/2017 11:42 AM, Joe Stringer wrote:
> On 14 July 2017 at 09:10, Greg Rose <gvrose8192@gmail.com> wrote:
> > When there is an established connection in direction A->B, it is
> > possible to receive a packet on port B which then executes
> > ct(commit,force) without first performing ct() - ie, a lookup.
> > In this case, we would expect that this packet can delete the existing
> > entry so that we can commit a connection with direction B->A. However,
> > currently we only perform a check in skb_nfct_cached() for whether
> > OVS_CS_F_TRACKED is set and OVS_CS_F_INVALID is not set, ie that a
> > lookup previously occurred. In the above scenario, a lookup has not
> > occurred but we should still be able to statelessly look up the
> > existing entry and potentially delete the entry if it is in the
> > opposite direction.
> >
> > This patch extends the check to also hint that if the action has the
> > force flag set, then we will lookup the existing entry so that the
> > force check at the end of skb_nfct_cached has the ability to delete
> > the connection.
> >
> > Fixes: dd41d330b03 ("openvswitch: Add force commit.")
> > CC: Pravin Shelar <pshelar@nicira.com>
> > CC: dev@openvswitch.org
> > Signed-off-by: Joe Stringer <joe@ovn.org>
> > Signed-off-by: Greg Rose <gvrose8192@gmail.com>
> > ---
> >   net/openvswitch/conntrack.c | 50 +++++++++++++++++++++++++++++++--------------
> >   1 file changed, 35 insertions(+), 15 deletions(-)
> >
> > diff --git a/net/openvswitch/conntrack.c b/net/openvswitch/conntrack.c
> > index 08679eb..1260f2b 100644
> > --- a/net/openvswitch/conntrack.c
> > +++ b/net/openvswitch/conntrack.c
> > @@ -629,6 +629,33 @@ static int handle_fragments(struct net *net, struct sw_flow_key *key,
> >          return ct;
> >   }
> >
> > +struct nf_conn *ovs_ct_executed(struct net *net,
> > +                               const struct sw_flow_key *key,
> > +                               const struct ovs_conntrack_info *info,
> > +                               struct sk_buff *skb,
> > +                               bool *ct_executed)
>
> Actually, some compilers will report this new warning:
> net/openvswitch/conntrack.c:632:16: warning: symbol 'ovs_ct_executed'
> was not declared. Should it be static?
>
> Could you make this function static and repost?
>
> Thanks.
>
Yes, I just saw that too.  Need to update my compiler for my primary build machine.  I'll send a V2...

Thanks!

- Greg
diff mbox

Patch

diff --git a/net/openvswitch/conntrack.c b/net/openvswitch/conntrack.c
index 08679eb..1260f2b 100644
--- a/net/openvswitch/conntrack.c
+++ b/net/openvswitch/conntrack.c
@@ -629,6 +629,33 @@  static int handle_fragments(struct net *net, struct sw_flow_key *key,
 	return ct;
 }
 
+struct nf_conn *ovs_ct_executed(struct net *net,
+				const struct sw_flow_key *key,
+				const struct ovs_conntrack_info *info,
+				struct sk_buff *skb,
+				bool *ct_executed)
+{
+	struct nf_conn *ct = NULL;
+
+	/* If no ct, check if we have evidence that an existing conntrack entry
+	 * might be found for this skb.  This happens when we lose a skb->_nfct
+	 * due to an upcall, or if the direction is being forced.  If the
+	 * connection was not confirmed, it is not cached and needs to be run
+	 * through conntrack again.
+	 */
+	*ct_executed = (key->ct_state & OVS_CS_F_TRACKED) &&
+		       !(key->ct_state & OVS_CS_F_INVALID) &&
+		       (key->ct_zone == info->zone.id);
+
+	if (*ct_executed || (!key->ct_state && info->force)) {
+		ct = ovs_ct_find_existing(net, &info->zone, info->family, skb,
+					  !!(key->ct_state &
+					  OVS_CS_F_NAT_MASK));
+	}
+
+	return ct;
+}
+
 /* Determine whether skb->_nfct is equal to the result of conntrack lookup. */
 static bool skb_nfct_cached(struct net *net,
 			    const struct sw_flow_key *key,
@@ -637,24 +664,17 @@  static bool skb_nfct_cached(struct net *net,
 {
 	enum ip_conntrack_info ctinfo;
 	struct nf_conn *ct;
+	bool ct_executed = true;
 
 	ct = nf_ct_get(skb, &ctinfo);
-	/* If no ct, check if we have evidence that an existing conntrack entry
-	 * might be found for this skb.  This happens when we lose a skb->_nfct
-	 * due to an upcall.  If the connection was not confirmed, it is not
-	 * cached and needs to be run through conntrack again.
-	 */
-	if (!ct && key->ct_state & OVS_CS_F_TRACKED &&
-	    !(key->ct_state & OVS_CS_F_INVALID) &&
-	    key->ct_zone == info->zone.id) {
-		ct = ovs_ct_find_existing(net, &info->zone, info->family, skb,
-					  !!(key->ct_state
-					     & OVS_CS_F_NAT_MASK));
-		if (ct)
-			nf_ct_get(skb, &ctinfo);
-	}
 	if (!ct)
+		ct = ovs_ct_executed(net, key, info, skb, &ct_executed);
+
+	if (ct)
+		nf_ct_get(skb, &ctinfo);
+	else
 		return false;
+
 	if (!net_eq(net, read_pnet(&ct->ct_net)))
 		return false;
 	if (!nf_ct_zone_equal_any(info->ct, nf_ct_zone(ct)))
@@ -679,7 +699,7 @@  static bool skb_nfct_cached(struct net *net,
 		return false;
 	}
 
-	return true;
+	return ct_executed;
 }
 
 #ifdef CONFIG_NF_NAT_NEEDED