ofproto: Implement support for registers in extended flow match.
[sliver-openvswitch.git] / lib / flow.h
1 /*
2  * Copyright (c) 2008, 2009, 2010 Nicira Networks.
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at:
7  *
8  *     http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 #ifndef FLOW_H
17 #define FLOW_H 1
18
19 #include <sys/types.h>
20 #include <netinet/in.h>
21 #include <stdbool.h>
22 #include <stdint.h>
23 #include <string.h>
24 #include "openflow/nicira-ext.h"
25 #include "openflow/openflow.h"
26 #include "hash.h"
27 #include "openvswitch/datapath-protocol.h"
28 #include "util.h"
29
30 struct ds;
31 struct flow_wildcards;
32 struct ofp_match;
33 struct ofpbuf;
34
35 #define FLOW_N_REGS 3
36 BUILD_ASSERT_DECL(FLOW_N_REGS <= NXM_NX_MAX_REGS);
37
38 struct flow {
39     uint32_t regs[FLOW_N_REGS]; /* Registers. */
40     ovs_be32 tun_id;            /* Encapsulating tunnel ID. */
41     ovs_be32 nw_src;            /* IP source address. */
42     ovs_be32 nw_dst;            /* IP destination address. */
43     uint16_t in_port;           /* Input switch port. */
44     ovs_be16 dl_vlan;           /* Input VLAN. */
45     ovs_be16 dl_type;           /* Ethernet frame type. */
46     ovs_be16 tp_src;            /* TCP/UDP source port. */
47     ovs_be16 tp_dst;            /* TCP/UDP destination port. */
48     uint8_t dl_src[6];          /* Ethernet source address. */
49     uint8_t dl_dst[6];          /* Ethernet destination address. */
50     uint8_t nw_proto;           /* IP protocol or low 8 bits of ARP opcode. */
51     uint8_t dl_vlan_pcp;        /* Input VLAN priority. */
52     uint8_t nw_tos;             /* IP ToS (DSCP field, 6 bits). */
53 };
54
55 /* Assert that there are FLOW_SIG_SIZE bytes of significant data in "struct
56  * flow", followed by FLOW_PAD_SIZE bytes of padding. */
57 #define FLOW_SIG_SIZE (37 + FLOW_N_REGS * 4)
58 #define FLOW_PAD_SIZE 3
59 BUILD_ASSERT_DECL(offsetof(struct flow, nw_tos) == FLOW_SIG_SIZE - 1);
60 BUILD_ASSERT_DECL(sizeof(((struct flow *)0)->nw_tos) == 1);
61 BUILD_ASSERT_DECL(sizeof(struct flow) == FLOW_SIG_SIZE + FLOW_PAD_SIZE);
62
63 int flow_extract(struct ofpbuf *, ovs_be32 tun_id, uint16_t in_port,
64                  struct flow *);
65 void flow_extract_stats(const struct flow *flow, struct ofpbuf *packet,
66         struct odp_flow_stats *stats);
67 void flow_to_match(const struct flow *, uint32_t wildcards, int flow_format,
68                    struct ofp_match *);
69 void flow_from_match(const struct ofp_match *, int flow_format,
70                      ovs_be64 cookie, struct flow *, struct flow_wildcards *);
71 char *flow_to_string(const struct flow *);
72 void flow_format(struct ds *, const struct flow *);
73 void flow_print(FILE *, const struct flow *);
74 static inline int flow_compare(const struct flow *, const struct flow *);
75 static inline bool flow_equal(const struct flow *, const struct flow *);
76 static inline size_t flow_hash(const struct flow *, uint32_t basis);
77
78 static inline int
79 flow_compare(const struct flow *a, const struct flow *b)
80 {
81     return memcmp(a, b, FLOW_SIG_SIZE);
82 }
83
84 static inline bool
85 flow_equal(const struct flow *a, const struct flow *b)
86 {
87     return !flow_compare(a, b);
88 }
89
90 static inline size_t
91 flow_hash(const struct flow *flow, uint32_t basis)
92 {
93     return hash_bytes(flow, FLOW_SIG_SIZE, basis);
94 }
95
96 /* Set to 1 in the 'wildcards' member of struct flow_wildcards if any bits in
97  * any of the reg_masks are wildcarded.  This maintains the invariant that
98  * 'wildcards' is nonzero if and only if any bits are wildcarded.
99  *
100  * This is used only internally to Open vSwitch--it never appears in the wire
101  * protocol. */
102 #define FWW_REGS (1u << 31)
103 BUILD_ASSERT_DECL(!(FWW_REGS & OVSFW_ALL)); /* Avoid collisions. */
104
105 /* Information on wildcards for a flow, as a supplement to "struct flow".
106  *
107  * The flow_wildcards_*() functions below both depend on and maintain the
108  * following important invariants:
109  *
110  * 1. 'wildcards' is nonzero if and only if at least one bit or field is
111  *    wildcarded.
112  *
113  * 2. Bits in 'wildcards' not included in OVSFW_ALL or FWW_REGS are set to 0.
114  *    (This is a corollary to invariant #1.)
115  *
116  * 3. The fields in 'wildcards' masked by OFPFW_NW_SRC_MASK and
117  *    OFPFW_NW_DST_MASK have values between 0 and 32, inclusive.
118  *
119  * 4. The fields masked by OFPFW_NW_SRC_MASK and OFPFW_NW_DST_MASK correspond
120  *    correctly to the masks in 'nw_src_mask' and 'nw_dst_mask', respectively.
121  *
122  * 5. FWW_REGS is set to 1 in 'wildcards' if and only if at least one bit in
123  *    'reg_masks[]' is nonzero.  (This allows wildcarded 'reg_masks[]' to
124  *    satisfy invariant #1.)
125  *
126  * 6. If FWW_REGS is set to 0 in 'wildcards', then the values of all of the
127  *    other members can be correctly predicted based on 'wildcards' alone.
128  */
129 struct flow_wildcards {
130     uint32_t wildcards;         /* enum ofp_flow_wildcards. */
131     uint32_t reg_masks[FLOW_N_REGS]; /* 1-bit in each significant regs bit. */
132     ovs_be32 nw_src_mask;       /* 1-bit in each significant nw_src bit. */
133     ovs_be32 nw_dst_mask;       /* 1-bit in each significant nw_dst bit. */
134 };
135
136 ovs_be32 flow_nw_bits_to_mask(uint32_t wildcards, int shift);
137 void flow_wildcards_init(struct flow_wildcards *, uint32_t wildcards);
138 void flow_wildcards_init_exact(struct flow_wildcards *);
139
140 bool flow_wildcards_set_nw_src_mask(struct flow_wildcards *, ovs_be32);
141 bool flow_wildcards_set_nw_dst_mask(struct flow_wildcards *, ovs_be32);
142 void flow_wildcards_set_reg_mask(struct flow_wildcards *,
143                                  int idx, uint32_t mask);
144
145 void flow_wildcards_combine(struct flow_wildcards *dst,
146                             const struct flow_wildcards *src1,
147                             const struct flow_wildcards *src2);
148 bool flow_wildcards_has_extra(const struct flow_wildcards *,
149                               const struct flow_wildcards *);
150
151 uint32_t flow_wildcards_hash(const struct flow_wildcards *);
152 bool flow_wildcards_equal(const struct flow_wildcards *,
153                           const struct flow_wildcards *);
154
155 #endif /* flow.h */