ofproto-dpif-xlate: Eliminate 'is_icmp' from xlate_actions().
[cascardo/ovs.git] / ofproto / ofproto-dpif-xlate.c
1 /* Copyright (c) 2009, 2010, 2011, 2012, 2013, 2014, 2015 Nicira, Inc.
2  *
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at:
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License. */
14
15 #include <config.h>
16
17 #include "ofproto/ofproto-dpif-xlate.h"
18
19 #include <errno.h>
20 #include <arpa/inet.h>
21 #include <net/if.h>
22 #include <sys/socket.h>
23 #include <netinet/in.h>
24
25 #include "tnl-arp-cache.h"
26 #include "bfd.h"
27 #include "bitmap.h"
28 #include "bond.h"
29 #include "bundle.h"
30 #include "byte-order.h"
31 #include "cfm.h"
32 #include "connmgr.h"
33 #include "coverage.h"
34 #include "dp-packet.h"
35 #include "dpif.h"
36 #include "dynamic-string.h"
37 #include "in-band.h"
38 #include "lacp.h"
39 #include "learn.h"
40 #include "list.h"
41 #include "ovs-lldp.h"
42 #include "mac-learning.h"
43 #include "mcast-snooping.h"
44 #include "meta-flow.h"
45 #include "multipath.h"
46 #include "netdev-vport.h"
47 #include "netlink.h"
48 #include "nx-match.h"
49 #include "odp-execute.h"
50 #include "ofp-actions.h"
51 #include "ofproto/ofproto-dpif-ipfix.h"
52 #include "ofproto/ofproto-dpif-mirror.h"
53 #include "ofproto/ofproto-dpif-monitor.h"
54 #include "ofproto/ofproto-dpif-sflow.h"
55 #include "ofproto/ofproto-dpif.h"
56 #include "ofproto/ofproto-provider.h"
57 #include "ovs-router.h"
58 #include "tnl-ports.h"
59 #include "tunnel.h"
60 #include "openvswitch/vlog.h"
61
62 COVERAGE_DEFINE(xlate_actions);
63 COVERAGE_DEFINE(xlate_actions_oversize);
64 COVERAGE_DEFINE(xlate_actions_too_many_output);
65
66 VLOG_DEFINE_THIS_MODULE(ofproto_dpif_xlate);
67
68 /* Maximum depth of flow table recursion (due to resubmit actions) in a
69  * flow translation. */
70 #define MAX_RESUBMIT_RECURSION 64
71 #define MAX_INTERNAL_RESUBMITS 1   /* Max resbmits allowed using rules in
72                                       internal table. */
73
74 /* Maximum number of resubmit actions in a flow translation, whether they are
75  * recursive or not. */
76 #define MAX_RESUBMITS (MAX_RESUBMIT_RECURSION * MAX_RESUBMIT_RECURSION)
77
78 struct xbridge {
79     struct hmap_node hmap_node;   /* Node in global 'xbridges' map. */
80     struct ofproto_dpif *ofproto; /* Key in global 'xbridges' map. */
81
82     struct ovs_list xbundles;     /* Owned xbundles. */
83     struct hmap xports;           /* Indexed by ofp_port. */
84
85     char *name;                   /* Name used in log messages. */
86     struct dpif *dpif;            /* Datapath interface. */
87     struct mac_learning *ml;      /* Mac learning handle. */
88     struct mcast_snooping *ms;    /* Multicast Snooping handle. */
89     struct mbridge *mbridge;      /* Mirroring. */
90     struct dpif_sflow *sflow;     /* SFlow handle, or null. */
91     struct dpif_ipfix *ipfix;     /* Ipfix handle, or null. */
92     struct netflow *netflow;      /* Netflow handle, or null. */
93     struct stp *stp;              /* STP or null if disabled. */
94     struct rstp *rstp;            /* RSTP or null if disabled. */
95
96     bool has_in_band;             /* Bridge has in band control? */
97     bool forward_bpdu;            /* Bridge forwards STP BPDUs? */
98
99     /* Datapath feature support. */
100     struct dpif_backer_support support;
101 };
102
103 struct xbundle {
104     struct hmap_node hmap_node;    /* In global 'xbundles' map. */
105     struct ofbundle *ofbundle;     /* Key in global 'xbundles' map. */
106
107     struct ovs_list list_node;     /* In parent 'xbridges' list. */
108     struct xbridge *xbridge;       /* Parent xbridge. */
109
110     struct ovs_list xports;        /* Contains "struct xport"s. */
111
112     char *name;                    /* Name used in log messages. */
113     struct bond *bond;             /* Nonnull iff more than one port. */
114     struct lacp *lacp;             /* LACP handle or null. */
115
116     enum port_vlan_mode vlan_mode; /* VLAN mode. */
117     int vlan;                      /* -1=trunk port, else a 12-bit VLAN ID. */
118     unsigned long *trunks;         /* Bitmap of trunked VLANs, if 'vlan' == -1.
119                                     * NULL if all VLANs are trunked. */
120     bool use_priority_tags;        /* Use 802.1p tag for frames in VLAN 0? */
121     bool floodable;                /* No port has OFPUTIL_PC_NO_FLOOD set? */
122 };
123
124 struct xport {
125     struct hmap_node hmap_node;      /* Node in global 'xports' map. */
126     struct ofport_dpif *ofport;      /* Key in global 'xports map. */
127
128     struct hmap_node ofp_node;       /* Node in parent xbridge 'xports' map. */
129     ofp_port_t ofp_port;             /* Key in parent xbridge 'xports' map. */
130
131     odp_port_t odp_port;             /* Datapath port number or ODPP_NONE. */
132
133     struct ovs_list bundle_node;     /* In parent xbundle (if it exists). */
134     struct xbundle *xbundle;         /* Parent xbundle or null. */
135
136     struct netdev *netdev;           /* 'ofport''s netdev. */
137
138     struct xbridge *xbridge;         /* Parent bridge. */
139     struct xport *peer;              /* Patch port peer or null. */
140
141     enum ofputil_port_config config; /* OpenFlow port configuration. */
142     enum ofputil_port_state state;   /* OpenFlow port state. */
143     int stp_port_no;                 /* STP port number or -1 if not in use. */
144     struct rstp_port *rstp_port;     /* RSTP port or null. */
145
146     struct hmap skb_priorities;      /* Map of 'skb_priority_to_dscp's. */
147
148     bool may_enable;                 /* May be enabled in bonds. */
149     bool is_tunnel;                  /* Is a tunnel port. */
150
151     struct cfm *cfm;                 /* CFM handle or null. */
152     struct bfd *bfd;                 /* BFD handle or null. */
153     struct lldp *lldp;               /* LLDP handle or null. */
154 };
155
156 struct xlate_ctx {
157     struct xlate_in *xin;
158     struct xlate_out *xout;
159
160     const struct xbridge *xbridge;
161
162     /* Flow tables version at the beginning of the translation. */
163     cls_version_t tables_version;
164
165     /* Flow at the last commit. */
166     struct flow base_flow;
167
168     /* Tunnel IP destination address as received.  This is stored separately
169      * as the base_flow.tunnel is cleared on init to reflect the datapath
170      * behavior.  Used to make sure not to send tunneled output to ourselves,
171      * which might lead to an infinite loop.  This could happen easily
172      * if a tunnel is marked as 'ip_remote=flow', and the flow does not
173      * actually set the tun_dst field. */
174     ovs_be32 orig_tunnel_ip_dst;
175
176     /* Stack for the push and pop actions.  Each stack element is of type
177      * "union mf_subvalue". */
178     struct ofpbuf stack;
179
180     /* The rule that we are currently translating, or NULL. */
181     struct rule_dpif *rule;
182
183     /* Flow translation populates this with wildcards relevant in translation.
184      * When 'xin->wc' is nonnull, this is the same pointer.  When 'xin->wc' is
185      * null, this is a pointer to uninitialized scratch memory.  This allows
186      * code to blindly write to 'ctx->wc' without worrying about whether the
187      * caller really wants wildcards. */
188     struct flow_wildcards *wc;
189
190     /* Output buffer for datapath actions.  When 'xin->odp_actions' is nonnull,
191      * this is the same pointer.  When 'xin->odp_actions' is null, this points
192      * to a scratch ofpbuf.  This allows code to add actions to
193      * 'ctx->odp_actions' without worrying about whether the caller really
194      * wants actions. */
195     struct ofpbuf *odp_actions;
196
197     /* Resubmit statistics, via xlate_table_action(). */
198     int recurse;                /* Current resubmit nesting depth. */
199     int resubmits;              /* Total number of resubmits. */
200     bool in_group;              /* Currently translating ofgroup, if true. */
201     bool in_action_set;         /* Currently translating action_set, if true. */
202
203     uint8_t table_id;           /* OpenFlow table ID where flow was found. */
204     ovs_be64 rule_cookie;       /* Cookie of the rule being translated. */
205     uint32_t orig_skb_priority; /* Priority when packet arrived. */
206     uint32_t sflow_n_outputs;   /* Number of output ports. */
207     odp_port_t sflow_odp_port;  /* Output port for composing sFlow action. */
208     uint16_t user_cookie_offset;/* Used for user_action_cookie fixup. */
209     bool exit;                  /* No further actions should be processed. */
210
211    /* These are used for non-bond recirculation.  The recirculation IDs are
212     * stored in xout and must be associated with a datapath flow (ukey),
213     * otherwise they will be freed when the xout is uninitialized.
214     *
215     *
216     * Steps in Recirculation Translation
217     * ==================================
218     *
219     * At some point during translation, the code recognizes the need for
220     * recirculation.  For example, recirculation is necessary when, after
221     * popping the last MPLS label, an action or a match tries to examine or
222     * modify a field that has been newly revealed following the MPLS label.
223     *
224     * The simplest part of the work to be done is to commit existing changes to
225     * the packet, which produces datapath actions corresponding to the changes,
226     * and after this, add an OVS_ACTION_ATTR_RECIRC datapath action.
227     *
228     * The main problem here is preserving state.  When the datapath executes
229     * OVS_ACTION_ATTR_RECIRC, it will upcall to userspace to get a translation
230     * for the post-recirculation actions.  At this point userspace has to
231     * resume the translation where it left off, which means that it has to
232     * execute the following:
233     *
234     *     - The action that prompted recirculation, and any actions following
235     *       it within the same flow.
236     *
237     *     - If the action that prompted recirculation was invoked within a
238     *       NXAST_RESUBMIT, then any actions following the resubmit.  These
239     *       "resubmit"s can be nested, so this has to go all the way up the
240     *       control stack.
241     *
242     *     - The OpenFlow 1.1+ action set.
243     *
244     * State that actions and flow table lookups can depend on, such as the
245     * following, must also be preserved:
246     *
247     *     - Metadata fields (input port, registers, OF1.1+ metadata, ...).
248     *
249     *     - Action set, stack
250     *
251     *     - The table ID and cookie of the flow being translated at each level
252     *       of the control stack (since OFPAT_CONTROLLER actions send these to
253     *       the controller).
254     *
255     * Translation allows for the control of this state preservation via these
256     * members.  When a need for recirculation is identified, the translation
257     * process:
258     *
259     * 1. Sets 'recirc_action_offset' to the current size of 'action_set'.  The
260     *    action set is part of what needs to be preserved, so this allows the
261     *    action set and the additional state to share the 'action_set' buffer.
262     *    Later steps can tell that setup for recirculation is in progress from
263     *    the nonnegative value of 'recirc_action_offset'.
264     *
265     * 2. Sets 'exit' to true to tell later steps that we're exiting from the
266     *    translation process.
267     *
268     * 3. Adds an OFPACT_UNROLL_XLATE action to 'action_set'.  This action
269     *    holds the current table ID and cookie so that they can be restored
270     *    during a post-recirculation upcall translation.
271     *
272     * 4. Adds the action that prompted recirculation and any actions following
273     *    it within the same flow to 'action_set', so that they can be executed
274     *    during a post-recirculation upcall translation.
275     *
276     * 5. Returns.
277     *
278     * 6. The action that prompted recirculation might be nested in a stack of
279     *    nested "resubmit"s that have actions remaining.  Each of these notices
280     *    that we're exiting (from 'exit') and that recirculation setup is in
281     *    progress (from 'recirc_action_offset') and responds by adding more
282     *    OFPACT_UNROLL_XLATE actions to 'action_set', as necessary, and any
283     *    actions that were yet unprocessed.
284     *
285     * The caller stores all the state produced by this process associated with
286     * the recirculation ID.  For post-recirculation upcall translation, the
287     * caller passes it back in for the new translation to execute.  The
288     * process yielded a set of ofpacts that can be translated directly, so it
289     * is not much of a special case at that point.
290     */
291     int recirc_action_offset;   /* Offset in 'action_set' to actions to be
292                                  * executed after recirculation, or -1. */
293     int last_unroll_offset;     /* Offset in 'action_set' to the latest unroll
294                                  * action, or -1. */
295
296     /* True if a packet was but is no longer MPLS (due to an MPLS pop action).
297      * This is a trigger for recirculation in cases where translating an action
298      * or looking up a flow requires access to the fields of the packet after
299      * the MPLS label stack that was originally present. */
300     bool was_mpls;
301
302     /* OpenFlow 1.1+ action set.
303      *
304      * 'action_set' accumulates "struct ofpact"s added by OFPACT_WRITE_ACTIONS.
305      * When translation is otherwise complete, ofpacts_execute_action_set()
306      * converts it to a set of "struct ofpact"s that can be translated into
307      * datapath actions. */
308     bool action_set_has_group;  /* Action set contains OFPACT_GROUP? */
309     struct ofpbuf action_set;   /* Action set. */
310 };
311
312 static void xlate_action_set(struct xlate_ctx *ctx);
313
314 static void
315 ctx_trigger_recirculation(struct xlate_ctx *ctx)
316 {
317     ctx->exit = true;
318     ctx->recirc_action_offset = ctx->action_set.size;
319 }
320
321 static bool
322 ctx_first_recirculation_action(const struct xlate_ctx *ctx)
323 {
324     return ctx->recirc_action_offset == ctx->action_set.size;
325 }
326
327 static inline bool
328 exit_recirculates(const struct xlate_ctx *ctx)
329 {
330     /* When recirculating the 'recirc_action_offset' has a non-negative value.
331      */
332     return ctx->recirc_action_offset >= 0;
333 }
334
335 static void compose_recirculate_action(struct xlate_ctx *ctx);
336
337 /* A controller may use OFPP_NONE as the ingress port to indicate that
338  * it did not arrive on a "real" port.  'ofpp_none_bundle' exists for
339  * when an input bundle is needed for validation (e.g., mirroring or
340  * OFPP_NORMAL processing).  It is not connected to an 'ofproto' or have
341  * any 'port' structs, so care must be taken when dealing with it. */
342 static struct xbundle ofpp_none_bundle = {
343     .name      = "OFPP_NONE",
344     .vlan_mode = PORT_VLAN_TRUNK
345 };
346
347 /* Node in 'xport''s 'skb_priorities' map.  Used to maintain a map from
348  * 'priority' (the datapath's term for QoS queue) to the dscp bits which all
349  * traffic egressing the 'ofport' with that priority should be marked with. */
350 struct skb_priority_to_dscp {
351     struct hmap_node hmap_node; /* Node in 'ofport_dpif''s 'skb_priorities'. */
352     uint32_t skb_priority;      /* Priority of this queue (see struct flow). */
353
354     uint8_t dscp;               /* DSCP bits to mark outgoing traffic with. */
355 };
356
357 enum xc_type {
358     XC_RULE,
359     XC_BOND,
360     XC_NETDEV,
361     XC_NETFLOW,
362     XC_MIRROR,
363     XC_LEARN,
364     XC_NORMAL,
365     XC_FIN_TIMEOUT,
366     XC_GROUP,
367     XC_TNL_ARP,
368 };
369
370 /* xlate_cache entries hold enough information to perform the side effects of
371  * xlate_actions() for a rule, without needing to perform rule translation
372  * from scratch. The primary usage of these is to submit statistics to objects
373  * that a flow relates to, although they may be used for other effects as well
374  * (for instance, refreshing hard timeouts for learned flows). */
375 struct xc_entry {
376     enum xc_type type;
377     union {
378         struct rule_dpif *rule;
379         struct {
380             struct netdev *tx;
381             struct netdev *rx;
382             struct bfd *bfd;
383         } dev;
384         struct {
385             struct netflow *netflow;
386             struct flow *flow;
387             ofp_port_t iface;
388         } nf;
389         struct {
390             struct mbridge *mbridge;
391             mirror_mask_t mirrors;
392         } mirror;
393         struct {
394             struct bond *bond;
395             struct flow *flow;
396             uint16_t vid;
397         } bond;
398         struct {
399             struct ofproto_dpif *ofproto;
400             struct ofputil_flow_mod *fm;
401             struct ofpbuf *ofpacts;
402         } learn;
403         struct {
404             struct ofproto_dpif *ofproto;
405             struct flow *flow;
406             int vlan;
407         } normal;
408         struct {
409             struct rule_dpif *rule;
410             uint16_t idle;
411             uint16_t hard;
412         } fin;
413         struct {
414             struct group_dpif *group;
415             struct ofputil_bucket *bucket;
416         } group;
417         struct {
418             char br_name[IFNAMSIZ];
419             ovs_be32 d_ip;
420         } tnl_arp_cache;
421     } u;
422 };
423
424 #define XC_ENTRY_FOR_EACH(entry, entries, xcache)               \
425     entries = xcache->entries;                                  \
426     for (entry = ofpbuf_try_pull(&entries, sizeof *entry);      \
427          entry;                                                 \
428          entry = ofpbuf_try_pull(&entries, sizeof *entry))
429
430 struct xlate_cache {
431     struct ofpbuf entries;
432 };
433
434 /* Xlate config contains hash maps of all bridges, bundles and ports.
435  * Xcfgp contains the pointer to the current xlate configuration.
436  * When the main thread needs to change the configuration, it copies xcfgp to
437  * new_xcfg and edits new_xcfg. This enables the use of RCU locking which
438  * does not block handler and revalidator threads. */
439 struct xlate_cfg {
440     struct hmap xbridges;
441     struct hmap xbundles;
442     struct hmap xports;
443 };
444 static OVSRCU_TYPE(struct xlate_cfg *) xcfgp = OVSRCU_INITIALIZER(NULL);
445 static struct xlate_cfg *new_xcfg = NULL;
446
447 static bool may_receive(const struct xport *, struct xlate_ctx *);
448 static void do_xlate_actions(const struct ofpact *, size_t ofpacts_len,
449                              struct xlate_ctx *);
450 static void xlate_normal(struct xlate_ctx *);
451 static inline void xlate_report(struct xlate_ctx *, const char *, ...)
452     OVS_PRINTF_FORMAT(2, 3);
453 static void xlate_table_action(struct xlate_ctx *, ofp_port_t in_port,
454                                uint8_t table_id, bool may_packet_in,
455                                bool honor_table_miss);
456 static bool input_vid_is_valid(uint16_t vid, struct xbundle *, bool warn);
457 static uint16_t input_vid_to_vlan(const struct xbundle *, uint16_t vid);
458 static void output_normal(struct xlate_ctx *, const struct xbundle *,
459                           uint16_t vlan);
460
461 /* Optional bond recirculation parameter to compose_output_action(). */
462 struct xlate_bond_recirc {
463     uint32_t recirc_id;  /* !0 Use recirculation instead of output. */
464     uint8_t  hash_alg;   /* !0 Compute hash for recirc before. */
465     uint32_t hash_basis;  /* Compute hash for recirc before. */
466 };
467
468 static void compose_output_action(struct xlate_ctx *, ofp_port_t ofp_port,
469                                   const struct xlate_bond_recirc *xr);
470
471 static struct xbridge *xbridge_lookup(struct xlate_cfg *,
472                                       const struct ofproto_dpif *);
473 static struct xbundle *xbundle_lookup(struct xlate_cfg *,
474                                       const struct ofbundle *);
475 static struct xport *xport_lookup(struct xlate_cfg *,
476                                   const struct ofport_dpif *);
477 static struct xport *get_ofp_port(const struct xbridge *, ofp_port_t ofp_port);
478 static struct skb_priority_to_dscp *get_skb_priority(const struct xport *,
479                                                      uint32_t skb_priority);
480 static void clear_skb_priorities(struct xport *);
481 static size_t count_skb_priorities(const struct xport *);
482 static bool dscp_from_skb_priority(const struct xport *, uint32_t skb_priority,
483                                    uint8_t *dscp);
484
485 static struct xc_entry *xlate_cache_add_entry(struct xlate_cache *xc,
486                                               enum xc_type type);
487 static void xlate_xbridge_init(struct xlate_cfg *, struct xbridge *);
488 static void xlate_xbundle_init(struct xlate_cfg *, struct xbundle *);
489 static void xlate_xport_init(struct xlate_cfg *, struct xport *);
490 static void xlate_xbridge_set(struct xbridge *, struct dpif *,
491                               const struct mac_learning *, struct stp *,
492                               struct rstp *, const struct mcast_snooping *,
493                               const struct mbridge *,
494                               const struct dpif_sflow *,
495                               const struct dpif_ipfix *,
496                               const struct netflow *,
497                               bool forward_bpdu, bool has_in_band,
498                               const struct dpif_backer_support *);
499 static void xlate_xbundle_set(struct xbundle *xbundle,
500                               enum port_vlan_mode vlan_mode, int vlan,
501                               unsigned long *trunks, bool use_priority_tags,
502                               const struct bond *bond, const struct lacp *lacp,
503                               bool floodable);
504 static void xlate_xport_set(struct xport *xport, odp_port_t odp_port,
505                             const struct netdev *netdev, const struct cfm *cfm,
506                             const struct bfd *bfd, const struct lldp *lldp,
507                             int stp_port_no, const struct rstp_port *rstp_port,
508                             enum ofputil_port_config config,
509                             enum ofputil_port_state state, bool is_tunnel,
510                             bool may_enable);
511 static void xlate_xbridge_remove(struct xlate_cfg *, struct xbridge *);
512 static void xlate_xbundle_remove(struct xlate_cfg *, struct xbundle *);
513 static void xlate_xport_remove(struct xlate_cfg *, struct xport *);
514 static void xlate_xbridge_copy(struct xbridge *);
515 static void xlate_xbundle_copy(struct xbridge *, struct xbundle *);
516 static void xlate_xport_copy(struct xbridge *, struct xbundle *,
517                              struct xport *);
518 static void xlate_xcfg_free(struct xlate_cfg *);
519
520 static inline void
521 xlate_report(struct xlate_ctx *ctx, const char *format, ...)
522 {
523     if (OVS_UNLIKELY(ctx->xin->report_hook)) {
524         va_list args;
525
526         va_start(args, format);
527         ctx->xin->report_hook(ctx->xin, ctx->recurse, format, args);
528         va_end(args);
529     }
530 }
531
532 static void
533 xlate_xbridge_init(struct xlate_cfg *xcfg, struct xbridge *xbridge)
534 {
535     list_init(&xbridge->xbundles);
536     hmap_init(&xbridge->xports);
537     hmap_insert(&xcfg->xbridges, &xbridge->hmap_node,
538                 hash_pointer(xbridge->ofproto, 0));
539 }
540
541 static void
542 xlate_xbundle_init(struct xlate_cfg *xcfg, struct xbundle *xbundle)
543 {
544     list_init(&xbundle->xports);
545     list_insert(&xbundle->xbridge->xbundles, &xbundle->list_node);
546     hmap_insert(&xcfg->xbundles, &xbundle->hmap_node,
547                 hash_pointer(xbundle->ofbundle, 0));
548 }
549
550 static void
551 xlate_xport_init(struct xlate_cfg *xcfg, struct xport *xport)
552 {
553     hmap_init(&xport->skb_priorities);
554     hmap_insert(&xcfg->xports, &xport->hmap_node,
555                 hash_pointer(xport->ofport, 0));
556     hmap_insert(&xport->xbridge->xports, &xport->ofp_node,
557                 hash_ofp_port(xport->ofp_port));
558 }
559
560 static void
561 xlate_xbridge_set(struct xbridge *xbridge,
562                   struct dpif *dpif,
563                   const struct mac_learning *ml, struct stp *stp,
564                   struct rstp *rstp, const struct mcast_snooping *ms,
565                   const struct mbridge *mbridge,
566                   const struct dpif_sflow *sflow,
567                   const struct dpif_ipfix *ipfix,
568                   const struct netflow *netflow,
569                   bool forward_bpdu, bool has_in_band,
570                   const struct dpif_backer_support *support)
571 {
572     if (xbridge->ml != ml) {
573         mac_learning_unref(xbridge->ml);
574         xbridge->ml = mac_learning_ref(ml);
575     }
576
577     if (xbridge->ms != ms) {
578         mcast_snooping_unref(xbridge->ms);
579         xbridge->ms = mcast_snooping_ref(ms);
580     }
581
582     if (xbridge->mbridge != mbridge) {
583         mbridge_unref(xbridge->mbridge);
584         xbridge->mbridge = mbridge_ref(mbridge);
585     }
586
587     if (xbridge->sflow != sflow) {
588         dpif_sflow_unref(xbridge->sflow);
589         xbridge->sflow = dpif_sflow_ref(sflow);
590     }
591
592     if (xbridge->ipfix != ipfix) {
593         dpif_ipfix_unref(xbridge->ipfix);
594         xbridge->ipfix = dpif_ipfix_ref(ipfix);
595     }
596
597     if (xbridge->stp != stp) {
598         stp_unref(xbridge->stp);
599         xbridge->stp = stp_ref(stp);
600     }
601
602     if (xbridge->rstp != rstp) {
603         rstp_unref(xbridge->rstp);
604         xbridge->rstp = rstp_ref(rstp);
605     }
606
607     if (xbridge->netflow != netflow) {
608         netflow_unref(xbridge->netflow);
609         xbridge->netflow = netflow_ref(netflow);
610     }
611
612     xbridge->dpif = dpif;
613     xbridge->forward_bpdu = forward_bpdu;
614     xbridge->has_in_band = has_in_band;
615     xbridge->support = *support;
616 }
617
618 static void
619 xlate_xbundle_set(struct xbundle *xbundle,
620                   enum port_vlan_mode vlan_mode, int vlan,
621                   unsigned long *trunks, bool use_priority_tags,
622                   const struct bond *bond, const struct lacp *lacp,
623                   bool floodable)
624 {
625     ovs_assert(xbundle->xbridge);
626
627     xbundle->vlan_mode = vlan_mode;
628     xbundle->vlan = vlan;
629     xbundle->trunks = trunks;
630     xbundle->use_priority_tags = use_priority_tags;
631     xbundle->floodable = floodable;
632
633     if (xbundle->bond != bond) {
634         bond_unref(xbundle->bond);
635         xbundle->bond = bond_ref(bond);
636     }
637
638     if (xbundle->lacp != lacp) {
639         lacp_unref(xbundle->lacp);
640         xbundle->lacp = lacp_ref(lacp);
641     }
642 }
643
644 static void
645 xlate_xport_set(struct xport *xport, odp_port_t odp_port,
646                 const struct netdev *netdev, const struct cfm *cfm,
647                 const struct bfd *bfd, const struct lldp *lldp, int stp_port_no,
648                 const struct rstp_port* rstp_port,
649                 enum ofputil_port_config config, enum ofputil_port_state state,
650                 bool is_tunnel, bool may_enable)
651 {
652     xport->config = config;
653     xport->state = state;
654     xport->stp_port_no = stp_port_no;
655     xport->is_tunnel = is_tunnel;
656     xport->may_enable = may_enable;
657     xport->odp_port = odp_port;
658
659     if (xport->rstp_port != rstp_port) {
660         rstp_port_unref(xport->rstp_port);
661         xport->rstp_port = rstp_port_ref(rstp_port);
662     }
663
664     if (xport->cfm != cfm) {
665         cfm_unref(xport->cfm);
666         xport->cfm = cfm_ref(cfm);
667     }
668
669     if (xport->bfd != bfd) {
670         bfd_unref(xport->bfd);
671         xport->bfd = bfd_ref(bfd);
672     }
673
674     if (xport->lldp != lldp) {
675         lldp_unref(xport->lldp);
676         xport->lldp = lldp_ref(lldp);
677     }
678
679     if (xport->netdev != netdev) {
680         netdev_close(xport->netdev);
681         xport->netdev = netdev_ref(netdev);
682     }
683 }
684
685 static void
686 xlate_xbridge_copy(struct xbridge *xbridge)
687 {
688     struct xbundle *xbundle;
689     struct xport *xport;
690     struct xbridge *new_xbridge = xzalloc(sizeof *xbridge);
691     new_xbridge->ofproto = xbridge->ofproto;
692     new_xbridge->name = xstrdup(xbridge->name);
693     xlate_xbridge_init(new_xcfg, new_xbridge);
694
695     xlate_xbridge_set(new_xbridge,
696                       xbridge->dpif, xbridge->ml, xbridge->stp,
697                       xbridge->rstp, xbridge->ms, xbridge->mbridge,
698                       xbridge->sflow, xbridge->ipfix, xbridge->netflow,
699                       xbridge->forward_bpdu, xbridge->has_in_band,
700                       &xbridge->support);
701     LIST_FOR_EACH (xbundle, list_node, &xbridge->xbundles) {
702         xlate_xbundle_copy(new_xbridge, xbundle);
703     }
704
705     /* Copy xports which are not part of a xbundle */
706     HMAP_FOR_EACH (xport, ofp_node, &xbridge->xports) {
707         if (!xport->xbundle) {
708             xlate_xport_copy(new_xbridge, NULL, xport);
709         }
710     }
711 }
712
713 static void
714 xlate_xbundle_copy(struct xbridge *xbridge, struct xbundle *xbundle)
715 {
716     struct xport *xport;
717     struct xbundle *new_xbundle = xzalloc(sizeof *xbundle);
718     new_xbundle->ofbundle = xbundle->ofbundle;
719     new_xbundle->xbridge = xbridge;
720     new_xbundle->name = xstrdup(xbundle->name);
721     xlate_xbundle_init(new_xcfg, new_xbundle);
722
723     xlate_xbundle_set(new_xbundle, xbundle->vlan_mode,
724                       xbundle->vlan, xbundle->trunks,
725                       xbundle->use_priority_tags, xbundle->bond, xbundle->lacp,
726                       xbundle->floodable);
727     LIST_FOR_EACH (xport, bundle_node, &xbundle->xports) {
728         xlate_xport_copy(xbridge, new_xbundle, xport);
729     }
730 }
731
732 static void
733 xlate_xport_copy(struct xbridge *xbridge, struct xbundle *xbundle,
734                  struct xport *xport)
735 {
736     struct skb_priority_to_dscp *pdscp, *new_pdscp;
737     struct xport *new_xport = xzalloc(sizeof *xport);
738     new_xport->ofport = xport->ofport;
739     new_xport->ofp_port = xport->ofp_port;
740     new_xport->xbridge = xbridge;
741     xlate_xport_init(new_xcfg, new_xport);
742
743     xlate_xport_set(new_xport, xport->odp_port, xport->netdev, xport->cfm,
744                     xport->bfd, xport->lldp, xport->stp_port_no,
745                     xport->rstp_port, xport->config, xport->state,
746                     xport->is_tunnel, xport->may_enable);
747
748     if (xport->peer) {
749         struct xport *peer = xport_lookup(new_xcfg, xport->peer->ofport);
750         if (peer) {
751             new_xport->peer = peer;
752             new_xport->peer->peer = new_xport;
753         }
754     }
755
756     if (xbundle) {
757         new_xport->xbundle = xbundle;
758         list_insert(&new_xport->xbundle->xports, &new_xport->bundle_node);
759     }
760
761     HMAP_FOR_EACH (pdscp, hmap_node, &xport->skb_priorities) {
762         new_pdscp = xmalloc(sizeof *pdscp);
763         new_pdscp->skb_priority = pdscp->skb_priority;
764         new_pdscp->dscp = pdscp->dscp;
765         hmap_insert(&new_xport->skb_priorities, &new_pdscp->hmap_node,
766                     hash_int(new_pdscp->skb_priority, 0));
767     }
768 }
769
770 /* Sets the current xlate configuration to new_xcfg and frees the old xlate
771  * configuration in xcfgp.
772  *
773  * This needs to be called after editing the xlate configuration.
774  *
775  * Functions that edit the new xlate configuration are
776  * xlate_<ofport/bundle/ofport>_set and xlate_<ofport/bundle/ofport>_remove.
777  *
778  * A sample workflow:
779  *
780  * xlate_txn_start();
781  * ...
782  * edit_xlate_configuration();
783  * ...
784  * xlate_txn_commit(); */
785 void
786 xlate_txn_commit(void)
787 {
788     struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
789
790     ovsrcu_set(&xcfgp, new_xcfg);
791     ovsrcu_synchronize();
792     xlate_xcfg_free(xcfg);
793     new_xcfg = NULL;
794 }
795
796 /* Copies the current xlate configuration in xcfgp to new_xcfg.
797  *
798  * This needs to be called prior to editing the xlate configuration. */
799 void
800 xlate_txn_start(void)
801 {
802     struct xbridge *xbridge;
803     struct xlate_cfg *xcfg;
804
805     ovs_assert(!new_xcfg);
806
807     new_xcfg = xmalloc(sizeof *new_xcfg);
808     hmap_init(&new_xcfg->xbridges);
809     hmap_init(&new_xcfg->xbundles);
810     hmap_init(&new_xcfg->xports);
811
812     xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
813     if (!xcfg) {
814         return;
815     }
816
817     HMAP_FOR_EACH (xbridge, hmap_node, &xcfg->xbridges) {
818         xlate_xbridge_copy(xbridge);
819     }
820 }
821
822
823 static void
824 xlate_xcfg_free(struct xlate_cfg *xcfg)
825 {
826     struct xbridge *xbridge, *next_xbridge;
827
828     if (!xcfg) {
829         return;
830     }
831
832     HMAP_FOR_EACH_SAFE (xbridge, next_xbridge, hmap_node, &xcfg->xbridges) {
833         xlate_xbridge_remove(xcfg, xbridge);
834     }
835
836     hmap_destroy(&xcfg->xbridges);
837     hmap_destroy(&xcfg->xbundles);
838     hmap_destroy(&xcfg->xports);
839     free(xcfg);
840 }
841
842 void
843 xlate_ofproto_set(struct ofproto_dpif *ofproto, const char *name,
844                   struct dpif *dpif,
845                   const struct mac_learning *ml, struct stp *stp,
846                   struct rstp *rstp, const struct mcast_snooping *ms,
847                   const struct mbridge *mbridge,
848                   const struct dpif_sflow *sflow,
849                   const struct dpif_ipfix *ipfix,
850                   const struct netflow *netflow,
851                   bool forward_bpdu, bool has_in_band,
852                   const struct dpif_backer_support *support)
853 {
854     struct xbridge *xbridge;
855
856     ovs_assert(new_xcfg);
857
858     xbridge = xbridge_lookup(new_xcfg, ofproto);
859     if (!xbridge) {
860         xbridge = xzalloc(sizeof *xbridge);
861         xbridge->ofproto = ofproto;
862
863         xlate_xbridge_init(new_xcfg, xbridge);
864     }
865
866     free(xbridge->name);
867     xbridge->name = xstrdup(name);
868
869     xlate_xbridge_set(xbridge, dpif, ml, stp, rstp, ms, mbridge, sflow, ipfix,
870                       netflow, forward_bpdu, has_in_band, support);
871 }
872
873 static void
874 xlate_xbridge_remove(struct xlate_cfg *xcfg, struct xbridge *xbridge)
875 {
876     struct xbundle *xbundle, *next_xbundle;
877     struct xport *xport, *next_xport;
878
879     if (!xbridge) {
880         return;
881     }
882
883     HMAP_FOR_EACH_SAFE (xport, next_xport, ofp_node, &xbridge->xports) {
884         xlate_xport_remove(xcfg, xport);
885     }
886
887     LIST_FOR_EACH_SAFE (xbundle, next_xbundle, list_node, &xbridge->xbundles) {
888         xlate_xbundle_remove(xcfg, xbundle);
889     }
890
891     hmap_remove(&xcfg->xbridges, &xbridge->hmap_node);
892     mac_learning_unref(xbridge->ml);
893     mcast_snooping_unref(xbridge->ms);
894     mbridge_unref(xbridge->mbridge);
895     dpif_sflow_unref(xbridge->sflow);
896     dpif_ipfix_unref(xbridge->ipfix);
897     stp_unref(xbridge->stp);
898     rstp_unref(xbridge->rstp);
899     hmap_destroy(&xbridge->xports);
900     free(xbridge->name);
901     free(xbridge);
902 }
903
904 void
905 xlate_remove_ofproto(struct ofproto_dpif *ofproto)
906 {
907     struct xbridge *xbridge;
908
909     ovs_assert(new_xcfg);
910
911     xbridge = xbridge_lookup(new_xcfg, ofproto);
912     xlate_xbridge_remove(new_xcfg, xbridge);
913 }
914
915 void
916 xlate_bundle_set(struct ofproto_dpif *ofproto, struct ofbundle *ofbundle,
917                  const char *name, enum port_vlan_mode vlan_mode, int vlan,
918                  unsigned long *trunks, bool use_priority_tags,
919                  const struct bond *bond, const struct lacp *lacp,
920                  bool floodable)
921 {
922     struct xbundle *xbundle;
923
924     ovs_assert(new_xcfg);
925
926     xbundle = xbundle_lookup(new_xcfg, ofbundle);
927     if (!xbundle) {
928         xbundle = xzalloc(sizeof *xbundle);
929         xbundle->ofbundle = ofbundle;
930         xbundle->xbridge = xbridge_lookup(new_xcfg, ofproto);
931
932         xlate_xbundle_init(new_xcfg, xbundle);
933     }
934
935     free(xbundle->name);
936     xbundle->name = xstrdup(name);
937
938     xlate_xbundle_set(xbundle, vlan_mode, vlan, trunks,
939                       use_priority_tags, bond, lacp, floodable);
940 }
941
942 static void
943 xlate_xbundle_remove(struct xlate_cfg *xcfg, struct xbundle *xbundle)
944 {
945     struct xport *xport;
946
947     if (!xbundle) {
948         return;
949     }
950
951     LIST_FOR_EACH_POP (xport, bundle_node, &xbundle->xports) {
952         xport->xbundle = NULL;
953     }
954
955     hmap_remove(&xcfg->xbundles, &xbundle->hmap_node);
956     list_remove(&xbundle->list_node);
957     bond_unref(xbundle->bond);
958     lacp_unref(xbundle->lacp);
959     free(xbundle->name);
960     free(xbundle);
961 }
962
963 void
964 xlate_bundle_remove(struct ofbundle *ofbundle)
965 {
966     struct xbundle *xbundle;
967
968     ovs_assert(new_xcfg);
969
970     xbundle = xbundle_lookup(new_xcfg, ofbundle);
971     xlate_xbundle_remove(new_xcfg, xbundle);
972 }
973
974 void
975 xlate_ofport_set(struct ofproto_dpif *ofproto, struct ofbundle *ofbundle,
976                  struct ofport_dpif *ofport, ofp_port_t ofp_port,
977                  odp_port_t odp_port, const struct netdev *netdev,
978                  const struct cfm *cfm, const struct bfd *bfd,
979                  const struct lldp *lldp, struct ofport_dpif *peer,
980                  int stp_port_no, const struct rstp_port *rstp_port,
981                  const struct ofproto_port_queue *qdscp_list, size_t n_qdscp,
982                  enum ofputil_port_config config,
983                  enum ofputil_port_state state, bool is_tunnel,
984                  bool may_enable)
985 {
986     size_t i;
987     struct xport *xport;
988
989     ovs_assert(new_xcfg);
990
991     xport = xport_lookup(new_xcfg, ofport);
992     if (!xport) {
993         xport = xzalloc(sizeof *xport);
994         xport->ofport = ofport;
995         xport->xbridge = xbridge_lookup(new_xcfg, ofproto);
996         xport->ofp_port = ofp_port;
997
998         xlate_xport_init(new_xcfg, xport);
999     }
1000
1001     ovs_assert(xport->ofp_port == ofp_port);
1002
1003     xlate_xport_set(xport, odp_port, netdev, cfm, bfd, lldp,
1004                     stp_port_no, rstp_port, config, state, is_tunnel,
1005                     may_enable);
1006
1007     if (xport->peer) {
1008         xport->peer->peer = NULL;
1009     }
1010     xport->peer = xport_lookup(new_xcfg, peer);
1011     if (xport->peer) {
1012         xport->peer->peer = xport;
1013     }
1014
1015     if (xport->xbundle) {
1016         list_remove(&xport->bundle_node);
1017     }
1018     xport->xbundle = xbundle_lookup(new_xcfg, ofbundle);
1019     if (xport->xbundle) {
1020         list_insert(&xport->xbundle->xports, &xport->bundle_node);
1021     }
1022
1023     clear_skb_priorities(xport);
1024     for (i = 0; i < n_qdscp; i++) {
1025         struct skb_priority_to_dscp *pdscp;
1026         uint32_t skb_priority;
1027
1028         if (dpif_queue_to_priority(xport->xbridge->dpif, qdscp_list[i].queue,
1029                                    &skb_priority)) {
1030             continue;
1031         }
1032
1033         pdscp = xmalloc(sizeof *pdscp);
1034         pdscp->skb_priority = skb_priority;
1035         pdscp->dscp = (qdscp_list[i].dscp << 2) & IP_DSCP_MASK;
1036         hmap_insert(&xport->skb_priorities, &pdscp->hmap_node,
1037                     hash_int(pdscp->skb_priority, 0));
1038     }
1039 }
1040
1041 static void
1042 xlate_xport_remove(struct xlate_cfg *xcfg, struct xport *xport)
1043 {
1044     if (!xport) {
1045         return;
1046     }
1047
1048     if (xport->peer) {
1049         xport->peer->peer = NULL;
1050         xport->peer = NULL;
1051     }
1052
1053     if (xport->xbundle) {
1054         list_remove(&xport->bundle_node);
1055     }
1056
1057     clear_skb_priorities(xport);
1058     hmap_destroy(&xport->skb_priorities);
1059
1060     hmap_remove(&xcfg->xports, &xport->hmap_node);
1061     hmap_remove(&xport->xbridge->xports, &xport->ofp_node);
1062
1063     netdev_close(xport->netdev);
1064     rstp_port_unref(xport->rstp_port);
1065     cfm_unref(xport->cfm);
1066     bfd_unref(xport->bfd);
1067     lldp_unref(xport->lldp);
1068     free(xport);
1069 }
1070
1071 void
1072 xlate_ofport_remove(struct ofport_dpif *ofport)
1073 {
1074     struct xport *xport;
1075
1076     ovs_assert(new_xcfg);
1077
1078     xport = xport_lookup(new_xcfg, ofport);
1079     xlate_xport_remove(new_xcfg, xport);
1080 }
1081
1082 static struct ofproto_dpif *
1083 xlate_lookup_ofproto_(const struct dpif_backer *backer, const struct flow *flow,
1084                       ofp_port_t *ofp_in_port, const struct xport **xportp)
1085 {
1086     struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
1087     const struct xport *xport;
1088
1089     xport = xport_lookup(xcfg, tnl_port_should_receive(flow)
1090                          ? tnl_port_receive(flow)
1091                          : odp_port_to_ofport(backer, flow->in_port.odp_port));
1092     if (OVS_UNLIKELY(!xport)) {
1093         return NULL;
1094     }
1095     *xportp = xport;
1096     if (ofp_in_port) {
1097         *ofp_in_port = xport->ofp_port;
1098     }
1099     return xport->xbridge->ofproto;
1100 }
1101
1102 /* Given a datapath and flow metadata ('backer', and 'flow' respectively)
1103  * returns the corresponding struct ofproto_dpif and OpenFlow port number. */
1104 struct ofproto_dpif *
1105 xlate_lookup_ofproto(const struct dpif_backer *backer, const struct flow *flow,
1106                      ofp_port_t *ofp_in_port)
1107 {
1108     const struct xport *xport;
1109
1110     return xlate_lookup_ofproto_(backer, flow, ofp_in_port, &xport);
1111 }
1112
1113 /* Given a datapath and flow metadata ('backer', and 'flow' respectively),
1114  * optionally populates 'ofproto' with the ofproto_dpif, 'ofp_in_port' with the
1115  * openflow in_port, and 'ipfix', 'sflow', and 'netflow' with the appropriate
1116  * handles for those protocols if they're enabled.  Caller may use the returned
1117  * pointers until quiescing, for longer term use additional references must
1118  * be taken.
1119  *
1120  * Returns 0 if successful, ENODEV if the parsed flow has no associated ofproto.
1121  */
1122 int
1123 xlate_lookup(const struct dpif_backer *backer, const struct flow *flow,
1124              struct ofproto_dpif **ofprotop, struct dpif_ipfix **ipfix,
1125              struct dpif_sflow **sflow, struct netflow **netflow,
1126              ofp_port_t *ofp_in_port)
1127 {
1128     struct ofproto_dpif *ofproto;
1129     const struct xport *xport;
1130
1131     ofproto = xlate_lookup_ofproto_(backer, flow, ofp_in_port, &xport);
1132
1133     if (!ofproto) {
1134         return ENODEV;
1135     }
1136
1137     if (ofprotop) {
1138         *ofprotop = ofproto;
1139     }
1140
1141     if (ipfix) {
1142         *ipfix = xport ? xport->xbridge->ipfix : NULL;
1143     }
1144
1145     if (sflow) {
1146         *sflow = xport ? xport->xbridge->sflow : NULL;
1147     }
1148
1149     if (netflow) {
1150         *netflow = xport ? xport->xbridge->netflow : NULL;
1151     }
1152
1153     return 0;
1154 }
1155
1156 static struct xbridge *
1157 xbridge_lookup(struct xlate_cfg *xcfg, const struct ofproto_dpif *ofproto)
1158 {
1159     struct hmap *xbridges;
1160     struct xbridge *xbridge;
1161
1162     if (!ofproto || !xcfg) {
1163         return NULL;
1164     }
1165
1166     xbridges = &xcfg->xbridges;
1167
1168     HMAP_FOR_EACH_IN_BUCKET (xbridge, hmap_node, hash_pointer(ofproto, 0),
1169                              xbridges) {
1170         if (xbridge->ofproto == ofproto) {
1171             return xbridge;
1172         }
1173     }
1174     return NULL;
1175 }
1176
1177 static struct xbundle *
1178 xbundle_lookup(struct xlate_cfg *xcfg, const struct ofbundle *ofbundle)
1179 {
1180     struct hmap *xbundles;
1181     struct xbundle *xbundle;
1182
1183     if (!ofbundle || !xcfg) {
1184         return NULL;
1185     }
1186
1187     xbundles = &xcfg->xbundles;
1188
1189     HMAP_FOR_EACH_IN_BUCKET (xbundle, hmap_node, hash_pointer(ofbundle, 0),
1190                              xbundles) {
1191         if (xbundle->ofbundle == ofbundle) {
1192             return xbundle;
1193         }
1194     }
1195     return NULL;
1196 }
1197
1198 static struct xport *
1199 xport_lookup(struct xlate_cfg *xcfg, const struct ofport_dpif *ofport)
1200 {
1201     struct hmap *xports;
1202     struct xport *xport;
1203
1204     if (!ofport || !xcfg) {
1205         return NULL;
1206     }
1207
1208     xports = &xcfg->xports;
1209
1210     HMAP_FOR_EACH_IN_BUCKET (xport, hmap_node, hash_pointer(ofport, 0),
1211                              xports) {
1212         if (xport->ofport == ofport) {
1213             return xport;
1214         }
1215     }
1216     return NULL;
1217 }
1218
1219 static struct stp_port *
1220 xport_get_stp_port(const struct xport *xport)
1221 {
1222     return xport->xbridge->stp && xport->stp_port_no != -1
1223         ? stp_get_port(xport->xbridge->stp, xport->stp_port_no)
1224         : NULL;
1225 }
1226
1227 static bool
1228 xport_stp_learn_state(const struct xport *xport)
1229 {
1230     struct stp_port *sp = xport_get_stp_port(xport);
1231     return sp
1232         ? stp_learn_in_state(stp_port_get_state(sp))
1233         : true;
1234 }
1235
1236 static bool
1237 xport_stp_forward_state(const struct xport *xport)
1238 {
1239     struct stp_port *sp = xport_get_stp_port(xport);
1240     return sp
1241         ? stp_forward_in_state(stp_port_get_state(sp))
1242         : true;
1243 }
1244
1245 static bool
1246 xport_stp_should_forward_bpdu(const struct xport *xport)
1247 {
1248     struct stp_port *sp = xport_get_stp_port(xport);
1249     return stp_should_forward_bpdu(sp ? stp_port_get_state(sp) : STP_DISABLED);
1250 }
1251
1252 /* Returns true if STP should process 'flow'.  Sets fields in 'wc' that
1253  * were used to make the determination.*/
1254 static bool
1255 stp_should_process_flow(const struct flow *flow, struct flow_wildcards *wc)
1256 {
1257     /* is_stp() also checks dl_type, but dl_type is always set in 'wc'. */
1258     memset(&wc->masks.dl_dst, 0xff, sizeof wc->masks.dl_dst);
1259     return is_stp(flow);
1260 }
1261
1262 static void
1263 stp_process_packet(const struct xport *xport, const struct dp_packet *packet)
1264 {
1265     struct stp_port *sp = xport_get_stp_port(xport);
1266     struct dp_packet payload = *packet;
1267     struct eth_header *eth = dp_packet_data(&payload);
1268
1269     /* Sink packets on ports that have STP disabled when the bridge has
1270      * STP enabled. */
1271     if (!sp || stp_port_get_state(sp) == STP_DISABLED) {
1272         return;
1273     }
1274
1275     /* Trim off padding on payload. */
1276     if (dp_packet_size(&payload) > ntohs(eth->eth_type) + ETH_HEADER_LEN) {
1277         dp_packet_set_size(&payload, ntohs(eth->eth_type) + ETH_HEADER_LEN);
1278     }
1279
1280     if (dp_packet_try_pull(&payload, ETH_HEADER_LEN + LLC_HEADER_LEN)) {
1281         stp_received_bpdu(sp, dp_packet_data(&payload), dp_packet_size(&payload));
1282     }
1283 }
1284
1285 static enum rstp_state
1286 xport_get_rstp_port_state(const struct xport *xport)
1287 {
1288     return xport->rstp_port
1289         ? rstp_port_get_state(xport->rstp_port)
1290         : RSTP_DISABLED;
1291 }
1292
1293 static bool
1294 xport_rstp_learn_state(const struct xport *xport)
1295 {
1296     return xport->xbridge->rstp && xport->rstp_port
1297         ? rstp_learn_in_state(xport_get_rstp_port_state(xport))
1298         : true;
1299 }
1300
1301 static bool
1302 xport_rstp_forward_state(const struct xport *xport)
1303 {
1304     return xport->xbridge->rstp && xport->rstp_port
1305         ? rstp_forward_in_state(xport_get_rstp_port_state(xport))
1306         : true;
1307 }
1308
1309 static bool
1310 xport_rstp_should_manage_bpdu(const struct xport *xport)
1311 {
1312     return rstp_should_manage_bpdu(xport_get_rstp_port_state(xport));
1313 }
1314
1315 static void
1316 rstp_process_packet(const struct xport *xport, const struct dp_packet *packet)
1317 {
1318     struct dp_packet payload = *packet;
1319     struct eth_header *eth = dp_packet_data(&payload);
1320
1321     /* Sink packets on ports that have no RSTP. */
1322     if (!xport->rstp_port) {
1323         return;
1324     }
1325
1326     /* Trim off padding on payload. */
1327     if (dp_packet_size(&payload) > ntohs(eth->eth_type) + ETH_HEADER_LEN) {
1328         dp_packet_set_size(&payload, ntohs(eth->eth_type) + ETH_HEADER_LEN);
1329     }
1330
1331     if (dp_packet_try_pull(&payload, ETH_HEADER_LEN + LLC_HEADER_LEN)) {
1332         rstp_port_received_bpdu(xport->rstp_port, dp_packet_data(&payload),
1333                                 dp_packet_size(&payload));
1334     }
1335 }
1336
1337 static struct xport *
1338 get_ofp_port(const struct xbridge *xbridge, ofp_port_t ofp_port)
1339 {
1340     struct xport *xport;
1341
1342     HMAP_FOR_EACH_IN_BUCKET (xport, ofp_node, hash_ofp_port(ofp_port),
1343                              &xbridge->xports) {
1344         if (xport->ofp_port == ofp_port) {
1345             return xport;
1346         }
1347     }
1348     return NULL;
1349 }
1350
1351 static odp_port_t
1352 ofp_port_to_odp_port(const struct xbridge *xbridge, ofp_port_t ofp_port)
1353 {
1354     const struct xport *xport = get_ofp_port(xbridge, ofp_port);
1355     return xport ? xport->odp_port : ODPP_NONE;
1356 }
1357
1358 static bool
1359 odp_port_is_alive(const struct xlate_ctx *ctx, ofp_port_t ofp_port)
1360 {
1361     struct xport *xport = get_ofp_port(ctx->xbridge, ofp_port);
1362     return xport && xport->may_enable;
1363 }
1364
1365 static struct ofputil_bucket *
1366 group_first_live_bucket(const struct xlate_ctx *, const struct group_dpif *,
1367                         int depth);
1368
1369 static bool
1370 group_is_alive(const struct xlate_ctx *ctx, uint32_t group_id, int depth)
1371 {
1372     struct group_dpif *group;
1373
1374     if (group_dpif_lookup(ctx->xbridge->ofproto, group_id, &group)) {
1375         struct ofputil_bucket *bucket;
1376
1377         bucket = group_first_live_bucket(ctx, group, depth);
1378         group_dpif_unref(group);
1379         return bucket == NULL;
1380     }
1381
1382     return false;
1383 }
1384
1385 #define MAX_LIVENESS_RECURSION 128 /* Arbitrary limit */
1386
1387 static bool
1388 bucket_is_alive(const struct xlate_ctx *ctx,
1389                 struct ofputil_bucket *bucket, int depth)
1390 {
1391     if (depth >= MAX_LIVENESS_RECURSION) {
1392         static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 1);
1393
1394         VLOG_WARN_RL(&rl, "bucket chaining exceeded %d links",
1395                      MAX_LIVENESS_RECURSION);
1396         return false;
1397     }
1398
1399     return (!ofputil_bucket_has_liveness(bucket)
1400             || (bucket->watch_port != OFPP_ANY
1401                && odp_port_is_alive(ctx, bucket->watch_port))
1402             || (bucket->watch_group != OFPG_ANY
1403                && group_is_alive(ctx, bucket->watch_group, depth + 1)));
1404 }
1405
1406 static struct ofputil_bucket *
1407 group_first_live_bucket(const struct xlate_ctx *ctx,
1408                         const struct group_dpif *group, int depth)
1409 {
1410     struct ofputil_bucket *bucket;
1411     const struct ovs_list *buckets;
1412
1413     group_dpif_get_buckets(group, &buckets);
1414     LIST_FOR_EACH (bucket, list_node, buckets) {
1415         if (bucket_is_alive(ctx, bucket, depth)) {
1416             return bucket;
1417         }
1418     }
1419
1420     return NULL;
1421 }
1422
1423 static struct ofputil_bucket *
1424 group_best_live_bucket(const struct xlate_ctx *ctx,
1425                        const struct group_dpif *group,
1426                        uint32_t basis)
1427 {
1428     struct ofputil_bucket *best_bucket = NULL;
1429     uint32_t best_score = 0;
1430     int i = 0;
1431
1432     struct ofputil_bucket *bucket;
1433     const struct ovs_list *buckets;
1434
1435     group_dpif_get_buckets(group, &buckets);
1436     LIST_FOR_EACH (bucket, list_node, buckets) {
1437         if (bucket_is_alive(ctx, bucket, 0)) {
1438             uint32_t score = (hash_int(i, basis) & 0xffff) * bucket->weight;
1439             if (score >= best_score) {
1440                 best_bucket = bucket;
1441                 best_score = score;
1442             }
1443         }
1444         i++;
1445     }
1446
1447     return best_bucket;
1448 }
1449
1450 static bool
1451 xbundle_trunks_vlan(const struct xbundle *bundle, uint16_t vlan)
1452 {
1453     return (bundle->vlan_mode != PORT_VLAN_ACCESS
1454             && (!bundle->trunks || bitmap_is_set(bundle->trunks, vlan)));
1455 }
1456
1457 static bool
1458 xbundle_includes_vlan(const struct xbundle *xbundle, uint16_t vlan)
1459 {
1460     return vlan == xbundle->vlan || xbundle_trunks_vlan(xbundle, vlan);
1461 }
1462
1463 static mirror_mask_t
1464 xbundle_mirror_out(const struct xbridge *xbridge, struct xbundle *xbundle)
1465 {
1466     return xbundle != &ofpp_none_bundle
1467         ? mirror_bundle_out(xbridge->mbridge, xbundle->ofbundle)
1468         : 0;
1469 }
1470
1471 static mirror_mask_t
1472 xbundle_mirror_src(const struct xbridge *xbridge, struct xbundle *xbundle)
1473 {
1474     return xbundle != &ofpp_none_bundle
1475         ? mirror_bundle_src(xbridge->mbridge, xbundle->ofbundle)
1476         : 0;
1477 }
1478
1479 static mirror_mask_t
1480 xbundle_mirror_dst(const struct xbridge *xbridge, struct xbundle *xbundle)
1481 {
1482     return xbundle != &ofpp_none_bundle
1483         ? mirror_bundle_dst(xbridge->mbridge, xbundle->ofbundle)
1484         : 0;
1485 }
1486
1487 static struct xbundle *
1488 lookup_input_bundle(const struct xbridge *xbridge, ofp_port_t in_port,
1489                     bool warn, struct xport **in_xportp)
1490 {
1491     struct xport *xport;
1492
1493     /* Find the port and bundle for the received packet. */
1494     xport = get_ofp_port(xbridge, in_port);
1495     if (in_xportp) {
1496         *in_xportp = xport;
1497     }
1498     if (xport && xport->xbundle) {
1499         return xport->xbundle;
1500     }
1501
1502     /* Special-case OFPP_NONE (OF1.0) and OFPP_CONTROLLER (OF1.1+),
1503      * which a controller may use as the ingress port for traffic that
1504      * it is sourcing. */
1505     if (in_port == OFPP_CONTROLLER || in_port == OFPP_NONE) {
1506         return &ofpp_none_bundle;
1507     }
1508
1509     /* Odd.  A few possible reasons here:
1510      *
1511      * - We deleted a port but there are still a few packets queued up
1512      *   from it.
1513      *
1514      * - Someone externally added a port (e.g. "ovs-dpctl add-if") that
1515      *   we don't know about.
1516      *
1517      * - The ofproto client didn't configure the port as part of a bundle.
1518      *   This is particularly likely to happen if a packet was received on the
1519      *   port after it was created, but before the client had a chance to
1520      *   configure its bundle.
1521      */
1522     if (warn) {
1523         static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
1524
1525         VLOG_WARN_RL(&rl, "bridge %s: received packet on unknown "
1526                      "port %"PRIu16, xbridge->name, in_port);
1527     }
1528     return NULL;
1529 }
1530
1531 static void
1532 add_mirror_actions(struct xlate_ctx *ctx, const struct flow *orig_flow)
1533 {
1534     const struct xbridge *xbridge = ctx->xbridge;
1535     mirror_mask_t mirrors;
1536     struct xbundle *in_xbundle;
1537     uint16_t vlan;
1538     uint16_t vid;
1539
1540     mirrors = ctx->xout->mirrors;
1541     ctx->xout->mirrors = 0;
1542
1543     in_xbundle = lookup_input_bundle(xbridge, orig_flow->in_port.ofp_port,
1544                                      ctx->xin->packet != NULL, NULL);
1545     if (!in_xbundle) {
1546         return;
1547     }
1548     mirrors |= xbundle_mirror_src(xbridge, in_xbundle);
1549
1550     /* Drop frames on bundles reserved for mirroring. */
1551     if (xbundle_mirror_out(xbridge, in_xbundle)) {
1552         if (ctx->xin->packet != NULL) {
1553             static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
1554             VLOG_WARN_RL(&rl, "bridge %s: dropping packet received on port "
1555                          "%s, which is reserved exclusively for mirroring",
1556                          ctx->xbridge->name, in_xbundle->name);
1557         }
1558         ofpbuf_clear(ctx->odp_actions);
1559         return;
1560     }
1561
1562     /* Check VLAN. */
1563     vid = vlan_tci_to_vid(orig_flow->vlan_tci);
1564     if (!input_vid_is_valid(vid, in_xbundle, ctx->xin->packet != NULL)) {
1565         return;
1566     }
1567     vlan = input_vid_to_vlan(in_xbundle, vid);
1568
1569     if (!mirrors) {
1570         return;
1571     }
1572
1573     /* Restore the original packet before adding the mirror actions. */
1574     ctx->xin->flow = *orig_flow;
1575
1576     while (mirrors) {
1577         mirror_mask_t dup_mirrors;
1578         struct ofbundle *out;
1579         const unsigned long *vlans;
1580         bool vlan_mirrored;
1581         bool has_mirror;
1582         int out_vlan;
1583
1584         has_mirror = mirror_get(xbridge->mbridge, raw_ctz(mirrors),
1585                                 &vlans, &dup_mirrors, &out, &out_vlan);
1586         ovs_assert(has_mirror);
1587
1588         if (vlans) {
1589             ctx->wc->masks.vlan_tci |= htons(VLAN_CFI | VLAN_VID_MASK);
1590         }
1591         vlan_mirrored = !vlans || bitmap_is_set(vlans, vlan);
1592
1593         if (!vlan_mirrored) {
1594             mirrors = zero_rightmost_1bit(mirrors);
1595             continue;
1596         }
1597
1598         mirrors &= ~dup_mirrors;
1599         ctx->xout->mirrors |= dup_mirrors;
1600         if (out) {
1601             struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
1602             struct xbundle *out_xbundle = xbundle_lookup(xcfg, out);
1603             if (out_xbundle) {
1604                 output_normal(ctx, out_xbundle, vlan);
1605             }
1606         } else if (vlan != out_vlan
1607                    && !eth_addr_is_reserved(orig_flow->dl_dst)) {
1608             struct xbundle *xbundle;
1609
1610             LIST_FOR_EACH (xbundle, list_node, &xbridge->xbundles) {
1611                 if (xbundle_includes_vlan(xbundle, out_vlan)
1612                     && !xbundle_mirror_out(xbridge, xbundle)) {
1613                     output_normal(ctx, xbundle, out_vlan);
1614                 }
1615             }
1616         }
1617     }
1618 }
1619
1620 /* Given 'vid', the VID obtained from the 802.1Q header that was received as
1621  * part of a packet (specify 0 if there was no 802.1Q header), and 'in_xbundle',
1622  * the bundle on which the packet was received, returns the VLAN to which the
1623  * packet belongs.
1624  *
1625  * Both 'vid' and the return value are in the range 0...4095. */
1626 static uint16_t
1627 input_vid_to_vlan(const struct xbundle *in_xbundle, uint16_t vid)
1628 {
1629     switch (in_xbundle->vlan_mode) {
1630     case PORT_VLAN_ACCESS:
1631         return in_xbundle->vlan;
1632         break;
1633
1634     case PORT_VLAN_TRUNK:
1635         return vid;
1636
1637     case PORT_VLAN_NATIVE_UNTAGGED:
1638     case PORT_VLAN_NATIVE_TAGGED:
1639         return vid ? vid : in_xbundle->vlan;
1640
1641     default:
1642         OVS_NOT_REACHED();
1643     }
1644 }
1645
1646 /* Checks whether a packet with the given 'vid' may ingress on 'in_xbundle'.
1647  * If so, returns true.  Otherwise, returns false and, if 'warn' is true, logs
1648  * a warning.
1649  *
1650  * 'vid' should be the VID obtained from the 802.1Q header that was received as
1651  * part of a packet (specify 0 if there was no 802.1Q header), in the range
1652  * 0...4095. */
1653 static bool
1654 input_vid_is_valid(uint16_t vid, struct xbundle *in_xbundle, bool warn)
1655 {
1656     /* Allow any VID on the OFPP_NONE port. */
1657     if (in_xbundle == &ofpp_none_bundle) {
1658         return true;
1659     }
1660
1661     switch (in_xbundle->vlan_mode) {
1662     case PORT_VLAN_ACCESS:
1663         if (vid) {
1664             if (warn) {
1665                 static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
1666                 VLOG_WARN_RL(&rl, "dropping VLAN %"PRIu16" tagged "
1667                              "packet received on port %s configured as VLAN "
1668                              "%"PRIu16" access port", vid, in_xbundle->name,
1669                              in_xbundle->vlan);
1670             }
1671             return false;
1672         }
1673         return true;
1674
1675     case PORT_VLAN_NATIVE_UNTAGGED:
1676     case PORT_VLAN_NATIVE_TAGGED:
1677         if (!vid) {
1678             /* Port must always carry its native VLAN. */
1679             return true;
1680         }
1681         /* Fall through. */
1682     case PORT_VLAN_TRUNK:
1683         if (!xbundle_includes_vlan(in_xbundle, vid)) {
1684             if (warn) {
1685                 static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
1686                 VLOG_WARN_RL(&rl, "dropping VLAN %"PRIu16" packet "
1687                              "received on port %s not configured for trunking "
1688                              "VLAN %"PRIu16, vid, in_xbundle->name, vid);
1689             }
1690             return false;
1691         }
1692         return true;
1693
1694     default:
1695         OVS_NOT_REACHED();
1696     }
1697
1698 }
1699
1700 /* Given 'vlan', the VLAN that a packet belongs to, and
1701  * 'out_xbundle', a bundle on which the packet is to be output, returns the VID
1702  * that should be included in the 802.1Q header.  (If the return value is 0,
1703  * then the 802.1Q header should only be included in the packet if there is a
1704  * nonzero PCP.)
1705  *
1706  * Both 'vlan' and the return value are in the range 0...4095. */
1707 static uint16_t
1708 output_vlan_to_vid(const struct xbundle *out_xbundle, uint16_t vlan)
1709 {
1710     switch (out_xbundle->vlan_mode) {
1711     case PORT_VLAN_ACCESS:
1712         return 0;
1713
1714     case PORT_VLAN_TRUNK:
1715     case PORT_VLAN_NATIVE_TAGGED:
1716         return vlan;
1717
1718     case PORT_VLAN_NATIVE_UNTAGGED:
1719         return vlan == out_xbundle->vlan ? 0 : vlan;
1720
1721     default:
1722         OVS_NOT_REACHED();
1723     }
1724 }
1725
1726 static void
1727 output_normal(struct xlate_ctx *ctx, const struct xbundle *out_xbundle,
1728               uint16_t vlan)
1729 {
1730     ovs_be16 *flow_tci = &ctx->xin->flow.vlan_tci;
1731     uint16_t vid;
1732     ovs_be16 tci, old_tci;
1733     struct xport *xport;
1734     struct xlate_bond_recirc xr;
1735     bool use_recirc = false;
1736
1737     vid = output_vlan_to_vid(out_xbundle, vlan);
1738     if (list_is_empty(&out_xbundle->xports)) {
1739         /* Partially configured bundle with no slaves.  Drop the packet. */
1740         return;
1741     } else if (!out_xbundle->bond) {
1742         xport = CONTAINER_OF(list_front(&out_xbundle->xports), struct xport,
1743                              bundle_node);
1744     } else {
1745         struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
1746         struct flow_wildcards *wc = ctx->wc;
1747         struct ofport_dpif *ofport;
1748
1749         if (ctx->xbridge->support.odp.recirc) {
1750             use_recirc = bond_may_recirc(
1751                 out_xbundle->bond, &xr.recirc_id, &xr.hash_basis);
1752
1753             if (use_recirc) {
1754                 /* Only TCP mode uses recirculation. */
1755                 xr.hash_alg = OVS_HASH_ALG_L4;
1756                 bond_update_post_recirc_rules(out_xbundle->bond, false);
1757
1758                 /* Recirculation does not require unmasking hash fields. */
1759                 wc = NULL;
1760             }
1761         }
1762
1763         ofport = bond_choose_output_slave(out_xbundle->bond,
1764                                           &ctx->xin->flow, wc, vid);
1765         xport = xport_lookup(xcfg, ofport);
1766
1767         if (!xport) {
1768             /* No slaves enabled, so drop packet. */
1769             return;
1770         }
1771
1772         /* If use_recirc is set, the main thread will handle stats
1773          * accounting for this bond. */
1774         if (!use_recirc) {
1775             if (ctx->xin->resubmit_stats) {
1776                 bond_account(out_xbundle->bond, &ctx->xin->flow, vid,
1777                              ctx->xin->resubmit_stats->n_bytes);
1778             }
1779             if (ctx->xin->xcache) {
1780                 struct xc_entry *entry;
1781                 struct flow *flow;
1782
1783                 flow = &ctx->xin->flow;
1784                 entry = xlate_cache_add_entry(ctx->xin->xcache, XC_BOND);
1785                 entry->u.bond.bond = bond_ref(out_xbundle->bond);
1786                 entry->u.bond.flow = xmemdup(flow, sizeof *flow);
1787                 entry->u.bond.vid = vid;
1788             }
1789         }
1790     }
1791
1792     old_tci = *flow_tci;
1793     tci = htons(vid);
1794     if (tci || out_xbundle->use_priority_tags) {
1795         tci |= *flow_tci & htons(VLAN_PCP_MASK);
1796         if (tci) {
1797             tci |= htons(VLAN_CFI);
1798         }
1799     }
1800     *flow_tci = tci;
1801
1802     compose_output_action(ctx, xport->ofp_port, use_recirc ? &xr : NULL);
1803     *flow_tci = old_tci;
1804 }
1805
1806 /* A VM broadcasts a gratuitous ARP to indicate that it has resumed after
1807  * migration.  Older Citrix-patched Linux DomU used gratuitous ARP replies to
1808  * indicate this; newer upstream kernels use gratuitous ARP requests. */
1809 static bool
1810 is_gratuitous_arp(const struct flow *flow, struct flow_wildcards *wc)
1811 {
1812     if (flow->dl_type != htons(ETH_TYPE_ARP)) {
1813         return false;
1814     }
1815
1816     memset(&wc->masks.dl_dst, 0xff, sizeof wc->masks.dl_dst);
1817     if (!eth_addr_is_broadcast(flow->dl_dst)) {
1818         return false;
1819     }
1820
1821     memset(&wc->masks.nw_proto, 0xff, sizeof wc->masks.nw_proto);
1822     if (flow->nw_proto == ARP_OP_REPLY) {
1823         return true;
1824     } else if (flow->nw_proto == ARP_OP_REQUEST) {
1825         memset(&wc->masks.nw_src, 0xff, sizeof wc->masks.nw_src);
1826         memset(&wc->masks.nw_dst, 0xff, sizeof wc->masks.nw_dst);
1827
1828         return flow->nw_src == flow->nw_dst;
1829     } else {
1830         return false;
1831     }
1832 }
1833
1834 /* Determines whether packets in 'flow' within 'xbridge' should be forwarded or
1835  * dropped.  Returns true if they may be forwarded, false if they should be
1836  * dropped.
1837  *
1838  * 'in_port' must be the xport that corresponds to flow->in_port.
1839  * 'in_port' must be part of a bundle (e.g. in_port->bundle must be nonnull).
1840  *
1841  * 'vlan' must be the VLAN that corresponds to flow->vlan_tci on 'in_port', as
1842  * returned by input_vid_to_vlan().  It must be a valid VLAN for 'in_port', as
1843  * checked by input_vid_is_valid().
1844  *
1845  * May also add tags to '*tags', although the current implementation only does
1846  * so in one special case.
1847  */
1848 static bool
1849 is_admissible(struct xlate_ctx *ctx, struct xport *in_port,
1850               uint16_t vlan)
1851 {
1852     struct xbundle *in_xbundle = in_port->xbundle;
1853     const struct xbridge *xbridge = ctx->xbridge;
1854     struct flow *flow = &ctx->xin->flow;
1855
1856     /* Drop frames for reserved multicast addresses
1857      * only if forward_bpdu option is absent. */
1858     if (!xbridge->forward_bpdu && eth_addr_is_reserved(flow->dl_dst)) {
1859         xlate_report(ctx, "packet has reserved destination MAC, dropping");
1860         return false;
1861     }
1862
1863     if (in_xbundle->bond) {
1864         struct mac_entry *mac;
1865
1866         switch (bond_check_admissibility(in_xbundle->bond, in_port->ofport,
1867                                          flow->dl_dst)) {
1868         case BV_ACCEPT:
1869             break;
1870
1871         case BV_DROP:
1872             xlate_report(ctx, "bonding refused admissibility, dropping");
1873             return false;
1874
1875         case BV_DROP_IF_MOVED:
1876             ovs_rwlock_rdlock(&xbridge->ml->rwlock);
1877             mac = mac_learning_lookup(xbridge->ml, flow->dl_src, vlan);
1878             if (mac
1879                 && mac_entry_get_port(xbridge->ml, mac) != in_xbundle->ofbundle
1880                 && (!is_gratuitous_arp(flow, ctx->wc)
1881                     || mac_entry_is_grat_arp_locked(mac))) {
1882                 ovs_rwlock_unlock(&xbridge->ml->rwlock);
1883                 xlate_report(ctx, "SLB bond thinks this packet looped back, "
1884                              "dropping");
1885                 return false;
1886             }
1887             ovs_rwlock_unlock(&xbridge->ml->rwlock);
1888             break;
1889         }
1890     }
1891
1892     return true;
1893 }
1894
1895 /* Checks whether a MAC learning update is necessary for MAC learning table
1896  * 'ml' given that a packet matching 'flow' was received  on 'in_xbundle' in
1897  * 'vlan'.
1898  *
1899  * Most packets processed through the MAC learning table do not actually
1900  * change it in any way.  This function requires only a read lock on the MAC
1901  * learning table, so it is much cheaper in this common case.
1902  *
1903  * Keep the code here synchronized with that in update_learning_table__()
1904  * below. */
1905 static bool
1906 is_mac_learning_update_needed(const struct mac_learning *ml,
1907                               const struct flow *flow,
1908                               struct flow_wildcards *wc,
1909                               int vlan, struct xbundle *in_xbundle)
1910 OVS_REQ_RDLOCK(ml->rwlock)
1911 {
1912     struct mac_entry *mac;
1913
1914     if (!mac_learning_may_learn(ml, flow->dl_src, vlan)) {
1915         return false;
1916     }
1917
1918     mac = mac_learning_lookup(ml, flow->dl_src, vlan);
1919     if (!mac || mac_entry_age(ml, mac)) {
1920         return true;
1921     }
1922
1923     if (is_gratuitous_arp(flow, wc)) {
1924         /* We don't want to learn from gratuitous ARP packets that are
1925          * reflected back over bond slaves so we lock the learning table. */
1926         if (!in_xbundle->bond) {
1927             return true;
1928         } else if (mac_entry_is_grat_arp_locked(mac)) {
1929             return false;
1930         }
1931     }
1932
1933     return mac_entry_get_port(ml, mac) != in_xbundle->ofbundle;
1934 }
1935
1936
1937 /* Updates MAC learning table 'ml' given that a packet matching 'flow' was
1938  * received on 'in_xbundle' in 'vlan'.
1939  *
1940  * This code repeats all the checks in is_mac_learning_update_needed() because
1941  * the lock was released between there and here and thus the MAC learning state
1942  * could have changed.
1943  *
1944  * Keep the code here synchronized with that in is_mac_learning_update_needed()
1945  * above. */
1946 static void
1947 update_learning_table__(const struct xbridge *xbridge,
1948                         const struct flow *flow, struct flow_wildcards *wc,
1949                         int vlan, struct xbundle *in_xbundle)
1950 OVS_REQ_WRLOCK(xbridge->ml->rwlock)
1951 {
1952     struct mac_entry *mac;
1953
1954     if (!mac_learning_may_learn(xbridge->ml, flow->dl_src, vlan)) {
1955         return;
1956     }
1957
1958     mac = mac_learning_insert(xbridge->ml, flow->dl_src, vlan);
1959     if (is_gratuitous_arp(flow, wc)) {
1960         /* We don't want to learn from gratuitous ARP packets that are
1961          * reflected back over bond slaves so we lock the learning table. */
1962         if (!in_xbundle->bond) {
1963             mac_entry_set_grat_arp_lock(mac);
1964         } else if (mac_entry_is_grat_arp_locked(mac)) {
1965             return;
1966         }
1967     }
1968
1969     if (mac_entry_get_port(xbridge->ml, mac) != in_xbundle->ofbundle) {
1970         /* The log messages here could actually be useful in debugging,
1971          * so keep the rate limit relatively high. */
1972         static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(30, 300);
1973
1974         VLOG_DBG_RL(&rl, "bridge %s: learned that "ETH_ADDR_FMT" is "
1975                     "on port %s in VLAN %d",
1976                     xbridge->name, ETH_ADDR_ARGS(flow->dl_src),
1977                     in_xbundle->name, vlan);
1978
1979         mac_entry_set_port(xbridge->ml, mac, in_xbundle->ofbundle);
1980     }
1981 }
1982
1983 static void
1984 update_learning_table(const struct xbridge *xbridge,
1985                       const struct flow *flow, struct flow_wildcards *wc,
1986                       int vlan, struct xbundle *in_xbundle)
1987 {
1988     bool need_update;
1989
1990     /* Don't learn the OFPP_NONE port. */
1991     if (in_xbundle == &ofpp_none_bundle) {
1992         return;
1993     }
1994
1995     /* First try the common case: no change to MAC learning table. */
1996     ovs_rwlock_rdlock(&xbridge->ml->rwlock);
1997     need_update = is_mac_learning_update_needed(xbridge->ml, flow, wc, vlan,
1998                                                 in_xbundle);
1999     ovs_rwlock_unlock(&xbridge->ml->rwlock);
2000
2001     if (need_update) {
2002         /* Slow path: MAC learning table might need an update. */
2003         ovs_rwlock_wrlock(&xbridge->ml->rwlock);
2004         update_learning_table__(xbridge, flow, wc, vlan, in_xbundle);
2005         ovs_rwlock_unlock(&xbridge->ml->rwlock);
2006     }
2007 }
2008
2009 /* Updates multicast snooping table 'ms' given that a packet matching 'flow'
2010  * was received on 'in_xbundle' in 'vlan' and is either Report or Query. */
2011 static void
2012 update_mcast_snooping_table4__(const struct xbridge *xbridge,
2013                                const struct flow *flow,
2014                                struct mcast_snooping *ms, int vlan,
2015                                struct xbundle *in_xbundle,
2016                                const struct dp_packet *packet)
2017     OVS_REQ_WRLOCK(ms->rwlock)
2018 {
2019     static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(60, 30);
2020     int count;
2021     ovs_be32 ip4 = flow->igmp_group_ip4;
2022
2023     switch (ntohs(flow->tp_src)) {
2024     case IGMP_HOST_MEMBERSHIP_REPORT:
2025     case IGMPV2_HOST_MEMBERSHIP_REPORT:
2026         if (mcast_snooping_add_group4(ms, ip4, vlan, in_xbundle->ofbundle)) {
2027             VLOG_DBG_RL(&rl, "bridge %s: multicast snooping learned that "
2028                         IP_FMT" is on port %s in VLAN %d",
2029                         xbridge->name, IP_ARGS(ip4), in_xbundle->name, vlan);
2030         }
2031         break;
2032     case IGMP_HOST_LEAVE_MESSAGE:
2033         if (mcast_snooping_leave_group4(ms, ip4, vlan, in_xbundle->ofbundle)) {
2034             VLOG_DBG_RL(&rl, "bridge %s: multicast snooping leaving "
2035                         IP_FMT" is on port %s in VLAN %d",
2036                         xbridge->name, IP_ARGS(ip4), in_xbundle->name, vlan);
2037         }
2038         break;
2039     case IGMP_HOST_MEMBERSHIP_QUERY:
2040         if (flow->nw_src && mcast_snooping_add_mrouter(ms, vlan,
2041             in_xbundle->ofbundle)) {
2042             VLOG_DBG_RL(&rl, "bridge %s: multicast snooping query from "
2043                         IP_FMT" is on port %s in VLAN %d",
2044                         xbridge->name, IP_ARGS(flow->nw_src),
2045                         in_xbundle->name, vlan);
2046         }
2047         break;
2048     case IGMPV3_HOST_MEMBERSHIP_REPORT:
2049         if ((count = mcast_snooping_add_report(ms, packet, vlan,
2050                                                in_xbundle->ofbundle))) {
2051             VLOG_DBG_RL(&rl, "bridge %s: multicast snooping processed %d "
2052                         "addresses on port %s in VLAN %d",
2053                         xbridge->name, count, in_xbundle->name, vlan);
2054         }
2055         break;
2056     }
2057 }
2058
2059 static void
2060 update_mcast_snooping_table6__(const struct xbridge *xbridge,
2061                                const struct flow *flow,
2062                                struct mcast_snooping *ms, int vlan,
2063                                struct xbundle *in_xbundle,
2064                                const struct dp_packet *packet)
2065     OVS_REQ_WRLOCK(ms->rwlock)
2066 {
2067     static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(60, 30);
2068     int count;
2069
2070     switch (ntohs(flow->tp_src)) {
2071     case MLD_QUERY:
2072         if (!ipv6_addr_equals(&flow->ipv6_src, &in6addr_any)
2073             && mcast_snooping_add_mrouter(ms, vlan, in_xbundle->ofbundle)) {
2074             VLOG_DBG_RL(&rl, "bridge %s: multicast snooping query on port %s"
2075                         "in VLAN %d",
2076                         xbridge->name, in_xbundle->name, vlan);
2077         }
2078         break;
2079     case MLD_REPORT:
2080     case MLD_DONE:
2081     case MLD2_REPORT:
2082         count = mcast_snooping_add_mld(ms, packet, vlan, in_xbundle->ofbundle);
2083         if (count) {
2084             VLOG_DBG_RL(&rl, "bridge %s: multicast snooping processed %d "
2085                         "addresses on port %s in VLAN %d",
2086                         xbridge->name, count, in_xbundle->name, vlan);
2087         }
2088         break;
2089     }
2090 }
2091
2092 /* Updates multicast snooping table 'ms' given that a packet matching 'flow'
2093  * was received on 'in_xbundle' in 'vlan'. */
2094 static void
2095 update_mcast_snooping_table(const struct xbridge *xbridge,
2096                             const struct flow *flow, int vlan,
2097                             struct xbundle *in_xbundle,
2098                             const struct dp_packet *packet)
2099 {
2100     struct mcast_snooping *ms = xbridge->ms;
2101     struct xlate_cfg *xcfg;
2102     struct xbundle *mcast_xbundle;
2103     struct mcast_port_bundle *fport;
2104
2105     /* Don't learn the OFPP_NONE port. */
2106     if (in_xbundle == &ofpp_none_bundle) {
2107         return;
2108     }
2109
2110     /* Don't learn from flood ports */
2111     mcast_xbundle = NULL;
2112     ovs_rwlock_wrlock(&ms->rwlock);
2113     xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
2114     LIST_FOR_EACH(fport, node, &ms->fport_list) {
2115         mcast_xbundle = xbundle_lookup(xcfg, fport->port);
2116         if (mcast_xbundle == in_xbundle) {
2117             break;
2118         }
2119     }
2120
2121     if (!mcast_xbundle || mcast_xbundle != in_xbundle) {
2122         if (flow->dl_type == htons(ETH_TYPE_IP)) {
2123             update_mcast_snooping_table4__(xbridge, flow, ms, vlan,
2124                                            in_xbundle, packet);
2125         } else {
2126             update_mcast_snooping_table6__(xbridge, flow, ms, vlan,
2127                                            in_xbundle, packet);
2128         }
2129     }
2130     ovs_rwlock_unlock(&ms->rwlock);
2131 }
2132
2133 /* send the packet to ports having the multicast group learned */
2134 static void
2135 xlate_normal_mcast_send_group(struct xlate_ctx *ctx,
2136                               struct mcast_snooping *ms OVS_UNUSED,
2137                               struct mcast_group *grp,
2138                               struct xbundle *in_xbundle, uint16_t vlan)
2139     OVS_REQ_RDLOCK(ms->rwlock)
2140 {
2141     struct xlate_cfg *xcfg;
2142     struct mcast_group_bundle *b;
2143     struct xbundle *mcast_xbundle;
2144
2145     xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
2146     LIST_FOR_EACH(b, bundle_node, &grp->bundle_lru) {
2147         mcast_xbundle = xbundle_lookup(xcfg, b->port);
2148         if (mcast_xbundle && mcast_xbundle != in_xbundle) {
2149             xlate_report(ctx, "forwarding to mcast group port");
2150             output_normal(ctx, mcast_xbundle, vlan);
2151         } else if (!mcast_xbundle) {
2152             xlate_report(ctx, "mcast group port is unknown, dropping");
2153         } else {
2154             xlate_report(ctx, "mcast group port is input port, dropping");
2155         }
2156     }
2157 }
2158
2159 /* send the packet to ports connected to multicast routers */
2160 static void
2161 xlate_normal_mcast_send_mrouters(struct xlate_ctx *ctx,
2162                                  struct mcast_snooping *ms,
2163                                  struct xbundle *in_xbundle, uint16_t vlan)
2164     OVS_REQ_RDLOCK(ms->rwlock)
2165 {
2166     struct xlate_cfg *xcfg;
2167     struct mcast_mrouter_bundle *mrouter;
2168     struct xbundle *mcast_xbundle;
2169
2170     xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
2171     LIST_FOR_EACH(mrouter, mrouter_node, &ms->mrouter_lru) {
2172         mcast_xbundle = xbundle_lookup(xcfg, mrouter->port);
2173         if (mcast_xbundle && mcast_xbundle != in_xbundle) {
2174             xlate_report(ctx, "forwarding to mcast router port");
2175             output_normal(ctx, mcast_xbundle, vlan);
2176         } else if (!mcast_xbundle) {
2177             xlate_report(ctx, "mcast router port is unknown, dropping");
2178         } else {
2179             xlate_report(ctx, "mcast router port is input port, dropping");
2180         }
2181     }
2182 }
2183
2184 /* send the packet to ports flagged to be flooded */
2185 static void
2186 xlate_normal_mcast_send_fports(struct xlate_ctx *ctx,
2187                                struct mcast_snooping *ms,
2188                                struct xbundle *in_xbundle, uint16_t vlan)
2189     OVS_REQ_RDLOCK(ms->rwlock)
2190 {
2191     struct xlate_cfg *xcfg;
2192     struct mcast_port_bundle *fport;
2193     struct xbundle *mcast_xbundle;
2194
2195     xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
2196     LIST_FOR_EACH(fport, node, &ms->fport_list) {
2197         mcast_xbundle = xbundle_lookup(xcfg, fport->port);
2198         if (mcast_xbundle && mcast_xbundle != in_xbundle) {
2199             xlate_report(ctx, "forwarding to mcast flood port");
2200             output_normal(ctx, mcast_xbundle, vlan);
2201         } else if (!mcast_xbundle) {
2202             xlate_report(ctx, "mcast flood port is unknown, dropping");
2203         } else {
2204             xlate_report(ctx, "mcast flood port is input port, dropping");
2205         }
2206     }
2207 }
2208
2209 /* forward the Reports to configured ports */
2210 static void
2211 xlate_normal_mcast_send_rports(struct xlate_ctx *ctx,
2212                                struct mcast_snooping *ms,
2213                                struct xbundle *in_xbundle, uint16_t vlan)
2214     OVS_REQ_RDLOCK(ms->rwlock)
2215 {
2216     struct xlate_cfg *xcfg;
2217     struct mcast_port_bundle *rport;
2218     struct xbundle *mcast_xbundle;
2219
2220     xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
2221     LIST_FOR_EACH(rport, node, &ms->rport_list) {
2222         mcast_xbundle = xbundle_lookup(xcfg, rport->port);
2223         if (mcast_xbundle && mcast_xbundle != in_xbundle) {
2224             xlate_report(ctx, "forwarding Report to mcast flagged port");
2225             output_normal(ctx, mcast_xbundle, vlan);
2226         } else if (!mcast_xbundle) {
2227             xlate_report(ctx, "mcast port is unknown, dropping the Report");
2228         } else {
2229             xlate_report(ctx, "mcast port is input port, dropping the Report");
2230         }
2231     }
2232 }
2233
2234 static void
2235 xlate_normal_flood(struct xlate_ctx *ctx, struct xbundle *in_xbundle,
2236                    uint16_t vlan)
2237 {
2238     struct xbundle *xbundle;
2239
2240     LIST_FOR_EACH (xbundle, list_node, &ctx->xbridge->xbundles) {
2241         if (xbundle != in_xbundle
2242             && xbundle_includes_vlan(xbundle, vlan)
2243             && xbundle->floodable
2244             && !xbundle_mirror_out(ctx->xbridge, xbundle)) {
2245             output_normal(ctx, xbundle, vlan);
2246         }
2247     }
2248     ctx->xout->nf_output_iface = NF_OUT_FLOOD;
2249 }
2250
2251 static void
2252 xlate_normal(struct xlate_ctx *ctx)
2253 {
2254     struct flow_wildcards *wc = ctx->wc;
2255     struct flow *flow = &ctx->xin->flow;
2256     struct xbundle *in_xbundle;
2257     struct xport *in_port;
2258     struct mac_entry *mac;
2259     void *mac_port;
2260     uint16_t vlan;
2261     uint16_t vid;
2262
2263     ctx->xout->has_normal = true;
2264
2265     memset(&wc->masks.dl_src, 0xff, sizeof wc->masks.dl_src);
2266     memset(&wc->masks.dl_dst, 0xff, sizeof wc->masks.dl_dst);
2267     wc->masks.vlan_tci |= htons(VLAN_VID_MASK | VLAN_CFI);
2268
2269     in_xbundle = lookup_input_bundle(ctx->xbridge, flow->in_port.ofp_port,
2270                                      ctx->xin->packet != NULL, &in_port);
2271     if (!in_xbundle) {
2272         xlate_report(ctx, "no input bundle, dropping");
2273         return;
2274     }
2275
2276     /* Drop malformed frames. */
2277     if (flow->dl_type == htons(ETH_TYPE_VLAN) &&
2278         !(flow->vlan_tci & htons(VLAN_CFI))) {
2279         if (ctx->xin->packet != NULL) {
2280             static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
2281             VLOG_WARN_RL(&rl, "bridge %s: dropping packet with partial "
2282                          "VLAN tag received on port %s",
2283                          ctx->xbridge->name, in_xbundle->name);
2284         }
2285         xlate_report(ctx, "partial VLAN tag, dropping");
2286         return;
2287     }
2288
2289     /* Drop frames on bundles reserved for mirroring. */
2290     if (xbundle_mirror_out(ctx->xbridge, in_xbundle)) {
2291         if (ctx->xin->packet != NULL) {
2292             static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
2293             VLOG_WARN_RL(&rl, "bridge %s: dropping packet received on port "
2294                          "%s, which is reserved exclusively for mirroring",
2295                          ctx->xbridge->name, in_xbundle->name);
2296         }
2297         xlate_report(ctx, "input port is mirror output port, dropping");
2298         return;
2299     }
2300
2301     /* Check VLAN. */
2302     vid = vlan_tci_to_vid(flow->vlan_tci);
2303     if (!input_vid_is_valid(vid, in_xbundle, ctx->xin->packet != NULL)) {
2304         xlate_report(ctx, "disallowed VLAN VID for this input port, dropping");
2305         return;
2306     }
2307     vlan = input_vid_to_vlan(in_xbundle, vid);
2308
2309     /* Check other admissibility requirements. */
2310     if (in_port && !is_admissible(ctx, in_port, vlan)) {
2311         return;
2312     }
2313
2314     /* Learn source MAC. */
2315     if (ctx->xin->may_learn) {
2316         update_learning_table(ctx->xbridge, flow, wc, vlan, in_xbundle);
2317     }
2318     if (ctx->xin->xcache) {
2319         struct xc_entry *entry;
2320
2321         /* Save enough info to update mac learning table later. */
2322         entry = xlate_cache_add_entry(ctx->xin->xcache, XC_NORMAL);
2323         entry->u.normal.ofproto = ctx->xbridge->ofproto;
2324         entry->u.normal.flow = xmemdup(flow, sizeof *flow);
2325         entry->u.normal.vlan = vlan;
2326     }
2327
2328     /* Determine output bundle. */
2329     if (mcast_snooping_enabled(ctx->xbridge->ms)
2330         && !eth_addr_is_broadcast(flow->dl_dst)
2331         && eth_addr_is_multicast(flow->dl_dst)
2332         && is_ip_any(flow)) {
2333         struct mcast_snooping *ms = ctx->xbridge->ms;
2334         struct mcast_group *grp = NULL;
2335
2336         if (is_igmp(flow)) {
2337             if (mcast_snooping_is_membership(flow->tp_src) ||
2338                 mcast_snooping_is_query(flow->tp_src)) {
2339                 if (ctx->xin->may_learn) {
2340                     update_mcast_snooping_table(ctx->xbridge, flow, vlan,
2341                                                 in_xbundle, ctx->xin->packet);
2342                 }
2343                 /*
2344                  * IGMP packets need to take the slow path, in order to be
2345                  * processed for mdb updates. That will prevent expires
2346                  * firing off even after hosts have sent reports.
2347                  */
2348                 ctx->xout->slow |= SLOW_ACTION;
2349             }
2350
2351             if (mcast_snooping_is_membership(flow->tp_src)) {
2352                 ovs_rwlock_rdlock(&ms->rwlock);
2353                 xlate_normal_mcast_send_mrouters(ctx, ms, in_xbundle, vlan);
2354                 /* RFC4541: section 2.1.1, item 1: A snooping switch should
2355                  * forward IGMP Membership Reports only to those ports where
2356                  * multicast routers are attached.  Alternatively stated: a
2357                  * snooping switch should not forward IGMP Membership Reports
2358                  * to ports on which only hosts are attached.
2359                  * An administrative control may be provided to override this
2360                  * restriction, allowing the report messages to be flooded to
2361                  * other ports. */
2362                 xlate_normal_mcast_send_rports(ctx, ms, in_xbundle, vlan);
2363                 ovs_rwlock_unlock(&ms->rwlock);
2364             } else {
2365                 xlate_report(ctx, "multicast traffic, flooding");
2366                 xlate_normal_flood(ctx, in_xbundle, vlan);
2367             }
2368             return;
2369         } else if (is_mld(flow)) {
2370             ctx->xout->slow |= SLOW_ACTION;
2371             if (ctx->xin->may_learn) {
2372                 update_mcast_snooping_table(ctx->xbridge, flow, vlan,
2373                                             in_xbundle, ctx->xin->packet);
2374             }
2375             if (is_mld_report(flow)) {
2376                 ovs_rwlock_rdlock(&ms->rwlock);
2377                 xlate_normal_mcast_send_mrouters(ctx, ms, in_xbundle, vlan);
2378                 xlate_normal_mcast_send_rports(ctx, ms, in_xbundle, vlan);
2379                 ovs_rwlock_unlock(&ms->rwlock);
2380             } else {
2381                 xlate_report(ctx, "MLD query, flooding");
2382                 xlate_normal_flood(ctx, in_xbundle, vlan);
2383             }
2384         } else {
2385             if ((flow->dl_type == htons(ETH_TYPE_IP)
2386                  && ip_is_local_multicast(flow->nw_dst))
2387                 || (flow->dl_type == htons(ETH_TYPE_IPV6)
2388                     && ipv6_is_all_hosts(&flow->ipv6_dst))) {
2389                 /* RFC4541: section 2.1.2, item 2: Packets with a dst IP
2390                  * address in the 224.0.0.x range which are not IGMP must
2391                  * be forwarded on all ports */
2392                 xlate_report(ctx, "RFC4541: section 2.1.2, item 2, flooding");
2393                 xlate_normal_flood(ctx, in_xbundle, vlan);
2394                 return;
2395             }
2396         }
2397
2398         /* forwarding to group base ports */
2399         ovs_rwlock_rdlock(&ms->rwlock);
2400         if (flow->dl_type == htons(ETH_TYPE_IP)) {
2401             grp = mcast_snooping_lookup4(ms, flow->nw_dst, vlan);
2402         } else if (flow->dl_type == htons(ETH_TYPE_IPV6)) {
2403             grp = mcast_snooping_lookup(ms, &flow->ipv6_dst, vlan);
2404         }
2405         if (grp) {
2406             xlate_normal_mcast_send_group(ctx, ms, grp, in_xbundle, vlan);
2407             xlate_normal_mcast_send_fports(ctx, ms, in_xbundle, vlan);
2408             xlate_normal_mcast_send_mrouters(ctx, ms, in_xbundle, vlan);
2409         } else {
2410             if (mcast_snooping_flood_unreg(ms)) {
2411                 xlate_report(ctx, "unregistered multicast, flooding");
2412                 xlate_normal_flood(ctx, in_xbundle, vlan);
2413             } else {
2414                 xlate_normal_mcast_send_mrouters(ctx, ms, in_xbundle, vlan);
2415                 xlate_normal_mcast_send_fports(ctx, ms, in_xbundle, vlan);
2416             }
2417         }
2418         ovs_rwlock_unlock(&ms->rwlock);
2419     } else {
2420         ovs_rwlock_rdlock(&ctx->xbridge->ml->rwlock);
2421         mac = mac_learning_lookup(ctx->xbridge->ml, flow->dl_dst, vlan);
2422         mac_port = mac ? mac_entry_get_port(ctx->xbridge->ml, mac) : NULL;
2423         ovs_rwlock_unlock(&ctx->xbridge->ml->rwlock);
2424
2425         if (mac_port) {
2426             struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
2427             struct xbundle *mac_xbundle = xbundle_lookup(xcfg, mac_port);
2428             if (mac_xbundle && mac_xbundle != in_xbundle) {
2429                 xlate_report(ctx, "forwarding to learned port");
2430                 output_normal(ctx, mac_xbundle, vlan);
2431             } else if (!mac_xbundle) {
2432                 xlate_report(ctx, "learned port is unknown, dropping");
2433             } else {
2434                 xlate_report(ctx, "learned port is input port, dropping");
2435             }
2436         } else {
2437             xlate_report(ctx, "no learned MAC for destination, flooding");
2438             xlate_normal_flood(ctx, in_xbundle, vlan);
2439         }
2440     }
2441 }
2442
2443 /* Compose SAMPLE action for sFlow or IPFIX.  The given probability is
2444  * the number of packets out of UINT32_MAX to sample.  The given
2445  * cookie is passed back in the callback for each sampled packet.
2446  */
2447 static size_t
2448 compose_sample_action(const struct xbridge *xbridge,
2449                       struct ofpbuf *odp_actions,
2450                       const struct flow *flow,
2451                       const uint32_t probability,
2452                       const union user_action_cookie *cookie,
2453                       const size_t cookie_size,
2454                       const odp_port_t tunnel_out_port,
2455                       bool include_actions)
2456 {
2457     size_t sample_offset, actions_offset;
2458     odp_port_t odp_port;
2459     int cookie_offset;
2460     uint32_t pid;
2461
2462     sample_offset = nl_msg_start_nested(odp_actions, OVS_ACTION_ATTR_SAMPLE);
2463
2464     nl_msg_put_u32(odp_actions, OVS_SAMPLE_ATTR_PROBABILITY, probability);
2465
2466     actions_offset = nl_msg_start_nested(odp_actions, OVS_SAMPLE_ATTR_ACTIONS);
2467
2468     odp_port = ofp_port_to_odp_port(xbridge, flow->in_port.ofp_port);
2469     pid = dpif_port_get_pid(xbridge->dpif, odp_port,
2470                             flow_hash_5tuple(flow, 0));
2471     cookie_offset = odp_put_userspace_action(pid, cookie, cookie_size,
2472                                              tunnel_out_port,
2473                                              include_actions,
2474                                              odp_actions);
2475
2476     nl_msg_end_nested(odp_actions, actions_offset);
2477     nl_msg_end_nested(odp_actions, sample_offset);
2478     return cookie_offset;
2479 }
2480
2481 static void
2482 compose_sflow_cookie(const struct xbridge *xbridge, ovs_be16 vlan_tci,
2483                      odp_port_t odp_port, unsigned int n_outputs,
2484                      union user_action_cookie *cookie)
2485 {
2486     int ifindex;
2487
2488     cookie->type = USER_ACTION_COOKIE_SFLOW;
2489     cookie->sflow.vlan_tci = vlan_tci;
2490
2491     /* See http://www.sflow.org/sflow_version_5.txt (search for "Input/output
2492      * port information") for the interpretation of cookie->output. */
2493     switch (n_outputs) {
2494     case 0:
2495         /* 0x40000000 | 256 means "packet dropped for unknown reason". */
2496         cookie->sflow.output = 0x40000000 | 256;
2497         break;
2498
2499     case 1:
2500         ifindex = dpif_sflow_odp_port_to_ifindex(xbridge->sflow, odp_port);
2501         if (ifindex) {
2502             cookie->sflow.output = ifindex;
2503             break;
2504         }
2505         /* Fall through. */
2506     default:
2507         /* 0x80000000 means "multiple output ports. */
2508         cookie->sflow.output = 0x80000000 | n_outputs;
2509         break;
2510     }
2511 }
2512
2513 /* Compose SAMPLE action for sFlow bridge sampling. */
2514 static size_t
2515 compose_sflow_action(const struct xbridge *xbridge,
2516                      struct ofpbuf *odp_actions,
2517                      const struct flow *flow,
2518                      odp_port_t odp_port)
2519 {
2520     uint32_t probability;
2521     union user_action_cookie cookie;
2522
2523     if (!xbridge->sflow || flow->in_port.ofp_port == OFPP_NONE) {
2524         return 0;
2525     }
2526
2527     probability = dpif_sflow_get_probability(xbridge->sflow);
2528     compose_sflow_cookie(xbridge, htons(0), odp_port,
2529                          odp_port == ODPP_NONE ? 0 : 1, &cookie);
2530
2531     return compose_sample_action(xbridge, odp_actions, flow,  probability,
2532                                  &cookie, sizeof cookie.sflow, ODPP_NONE,
2533                                  true);
2534 }
2535
2536 static void
2537 compose_flow_sample_cookie(uint16_t probability, uint32_t collector_set_id,
2538                            uint32_t obs_domain_id, uint32_t obs_point_id,
2539                            union user_action_cookie *cookie)
2540 {
2541     cookie->type = USER_ACTION_COOKIE_FLOW_SAMPLE;
2542     cookie->flow_sample.probability = probability;
2543     cookie->flow_sample.collector_set_id = collector_set_id;
2544     cookie->flow_sample.obs_domain_id = obs_domain_id;
2545     cookie->flow_sample.obs_point_id = obs_point_id;
2546 }
2547
2548 static void
2549 compose_ipfix_cookie(union user_action_cookie *cookie,
2550                      odp_port_t output_odp_port)
2551 {
2552     cookie->type = USER_ACTION_COOKIE_IPFIX;
2553     cookie->ipfix.output_odp_port = output_odp_port;
2554 }
2555
2556 /* Compose SAMPLE action for IPFIX bridge sampling. */
2557 static void
2558 compose_ipfix_action(const struct xbridge *xbridge,
2559                      struct ofpbuf *odp_actions,
2560                      const struct flow *flow,
2561                      odp_port_t output_odp_port)
2562 {
2563     uint32_t probability;
2564     union user_action_cookie cookie;
2565     odp_port_t tunnel_out_port = ODPP_NONE;
2566
2567     if (!xbridge->ipfix || flow->in_port.ofp_port == OFPP_NONE) {
2568         return;
2569     }
2570
2571     /* For input case, output_odp_port is ODPP_NONE, which is an invalid port
2572      * number. */
2573     if (output_odp_port == ODPP_NONE &&
2574         !dpif_ipfix_get_bridge_exporter_input_sampling(xbridge->ipfix)) {
2575         return;
2576     }
2577
2578     /* For output case, output_odp_port is valid*/
2579     if (output_odp_port != ODPP_NONE) {
2580         if (!dpif_ipfix_get_bridge_exporter_output_sampling(xbridge->ipfix)) {
2581             return;
2582         }
2583         /* If tunnel sampling is enabled, put an additional option attribute:
2584          * OVS_USERSPACE_ATTR_TUNNEL_OUT_PORT
2585          */
2586         if (dpif_ipfix_get_bridge_exporter_tunnel_sampling(xbridge->ipfix) &&
2587             dpif_ipfix_get_tunnel_port(xbridge->ipfix, output_odp_port) ) {
2588            tunnel_out_port = output_odp_port;
2589         }
2590     }
2591
2592     probability = dpif_ipfix_get_bridge_exporter_probability(xbridge->ipfix);
2593     compose_ipfix_cookie(&cookie, output_odp_port);
2594
2595     compose_sample_action(xbridge, odp_actions, flow,  probability,
2596                           &cookie, sizeof cookie.ipfix, tunnel_out_port,
2597                           false);
2598 }
2599
2600 /* SAMPLE action for sFlow must be first action in any given list of
2601  * actions.  At this point we do not have all information required to
2602  * build it. So try to build sample action as complete as possible. */
2603 static void
2604 add_sflow_action(struct xlate_ctx *ctx)
2605 {
2606     ctx->user_cookie_offset = compose_sflow_action(ctx->xbridge,
2607                                                    ctx->odp_actions,
2608                                                    &ctx->xin->flow, ODPP_NONE);
2609     ctx->sflow_odp_port = 0;
2610     ctx->sflow_n_outputs = 0;
2611 }
2612
2613 /* SAMPLE action for IPFIX must be 1st or 2nd action in any given list
2614  * of actions, eventually after the SAMPLE action for sFlow. */
2615 static void
2616 add_ipfix_action(struct xlate_ctx *ctx)
2617 {
2618     compose_ipfix_action(ctx->xbridge, ctx->odp_actions,
2619                          &ctx->xin->flow, ODPP_NONE);
2620 }
2621
2622 static void
2623 add_ipfix_output_action(struct xlate_ctx *ctx, odp_port_t port)
2624 {
2625     compose_ipfix_action(ctx->xbridge, ctx->odp_actions,
2626                          &ctx->xin->flow, port);
2627 }
2628
2629 /* Fix SAMPLE action according to data collected while composing ODP actions.
2630  * We need to fix SAMPLE actions OVS_SAMPLE_ATTR_ACTIONS attribute, i.e. nested
2631  * USERSPACE action's user-cookie which is required for sflow. */
2632 static void
2633 fix_sflow_action(struct xlate_ctx *ctx)
2634 {
2635     const struct flow *base = &ctx->base_flow;
2636     union user_action_cookie *cookie;
2637
2638     if (!ctx->user_cookie_offset) {
2639         return;
2640     }
2641
2642     cookie = ofpbuf_at(ctx->odp_actions, ctx->user_cookie_offset,
2643                        sizeof cookie->sflow);
2644     ovs_assert(cookie->type == USER_ACTION_COOKIE_SFLOW);
2645
2646     compose_sflow_cookie(ctx->xbridge, base->vlan_tci,
2647                          ctx->sflow_odp_port, ctx->sflow_n_outputs, cookie);
2648 }
2649
2650 static bool
2651 process_special(struct xlate_ctx *ctx, const struct xport *xport)
2652 {
2653     const struct flow *flow = &ctx->xin->flow;
2654     struct flow_wildcards *wc = ctx->wc;
2655     const struct xbridge *xbridge = ctx->xbridge;
2656     const struct dp_packet *packet = ctx->xin->packet;
2657     enum slow_path_reason slow;
2658
2659     if (!xport) {
2660         slow = 0;
2661     } else if (xport->cfm && cfm_should_process_flow(xport->cfm, flow, wc)) {
2662         if (packet) {
2663             cfm_process_heartbeat(xport->cfm, packet);
2664         }
2665         slow = SLOW_CFM;
2666     } else if (xport->bfd && bfd_should_process_flow(xport->bfd, flow, wc)) {
2667         if (packet) {
2668             bfd_process_packet(xport->bfd, flow, packet);
2669             /* If POLL received, immediately sends FINAL back. */
2670             if (bfd_should_send_packet(xport->bfd)) {
2671                 ofproto_dpif_monitor_port_send_soon(xport->ofport);
2672             }
2673         }
2674         slow = SLOW_BFD;
2675     } else if (xport->xbundle && xport->xbundle->lacp
2676                && flow->dl_type == htons(ETH_TYPE_LACP)) {
2677         if (packet) {
2678             lacp_process_packet(xport->xbundle->lacp, xport->ofport, packet);
2679         }
2680         slow = SLOW_LACP;
2681     } else if ((xbridge->stp || xbridge->rstp) &&
2682                stp_should_process_flow(flow, wc)) {
2683         if (packet) {
2684             xbridge->stp
2685                 ? stp_process_packet(xport, packet)
2686                 : rstp_process_packet(xport, packet);
2687         }
2688         slow = SLOW_STP;
2689     } else if (xport->lldp && lldp_should_process_flow(xport->lldp, flow)) {
2690         if (packet) {
2691             lldp_process_packet(xport->lldp, packet);
2692         }
2693         slow = SLOW_LLDP;
2694     } else {
2695         slow = 0;
2696     }
2697
2698     if (slow) {
2699         ctx->xout->slow |= slow;
2700         return true;
2701     } else {
2702         return false;
2703     }
2704 }
2705
2706 static int
2707 tnl_route_lookup_flow(const struct flow *oflow,
2708                       ovs_be32 *ip, struct xport **out_port)
2709 {
2710     char out_dev[IFNAMSIZ];
2711     struct xbridge *xbridge;
2712     struct xlate_cfg *xcfg;
2713     ovs_be32 gw;
2714
2715     if (!ovs_router_lookup(oflow->tunnel.ip_dst, out_dev, &gw)) {
2716         return -ENOENT;
2717     }
2718
2719     if (gw) {
2720         *ip = gw;
2721     } else {
2722         *ip = oflow->tunnel.ip_dst;
2723     }
2724
2725     xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
2726     ovs_assert(xcfg);
2727
2728     HMAP_FOR_EACH (xbridge, hmap_node, &xcfg->xbridges) {
2729         if (!strncmp(xbridge->name, out_dev, IFNAMSIZ)) {
2730             struct xport *port;
2731
2732             HMAP_FOR_EACH (port, ofp_node, &xbridge->xports) {
2733                 if (!strncmp(netdev_get_name(port->netdev), out_dev, IFNAMSIZ)) {
2734                     *out_port = port;
2735                     return 0;
2736                 }
2737             }
2738         }
2739     }
2740     return -ENOENT;
2741 }
2742
2743 static int
2744 xlate_flood_packet(struct xbridge *xbridge, struct dp_packet *packet)
2745 {
2746     struct ofpact_output output;
2747     struct flow flow;
2748
2749     ofpact_init(&output.ofpact, OFPACT_OUTPUT, sizeof output);
2750     /* Use OFPP_NONE as the in_port to avoid special packet processing. */
2751     flow_extract(packet, &flow);
2752     flow.in_port.ofp_port = OFPP_NONE;
2753     output.port = OFPP_FLOOD;
2754     output.max_len = 0;
2755
2756     return ofproto_dpif_execute_actions(xbridge->ofproto, &flow, NULL,
2757                                         &output.ofpact, sizeof output,
2758                                         packet);
2759 }
2760
2761 static void
2762 tnl_send_arp_request(const struct xport *out_dev, const uint8_t eth_src[ETH_ADDR_LEN],
2763                      ovs_be32 ip_src, ovs_be32 ip_dst)
2764 {
2765     struct xbridge *xbridge = out_dev->xbridge;
2766     struct dp_packet packet;
2767
2768     dp_packet_init(&packet, 0);
2769     compose_arp(&packet, ARP_OP_REQUEST,
2770                 eth_src, eth_addr_zero, true, ip_src, ip_dst);
2771
2772     xlate_flood_packet(xbridge, &packet);
2773     dp_packet_uninit(&packet);
2774 }
2775
2776 static int
2777 build_tunnel_send(struct xlate_ctx *ctx, const struct xport *xport,
2778                   const struct flow *flow, odp_port_t tunnel_odp_port)
2779 {
2780     struct ovs_action_push_tnl tnl_push_data;
2781     struct xport *out_dev = NULL;
2782     ovs_be32 s_ip, d_ip = 0;
2783     uint8_t smac[ETH_ADDR_LEN];
2784     uint8_t dmac[ETH_ADDR_LEN];
2785     int err;
2786
2787     err = tnl_route_lookup_flow(flow, &d_ip, &out_dev);
2788     if (err) {
2789         xlate_report(ctx, "native tunnel routing failed");
2790         return err;
2791     }
2792     xlate_report(ctx, "tunneling to "IP_FMT" via %s",
2793                  IP_ARGS(d_ip), netdev_get_name(out_dev->netdev));
2794
2795     /* Use mac addr of bridge port of the peer. */
2796     err = netdev_get_etheraddr(out_dev->netdev, smac);
2797     if (err) {
2798         xlate_report(ctx, "tunnel output device lacks Ethernet address");
2799         return err;
2800     }
2801
2802     err = netdev_get_in4(out_dev->netdev, (struct in_addr *) &s_ip, NULL);
2803     if (err) {
2804         xlate_report(ctx, "tunnel output device lacks IPv4 address");
2805         return err;
2806     }
2807
2808     err = tnl_arp_lookup(out_dev->xbridge->name, d_ip, dmac);
2809     if (err) {
2810         xlate_report(ctx, "ARP cache miss for "IP_FMT" on bridge %s, "
2811                      "sending ARP request",
2812                      IP_ARGS(d_ip), out_dev->xbridge->name);
2813         tnl_send_arp_request(out_dev, smac, s_ip, d_ip);
2814         return err;
2815     }
2816     if (ctx->xin->xcache) {
2817         struct xc_entry *entry;
2818
2819         entry = xlate_cache_add_entry(ctx->xin->xcache, XC_TNL_ARP);
2820         ovs_strlcpy(entry->u.tnl_arp_cache.br_name, out_dev->xbridge->name,
2821                     sizeof entry->u.tnl_arp_cache.br_name);
2822         entry->u.tnl_arp_cache.d_ip = d_ip;
2823     }
2824
2825     xlate_report(ctx, "tunneling from "ETH_ADDR_FMT" "IP_FMT
2826                  " to "ETH_ADDR_FMT" "IP_FMT,
2827                  ETH_ADDR_ARGS(smac), IP_ARGS(s_ip),
2828                  ETH_ADDR_ARGS(dmac), IP_ARGS(d_ip));
2829     err = tnl_port_build_header(xport->ofport, flow,
2830                                 dmac, smac, s_ip, &tnl_push_data);
2831     if (err) {
2832         return err;
2833     }
2834     tnl_push_data.tnl_port = odp_to_u32(tunnel_odp_port);
2835     tnl_push_data.out_port = odp_to_u32(out_dev->odp_port);
2836     odp_put_tnl_push_action(ctx->odp_actions, &tnl_push_data);
2837     return 0;
2838 }
2839
2840 static void
2841 compose_output_action__(struct xlate_ctx *ctx, ofp_port_t ofp_port,
2842                         const struct xlate_bond_recirc *xr, bool check_stp)
2843 {
2844     const struct xport *xport = get_ofp_port(ctx->xbridge, ofp_port);
2845     struct flow_wildcards *wc = ctx->wc;
2846     struct flow *flow = &ctx->xin->flow;
2847     struct flow_tnl flow_tnl;
2848     ovs_be16 flow_vlan_tci;
2849     uint32_t flow_pkt_mark;
2850     uint8_t flow_nw_tos;
2851     odp_port_t out_port, odp_port;
2852     bool tnl_push_pop_send = false;
2853     uint8_t dscp;
2854
2855     /* If 'struct flow' gets additional metadata, we'll need to zero it out
2856      * before traversing a patch port. */
2857     BUILD_ASSERT_DECL(FLOW_WC_SEQ == 33);
2858     memset(&flow_tnl, 0, sizeof flow_tnl);
2859
2860     if (!xport) {
2861         xlate_report(ctx, "Nonexistent output port");
2862         return;
2863     } else if (xport->config & OFPUTIL_PC_NO_FWD) {
2864         xlate_report(ctx, "OFPPC_NO_FWD set, skipping output");
2865         return;
2866     } else if (check_stp) {
2867         if (is_stp(&ctx->base_flow)) {
2868             if (!xport_stp_should_forward_bpdu(xport) &&
2869                 !xport_rstp_should_manage_bpdu(xport)) {
2870                 if (ctx->xbridge->stp != NULL) {
2871                     xlate_report(ctx, "STP not in listening state, "
2872                             "skipping bpdu output");
2873                 } else if (ctx->xbridge->rstp != NULL) {
2874                     xlate_report(ctx, "RSTP not managing BPDU in this state, "
2875                             "skipping bpdu output");
2876                 }
2877                 return;
2878             }
2879         } else if (!xport_stp_forward_state(xport) ||
2880                    !xport_rstp_forward_state(xport)) {
2881             if (ctx->xbridge->stp != NULL) {
2882                 xlate_report(ctx, "STP not in forwarding state, "
2883                         "skipping output");
2884             } else if (ctx->xbridge->rstp != NULL) {
2885                 xlate_report(ctx, "RSTP not in forwarding state, "
2886                         "skipping output");
2887             }
2888             return;
2889         }
2890     }
2891
2892     if (mbridge_has_mirrors(ctx->xbridge->mbridge) && xport->xbundle) {
2893         ctx->xout->mirrors |= xbundle_mirror_dst(xport->xbundle->xbridge,
2894                                                  xport->xbundle);
2895     }
2896
2897     if (xport->peer) {
2898         const struct xport *peer = xport->peer;
2899         struct flow old_flow = ctx->xin->flow;
2900         bool old_was_mpls = ctx->was_mpls;
2901         cls_version_t old_version = ctx->tables_version;
2902         struct ofpbuf old_stack = ctx->stack;
2903         union mf_subvalue new_stack[1024 / sizeof(union mf_subvalue)];
2904         struct ofpbuf old_action_set = ctx->action_set;
2905         uint64_t actset_stub[1024 / 8];
2906
2907         ofpbuf_use_stub(&ctx->stack, new_stack, sizeof new_stack);
2908         ofpbuf_use_stub(&ctx->action_set, actset_stub, sizeof actset_stub);
2909         ctx->xbridge = peer->xbridge;
2910         flow->in_port.ofp_port = peer->ofp_port;
2911         flow->metadata = htonll(0);
2912         memset(&flow->tunnel, 0, sizeof flow->tunnel);
2913         memset(flow->regs, 0, sizeof flow->regs);
2914         flow->actset_output = OFPP_UNSET;
2915
2916         /* The bridge is now known so obtain its table version. */
2917         ctx->tables_version
2918             = ofproto_dpif_get_tables_version(ctx->xbridge->ofproto);
2919
2920         if (!process_special(ctx, peer) && may_receive(peer, ctx)) {
2921             if (xport_stp_forward_state(peer) && xport_rstp_forward_state(peer)) {
2922                 xlate_table_action(ctx, flow->in_port.ofp_port, 0, true, true);
2923                 if (ctx->action_set.size) {
2924                     /* Translate action set only if not dropping the packet and
2925                      * not recirculating. */
2926                     if (!exit_recirculates(ctx)) {
2927                         xlate_action_set(ctx);
2928                     }
2929                 }
2930                 /* Check if need to recirculate. */
2931                 if (exit_recirculates(ctx)) {
2932                     compose_recirculate_action(ctx);
2933                 }
2934             } else {
2935                 /* Forwarding is disabled by STP and RSTP.  Let OFPP_NORMAL and
2936                  * the learning action look at the packet, then drop it. */
2937                 struct flow old_base_flow = ctx->base_flow;
2938                 size_t old_size = ctx->odp_actions->size;
2939                 mirror_mask_t old_mirrors = ctx->xout->mirrors;
2940
2941                 xlate_table_action(ctx, flow->in_port.ofp_port, 0, true, true);
2942                 ctx->xout->mirrors = old_mirrors;
2943                 ctx->base_flow = old_base_flow;
2944                 ctx->odp_actions->size = old_size;
2945
2946                 /* Undo changes that may have been done for recirculation. */
2947                 if (exit_recirculates(ctx)) {
2948                     ctx->action_set.size = ctx->recirc_action_offset;
2949                     ctx->recirc_action_offset = -1;
2950                     ctx->last_unroll_offset = -1;
2951                 }
2952             }
2953         }
2954
2955         ctx->xin->flow = old_flow;
2956         ctx->xbridge = xport->xbridge;
2957         ofpbuf_uninit(&ctx->action_set);
2958         ctx->action_set = old_action_set;
2959         ofpbuf_uninit(&ctx->stack);
2960         ctx->stack = old_stack;
2961
2962         /* Restore calling bridge's lookup version. */
2963         ctx->tables_version = old_version;
2964
2965         /* The peer bridge popping MPLS should have no effect on the original
2966          * bridge. */
2967         ctx->was_mpls = old_was_mpls;
2968
2969         /* The fact that the peer bridge exits (for any reason) does not mean
2970          * that the original bridge should exit.  Specifically, if the peer
2971          * bridge recirculates (which typically modifies the packet), the
2972          * original bridge must continue processing with the original, not the
2973          * recirculated packet! */
2974         ctx->exit = false;
2975
2976         if (ctx->xin->resubmit_stats) {
2977             netdev_vport_inc_tx(xport->netdev, ctx->xin->resubmit_stats);
2978             netdev_vport_inc_rx(peer->netdev, ctx->xin->resubmit_stats);
2979             if (peer->bfd) {
2980                 bfd_account_rx(peer->bfd, ctx->xin->resubmit_stats);
2981             }
2982         }
2983         if (ctx->xin->xcache) {
2984             struct xc_entry *entry;
2985
2986             entry = xlate_cache_add_entry(ctx->xin->xcache, XC_NETDEV);
2987             entry->u.dev.tx = netdev_ref(xport->netdev);
2988             entry->u.dev.rx = netdev_ref(peer->netdev);
2989             entry->u.dev.bfd = bfd_ref(peer->bfd);
2990         }
2991         return;
2992     }
2993
2994     flow_vlan_tci = flow->vlan_tci;
2995     flow_pkt_mark = flow->pkt_mark;
2996     flow_nw_tos = flow->nw_tos;
2997
2998     if (count_skb_priorities(xport)) {
2999         memset(&wc->masks.skb_priority, 0xff, sizeof wc->masks.skb_priority);
3000         if (dscp_from_skb_priority(xport, flow->skb_priority, &dscp)) {
3001             wc->masks.nw_tos |= IP_DSCP_MASK;
3002             flow->nw_tos &= ~IP_DSCP_MASK;
3003             flow->nw_tos |= dscp;
3004         }
3005     }
3006
3007     if (xport->is_tunnel) {
3008          /* Save tunnel metadata so that changes made due to
3009           * the Logical (tunnel) Port are not visible for any further
3010           * matches, while explicit set actions on tunnel metadata are.
3011           */
3012         flow_tnl = flow->tunnel;
3013         odp_port = tnl_port_send(xport->ofport, flow, ctx->wc);
3014         if (odp_port == ODPP_NONE) {
3015             xlate_report(ctx, "Tunneling decided against output");
3016             goto out; /* restore flow_nw_tos */
3017         }
3018         if (flow->tunnel.ip_dst == ctx->orig_tunnel_ip_dst) {
3019             xlate_report(ctx, "Not tunneling to our own address");
3020             goto out; /* restore flow_nw_tos */
3021         }
3022         if (ctx->xin->resubmit_stats) {
3023             netdev_vport_inc_tx(xport->netdev, ctx->xin->resubmit_stats);
3024         }
3025         if (ctx->xin->xcache) {
3026             struct xc_entry *entry;
3027
3028             entry = xlate_cache_add_entry(ctx->xin->xcache, XC_NETDEV);
3029             entry->u.dev.tx = netdev_ref(xport->netdev);
3030         }
3031         out_port = odp_port;
3032         if (ovs_native_tunneling_is_on(ctx->xbridge->ofproto)) {
3033             xlate_report(ctx, "output to native tunnel");
3034             tnl_push_pop_send = true;
3035         } else {
3036             xlate_report(ctx, "output to kernel tunnel");
3037             commit_odp_tunnel_action(flow, &ctx->base_flow, ctx->odp_actions);
3038             flow->tunnel = flow_tnl; /* Restore tunnel metadata */
3039         }
3040     } else {
3041         odp_port = xport->odp_port;
3042         out_port = odp_port;
3043         if (ofproto_has_vlan_splinters(ctx->xbridge->ofproto)) {
3044             ofp_port_t vlandev_port;
3045
3046             wc->masks.vlan_tci |= htons(VLAN_VID_MASK | VLAN_CFI);
3047             vlandev_port = vsp_realdev_to_vlandev(ctx->xbridge->ofproto,
3048                                                   ofp_port, flow->vlan_tci);
3049             if (vlandev_port != ofp_port) {
3050                 out_port = ofp_port_to_odp_port(ctx->xbridge, vlandev_port);
3051                 flow->vlan_tci = htons(0);
3052             }
3053         }
3054     }
3055
3056     if (out_port != ODPP_NONE) {
3057         bool use_masked = ctx->xbridge->support.masked_set_action;
3058
3059         ctx->xout->slow |= commit_odp_actions(flow, &ctx->base_flow,
3060                                               ctx->odp_actions,
3061                                               wc, use_masked);
3062
3063         if (xr) {
3064             struct ovs_action_hash *act_hash;
3065
3066             /* Hash action. */
3067             act_hash = nl_msg_put_unspec_uninit(ctx->odp_actions,
3068                                                 OVS_ACTION_ATTR_HASH,
3069                                                 sizeof *act_hash);
3070             act_hash->hash_alg = xr->hash_alg;
3071             act_hash->hash_basis = xr->hash_basis;
3072
3073             /* Recirc action. */
3074             nl_msg_put_u32(ctx->odp_actions, OVS_ACTION_ATTR_RECIRC,
3075                            xr->recirc_id);
3076         } else {
3077
3078             if (tnl_push_pop_send) {
3079                 build_tunnel_send(ctx, xport, flow, odp_port);
3080                 flow->tunnel = flow_tnl; /* Restore tunnel metadata */
3081             } else {
3082                 odp_port_t odp_tnl_port = ODPP_NONE;
3083
3084                 /* XXX: Write better Filter for tunnel port. We can use inport
3085                 * int tunnel-port flow to avoid these checks completely. */
3086                 if (ofp_port == OFPP_LOCAL &&
3087                     ovs_native_tunneling_is_on(ctx->xbridge->ofproto)) {
3088
3089                     odp_tnl_port = tnl_port_map_lookup(flow, wc);
3090                 }
3091
3092                 if (odp_tnl_port != ODPP_NONE) {
3093                     nl_msg_put_odp_port(ctx->odp_actions,
3094                                         OVS_ACTION_ATTR_TUNNEL_POP,
3095                                         odp_tnl_port);
3096                 } else {
3097                     /* Tunnel push-pop action is not compatible with
3098                      * IPFIX action. */
3099                     add_ipfix_output_action(ctx, out_port);
3100                     nl_msg_put_odp_port(ctx->odp_actions,
3101                                         OVS_ACTION_ATTR_OUTPUT,
3102                                         out_port);
3103                }
3104            }
3105         }
3106
3107         ctx->sflow_odp_port = odp_port;
3108         ctx->sflow_n_outputs++;
3109         ctx->xout->nf_output_iface = ofp_port;
3110     }
3111
3112  out:
3113     /* Restore flow */
3114     flow->vlan_tci = flow_vlan_tci;
3115     flow->pkt_mark = flow_pkt_mark;
3116     flow->nw_tos = flow_nw_tos;
3117 }
3118
3119 static void
3120 compose_output_action(struct xlate_ctx *ctx, ofp_port_t ofp_port,
3121                       const struct xlate_bond_recirc *xr)
3122 {
3123     compose_output_action__(ctx, ofp_port, xr, true);
3124 }
3125
3126 static void
3127 xlate_recursively(struct xlate_ctx *ctx, struct rule_dpif *rule)
3128 {
3129     struct rule_dpif *old_rule = ctx->rule;
3130     ovs_be64 old_cookie = ctx->rule_cookie;
3131     const struct rule_actions *actions;
3132
3133     if (ctx->xin->resubmit_stats) {
3134         rule_dpif_credit_stats(rule, ctx->xin->resubmit_stats);
3135     }
3136
3137     ctx->resubmits++;
3138     ctx->recurse++;
3139     ctx->rule = rule;
3140     ctx->rule_cookie = rule_dpif_get_flow_cookie(rule);
3141     actions = rule_dpif_get_actions(rule);
3142     do_xlate_actions(actions->ofpacts, actions->ofpacts_len, ctx);
3143     ctx->rule_cookie = old_cookie;
3144     ctx->rule = old_rule;
3145     ctx->recurse--;
3146 }
3147
3148 static bool
3149 xlate_resubmit_resource_check(struct xlate_ctx *ctx)
3150 {
3151     static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 1);
3152
3153     if (ctx->recurse >= MAX_RESUBMIT_RECURSION + MAX_INTERNAL_RESUBMITS) {
3154         VLOG_ERR_RL(&rl, "resubmit actions recursed over %d times",
3155                     MAX_RESUBMIT_RECURSION);
3156     } else if (ctx->resubmits >= MAX_RESUBMITS + MAX_INTERNAL_RESUBMITS) {
3157         VLOG_ERR_RL(&rl, "over %d resubmit actions", MAX_RESUBMITS);
3158     } else if (ctx->odp_actions->size > UINT16_MAX) {
3159         VLOG_ERR_RL(&rl, "resubmits yielded over 64 kB of actions");
3160     } else if (ctx->stack.size >= 65536) {
3161         VLOG_ERR_RL(&rl, "resubmits yielded over 64 kB of stack");
3162     } else {
3163         return true;
3164     }
3165
3166     return false;
3167 }
3168
3169 static void
3170 xlate_table_action(struct xlate_ctx *ctx, ofp_port_t in_port, uint8_t table_id,
3171                    bool may_packet_in, bool honor_table_miss)
3172 {
3173     /* Check if we need to recirculate before matching in a table. */
3174     if (ctx->was_mpls) {
3175         ctx_trigger_recirculation(ctx);
3176         return;
3177     }
3178     if (xlate_resubmit_resource_check(ctx)) {
3179         uint8_t old_table_id = ctx->table_id;
3180         struct rule_dpif *rule;
3181
3182         ctx->table_id = table_id;
3183
3184         rule = rule_dpif_lookup_from_table(ctx->xbridge->ofproto,
3185                                            ctx->tables_version,
3186                                            &ctx->xin->flow, ctx->xin->wc,
3187                                            ctx->xin->xcache != NULL,
3188                                            ctx->xin->resubmit_stats,
3189                                            &ctx->table_id, in_port,
3190                                            may_packet_in, honor_table_miss);
3191
3192         if (OVS_UNLIKELY(ctx->xin->resubmit_hook)) {
3193             ctx->xin->resubmit_hook(ctx->xin, rule, ctx->recurse + 1);
3194         }
3195
3196         if (rule) {
3197             /* Fill in the cache entry here instead of xlate_recursively
3198              * to make the reference counting more explicit.  We take a
3199              * reference in the lookups above if we are going to cache the
3200              * rule. */
3201             if (ctx->xin->xcache) {
3202                 struct xc_entry *entry;
3203
3204                 entry = xlate_cache_add_entry(ctx->xin->xcache, XC_RULE);
3205                 entry->u.rule = rule;
3206             }
3207             xlate_recursively(ctx, rule);
3208         }
3209
3210         ctx->table_id = old_table_id;
3211         return;
3212     }
3213
3214     ctx->exit = true;
3215 }
3216
3217 static void
3218 xlate_group_stats(struct xlate_ctx *ctx, struct group_dpif *group,
3219                   struct ofputil_bucket *bucket)
3220 {
3221     if (ctx->xin->resubmit_stats) {
3222         group_dpif_credit_stats(group, bucket, ctx->xin->resubmit_stats);
3223     }
3224     if (ctx->xin->xcache) {
3225         struct xc_entry *entry;
3226
3227         entry = xlate_cache_add_entry(ctx->xin->xcache, XC_GROUP);
3228         entry->u.group.group = group_dpif_ref(group);
3229         entry->u.group.bucket = bucket;
3230     }
3231 }
3232
3233 static void
3234 xlate_group_bucket(struct xlate_ctx *ctx, struct ofputil_bucket *bucket)
3235 {
3236     uint64_t action_list_stub[1024 / 8];
3237     struct ofpbuf action_list, action_set;
3238     struct flow old_flow = ctx->xin->flow;
3239     bool old_was_mpls = ctx->was_mpls;
3240
3241     ofpbuf_use_const(&action_set, bucket->ofpacts, bucket->ofpacts_len);
3242     ofpbuf_use_stub(&action_list, action_list_stub, sizeof action_list_stub);
3243
3244     ofpacts_execute_action_set(&action_list, &action_set);
3245     ctx->recurse++;
3246     do_xlate_actions(action_list.data, action_list.size, ctx);
3247     ctx->recurse--;
3248
3249     ofpbuf_uninit(&action_set);
3250     ofpbuf_uninit(&action_list);
3251
3252     /* Check if need to recirculate. */
3253     if (exit_recirculates(ctx)) {
3254         compose_recirculate_action(ctx);
3255     }
3256
3257     /* Roll back flow to previous state.
3258      * This is equivalent to cloning the packet for each bucket.
3259      *
3260      * As a side effect any subsequently applied actions will
3261      * also effectively be applied to a clone of the packet taken
3262      * just before applying the all or indirect group.
3263      *
3264      * Note that group buckets are action sets, hence they cannot modify the
3265      * main action set.  Also any stack actions are ignored when executing an
3266      * action set, so group buckets cannot change the stack either.
3267      * However, we do allow resubmit actions in group buckets, which could
3268      * break the above assumptions.  It is up to the controller to not mess up
3269      * with the action_set and stack in the tables resubmitted to from
3270      * group buckets. */
3271     ctx->xin->flow = old_flow;
3272
3273     /* The group bucket popping MPLS should have no effect after bucket
3274      * execution. */
3275     ctx->was_mpls = old_was_mpls;
3276
3277     /* The fact that the group bucket exits (for any reason) does not mean that
3278      * the translation after the group action should exit.  Specifically, if
3279      * the group bucket recirculates (which typically modifies the packet), the
3280      * actions after the group action must continue processing with the
3281      * original, not the recirculated packet! */
3282     ctx->exit = false;
3283 }
3284
3285 static void
3286 xlate_all_group(struct xlate_ctx *ctx, struct group_dpif *group)
3287 {
3288     struct ofputil_bucket *bucket;
3289     const struct ovs_list *buckets;
3290
3291     group_dpif_get_buckets(group, &buckets);
3292
3293     LIST_FOR_EACH (bucket, list_node, buckets) {
3294         xlate_group_bucket(ctx, bucket);
3295     }
3296     xlate_group_stats(ctx, group, NULL);
3297 }
3298
3299 static void
3300 xlate_ff_group(struct xlate_ctx *ctx, struct group_dpif *group)
3301 {
3302     struct ofputil_bucket *bucket;
3303
3304     bucket = group_first_live_bucket(ctx, group, 0);
3305     if (bucket) {
3306         xlate_group_bucket(ctx, bucket);
3307         xlate_group_stats(ctx, group, bucket);
3308     }
3309 }
3310
3311 static void
3312 xlate_default_select_group(struct xlate_ctx *ctx, struct group_dpif *group)
3313 {
3314     struct flow_wildcards *wc = ctx->wc;
3315     struct ofputil_bucket *bucket;
3316     uint32_t basis;
3317
3318     basis = flow_hash_symmetric_l4(&ctx->xin->flow, 0);
3319     flow_mask_hash_fields(&ctx->xin->flow, wc, NX_HASH_FIELDS_SYMMETRIC_L4);
3320     bucket = group_best_live_bucket(ctx, group, basis);
3321     if (bucket) {
3322         xlate_group_bucket(ctx, bucket);
3323         xlate_group_stats(ctx, group, bucket);
3324     }
3325 }
3326
3327 static void
3328 xlate_hash_fields_select_group(struct xlate_ctx *ctx, struct group_dpif *group)
3329 {
3330     struct mf_bitmap hash_fields = MF_BITMAP_INITIALIZER;
3331     const struct field_array *fields;
3332     struct ofputil_bucket *bucket;
3333     uint32_t basis;
3334     int i;
3335
3336     fields = group_dpif_get_fields(group);
3337     basis = hash_uint64(group_dpif_get_selection_method_param(group));
3338
3339     /* Determine which fields to hash */
3340     for (i = 0; i < MFF_N_IDS; i++) {
3341         if (bitmap_is_set(fields->used.bm, i)) {
3342             const struct mf_field *mf;
3343
3344             /* If the field is already present in 'hash_fields' then
3345              * this loop has already checked that it and its pre-requisites
3346              * are present in the flow and its pre-requisites have
3347              * already been added to 'hash_fields'. There is nothing more
3348              * to do here and as an optimisation the loop can continue. */
3349             if (bitmap_is_set(hash_fields.bm, i)) {
3350                 continue;
3351             }
3352
3353             mf = mf_from_id(i);
3354
3355             /* Only hash a field if it and its pre-requisites are present
3356              * in the flow. */
3357             if (!mf_are_prereqs_ok(mf, &ctx->xin->flow)) {
3358                 continue;
3359             }
3360
3361             /* Hash both the field and its pre-requisites */
3362             mf_bitmap_set_field_and_prereqs(mf, &hash_fields);
3363         }
3364     }
3365
3366     /* Hash the fields */
3367     for (i = 0; i < MFF_N_IDS; i++) {
3368         if (bitmap_is_set(hash_fields.bm, i)) {
3369             const struct mf_field *mf = mf_from_id(i);
3370             union mf_value value;
3371             int j;
3372
3373             mf_get_value(mf, &ctx->xin->flow, &value);
3374             /* This seems inefficient but so does apply_mask() */
3375             for (j = 0; j < mf->n_bytes; j++) {
3376                 ((uint8_t *) &value)[j] &= ((uint8_t *) &fields->value[i])[j];
3377             }
3378             basis = hash_bytes(&value, mf->n_bytes, basis);
3379
3380             mf_mask_field(mf, &ctx->wc->masks);
3381         }
3382     }
3383
3384     bucket = group_best_live_bucket(ctx, group, basis);
3385     if (bucket) {
3386         xlate_group_bucket(ctx, bucket);
3387         xlate_group_stats(ctx, group, bucket);
3388     }
3389 }
3390
3391 static void
3392 xlate_select_group(struct xlate_ctx *ctx, struct group_dpif *group)
3393 {
3394     const char *selection_method = group_dpif_get_selection_method(group);
3395
3396     if (selection_method[0] == '\0') {
3397         xlate_default_select_group(ctx, group);
3398     } else if (!strcasecmp("hash", selection_method)) {
3399         xlate_hash_fields_select_group(ctx, group);
3400     } else {
3401         /* Parsing of groups should ensure this never happens */
3402         OVS_NOT_REACHED();
3403     }
3404 }
3405
3406 static void
3407 xlate_group_action__(struct xlate_ctx *ctx, struct group_dpif *group)
3408 {
3409     bool was_in_group = ctx->in_group;
3410     ctx->in_group = true;
3411
3412     switch (group_dpif_get_type(group)) {
3413     case OFPGT11_ALL:
3414     case OFPGT11_INDIRECT:
3415         xlate_all_group(ctx, group);
3416         break;
3417     case OFPGT11_SELECT:
3418         xlate_select_group(ctx, group);
3419         break;
3420     case OFPGT11_FF:
3421         xlate_ff_group(ctx, group);
3422         break;
3423     default:
3424         OVS_NOT_REACHED();
3425     }
3426     group_dpif_unref(group);
3427
3428     ctx->in_group = was_in_group;
3429 }
3430
3431 static bool
3432 xlate_group_action(struct xlate_ctx *ctx, uint32_t group_id)
3433 {
3434     if (xlate_resubmit_resource_check(ctx)) {
3435         struct group_dpif *group;
3436         bool got_group;
3437
3438         got_group = group_dpif_lookup(ctx->xbridge->ofproto, group_id, &group);
3439         if (got_group) {
3440             xlate_group_action__(ctx, group);
3441         } else {
3442             return true;
3443         }
3444     }
3445
3446     return false;
3447 }
3448
3449 static void
3450 xlate_ofpact_resubmit(struct xlate_ctx *ctx,
3451                       const struct ofpact_resubmit *resubmit)
3452 {
3453     ofp_port_t in_port;
3454     uint8_t table_id;
3455     bool may_packet_in = false;
3456     bool honor_table_miss = false;
3457
3458     if (ctx->rule && rule_dpif_is_internal(ctx->rule)) {
3459         /* Still allow missed packets to be sent to the controller
3460          * if resubmitting from an internal table. */
3461         may_packet_in = true;
3462         honor_table_miss = true;
3463     }
3464
3465     in_port = resubmit->in_port;
3466     if (in_port == OFPP_IN_PORT) {
3467         in_port = ctx->xin->flow.in_port.ofp_port;
3468     }
3469
3470     table_id = resubmit->table_id;
3471     if (table_id == 255) {
3472         table_id = ctx->table_id;
3473     }
3474
3475     xlate_table_action(ctx, in_port, table_id, may_packet_in,
3476                        honor_table_miss);
3477 }
3478
3479 static void
3480 flood_packets(struct xlate_ctx *ctx, bool all)
3481 {
3482     const struct xport *xport;
3483
3484     HMAP_FOR_EACH (xport, ofp_node, &ctx->xbridge->xports) {
3485         if (xport->ofp_port == ctx->xin->flow.in_port.ofp_port) {
3486             continue;
3487         }
3488
3489         if (all) {
3490             compose_output_action__(ctx, xport->ofp_port, NULL, false);
3491         } else if (!(xport->config & OFPUTIL_PC_NO_FLOOD)) {
3492             compose_output_action(ctx, xport->ofp_port, NULL);
3493         }
3494     }
3495
3496     ctx->xout->nf_output_iface = NF_OUT_FLOOD;
3497 }
3498
3499 static void
3500 execute_controller_action(struct xlate_ctx *ctx, int len,
3501                           enum ofp_packet_in_reason reason,
3502                           uint16_t controller_id)
3503 {
3504     struct ofproto_packet_in *pin;
3505     struct dp_packet *packet;
3506     bool use_masked;
3507
3508     ctx->xout->slow |= SLOW_CONTROLLER;
3509     if (!ctx->xin->packet) {
3510         return;
3511     }
3512
3513     packet = dp_packet_clone(ctx->xin->packet);
3514
3515     use_masked = ctx->xbridge->support.masked_set_action;
3516     ctx->xout->slow |= commit_odp_actions(&ctx->xin->flow, &ctx->base_flow,
3517                                           ctx->odp_actions,
3518                                           ctx->wc, use_masked);
3519
3520     odp_execute_actions(NULL, &packet, 1, false,
3521                         ctx->odp_actions->data, ctx->odp_actions->size, NULL);
3522
3523     pin = xmalloc(sizeof *pin);
3524     pin->up.packet_len = dp_packet_size(packet);
3525     pin->up.packet = dp_packet_steal_data(packet);
3526     pin->up.reason = reason;
3527     pin->up.table_id = ctx->table_id;
3528     pin->up.cookie = ctx->rule_cookie;
3529
3530     flow_get_metadata(&ctx->xin->flow, &pin->up.flow_metadata);
3531
3532     pin->controller_id = controller_id;
3533     pin->send_len = len;
3534     /* If a rule is a table-miss rule then this is
3535      * a table-miss handled by a table-miss rule.
3536      *
3537      * Else, if rule is internal and has a controller action,
3538      * the later being implied by the rule being processed here,
3539      * then this is a table-miss handled without a table-miss rule.
3540      *
3541      * Otherwise this is not a table-miss. */
3542     pin->miss_type = OFPROTO_PACKET_IN_NO_MISS;
3543     if (ctx->rule) {
3544         if (rule_dpif_is_table_miss(ctx->rule)) {
3545             pin->miss_type = OFPROTO_PACKET_IN_MISS_FLOW;
3546         } else if (rule_dpif_is_internal(ctx->rule)) {
3547             pin->miss_type = OFPROTO_PACKET_IN_MISS_WITHOUT_FLOW;
3548         }
3549     }
3550     ofproto_dpif_send_packet_in(ctx->xbridge->ofproto, pin);
3551     dp_packet_delete(packet);
3552 }
3553
3554 /* Called only when ctx->recirc_action_offset is set. */
3555 static void
3556 compose_recirculate_action(struct xlate_ctx *ctx)
3557 {
3558     struct recirc_metadata md;
3559     bool use_masked;
3560     uint32_t id;
3561
3562     use_masked = ctx->xbridge->support.masked_set_action;
3563     ctx->xout->slow |= commit_odp_actions(&ctx->xin->flow, &ctx->base_flow,
3564                                           ctx->odp_actions,
3565                                           ctx->wc, use_masked);
3566
3567     recirc_metadata_from_flow(&md, &ctx->xin->flow);
3568
3569     ovs_assert(ctx->recirc_action_offset >= 0);
3570
3571     /* Only allocate recirculation ID if we have a packet. */
3572     if (ctx->xin->packet) {
3573         /* Allocate a unique recirc id for the given metadata state in the
3574          * flow.  The life-cycle of this recirc id is managed by associating it
3575          * with the udpif key ('ukey') created for each new datapath flow. */
3576         id = recirc_alloc_id_ctx(ctx->xbridge->ofproto, 0, &md, &ctx->stack,
3577                                  ctx->recirc_action_offset,
3578                                  ctx->action_set.size, ctx->action_set.data);
3579         if (!id) {
3580             static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
3581             VLOG_ERR_RL(&rl, "Failed to allocate recirculation id");
3582             return;
3583         }
3584         xlate_out_add_recirc(ctx->xout, id);
3585     } else {
3586         /* Look up an existing recirc id for the given metadata state in the
3587          * flow.  No new reference is taken, as the ID is RCU protected and is
3588          * only required temporarily for verification. */
3589         id = recirc_find_id(ctx->xbridge->ofproto, 0, &md, &ctx->stack,
3590                             ctx->recirc_action_offset,
3591                             ctx->action_set.size, ctx->action_set.data);
3592         /* We let zero 'id' to be used in the RECIRC action below, which will
3593          * fail all revalidations as zero is not a valid recirculation ID. */
3594     }
3595
3596     nl_msg_put_u32(ctx->odp_actions, OVS_ACTION_ATTR_RECIRC, id);
3597
3598     /* Undo changes done by recirculation. */
3599     ctx->action_set.size = ctx->recirc_action_offset;
3600     ctx->recirc_action_offset = -1;
3601     ctx->last_unroll_offset = -1;
3602 }
3603
3604 static void
3605 compose_mpls_push_action(struct xlate_ctx *ctx, struct ofpact_push_mpls *mpls)
3606 {
3607     struct flow *flow = &ctx->xin->flow;
3608     int n;
3609
3610     ovs_assert(eth_type_mpls(mpls->ethertype));
3611
3612     n = flow_count_mpls_labels(flow, ctx->wc);
3613     if (!n) {
3614         bool use_masked = ctx->xbridge->support.masked_set_action;
3615
3616         ctx->xout->slow |= commit_odp_actions(flow, &ctx->base_flow,
3617                                               ctx->odp_actions,
3618                                               ctx->wc, use_masked);
3619     } else if (n >= FLOW_MAX_MPLS_LABELS) {
3620         if (ctx->xin->packet != NULL) {
3621             static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
3622             VLOG_WARN_RL(&rl, "bridge %s: dropping packet on which an "
3623                          "MPLS push action can't be performed as it would "
3624                          "have more MPLS LSEs than the %d supported.",
3625                          ctx->xbridge->name, FLOW_MAX_MPLS_LABELS);
3626         }
3627         ctx->exit = true;
3628         return;
3629     }
3630
3631     flow_push_mpls(flow, n, mpls->ethertype, ctx->wc);
3632 }
3633
3634 static void
3635 compose_mpls_pop_action(struct xlate_ctx *ctx, ovs_be16 eth_type)
3636 {
3637     struct flow *flow = &ctx->xin->flow;
3638     int n = flow_count_mpls_labels(flow, ctx->wc);
3639
3640     if (flow_pop_mpls(flow, n, eth_type, ctx->wc)) {
3641         if (ctx->xbridge->support.odp.recirc) {
3642             ctx->was_mpls = true;
3643         }
3644     } else if (n >= FLOW_MAX_MPLS_LABELS) {
3645         if (ctx->xin->packet != NULL) {
3646             static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
3647             VLOG_WARN_RL(&rl, "bridge %s: dropping packet on which an "
3648                          "MPLS pop action can't be performed as it has "
3649                          "more MPLS LSEs than the %d supported.",
3650                          ctx->xbridge->name, FLOW_MAX_MPLS_LABELS);
3651         }
3652         ctx->exit = true;
3653         ofpbuf_clear(ctx->odp_actions);
3654     }
3655 }
3656
3657 static bool
3658 compose_dec_ttl(struct xlate_ctx *ctx, struct ofpact_cnt_ids *ids)
3659 {
3660     struct flow *flow = &ctx->xin->flow;
3661
3662     if (!is_ip_any(flow)) {
3663         return false;
3664     }
3665
3666     ctx->wc->masks.nw_ttl = 0xff;
3667     if (flow->nw_ttl > 1) {
3668         flow->nw_ttl--;
3669         return false;
3670     } else {
3671         size_t i;
3672
3673         for (i = 0; i < ids->n_controllers; i++) {
3674             execute_controller_action(ctx, UINT16_MAX, OFPR_INVALID_TTL,
3675                                       ids->cnt_ids[i]);
3676         }
3677
3678         /* Stop processing for current table. */
3679         return true;
3680     }
3681 }
3682
3683 static void
3684 compose_set_mpls_label_action(struct xlate_ctx *ctx, ovs_be32 label)
3685 {
3686     if (eth_type_mpls(ctx->xin->flow.dl_type)) {
3687         ctx->wc->masks.mpls_lse[0] |= htonl(MPLS_LABEL_MASK);
3688         set_mpls_lse_label(&ctx->xin->flow.mpls_lse[0], label);
3689     }
3690 }
3691
3692 static void
3693 compose_set_mpls_tc_action(struct xlate_ctx *ctx, uint8_t tc)
3694 {
3695     if (eth_type_mpls(ctx->xin->flow.dl_type)) {
3696         ctx->wc->masks.mpls_lse[0] |= htonl(MPLS_TC_MASK);
3697         set_mpls_lse_tc(&ctx->xin->flow.mpls_lse[0], tc);
3698     }
3699 }
3700
3701 static void
3702 compose_set_mpls_ttl_action(struct xlate_ctx *ctx, uint8_t ttl)
3703 {
3704     if (eth_type_mpls(ctx->xin->flow.dl_type)) {
3705         ctx->wc->masks.mpls_lse[0] |= htonl(MPLS_TTL_MASK);
3706         set_mpls_lse_ttl(&ctx->xin->flow.mpls_lse[0], ttl);
3707     }
3708 }
3709
3710 static bool
3711 compose_dec_mpls_ttl_action(struct xlate_ctx *ctx)
3712 {
3713     struct flow *flow = &ctx->xin->flow;
3714
3715     if (eth_type_mpls(flow->dl_type)) {
3716         uint8_t ttl = mpls_lse_to_ttl(flow->mpls_lse[0]);
3717
3718         ctx->wc->masks.mpls_lse[0] |= htonl(MPLS_TTL_MASK);
3719         if (ttl > 1) {
3720             ttl--;
3721             set_mpls_lse_ttl(&flow->mpls_lse[0], ttl);
3722             return false;
3723         } else {
3724             execute_controller_action(ctx, UINT16_MAX, OFPR_INVALID_TTL, 0);
3725         }
3726     }
3727
3728     /* Stop processing for current table. */
3729     return true;
3730 }
3731
3732 static void
3733 xlate_output_action(struct xlate_ctx *ctx,
3734                     ofp_port_t port, uint16_t max_len, bool may_packet_in)
3735 {
3736     ofp_port_t prev_nf_output_iface = ctx->xout->nf_output_iface;
3737
3738     ctx->xout->nf_output_iface = NF_OUT_DROP;
3739
3740     switch (port) {
3741     case OFPP_IN_PORT:
3742         compose_output_action(ctx, ctx->xin->flow.in_port.ofp_port, NULL);
3743         break;
3744     case OFPP_TABLE:
3745         xlate_table_action(ctx, ctx->xin->flow.in_port.ofp_port,
3746                            0, may_packet_in, true);
3747         break;
3748     case OFPP_NORMAL:
3749         xlate_normal(ctx);
3750         break;
3751     case OFPP_FLOOD:
3752         flood_packets(ctx,  false);
3753         break;
3754     case OFPP_ALL:
3755         flood_packets(ctx, true);
3756         break;
3757     case OFPP_CONTROLLER:
3758         execute_controller_action(ctx, max_len,
3759                                   (ctx->in_group ? OFPR_GROUP
3760                                    : ctx->in_action_set ? OFPR_ACTION_SET
3761                                    : OFPR_ACTION),
3762                                   0);
3763         break;
3764     case OFPP_NONE:
3765         break;
3766     case OFPP_LOCAL:
3767     default:
3768         if (port != ctx->xin->flow.in_port.ofp_port) {
3769             compose_output_action(ctx, port, NULL);
3770         } else {
3771             xlate_report(ctx, "skipping output to input port");
3772         }
3773         break;
3774     }
3775
3776     if (prev_nf_output_iface == NF_OUT_FLOOD) {
3777         ctx->xout->nf_output_iface = NF_OUT_FLOOD;
3778     } else if (ctx->xout->nf_output_iface == NF_OUT_DROP) {
3779         ctx->xout->nf_output_iface = prev_nf_output_iface;
3780     } else if (prev_nf_output_iface != NF_OUT_DROP &&
3781                ctx->xout->nf_output_iface != NF_OUT_FLOOD) {
3782         ctx->xout->nf_output_iface = NF_OUT_MULTI;
3783     }
3784 }
3785
3786 static void
3787 xlate_output_reg_action(struct xlate_ctx *ctx,
3788                         const struct ofpact_output_reg *or)
3789 {
3790     uint64_t port = mf_get_subfield(&or->src, &ctx->xin->flow);
3791     if (port <= UINT16_MAX) {
3792         union mf_subvalue value;
3793
3794         memset(&value, 0xff, sizeof value);
3795         mf_write_subfield_flow(&or->src, &value, &ctx->wc->masks);
3796         xlate_output_action(ctx, u16_to_ofp(port),
3797                             or->max_len, false);
3798     }
3799 }
3800
3801 static void
3802 xlate_enqueue_action(struct xlate_ctx *ctx,
3803                      const struct ofpact_enqueue *enqueue)
3804 {
3805     ofp_port_t ofp_port = enqueue->port;
3806     uint32_t queue_id = enqueue->queue;
3807     uint32_t flow_priority, priority;
3808     int error;
3809
3810     /* Translate queue to priority. */
3811     error = dpif_queue_to_priority(ctx->xbridge->dpif, queue_id, &priority);
3812     if (error) {
3813         /* Fall back to ordinary output action. */
3814         xlate_output_action(ctx, enqueue->port, 0, false);
3815         return;
3816     }
3817
3818     /* Check output port. */
3819     if (ofp_port == OFPP_IN_PORT) {
3820         ofp_port = ctx->xin->flow.in_port.ofp_port;
3821     } else if (ofp_port == ctx->xin->flow.in_port.ofp_port) {
3822         return;
3823     }
3824
3825     /* Add datapath actions. */
3826     flow_priority = ctx->xin->flow.skb_priority;
3827     ctx->xin->flow.skb_priority = priority;
3828     compose_output_action(ctx, ofp_port, NULL);
3829     ctx->xin->flow.skb_priority = flow_priority;
3830
3831     /* Update NetFlow output port. */
3832     if (ctx->xout->nf_output_iface == NF_OUT_DROP) {
3833         ctx->xout->nf_output_iface = ofp_port;
3834     } else if (ctx->xout->nf_output_iface != NF_OUT_FLOOD) {
3835         ctx->xout->nf_output_iface = NF_OUT_MULTI;
3836     }
3837 }
3838
3839 static void
3840 xlate_set_queue_action(struct xlate_ctx *ctx, uint32_t queue_id)
3841 {
3842     uint32_t skb_priority;
3843
3844     if (!dpif_queue_to_priority(ctx->xbridge->dpif, queue_id, &skb_priority)) {
3845         ctx->xin->flow.skb_priority = skb_priority;
3846     } else {
3847         /* Couldn't translate queue to a priority.  Nothing to do.  A warning
3848          * has already been logged. */
3849     }
3850 }
3851
3852 static bool
3853 slave_enabled_cb(ofp_port_t ofp_port, void *xbridge_)
3854 {
3855     const struct xbridge *xbridge = xbridge_;
3856     struct xport *port;
3857
3858     switch (ofp_port) {
3859     case OFPP_IN_PORT:
3860     case OFPP_TABLE:
3861     case OFPP_NORMAL:
3862     case OFPP_FLOOD:
3863     case OFPP_ALL:
3864     case OFPP_NONE:
3865         return true;
3866     case OFPP_CONTROLLER: /* Not supported by the bundle action. */
3867         return false;
3868     default:
3869         port = get_ofp_port(xbridge, ofp_port);
3870         return port ? port->may_enable : false;
3871     }
3872 }
3873
3874 static void
3875 xlate_bundle_action(struct xlate_ctx *ctx,
3876                     const struct ofpact_bundle *bundle)
3877 {
3878     ofp_port_t port;
3879
3880     port = bundle_execute(bundle, &ctx->xin->flow, ctx->wc, slave_enabled_cb,
3881                           CONST_CAST(struct xbridge *, ctx->xbridge));
3882     if (bundle->dst.field) {
3883         nxm_reg_load(&bundle->dst, ofp_to_u16(port), &ctx->xin->flow, ctx->wc);
3884     } else {
3885         xlate_output_action(ctx, port, 0, false);
3886     }
3887 }
3888
3889 static void
3890 xlate_learn_action__(struct xlate_ctx *ctx, const struct ofpact_learn *learn,
3891                      struct ofputil_flow_mod *fm, struct ofpbuf *ofpacts)
3892 {
3893     learn_execute(learn, &ctx->xin->flow, fm, ofpacts);
3894     if (ctx->xin->may_learn) {
3895         ofproto_dpif_flow_mod(ctx->xbridge->ofproto, fm);
3896     }
3897 }
3898
3899 static void
3900 xlate_learn_action(struct xlate_ctx *ctx, const struct ofpact_learn *learn)
3901 {
3902     ctx->xout->has_learn = true;
3903     learn_mask(learn, ctx->wc);
3904
3905     if (ctx->xin->xcache) {
3906         struct xc_entry *entry;
3907
3908         entry = xlate_cache_add_entry(ctx->xin->xcache, XC_LEARN);
3909         entry->u.learn.ofproto = ctx->xbridge->ofproto;
3910         entry->u.learn.fm = xmalloc(sizeof *entry->u.learn.fm);
3911         entry->u.learn.ofpacts = ofpbuf_new(64);
3912         xlate_learn_action__(ctx, learn, entry->u.learn.fm,
3913                              entry->u.learn.ofpacts);
3914     } else if (ctx->xin->may_learn) {
3915         uint64_t ofpacts_stub[1024 / 8];
3916         struct ofputil_flow_mod fm;
3917         struct ofpbuf ofpacts;
3918
3919         ofpbuf_use_stub(&ofpacts, ofpacts_stub, sizeof ofpacts_stub);
3920         xlate_learn_action__(ctx, learn, &fm, &ofpacts);
3921         ofpbuf_uninit(&ofpacts);
3922     }
3923 }
3924
3925 static void
3926 xlate_fin_timeout__(struct rule_dpif *rule, uint16_t tcp_flags,
3927                     uint16_t idle_timeout, uint16_t hard_timeout)
3928 {
3929     if (tcp_flags & (TCP_FIN | TCP_RST)) {
3930         rule_dpif_reduce_timeouts(rule, idle_timeout, hard_timeout);
3931     }
3932 }
3933
3934 static void
3935 xlate_fin_timeout(struct xlate_ctx *ctx,
3936                   const struct ofpact_fin_timeout *oft)
3937 {
3938     if (ctx->rule) {
3939         xlate_fin_timeout__(ctx->rule, ctx->xin->tcp_flags,
3940                             oft->fin_idle_timeout, oft->fin_hard_timeout);
3941         if (ctx->xin->xcache) {
3942             struct xc_entry *entry;
3943
3944             entry = xlate_cache_add_entry(ctx->xin->xcache, XC_FIN_TIMEOUT);
3945             /* XC_RULE already holds a reference on the rule, none is taken
3946              * here. */
3947             entry->u.fin.rule = ctx->rule;
3948             entry->u.fin.idle = oft->fin_idle_timeout;
3949             entry->u.fin.hard = oft->fin_hard_timeout;
3950         }
3951     }
3952 }
3953
3954 static void
3955 xlate_sample_action(struct xlate_ctx *ctx,
3956                     const struct ofpact_sample *os)
3957 {
3958     union user_action_cookie cookie;
3959     /* Scale the probability from 16-bit to 32-bit while representing
3960      * the same percentage. */
3961     uint32_t probability = (os->probability << 16) | os->probability;
3962     bool use_masked;
3963
3964     if (!ctx->xbridge->support.variable_length_userdata) {
3965         static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 1);
3966
3967         VLOG_ERR_RL(&rl, "ignoring NXAST_SAMPLE action because datapath "
3968                     "lacks support (needs Linux 3.10+ or kernel module from "
3969                     "OVS 1.11+)");
3970         return;
3971     }
3972
3973     use_masked = ctx->xbridge->support.masked_set_action;
3974     ctx->xout->slow |= commit_odp_actions(&ctx->xin->flow, &ctx->base_flow,
3975                                           ctx->odp_actions,
3976                                           ctx->wc, use_masked);
3977
3978     compose_flow_sample_cookie(os->probability, os->collector_set_id,
3979                                os->obs_domain_id, os->obs_point_id, &cookie);
3980     compose_sample_action(ctx->xbridge, ctx->odp_actions,
3981                           &ctx->xin->flow, probability, &cookie,
3982                           sizeof cookie.flow_sample, ODPP_NONE,
3983                           false);
3984 }
3985
3986 static bool
3987 may_receive(const struct xport *xport, struct xlate_ctx *ctx)
3988 {
3989     if (xport->config & (is_stp(&ctx->xin->flow)
3990                          ? OFPUTIL_PC_NO_RECV_STP
3991                          : OFPUTIL_PC_NO_RECV)) {
3992         return false;
3993     }
3994
3995     /* Only drop packets here if both forwarding and learning are
3996      * disabled.  If just learning is enabled, we need to have
3997      * OFPP_NORMAL and the learning action have a look at the packet
3998      * before we can drop it. */
3999     if ((!xport_stp_forward_state(xport) && !xport_stp_learn_state(xport)) ||
4000         (!xport_rstp_forward_state(xport) && !xport_rstp_learn_state(xport))) {
4001         return false;
4002     }
4003
4004     return true;
4005 }
4006
4007 static void
4008 xlate_write_actions(struct xlate_ctx *ctx, const struct ofpact *a)
4009 {
4010     const struct ofpact_nest *on = ofpact_get_WRITE_ACTIONS(a);
4011     size_t on_len = ofpact_nest_get_action_len(on);
4012     const struct ofpact *inner;
4013
4014     /* Maintain actset_output depending on the contents of the action set:
4015      *
4016      *   - OFPP_UNSET, if there is no "output" action.
4017      *
4018      *   - The output port, if there is an "output" action and no "group"
4019      *     action.
4020      *
4021      *   - OFPP_UNSET, if there is a "group" action.
4022      */
4023     if (!ctx->action_set_has_group) {
4024         OFPACT_FOR_EACH (inner, on->actions, on_len) {
4025             if (inner->type == OFPACT_OUTPUT) {
4026                 ctx->xin->flow.actset_output = ofpact_get_OUTPUT(inner)->port;
4027             } else if (inner->type == OFPACT_GROUP) {
4028                 ctx->xin->flow.actset_output = OFPP_UNSET;
4029                 ctx->action_set_has_group = true;
4030                 break;
4031             }
4032         }
4033     }
4034
4035     ofpbuf_put(&ctx->action_set, on->actions, on_len);
4036     ofpact_pad(&ctx->action_set);
4037 }
4038
4039 static void
4040 xlate_action_set(struct xlate_ctx *ctx)
4041 {
4042     uint64_t action_list_stub[1024 / 64];
4043     struct ofpbuf action_list;
4044
4045     ctx->in_action_set = true;
4046     ofpbuf_use_stub(&action_list, action_list_stub, sizeof action_list_stub);
4047     ofpacts_execute_action_set(&action_list, &ctx->action_set);
4048     /* Clear the action set, as it is not needed any more. */
4049     ofpbuf_clear(&ctx->action_set);
4050     do_xlate_actions(action_list.data, action_list.size, ctx);
4051     ctx->in_action_set = false;
4052     ofpbuf_uninit(&action_list);
4053 }
4054
4055 static void
4056 recirc_put_unroll_xlate(struct xlate_ctx *ctx)
4057 {
4058     struct ofpact_unroll_xlate *unroll;
4059
4060     unroll = ctx->last_unroll_offset < 0
4061         ? NULL
4062         : ALIGNED_CAST(struct ofpact_unroll_xlate *,
4063                        (char *)ctx->action_set.data + ctx->last_unroll_offset);
4064
4065     /* Restore the table_id and rule cookie for a potential PACKET
4066      * IN if needed. */
4067     if (!unroll ||
4068         (ctx->table_id != unroll->rule_table_id
4069          || ctx->rule_cookie != unroll->rule_cookie)) {
4070
4071         ctx->last_unroll_offset = ctx->action_set.size;
4072         unroll = ofpact_put_UNROLL_XLATE(&ctx->action_set);
4073         unroll->rule_table_id = ctx->table_id;
4074         unroll->rule_cookie = ctx->rule_cookie;
4075     }
4076 }
4077
4078
4079 /* Copy remaining actions to the action_set to be executed after recirculation.
4080  * UNROLL_XLATE action is inserted, if not already done so, before actions that
4081  * may generate PACKET_INs from the current table and without matching another
4082  * rule. */
4083 static void
4084 recirc_unroll_actions(const struct ofpact *ofpacts, size_t ofpacts_len,
4085                       struct xlate_ctx *ctx)
4086 {
4087     const struct ofpact *a;
4088
4089     OFPACT_FOR_EACH (a, ofpacts, ofpacts_len) {
4090         switch (a->type) {
4091             /* May generate PACKET INs. */
4092         case OFPACT_OUTPUT_REG:
4093         case OFPACT_GROUP:
4094         case OFPACT_OUTPUT:
4095         case OFPACT_CONTROLLER:
4096         case OFPACT_DEC_MPLS_TTL:
4097         case OFPACT_DEC_TTL:
4098             recirc_put_unroll_xlate(ctx);
4099             break;
4100
4101             /* These may not generate PACKET INs. */
4102         case OFPACT_SET_TUNNEL:
4103         case OFPACT_REG_MOVE:
4104         case OFPACT_SET_FIELD:
4105         case OFPACT_STACK_PUSH:
4106         case OFPACT_STACK_POP:
4107         case OFPACT_LEARN:
4108         case OFPACT_WRITE_METADATA:
4109         case OFPACT_RESUBMIT:        /* May indirectly generate PACKET INs, */
4110         case OFPACT_GOTO_TABLE:      /* but from a different table and rule. */
4111         case OFPACT_ENQUEUE:
4112         case OFPACT_SET_VLAN_VID:
4113         case OFPACT_SET_VLAN_PCP:
4114         case OFPACT_STRIP_VLAN:
4115         case OFPACT_PUSH_VLAN:
4116         case OFPACT_SET_ETH_SRC:
4117         case OFPACT_SET_ETH_DST:
4118         case OFPACT_SET_IPV4_SRC:
4119         case OFPACT_SET_IPV4_DST:
4120         case OFPACT_SET_IP_DSCP:
4121         case OFPACT_SET_IP_ECN:
4122         case OFPACT_SET_IP_TTL:
4123         case OFPACT_SET_L4_SRC_PORT:
4124         case OFPACT_SET_L4_DST_PORT:
4125         case OFPACT_SET_QUEUE:
4126         case OFPACT_POP_QUEUE:
4127         case OFPACT_PUSH_MPLS:
4128         case OFPACT_POP_MPLS:
4129         case OFPACT_SET_MPLS_LABEL:
4130         case OFPACT_SET_MPLS_TC:
4131         case OFPACT_SET_MPLS_TTL:
4132         case OFPACT_MULTIPATH:
4133         case OFPACT_BUNDLE:
4134         case OFPACT_EXIT:
4135         case OFPACT_UNROLL_XLATE:
4136         case OFPACT_FIN_TIMEOUT:
4137         case OFPACT_CLEAR_ACTIONS:
4138         case OFPACT_WRITE_ACTIONS:
4139         case OFPACT_METER:
4140         case OFPACT_SAMPLE:
4141             break;
4142
4143             /* These need not be copied for restoration. */
4144         case OFPACT_NOTE:
4145         case OFPACT_CONJUNCTION:
4146             continue;
4147         }
4148         /* Copy the action over. */
4149         ofpbuf_put(&ctx->action_set, a, OFPACT_ALIGN(a->len));
4150     }
4151 }
4152
4153 #define CHECK_MPLS_RECIRCULATION()      \
4154     if (ctx->was_mpls) {                \
4155         ctx_trigger_recirculation(ctx); \
4156         break;                          \
4157     }
4158 #define CHECK_MPLS_RECIRCULATION_IF(COND) \
4159     if (COND) {                           \
4160         CHECK_MPLS_RECIRCULATION();       \
4161     }
4162
4163 static void
4164 do_xlate_actions(const struct ofpact *ofpacts, size_t ofpacts_len,
4165                  struct xlate_ctx *ctx)
4166 {
4167     struct flow_wildcards *wc = ctx->wc;
4168     struct flow *flow = &ctx->xin->flow;
4169     const struct ofpact *a;
4170
4171     if (ovs_native_tunneling_is_on(ctx->xbridge->ofproto)) {
4172         tnl_arp_snoop(flow, wc, ctx->xbridge->name);
4173     }
4174     /* dl_type already in the mask, not set below. */
4175
4176     OFPACT_FOR_EACH (a, ofpacts, ofpacts_len) {
4177         struct ofpact_controller *controller;
4178         const struct ofpact_metadata *metadata;
4179         const struct ofpact_set_field *set_field;
4180         const struct mf_field *mf;
4181
4182         if (ctx->exit) {
4183             /* Check if need to store the remaining actions for later
4184              * execution. */
4185             if (exit_recirculates(ctx)) {
4186                 recirc_unroll_actions(a, OFPACT_ALIGN(ofpacts_len -
4187                                                       ((uint8_t *)a -
4188                                                        (uint8_t *)ofpacts)),
4189                                       ctx);
4190             }
4191             break;
4192         }
4193
4194         switch (a->type) {
4195         case OFPACT_OUTPUT:
4196             xlate_output_action(ctx, ofpact_get_OUTPUT(a)->port,
4197                                 ofpact_get_OUTPUT(a)->max_len, true);
4198             break;
4199
4200         case OFPACT_GROUP:
4201             if (xlate_group_action(ctx, ofpact_get_GROUP(a)->group_id)) {
4202                 /* Group could not be found. */
4203                 return;
4204             }
4205             break;
4206
4207         case OFPACT_CONTROLLER:
4208             controller = ofpact_get_CONTROLLER(a);
4209             execute_controller_action(ctx, controller->max_len,
4210                                       controller->reason,
4211                                       controller->controller_id);
4212             break;
4213
4214         case OFPACT_ENQUEUE:
4215             memset(&wc->masks.skb_priority, 0xff,
4216                    sizeof wc->masks.skb_priority);
4217             xlate_enqueue_action(ctx, ofpact_get_ENQUEUE(a));
4218             break;
4219
4220         case OFPACT_SET_VLAN_VID:
4221             wc->masks.vlan_tci |= htons(VLAN_VID_MASK | VLAN_CFI);
4222             if (flow->vlan_tci & htons(VLAN_CFI) ||
4223                 ofpact_get_SET_VLAN_VID(a)->push_vlan_if_needed) {
4224                 flow->vlan_tci &= ~htons(VLAN_VID_MASK);
4225                 flow->vlan_tci |= (htons(ofpact_get_SET_VLAN_VID(a)->vlan_vid)
4226                                    | htons(VLAN_CFI));
4227             }
4228             break;
4229
4230         case OFPACT_SET_VLAN_PCP:
4231             wc->masks.vlan_tci |= htons(VLAN_PCP_MASK | VLAN_CFI);
4232             if (flow->vlan_tci & htons(VLAN_CFI) ||
4233                 ofpact_get_SET_VLAN_PCP(a)->push_vlan_if_needed) {
4234                 flow->vlan_tci &= ~htons(VLAN_PCP_MASK);
4235                 flow->vlan_tci |= htons((ofpact_get_SET_VLAN_PCP(a)->vlan_pcp
4236                                          << VLAN_PCP_SHIFT) | VLAN_CFI);
4237             }
4238             break;
4239
4240         case OFPACT_STRIP_VLAN:
4241             memset(&wc->masks.vlan_tci, 0xff, sizeof wc->masks.vlan_tci);
4242             flow->vlan_tci = htons(0);
4243             break;
4244
4245         case OFPACT_PUSH_VLAN:
4246             /* XXX 802.1AD(QinQ) */
4247             memset(&wc->masks.vlan_tci, 0xff, sizeof wc->masks.vlan_tci);
4248             flow->vlan_tci = htons(VLAN_CFI);
4249             break;
4250
4251         case OFPACT_SET_ETH_SRC:
4252             memset(&wc->masks.dl_src, 0xff, sizeof wc->masks.dl_src);
4253             memcpy(flow->dl_src, ofpact_get_SET_ETH_SRC(a)->mac, ETH_ADDR_LEN);
4254             break;
4255
4256         case OFPACT_SET_ETH_DST:
4257             memset(&wc->masks.dl_dst, 0xff, sizeof wc->masks.dl_dst);
4258             memcpy(flow->dl_dst, ofpact_get_SET_ETH_DST(a)->mac, ETH_ADDR_LEN);
4259             break;
4260
4261         case OFPACT_SET_IPV4_SRC:
4262             CHECK_MPLS_RECIRCULATION();
4263             if (flow->dl_type == htons(ETH_TYPE_IP)) {
4264                 memset(&wc->masks.nw_src, 0xff, sizeof wc->masks.nw_src);
4265                 flow->nw_src = ofpact_get_SET_IPV4_SRC(a)->ipv4;
4266             }
4267             break;
4268
4269         case OFPACT_SET_IPV4_DST:
4270             CHECK_MPLS_RECIRCULATION();
4271             if (flow->dl_type == htons(ETH_TYPE_IP)) {
4272                 memset(&wc->masks.nw_dst, 0xff, sizeof wc->masks.nw_dst);
4273                 flow->nw_dst = ofpact_get_SET_IPV4_DST(a)->ipv4;
4274             }
4275             break;
4276
4277         case OFPACT_SET_IP_DSCP:
4278             CHECK_MPLS_RECIRCULATION();
4279             if (is_ip_any(flow)) {
4280                 wc->masks.nw_tos |= IP_DSCP_MASK;
4281                 flow->nw_tos &= ~IP_DSCP_MASK;
4282                 flow->nw_tos |= ofpact_get_SET_IP_DSCP(a)->dscp;
4283             }
4284             break;
4285
4286         case OFPACT_SET_IP_ECN:
4287             CHECK_MPLS_RECIRCULATION();
4288             if (is_ip_any(flow)) {
4289                 wc->masks.nw_tos |= IP_ECN_MASK;
4290                 flow->nw_tos &= ~IP_ECN_MASK;
4291                 flow->nw_tos |= ofpact_get_SET_IP_ECN(a)->ecn;
4292             }
4293             break;
4294
4295         case OFPACT_SET_IP_TTL:
4296             CHECK_MPLS_RECIRCULATION();
4297             if (is_ip_any(flow)) {
4298                 wc->masks.nw_ttl = 0xff;
4299                 flow->nw_ttl = ofpact_get_SET_IP_TTL(a)->ttl;
4300             }
4301             break;
4302
4303         case OFPACT_SET_L4_SRC_PORT:
4304             CHECK_MPLS_RECIRCULATION();
4305             if (is_ip_any(flow) && !(flow->nw_frag & FLOW_NW_FRAG_LATER)) {
4306                 memset(&wc->masks.nw_proto, 0xff, sizeof wc->masks.nw_proto);
4307                 memset(&wc->masks.tp_src, 0xff, sizeof wc->masks.tp_src);
4308                 flow->tp_src = htons(ofpact_get_SET_L4_SRC_PORT(a)->port);
4309             }
4310             break;
4311
4312         case OFPACT_SET_L4_DST_PORT:
4313             CHECK_MPLS_RECIRCULATION();
4314             if (is_ip_any(flow) && !(flow->nw_frag & FLOW_NW_FRAG_LATER)) {
4315                 memset(&wc->masks.nw_proto, 0xff, sizeof wc->masks.nw_proto);
4316                 memset(&wc->masks.tp_dst, 0xff, sizeof wc->masks.tp_dst);
4317                 flow->tp_dst = htons(ofpact_get_SET_L4_DST_PORT(a)->port);
4318             }
4319             break;
4320
4321         case OFPACT_RESUBMIT:
4322             xlate_ofpact_resubmit(ctx, ofpact_get_RESUBMIT(a));
4323             break;
4324
4325         case OFPACT_SET_TUNNEL:
4326             flow->tunnel.tun_id = htonll(ofpact_get_SET_TUNNEL(a)->tun_id);
4327             break;
4328
4329         case OFPACT_SET_QUEUE:
4330             memset(&wc->masks.skb_priority, 0xff,
4331                    sizeof wc->masks.skb_priority);
4332             xlate_set_queue_action(ctx, ofpact_get_SET_QUEUE(a)->queue_id);
4333             break;
4334
4335         case OFPACT_POP_QUEUE:
4336             memset(&wc->masks.skb_priority, 0xff,
4337                    sizeof wc->masks.skb_priority);
4338             flow->skb_priority = ctx->orig_skb_priority;
4339             break;
4340
4341         case OFPACT_REG_MOVE:
4342             CHECK_MPLS_RECIRCULATION_IF(
4343                 mf_is_l3_or_higher(ofpact_get_REG_MOVE(a)->dst.field) ||
4344                 mf_is_l3_or_higher(ofpact_get_REG_MOVE(a)->src.field));
4345             nxm_execute_reg_move(ofpact_get_REG_MOVE(a), flow, wc);
4346             break;
4347
4348         case OFPACT_SET_FIELD:
4349             CHECK_MPLS_RECIRCULATION_IF(
4350                 mf_is_l3_or_higher(ofpact_get_SET_FIELD(a)->field));
4351             set_field = ofpact_get_SET_FIELD(a);
4352             mf = set_field->field;
4353
4354             /* Set field action only ever overwrites packet's outermost
4355              * applicable header fields.  Do nothing if no header exists. */
4356             if (mf->id == MFF_VLAN_VID) {
4357                 wc->masks.vlan_tci |= htons(VLAN_CFI);
4358                 if (!(flow->vlan_tci & htons(VLAN_CFI))) {
4359                     break;
4360                 }
4361             } else if ((mf->id == MFF_MPLS_LABEL || mf->id == MFF_MPLS_TC)
4362                        /* 'dl_type' is already unwildcarded. */
4363                        && !eth_type_mpls(flow->dl_type)) {
4364                 break;
4365             }
4366             /* A flow may wildcard nw_frag.  Do nothing if setting a trasport
4367              * header field on a packet that does not have them. */
4368             mf_mask_field_and_prereqs(mf, &wc->masks);
4369             if (mf_are_prereqs_ok(mf, flow)) {
4370                 mf_set_flow_value_masked(mf, &set_field->value,
4371                                          &set_field->mask, flow);
4372             }
4373             break;
4374
4375         case OFPACT_STACK_PUSH:
4376             CHECK_MPLS_RECIRCULATION_IF(
4377                 mf_is_l3_or_higher(ofpact_get_STACK_PUSH(a)->subfield.field));
4378             nxm_execute_stack_push(ofpact_get_STACK_PUSH(a), flow, wc,
4379                                    &ctx->stack);
4380             break;
4381
4382         case OFPACT_STACK_POP:
4383             CHECK_MPLS_RECIRCULATION_IF(
4384                 mf_is_l3_or_higher(ofpact_get_STACK_POP(a)->subfield.field));
4385             nxm_execute_stack_pop(ofpact_get_STACK_POP(a), flow, wc,
4386                                   &ctx->stack);
4387             break;
4388
4389         case OFPACT_PUSH_MPLS:
4390             /* Recirculate if it is an IP packet with a zero ttl.  This may
4391              * indicate that the packet was previously MPLS and an MPLS pop
4392              * action converted it to IP. In this case recirculating should
4393              * reveal the IP TTL which is used as the basis for a new MPLS
4394              * LSE. */
4395             CHECK_MPLS_RECIRCULATION_IF(
4396                 !flow_count_mpls_labels(flow, wc)
4397                 && flow->nw_ttl == 0
4398                 && is_ip_any(flow));
4399             compose_mpls_push_action(ctx, ofpact_get_PUSH_MPLS(a));
4400             break;
4401
4402         case OFPACT_POP_MPLS:
4403             CHECK_MPLS_RECIRCULATION();
4404             compose_mpls_pop_action(ctx, ofpact_get_POP_MPLS(a)->ethertype);
4405             break;
4406
4407         case OFPACT_SET_MPLS_LABEL:
4408             CHECK_MPLS_RECIRCULATION();
4409             compose_set_mpls_label_action(
4410                 ctx, ofpact_get_SET_MPLS_LABEL(a)->label);
4411             break;
4412
4413         case OFPACT_SET_MPLS_TC:
4414             CHECK_MPLS_RECIRCULATION();
4415             compose_set_mpls_tc_action(ctx, ofpact_get_SET_MPLS_TC(a)->tc);
4416             break;
4417
4418         case OFPACT_SET_MPLS_TTL:
4419             CHECK_MPLS_RECIRCULATION();
4420             compose_set_mpls_ttl_action(ctx, ofpact_get_SET_MPLS_TTL(a)->ttl);
4421             break;
4422
4423         case OFPACT_DEC_MPLS_TTL:
4424             CHECK_MPLS_RECIRCULATION();
4425             if (compose_dec_mpls_ttl_action(ctx)) {
4426                 return;
4427             }
4428             break;
4429
4430         case OFPACT_DEC_TTL:
4431             CHECK_MPLS_RECIRCULATION();
4432             wc->masks.nw_ttl = 0xff;
4433             if (compose_dec_ttl(ctx, ofpact_get_DEC_TTL(a))) {
4434                 return;
4435             }
4436             break;
4437
4438         case OFPACT_NOTE:
4439             /* Nothing to do. */
4440             break;
4441
4442         case OFPACT_MULTIPATH:
4443             CHECK_MPLS_RECIRCULATION();
4444             multipath_execute(ofpact_get_MULTIPATH(a), flow, wc);
4445             break;
4446
4447         case OFPACT_BUNDLE:
4448             CHECK_MPLS_RECIRCULATION();
4449             xlate_bundle_action(ctx, ofpact_get_BUNDLE(a));
4450             break;
4451
4452         case OFPACT_OUTPUT_REG:
4453             xlate_output_reg_action(ctx, ofpact_get_OUTPUT_REG(a));
4454             break;
4455
4456         case OFPACT_LEARN:
4457             CHECK_MPLS_RECIRCULATION();
4458             xlate_learn_action(ctx, ofpact_get_LEARN(a));
4459             break;
4460
4461         case OFPACT_CONJUNCTION: {
4462             /* A flow with a "conjunction" action represents part of a special
4463              * kind of "set membership match".  Such a flow should not actually
4464              * get executed, but it could via, say, a "packet-out", even though
4465              * that wouldn't be useful.  Log it to help debugging. */
4466             static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 1);
4467             VLOG_INFO_RL(&rl, "executing no-op conjunction action");
4468             break;
4469         }
4470
4471         case OFPACT_EXIT:
4472             ctx->exit = true;
4473             break;
4474
4475         case OFPACT_UNROLL_XLATE: {
4476             struct ofpact_unroll_xlate *unroll = ofpact_get_UNROLL_XLATE(a);
4477
4478             /* Restore translation context data that was stored earlier. */
4479             ctx->table_id = unroll->rule_table_id;
4480             ctx->rule_cookie = unroll->rule_cookie;
4481             break;
4482         }
4483         case OFPACT_FIN_TIMEOUT:
4484             CHECK_MPLS_RECIRCULATION();
4485             memset(&wc->masks.nw_proto, 0xff, sizeof wc->masks.nw_proto);
4486             ctx->xout->has_fin_timeout = true;
4487             xlate_fin_timeout(ctx, ofpact_get_FIN_TIMEOUT(a));
4488             break;
4489
4490         case OFPACT_CLEAR_ACTIONS:
4491             ofpbuf_clear(&ctx->action_set);
4492             ctx->xin->flow.actset_output = OFPP_UNSET;
4493             ctx->action_set_has_group = false;
4494             break;
4495
4496         case OFPACT_WRITE_ACTIONS:
4497             xlate_write_actions(ctx, a);
4498             break;
4499
4500         case OFPACT_WRITE_METADATA:
4501             metadata = ofpact_get_WRITE_METADATA(a);
4502             flow->metadata &= ~metadata->mask;
4503             flow->metadata |= metadata->metadata & metadata->mask;
4504             break;
4505
4506         case OFPACT_METER:
4507             /* Not implemented yet. */
4508             break;
4509
4510         case OFPACT_GOTO_TABLE: {
4511             struct ofpact_goto_table *ogt = ofpact_get_GOTO_TABLE(a);
4512
4513             /* Allow ctx->table_id == TBL_INTERNAL, which will be greater
4514              * than ogt->table_id. This is to allow goto_table actions that
4515              * triggered recirculation: ctx->table_id will be TBL_INTERNAL
4516              * after recirculation. */
4517             ovs_assert(ctx->table_id == TBL_INTERNAL
4518                        || ctx->table_id < ogt->table_id);
4519             xlate_table_action(ctx, ctx->xin->flow.in_port.ofp_port,
4520                                ogt->table_id, true, true);
4521             break;
4522         }
4523
4524         case OFPACT_SAMPLE:
4525             xlate_sample_action(ctx, ofpact_get_SAMPLE(a));
4526             break;
4527         }
4528
4529         /* Check if need to store this and the remaining actions for later
4530          * execution. */
4531         if (ctx->exit && ctx_first_recirculation_action(ctx)) {
4532             recirc_unroll_actions(a, OFPACT_ALIGN(ofpacts_len -
4533                                                   ((uint8_t *)a -
4534                                                    (uint8_t *)ofpacts)),
4535                                   ctx);
4536             break;
4537         }
4538     }
4539 }
4540
4541 void
4542 xlate_in_init(struct xlate_in *xin, struct ofproto_dpif *ofproto,
4543               const struct flow *flow, ofp_port_t in_port,
4544               struct rule_dpif *rule, uint16_t tcp_flags,
4545               const struct dp_packet *packet, struct flow_wildcards *wc,
4546               struct ofpbuf *odp_actions)
4547 {
4548     xin->ofproto = ofproto;
4549     xin->flow = *flow;
4550     xin->flow.in_port.ofp_port = in_port;
4551     xin->flow.actset_output = OFPP_UNSET;
4552     xin->packet = packet;
4553     xin->may_learn = packet != NULL;
4554     xin->rule = rule;
4555     xin->xcache = NULL;
4556     xin->ofpacts = NULL;
4557     xin->ofpacts_len = 0;
4558     xin->tcp_flags = tcp_flags;
4559     xin->resubmit_hook = NULL;
4560     xin->report_hook = NULL;
4561     xin->resubmit_stats = NULL;
4562     xin->wc = wc;
4563     xin->odp_actions = odp_actions;
4564
4565     /* Do recirc lookup. */
4566     xin->recirc = flow->recirc_id
4567         ? recirc_id_node_find(flow->recirc_id)
4568         : NULL;
4569 }
4570
4571 void
4572 xlate_out_uninit(struct xlate_out *xout)
4573 {
4574     if (xout) {
4575         xlate_out_free_recircs(xout);
4576     }
4577 }
4578
4579 /* Translates the 'ofpacts_len' bytes of "struct ofpact"s starting at 'ofpacts'
4580  * into datapath actions, using 'ctx', and discards the datapath actions. */
4581 void
4582 xlate_actions_for_side_effects(struct xlate_in *xin)
4583 {
4584     struct xlate_out xout;
4585
4586     xlate_actions(xin, &xout);
4587     xlate_out_uninit(&xout);
4588 }
4589 \f
4590 static struct skb_priority_to_dscp *
4591 get_skb_priority(const struct xport *xport, uint32_t skb_priority)
4592 {
4593     struct skb_priority_to_dscp *pdscp;
4594     uint32_t hash;
4595
4596     hash = hash_int(skb_priority, 0);
4597     HMAP_FOR_EACH_IN_BUCKET (pdscp, hmap_node, hash, &xport->skb_priorities) {
4598         if (pdscp->skb_priority == skb_priority) {
4599             return pdscp;
4600         }
4601     }
4602     return NULL;
4603 }
4604
4605 static bool
4606 dscp_from_skb_priority(const struct xport *xport, uint32_t skb_priority,
4607                        uint8_t *dscp)
4608 {
4609     struct skb_priority_to_dscp *pdscp = get_skb_priority(xport, skb_priority);
4610     *dscp = pdscp ? pdscp->dscp : 0;
4611     return pdscp != NULL;
4612 }
4613
4614 static size_t
4615 count_skb_priorities(const struct xport *xport)
4616 {
4617     return hmap_count(&xport->skb_priorities);
4618 }
4619
4620 static void
4621 clear_skb_priorities(struct xport *xport)
4622 {
4623     struct skb_priority_to_dscp *pdscp, *next;
4624
4625     HMAP_FOR_EACH_SAFE (pdscp, next, hmap_node, &xport->skb_priorities) {
4626         hmap_remove(&xport->skb_priorities, &pdscp->hmap_node);
4627         free(pdscp);
4628     }
4629 }
4630
4631 static bool
4632 actions_output_to_local_port(const struct xlate_ctx *ctx)
4633 {
4634     odp_port_t local_odp_port = ofp_port_to_odp_port(ctx->xbridge, OFPP_LOCAL);
4635     const struct nlattr *a;
4636     unsigned int left;
4637
4638     NL_ATTR_FOR_EACH_UNSAFE (a, left, ctx->odp_actions->data,
4639                              ctx->odp_actions->size) {
4640         if (nl_attr_type(a) == OVS_ACTION_ATTR_OUTPUT
4641             && nl_attr_get_odp_port(a) == local_odp_port) {
4642             return true;
4643         }
4644     }
4645     return false;
4646 }
4647
4648 #if defined(__linux__)
4649 /* Returns the maximum number of packets that the Linux kernel is willing to
4650  * queue up internally to certain kinds of software-implemented ports, or the
4651  * default (and rarely modified) value if it cannot be determined. */
4652 static int
4653 netdev_max_backlog(void)
4654 {
4655     static struct ovsthread_once once = OVSTHREAD_ONCE_INITIALIZER;
4656     static int max_backlog = 1000; /* The normal default value. */
4657
4658     if (ovsthread_once_start(&once)) {
4659         static const char filename[] = "/proc/sys/net/core/netdev_max_backlog";
4660         FILE *stream;
4661         int n;
4662
4663         stream = fopen(filename, "r");
4664         if (!stream) {
4665             VLOG_WARN("%s: open failed (%s)", filename, ovs_strerror(errno));
4666         } else {
4667             if (fscanf(stream, "%d", &n) != 1) {
4668                 VLOG_WARN("%s: read error", filename);
4669             } else if (n <= 100) {
4670                 VLOG_WARN("%s: unexpectedly small value %d", filename, n);
4671             } else {
4672                 max_backlog = n;
4673             }
4674             fclose(stream);
4675         }
4676         ovsthread_once_done(&once);
4677
4678         VLOG_DBG("%s: using %d max_backlog", filename, max_backlog);
4679     }
4680
4681     return max_backlog;
4682 }
4683
4684 /* Counts and returns the number of OVS_ACTION_ATTR_OUTPUT actions in
4685  * 'odp_actions'. */
4686 static int
4687 count_output_actions(const struct ofpbuf *odp_actions)
4688 {
4689     const struct nlattr *a;
4690     size_t left;
4691     int n = 0;
4692
4693     NL_ATTR_FOR_EACH_UNSAFE (a, left, odp_actions->data, odp_actions->size) {
4694         if (a->nla_type == OVS_ACTION_ATTR_OUTPUT) {
4695             n++;
4696         }
4697     }
4698     return n;
4699 }
4700 #endif /* defined(__linux__) */
4701
4702 /* Returns true if 'odp_actions' contains more output actions than the datapath
4703  * can reliably handle in one go.  On Linux, this is the value of the
4704  * net.core.netdev_max_backlog sysctl, which limits the maximum number of
4705  * packets that the kernel is willing to queue up for processing while the
4706  * datapath is processing a set of actions. */
4707 static bool
4708 too_many_output_actions(const struct ofpbuf *odp_actions OVS_UNUSED)
4709 {
4710 #ifdef __linux__
4711     return (odp_actions->size / NL_A_U32_SIZE > netdev_max_backlog()
4712             && count_output_actions(odp_actions) > netdev_max_backlog());
4713 #else
4714     /* OSes other than Linux might have similar limits, but we don't know how
4715      * to determine them.*/
4716     return false;
4717 #endif
4718 }
4719
4720 /* Translates the flow, actions, or rule in 'xin' into datapath actions in
4721  * 'xout'.
4722  * The caller must take responsibility for eventually freeing 'xout', with
4723  * xlate_out_uninit(). */
4724 void
4725 xlate_actions(struct xlate_in *xin, struct xlate_out *xout)
4726 {
4727     *xout = (struct xlate_out) {
4728         .slow = 0,
4729         .fail_open = false,
4730         .has_learn = false,
4731         .has_normal = false,
4732         .has_fin_timeout = false,
4733         .nf_output_iface = NF_OUT_DROP,
4734         .mirrors = 0,
4735         .n_recircs = 0,
4736     };
4737
4738     struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
4739     struct xbridge *xbridge = xbridge_lookup(xcfg, xin->ofproto);
4740     if (!xbridge) {
4741         return;
4742     }
4743
4744     struct flow *flow = &xin->flow;
4745
4746     union mf_subvalue stack_stub[1024 / sizeof(union mf_subvalue)];
4747     uint64_t action_set_stub[1024 / 8];
4748     struct flow_wildcards scratch_wc;
4749     uint64_t actions_stub[256 / 8];
4750     struct ofpbuf scratch_actions = OFPBUF_STUB_INITIALIZER(actions_stub);
4751     struct xlate_ctx ctx = {
4752         .xin = xin,
4753         .xout = xout,
4754         .base_flow = *flow,
4755         .orig_tunnel_ip_dst = flow->tunnel.ip_dst,
4756         .xbridge = xbridge,
4757         .stack = OFPBUF_STUB_INITIALIZER(stack_stub),
4758         .rule = xin->rule,
4759         .wc = xin->wc ? xin->wc : &scratch_wc,
4760         .odp_actions = xin->odp_actions ? xin->odp_actions : &scratch_actions,
4761
4762         .recurse = 0,
4763         .resubmits = 0,
4764         .in_group = false,
4765         .in_action_set = false,
4766
4767         .table_id = 0,
4768         .rule_cookie = OVS_BE64_MAX,
4769         .orig_skb_priority = flow->skb_priority,
4770         .sflow_n_outputs = 0,
4771         .sflow_odp_port = 0,
4772         .user_cookie_offset = 0,
4773         .exit = false,
4774
4775         .recirc_action_offset = -1,
4776         .last_unroll_offset = -1,
4777
4778         .was_mpls = false,
4779
4780         .action_set_has_group = false,
4781         .action_set = OFPBUF_STUB_INITIALIZER(action_set_stub),
4782     };
4783     memset(&ctx.base_flow.tunnel, 0, sizeof ctx.base_flow.tunnel);
4784     ofpbuf_reserve(ctx.odp_actions, NL_A_U32_SIZE);
4785
4786     struct xport *in_port;
4787     struct flow orig_flow;
4788     bool tnl_may_send;
4789
4790     COVERAGE_INC(xlate_actions);
4791
4792     /* Flow initialization rules:
4793      * - 'base_flow' must match the kernel's view of the packet at the
4794      *   time that action processing starts.  'flow' represents any
4795      *   transformations we wish to make through actions.
4796      * - By default 'base_flow' and 'flow' are the same since the input
4797      *   packet matches the output before any actions are applied.
4798      * - When using VLAN splinters, 'base_flow''s VLAN is set to the value
4799      *   of the received packet as seen by the kernel.  If we later output
4800      *   to another device without any modifications this will cause us to
4801      *   insert a new tag since the original one was stripped off by the
4802      *   VLAN device.
4803      * - Tunnel metadata as received is retained in 'flow'. This allows
4804      *   tunnel metadata matching also in later tables.
4805      *   Since a kernel action for setting the tunnel metadata will only be
4806      *   generated with actual tunnel output, changing the tunnel metadata
4807      *   values in 'flow' (such as tun_id) will only have effect with a later
4808      *   tunnel output action.
4809      * - Tunnel 'base_flow' is completely cleared since that is what the
4810      *   kernel does.  If we wish to maintain the original values an action
4811      *   needs to be generated. */
4812
4813     if (xin->wc) {
4814         flow_wildcards_init_catchall(ctx.wc);
4815         memset(&ctx.wc->masks.in_port, 0xff, sizeof ctx.wc->masks.in_port);
4816         memset(&ctx.wc->masks.dl_type, 0xff, sizeof ctx.wc->masks.dl_type);
4817         if (is_ip_any(flow)) {
4818             ctx.wc->masks.nw_frag |= FLOW_NW_FRAG_MASK;
4819         }
4820         if (xbridge->support.odp.recirc) {
4821             /* Always exactly match recirc_id when datapath supports
4822              * recirculation.  */
4823             ctx.wc->masks.recirc_id = UINT32_MAX;
4824         }
4825         if (xbridge->netflow) {
4826             netflow_mask_wc(flow, ctx.wc);
4827         }
4828     }
4829
4830     tnl_may_send = tnl_xlate_init(flow, xin->wc);
4831
4832     /* The in_port of the original packet before recirculation. */
4833     in_port = get_ofp_port(xbridge, flow->in_port.ofp_port);
4834
4835     if (xin->recirc) {
4836         const struct recirc_id_node *recirc = xin->recirc;
4837
4838         if (xin->ofpacts_len > 0 || ctx.rule) {
4839             static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 1);
4840
4841             VLOG_WARN_RL(&rl, "Recirculation conflict (%s)!",
4842                          xin->ofpacts_len > 0
4843                          ? "actions"
4844                          : "rule");
4845             goto exit;
4846         }
4847
4848         /* Set the bridge for post-recirculation processing if needed. */
4849         if (ctx.xbridge->ofproto != recirc->ofproto) {
4850             struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
4851             const struct xbridge *new_bridge = xbridge_lookup(xcfg,
4852                                                               recirc->ofproto);
4853
4854             if (OVS_UNLIKELY(!new_bridge)) {
4855                 /* Drop the packet if the bridge cannot be found. */
4856                 static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 1);
4857                 VLOG_WARN_RL(&rl, "Recirculation bridge no longer exists.");
4858                 goto exit;
4859             }
4860             ctx.xbridge = new_bridge;
4861         }
4862
4863         /* Set the post-recirculation table id.  Note: A table lookup is done
4864          * only if there are no post-recirculation actions. */
4865         ctx.table_id = recirc->table_id;
4866
4867         /* Restore pipeline metadata. May change flow's in_port and other
4868          * metadata to the values that existed when recirculation was
4869          * triggered. */
4870         recirc_metadata_to_flow(&recirc->metadata, flow);
4871
4872         /* Restore stack, if any. */
4873         if (recirc->stack) {
4874             ofpbuf_put(&ctx.stack, recirc->stack->data, recirc->stack->size);
4875         }
4876
4877         /* Restore action set, if any. */
4878         if (recirc->action_set_len) {
4879             const struct ofpact *a;
4880
4881             ofpbuf_put(&ctx.action_set, recirc->ofpacts,
4882                        recirc->action_set_len);
4883
4884             OFPACT_FOR_EACH(a, recirc->ofpacts, recirc->action_set_len) {
4885                 if (a->type == OFPACT_GROUP) {
4886                     ctx.action_set_has_group = true;
4887                     break;
4888                 }
4889             }
4890         }
4891
4892         /* Restore recirculation actions.  If there are no actions, processing
4893          * will start with a lookup in the table set above. */
4894         if (recirc->ofpacts_len > recirc->action_set_len) {
4895             xin->ofpacts_len = recirc->ofpacts_len - recirc->action_set_len;
4896             xin->ofpacts = recirc->ofpacts +
4897                 recirc->action_set_len / sizeof *recirc->ofpacts;
4898         }
4899     } else if (OVS_UNLIKELY(flow->recirc_id)) {
4900         static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 1);
4901
4902         VLOG_WARN_RL(&rl, "Recirculation context not found for ID %"PRIx32,
4903                      flow->recirc_id);
4904         goto exit;
4905     }
4906     /* The bridge is now known so obtain its table version. */
4907     ctx.tables_version = ofproto_dpif_get_tables_version(ctx.xbridge->ofproto);
4908
4909     if (!xin->ofpacts && !ctx.rule) {
4910         ctx.rule = rule_dpif_lookup_from_table(
4911             ctx.xbridge->ofproto, ctx.tables_version, flow, xin->wc,
4912             ctx.xin->xcache != NULL, ctx.xin->resubmit_stats, &ctx.table_id,
4913             flow->in_port.ofp_port, true, true);
4914         if (ctx.xin->resubmit_stats) {
4915             rule_dpif_credit_stats(ctx.rule, ctx.xin->resubmit_stats);
4916         }
4917         if (ctx.xin->xcache) {
4918             struct xc_entry *entry;
4919
4920             entry = xlate_cache_add_entry(ctx.xin->xcache, XC_RULE);
4921             entry->u.rule = ctx.rule;
4922         }
4923
4924         if (OVS_UNLIKELY(ctx.xin->resubmit_hook)) {
4925             ctx.xin->resubmit_hook(ctx.xin, ctx.rule, 0);
4926         }
4927     }
4928     xout->fail_open = ctx.rule && rule_dpif_is_fail_open(ctx.rule);
4929
4930     if (mbridge_has_mirrors(xbridge->mbridge)) {
4931         /* Do this conditionally because the copy is expensive enough that it
4932          * shows up in profiles. */
4933         orig_flow = *flow;
4934     }
4935
4936     /* Tunnel stats only for non-recirculated packets. */
4937     if (!xin->recirc && in_port && in_port->is_tunnel) {
4938         if (ctx.xin->resubmit_stats) {
4939             netdev_vport_inc_rx(in_port->netdev, ctx.xin->resubmit_stats);
4940             if (in_port->bfd) {
4941                 bfd_account_rx(in_port->bfd, ctx.xin->resubmit_stats);
4942             }
4943         }
4944         if (ctx.xin->xcache) {
4945             struct xc_entry *entry;
4946
4947             entry = xlate_cache_add_entry(ctx.xin->xcache, XC_NETDEV);
4948             entry->u.dev.rx = netdev_ref(in_port->netdev);
4949             entry->u.dev.bfd = bfd_ref(in_port->bfd);
4950         }
4951     }
4952
4953     /* Do not perform special processing on recirculated packets,
4954      * as recirculated packets are not really received by the bridge. */
4955     if (xin->recirc || !process_special(&ctx, in_port)) {
4956         size_t sample_actions_len;
4957
4958         if (flow->in_port.ofp_port
4959             != vsp_realdev_to_vlandev(xbridge->ofproto,
4960                                       flow->in_port.ofp_port,
4961                                       flow->vlan_tci)) {
4962             ctx.base_flow.vlan_tci = 0;
4963         }
4964
4965         /* Sampling is done only for packets really received by the bridge. */
4966         if (!xin->recirc) {
4967             add_sflow_action(&ctx);
4968             add_ipfix_action(&ctx);
4969             sample_actions_len = ctx.odp_actions->size;
4970         } else {
4971             sample_actions_len = 0;
4972         }
4973
4974         if (tnl_may_send && (!in_port || may_receive(in_port, &ctx))) {
4975             const struct ofpact *ofpacts;
4976             size_t ofpacts_len;
4977
4978             if (xin->ofpacts) {
4979                 ofpacts = xin->ofpacts;
4980                 ofpacts_len = xin->ofpacts_len;
4981             } else if (ctx.rule) {
4982                 const struct rule_actions *actions
4983                     = rule_dpif_get_actions(ctx.rule);
4984                 ofpacts = actions->ofpacts;
4985                 ofpacts_len = actions->ofpacts_len;
4986                 ctx.rule_cookie = rule_dpif_get_flow_cookie(ctx.rule);
4987             } else {
4988                 OVS_NOT_REACHED();
4989             }
4990
4991             do_xlate_actions(ofpacts, ofpacts_len, &ctx);
4992
4993             /* We've let OFPP_NORMAL and the learning action look at the
4994              * packet, so drop it now if forwarding is disabled. */
4995             if (in_port && (!xport_stp_forward_state(in_port) ||
4996                             !xport_rstp_forward_state(in_port))) {
4997                 /* Drop all actions added by do_xlate_actions() above. */
4998                 ctx.odp_actions->size = sample_actions_len;
4999
5000                 /* Undo changes that may have been done for recirculation. */
5001                 if (exit_recirculates(&ctx)) {
5002                     ctx.action_set.size = ctx.recirc_action_offset;
5003                     ctx.recirc_action_offset = -1;
5004                     ctx.last_unroll_offset = -1;
5005                 }
5006             } else if (ctx.action_set.size) {
5007                 /* Translate action set only if not dropping the packet and
5008                  * not recirculating. */
5009                 if (!exit_recirculates(&ctx)) {
5010                     xlate_action_set(&ctx);
5011                 }
5012             }
5013             /* Check if need to recirculate. */
5014             if (exit_recirculates(&ctx)) {
5015                 compose_recirculate_action(&ctx);
5016             }
5017         }
5018
5019         /* Output only fully processed packets. */
5020         if (!exit_recirculates(&ctx)
5021             && xbridge->has_in_band
5022             && in_band_must_output_to_local_port(flow)
5023             && !actions_output_to_local_port(&ctx)) {
5024             compose_output_action(&ctx, OFPP_LOCAL, NULL);
5025         }
5026
5027         if (!xin->recirc) {
5028             fix_sflow_action(&ctx);
5029         }
5030         /* Only mirror fully processed packets. */
5031         if (!exit_recirculates(&ctx)
5032             && mbridge_has_mirrors(xbridge->mbridge)) {
5033             add_mirror_actions(&ctx, &orig_flow);
5034         }
5035     }
5036
5037     if (nl_attr_oversized(ctx.odp_actions->size)) {
5038         /* These datapath actions are too big for a Netlink attribute, so we
5039          * can't hand them to the kernel directly.  dpif_execute() can execute
5040          * them one by one with help, so just mark the result as SLOW_ACTION to
5041          * prevent the flow from being installed. */
5042         COVERAGE_INC(xlate_actions_oversize);
5043         ctx.xout->slow |= SLOW_ACTION;
5044     } else if (too_many_output_actions(ctx.odp_actions)) {
5045         COVERAGE_INC(xlate_actions_too_many_output);
5046         ctx.xout->slow |= SLOW_ACTION;
5047     }
5048
5049     /* Update mirror stats only for packets really received by the bridge. */
5050     if (!xin->recirc && mbridge_has_mirrors(xbridge->mbridge)) {
5051         if (ctx.xin->resubmit_stats) {
5052             mirror_update_stats(xbridge->mbridge, xout->mirrors,
5053                                 ctx.xin->resubmit_stats->n_packets,
5054                                 ctx.xin->resubmit_stats->n_bytes);
5055         }
5056         if (ctx.xin->xcache) {
5057             struct xc_entry *entry;
5058
5059             entry = xlate_cache_add_entry(ctx.xin->xcache, XC_MIRROR);
5060             entry->u.mirror.mbridge = mbridge_ref(xbridge->mbridge);
5061             entry->u.mirror.mirrors = xout->mirrors;
5062         }
5063     }
5064
5065     /* Do netflow only for packets really received by the bridge and not sent
5066      * to the controller.  We consider packets sent to the controller to be
5067      * part of the control plane rather than the data plane. */
5068     if (!xin->recirc && xbridge->netflow && !(xout->slow & SLOW_CONTROLLER)) {
5069         if (ctx.xin->resubmit_stats) {
5070             netflow_flow_update(xbridge->netflow, flow,
5071                                 xout->nf_output_iface,
5072                                 ctx.xin->resubmit_stats);
5073         }
5074         if (ctx.xin->xcache) {
5075             struct xc_entry *entry;
5076
5077             entry = xlate_cache_add_entry(ctx.xin->xcache, XC_NETFLOW);
5078             entry->u.nf.netflow = netflow_ref(xbridge->netflow);
5079             entry->u.nf.flow = xmemdup(flow, sizeof *flow);
5080             entry->u.nf.iface = xout->nf_output_iface;
5081         }
5082     }
5083
5084     if (xin->wc) {
5085         /* Clear the metadata and register wildcard masks, because we won't
5086          * use non-header fields as part of the cache. */
5087         flow_wildcards_clear_non_packet_fields(ctx.wc);
5088
5089         /* ICMPv4 and ICMPv6 have 8-bit "type" and "code" fields.  struct flow
5090          * uses the low 8 bits of the 16-bit tp_src and tp_dst members to
5091          * represent these fields.  The datapath interface, on the other hand,
5092          * represents them with just 8 bits each.  This means that if the high
5093          * 8 bits of the masks for these fields somehow become set, then they
5094          * will get chopped off by a round trip through the datapath, and
5095          * revalidation will spot that as an inconsistency and delete the flow.
5096          * Avoid the problem here by making sure that only the low 8 bits of
5097          * either field can be unwildcarded for ICMP.
5098          */
5099         if (is_icmpv4(flow) || is_icmpv6(flow)) {
5100             ctx.wc->masks.tp_src &= htons(UINT8_MAX);
5101             ctx.wc->masks.tp_dst &= htons(UINT8_MAX);
5102         }
5103         /* VLAN_TCI CFI bit must be matched if any of the TCI is matched. */
5104         if (ctx.wc->masks.vlan_tci) {
5105             ctx.wc->masks.vlan_tci |= htons(VLAN_CFI);
5106         }
5107     }
5108
5109 exit:
5110     ofpbuf_uninit(&ctx.stack);
5111     ofpbuf_uninit(&ctx.action_set);
5112     ofpbuf_uninit(&scratch_actions);
5113 }
5114
5115 /* Sends 'packet' out 'ofport'.
5116  * May modify 'packet'.
5117  * Returns 0 if successful, otherwise a positive errno value. */
5118 int
5119 xlate_send_packet(const struct ofport_dpif *ofport, struct dp_packet *packet)
5120 {
5121     struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
5122     struct xport *xport;
5123     struct ofpact_output output;
5124     struct flow flow;
5125
5126     ofpact_init(&output.ofpact, OFPACT_OUTPUT, sizeof output);
5127     /* Use OFPP_NONE as the in_port to avoid special packet processing. */
5128     flow_extract(packet, &flow);
5129     flow.in_port.ofp_port = OFPP_NONE;
5130
5131     xport = xport_lookup(xcfg, ofport);
5132     if (!xport) {
5133         return EINVAL;
5134     }
5135     output.port = xport->ofp_port;
5136     output.max_len = 0;
5137
5138     return ofproto_dpif_execute_actions(xport->xbridge->ofproto, &flow, NULL,
5139                                         &output.ofpact, sizeof output,
5140                                         packet);
5141 }
5142
5143 struct xlate_cache *
5144 xlate_cache_new(void)
5145 {
5146     struct xlate_cache *xcache = xmalloc(sizeof *xcache);
5147
5148     ofpbuf_init(&xcache->entries, 512);
5149     return xcache;
5150 }
5151
5152 static struct xc_entry *
5153 xlate_cache_add_entry(struct xlate_cache *xcache, enum xc_type type)
5154 {
5155     struct xc_entry *entry;
5156
5157     entry = ofpbuf_put_zeros(&xcache->entries, sizeof *entry);
5158     entry->type = type;
5159
5160     return entry;
5161 }
5162
5163 static void
5164 xlate_cache_netdev(struct xc_entry *entry, const struct dpif_flow_stats *stats)
5165 {
5166     if (entry->u.dev.tx) {
5167         netdev_vport_inc_tx(entry->u.dev.tx, stats);
5168     }
5169     if (entry->u.dev.rx) {
5170         netdev_vport_inc_rx(entry->u.dev.rx, stats);
5171     }
5172     if (entry->u.dev.bfd) {
5173         bfd_account_rx(entry->u.dev.bfd, stats);
5174     }
5175 }
5176
5177 static void
5178 xlate_cache_normal(struct ofproto_dpif *ofproto, struct flow *flow, int vlan)
5179 {
5180     struct xlate_cfg *xcfg = ovsrcu_get(struct xlate_cfg *, &xcfgp);
5181     struct xbridge *xbridge;
5182     struct xbundle *xbundle;
5183     struct flow_wildcards wc;
5184
5185     xbridge = xbridge_lookup(xcfg, ofproto);
5186     if (!xbridge) {
5187         return;
5188     }
5189
5190     xbundle = lookup_input_bundle(xbridge, flow->in_port.ofp_port, false,
5191                                   NULL);
5192     if (!xbundle) {
5193         return;
5194     }
5195
5196     update_learning_table(xbridge, flow, &wc, vlan, xbundle);
5197 }
5198
5199 /* Push stats and perform side effects of flow translation. */
5200 void
5201 xlate_push_stats(struct xlate_cache *xcache,
5202                  const struct dpif_flow_stats *stats)
5203 {
5204     struct xc_entry *entry;
5205     struct ofpbuf entries = xcache->entries;
5206     uint8_t dmac[ETH_ADDR_LEN];
5207
5208     if (!stats->n_packets) {
5209         return;
5210     }
5211
5212     XC_ENTRY_FOR_EACH (entry, entries, xcache) {
5213         switch (entry->type) {
5214         case XC_RULE:
5215             rule_dpif_credit_stats(entry->u.rule, stats);
5216             break;
5217         case XC_BOND:
5218             bond_account(entry->u.bond.bond, entry->u.bond.flow,
5219                          entry->u.bond.vid, stats->n_bytes);
5220             break;
5221         case XC_NETDEV:
5222             xlate_cache_netdev(entry, stats);
5223             break;
5224         case XC_NETFLOW:
5225             netflow_flow_update(entry->u.nf.netflow, entry->u.nf.flow,
5226                                 entry->u.nf.iface, stats);
5227             break;
5228         case XC_MIRROR:
5229             mirror_update_stats(entry->u.mirror.mbridge,
5230                                 entry->u.mirror.mirrors,
5231                                 stats->n_packets, stats->n_bytes);
5232             break;
5233         case XC_LEARN:
5234             ofproto_dpif_flow_mod(entry->u.learn.ofproto, entry->u.learn.fm);
5235             break;
5236         case XC_NORMAL:
5237             xlate_cache_normal(entry->u.normal.ofproto, entry->u.normal.flow,
5238                                entry->u.normal.vlan);
5239             break;
5240         case XC_FIN_TIMEOUT:
5241             xlate_fin_timeout__(entry->u.fin.rule, stats->tcp_flags,
5242                                 entry->u.fin.idle, entry->u.fin.hard);
5243             break;
5244         case XC_GROUP:
5245             group_dpif_credit_stats(entry->u.group.group, entry->u.group.bucket,
5246                                     stats);
5247             break;
5248         case XC_TNL_ARP:
5249             /* Lookup arp to avoid arp timeout. */
5250             tnl_arp_lookup(entry->u.tnl_arp_cache.br_name, entry->u.tnl_arp_cache.d_ip, dmac);
5251             break;
5252         default:
5253             OVS_NOT_REACHED();
5254         }
5255     }
5256 }
5257
5258 static void
5259 xlate_dev_unref(struct xc_entry *entry)
5260 {
5261     if (entry->u.dev.tx) {
5262         netdev_close(entry->u.dev.tx);
5263     }
5264     if (entry->u.dev.rx) {
5265         netdev_close(entry->u.dev.rx);
5266     }
5267     if (entry->u.dev.bfd) {
5268         bfd_unref(entry->u.dev.bfd);
5269     }
5270 }
5271
5272 static void
5273 xlate_cache_clear_netflow(struct netflow *netflow, struct flow *flow)
5274 {
5275     netflow_flow_clear(netflow, flow);
5276     netflow_unref(netflow);
5277     free(flow);
5278 }
5279
5280 void
5281 xlate_cache_clear(struct xlate_cache *xcache)
5282 {
5283     struct xc_entry *entry;
5284     struct ofpbuf entries;
5285
5286     if (!xcache) {
5287         return;
5288     }
5289
5290     XC_ENTRY_FOR_EACH (entry, entries, xcache) {
5291         switch (entry->type) {
5292         case XC_RULE:
5293             rule_dpif_unref(entry->u.rule);
5294             break;
5295         case XC_BOND:
5296             free(entry->u.bond.flow);
5297             bond_unref(entry->u.bond.bond);
5298             break;
5299         case XC_NETDEV:
5300             xlate_dev_unref(entry);
5301             break;
5302         case XC_NETFLOW:
5303             xlate_cache_clear_netflow(entry->u.nf.netflow, entry->u.nf.flow);
5304             break;
5305         case XC_MIRROR:
5306             mbridge_unref(entry->u.mirror.mbridge);
5307             break;
5308         case XC_LEARN:
5309             free(entry->u.learn.fm);
5310             ofpbuf_delete(entry->u.learn.ofpacts);
5311             break;
5312         case XC_NORMAL:
5313             free(entry->u.normal.flow);
5314             break;
5315         case XC_FIN_TIMEOUT:
5316             /* 'u.fin.rule' is always already held as a XC_RULE, which
5317              * has already released it's reference above. */
5318             break;
5319         case XC_GROUP:
5320             group_dpif_unref(entry->u.group.group);
5321             break;
5322         case XC_TNL_ARP:
5323             break;
5324         default:
5325             OVS_NOT_REACHED();
5326         }
5327     }
5328
5329     ofpbuf_clear(&xcache->entries);
5330 }
5331
5332 void
5333 xlate_cache_delete(struct xlate_cache *xcache)
5334 {
5335     xlate_cache_clear(xcache);
5336     ofpbuf_uninit(&xcache->entries);
5337     free(xcache);
5338 }