[ovs-dev] [learning v2 10/19] meta-flow: New library for working with fields by id.
Ethan Jackson
ethan at nicira.com
Mon Sep 12 19:50:07 UTC 2011
> I was trying to refer to the bit with value 2**0. (There is some
> ambiguity in bit numbering: some people consider bits to be numbered
> left-to-right, so that this would be bit 7. See
> http://en.wikipedia.org/wiki/Bit_numbering.) I'll call it bit 0
> instead, as you say.
I didn't realize that 2**0 was a standard bit numbering scheme. If
you prefer it I'm fine with leaving it, either way is good.
> Here's a revised version. There's not much point in an incremental;
> it would be most of meta-flow.h and meta-flow.c.
I think this version is quite a bit clearer.
Looks good,
Ethan
>
> --8<--------------------------cut here-------------------------->8--
>
> From: Ben Pfaff <blp at nicira.com>
> Date: Mon, 12 Sep 2011 12:11:50 -0700
> Subject: [PATCH] meta-flow: New library for working with fields by id.
>
> OVS already has a fairly good set of functions for working with fields that
> are known at compile time, but support for working with fields that are
> known only at runtime is fairly limited (and fairly unneeded). However,
> with NXM identifiers becoming more and more widely used throughout Nicira
> extensions, it's becoming corresponding more and more common to need to
> refer to fields at runtime. This new library represents a first attempt
> at a systematic approach for doing so.
> ---
> lib/automake.mk | 2 +
> lib/meta-flow.c | 1638 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
> lib/meta-flow.h | 219 ++++++++
> lib/nx-match.c | 371 ++-----------
> lib/nx-match.def | 83 ++--
> lib/nx-match.h | 3 +-
> lib/ofp-parse.c | 411 +-------------
> 7 files changed, 1954 insertions(+), 773 deletions(-)
> create mode 100644 lib/meta-flow.c
> create mode 100644 lib/meta-flow.h
>
> diff --git a/lib/automake.mk b/lib/automake.mk
> index 01eeb85..7cc0dbe 100644
> --- a/lib/automake.mk
> +++ b/lib/automake.mk
> @@ -75,6 +75,8 @@ lib_libopenvswitch_a_SOURCES = \
> lib/lockfile.h \
> lib/mac-learning.c \
> lib/mac-learning.h \
> + lib/meta-flow.c \
> + lib/meta-flow.h \
> lib/multipath.c \
> lib/multipath.h \
> lib/netdev-dummy.c \
> diff --git a/lib/meta-flow.c b/lib/meta-flow.c
> new file mode 100644
> index 0000000..8ecf783
> --- /dev/null
> +++ b/lib/meta-flow.c
> @@ -0,0 +1,1638 @@
> +/*
> + * Copyright (c) 2011 Nicira Networks.
> + *
> + * Licensed under the Apache License, Version 2.0 (the "License");
> + * you may not use this file except in compliance with the License.
> + * You may obtain a copy of the License at:
> + *
> + * http://www.apache.org/licenses/LICENSE-2.0
> + *
> + * Unless required by applicable law or agreed to in writing, software
> + * distributed under the License is distributed on an "AS IS" BASIS,
> + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
> + * See the License for the specific language governing permissions and
> + * limitations under the License.
> + */
> +
> +#include <config.h>
> +
> +#include "meta-flow.h"
> +
> +#include <assert.h>
> +#include <errno.h>
> +#include <limits.h>
> +#include <netinet/icmp6.h>
> +#include <netinet/ip6.h>
> +
> +#include "classifier.h"
> +#include "dynamic-string.h"
> +#include "ofp-util.h"
> +#include "packets.h"
> +#include "random.h"
> +#include "shash.h"
> +#include "socket-util.h"
> +#include "unaligned.h"
> +
> +#define MF_FIELD_SIZES(MEMBER) \
> + sizeof ((union mf_value *)0)->MEMBER, \
> + 8 * sizeof ((union mf_value *)0)->MEMBER
> +
> +static const struct mf_field mf_fields[MFF_N_IDS] = {
> + /* ## -------- ## */
> + /* ## metadata ## */
> + /* ## -------- ## */
> +
> + {
> + MFF_TUN_ID, "tun_id", NULL,
> + MF_FIELD_SIZES(be64),
> + MFM_FULLY, 0,
> + MFS_HEXADECIMAL,
> + MFP_NONE,
> + NXM_NX_TUN_ID,
> + }, {
> + MFF_IN_PORT, "in_port", NULL,
> + MF_FIELD_SIZES(be16),
> + MFM_NONE, FWW_IN_PORT,
> + MFS_OFP_PORT,
> + MFP_NONE,
> + NXM_OF_IN_PORT,
> + },
> +
> +#define REGISTER(IDX) \
> + { \
> + MFF_REG##IDX, "reg" #IDX, NULL, \
> + MF_FIELD_SIZES(be32), \
> + MFM_FULLY, 0, \
> + MFS_HEXADECIMAL, \
> + MFP_NONE, \
> + NXM_NX_REG(IDX), \
> + }
> +#if FLOW_N_REGS > 0
> + REGISTER(0),
> +#endif
> +#if FLOW_N_REGS > 1
> + REGISTER(1),
> +#endif
> +#if FLOW_N_REGS > 2
> + REGISTER(2),
> +#endif
> +#if FLOW_N_REGS > 3
> + REGISTER(3),
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> +
> + /* ## -- ## */
> + /* ## L2 ## */
> + /* ## -- ## */
> +
> + {
> + MFF_ETH_SRC, "eth_src", "dl_src",
> + MF_FIELD_SIZES(mac),
> + MFM_NONE, FWW_DL_SRC,
> + MFS_ETHERNET,
> + MFP_NONE,
> + NXM_OF_ETH_SRC,
> + }, {
> + MFF_ETH_DST, "eth_dst", "dl_dst",
> + MF_FIELD_SIZES(mac),
> + MFM_MCAST, 0,
> + MFS_ETHERNET,
> + MFP_NONE,
> + NXM_OF_ETH_DST,
> + }, {
> + MFF_ETH_TYPE, "eth_type", "dl_type",
> + MF_FIELD_SIZES(be16),
> + MFM_NONE, FWW_DL_TYPE,
> + MFS_HEXADECIMAL,
> + MFP_NONE,
> + NXM_OF_ETH_TYPE,
> + },
> +
> + {
> + MFF_VLAN_TCI, "vlan_tci", NULL,
> + MF_FIELD_SIZES(be16),
> + MFM_FULLY, 0,
> + MFS_HEXADECIMAL,
> + MFP_NONE,
> + NXM_OF_VLAN_TCI,
> + }, {
> + MFF_VLAN_VID, "dl_vlan", NULL,
> + sizeof(ovs_be16), 12,
> + MFM_NONE, 0,
> + MFS_DECIMAL,
> + MFP_NONE,
> + 0,
> + }, {
> + MFF_VLAN_PCP, "dl_vlan_pcp", NULL,
> + 1, 3,
> + MFM_NONE, 0,
> + MFS_DECIMAL,
> + MFP_NONE,
> + 0,
> + },
> +
> + /* ## -- ## */
> + /* ## L3 ## */
> + /* ## -- ## */
> +
> + {
> + MFF_IPV4_SRC, "ip_src", "nw_src",
> + MF_FIELD_SIZES(be32),
> + MFM_CIDR, 0,
> + MFS_IPV4,
> + MFP_IPV4,
> + NXM_OF_IP_SRC,
> + }, {
> + MFF_IPV4_DST, "ip_dst", "nw_dst",
> + MF_FIELD_SIZES(be32),
> + MFM_CIDR, 0,
> + MFS_IPV4,
> + MFP_IPV4,
> + NXM_OF_IP_DST,
> + },
> +
> + {
> + MFF_IPV6_SRC, "ipv6_src", NULL,
> + MF_FIELD_SIZES(ipv6),
> + MFM_CIDR, 0,
> + MFS_IPV6,
> + MFP_IPV6,
> + NXM_NX_IPV6_SRC,
> + }, {
> + MFF_IPV6_DST, "ipv6_dst", NULL,
> + MF_FIELD_SIZES(ipv6),
> + MFM_CIDR, 0,
> + MFS_IPV6,
> + MFP_IPV6,
> + NXM_NX_IPV6_DST,
> + },
> +
> + {
> + MFF_IP_PROTO, "nw_proto", NULL,
> + MF_FIELD_SIZES(u8),
> + MFM_NONE, FWW_NW_PROTO,
> + MFS_DECIMAL,
> + MFP_IP_ANY,
> + NXM_OF_IP_PROTO,
> + }, {
> + MFF_IP_TOS, "nw_tos", NULL,
> + MF_FIELD_SIZES(u8),
> + MFM_NONE, FWW_NW_TOS,
> + MFS_DECIMAL,
> + MFP_IP_ANY,
> + NXM_OF_IP_TOS,
> + },
> +
> + {
> + MFF_ARP_OP, "arp_op", NULL,
> + MF_FIELD_SIZES(be16),
> + MFM_NONE, FWW_NW_PROTO,
> + MFS_DECIMAL,
> + MFP_ARP,
> + NXM_OF_ARP_OP,
> + }, {
> + MFF_ARP_SPA, "arp_spa", NULL,
> + MF_FIELD_SIZES(be32),
> + MFM_CIDR, 0,
> + MFS_IPV4,
> + MFP_ARP,
> + NXM_OF_ARP_SPA,
> + }, {
> + MFF_ARP_TPA, "arp_tpa", NULL,
> + MF_FIELD_SIZES(be32),
> + MFM_CIDR, 0,
> + MFS_IPV4,
> + MFP_ARP,
> + NXM_OF_ARP_TPA,
> + }, {
> + MFF_ARP_SHA, "arp_sha", NULL,
> + MF_FIELD_SIZES(mac),
> + MFM_NONE, FWW_ARP_SHA,
> + MFS_ETHERNET,
> + MFP_ARP,
> + NXM_NX_ARP_SHA,
> + }, {
> + MFF_ARP_THA, "arp_tha", NULL,
> + MF_FIELD_SIZES(mac),
> + MFM_NONE, FWW_ARP_THA,
> + MFS_ETHERNET,
> + MFP_ARP,
> + NXM_NX_ARP_THA,
> + },
> +
> + /* ## -- ## */
> + /* ## L4 ## */
> + /* ## -- ## */
> +
> + {
> + MFF_TCP_SRC, "tcp_src", "tp_src",
> + MF_FIELD_SIZES(be16),
> + MFM_NONE, FWW_TP_SRC,
> + MFS_DECIMAL,
> + MFP_TCP,
> + NXM_OF_TCP_SRC,
> + }, {
> + MFF_TCP_DST, "tcp_dst", "tp_dst",
> + MF_FIELD_SIZES(be16),
> + MFM_NONE, FWW_TP_DST,
> + MFS_DECIMAL,
> + MFP_TCP,
> + NXM_OF_TCP_DST,
> + },
> +
> + {
> + MFF_UDP_SRC, "udp_src", NULL,
> + MF_FIELD_SIZES(be16),
> + MFM_NONE, FWW_TP_SRC,
> + MFS_DECIMAL,
> + MFP_UDP,
> + NXM_OF_UDP_SRC,
> + }, {
> + MFF_UDP_DST, "udp_dst", NULL,
> + MF_FIELD_SIZES(be16),
> + MFM_NONE, FWW_TP_DST,
> + MFS_DECIMAL,
> + MFP_UDP,
> + NXM_OF_UDP_DST,
> + },
> +
> + {
> + MFF_ICMP_TYPE, "icmp_type", NULL,
> + MF_FIELD_SIZES(u8),
> + MFM_NONE, FWW_TP_SRC,
> + MFS_DECIMAL,
> + MFP_ICMP_ANY,
> + NXM_OF_ICMP_TYPE,
> + }, {
> + MFF_ICMP_CODE, "icmp_code", NULL,
> + MF_FIELD_SIZES(u8),
> + MFM_NONE, FWW_TP_SRC,
> + MFS_DECIMAL,
> + MFP_ICMP_ANY,
> + NXM_OF_ICMP_CODE,
> + },
> +
> + /* ## ---- ## */
> + /* ## L"5" ## */
> + /* ## ---- ## */
> +
> + {
> + MFF_ND_TARGET, "nd_target", NULL,
> + MF_FIELD_SIZES(ipv6),
> + MFM_NONE, FWW_ND_TARGET,
> + MFS_IPV6,
> + MFP_ND,
> + NXM_NX_ND_TARGET,
> + }, {
> + MFF_ND_SLL, "nd_sll", NULL,
> + MF_FIELD_SIZES(mac),
> + MFM_NONE, FWW_ARP_SHA,
> + MFS_ETHERNET,
> + MFP_ND_SOLICIT,
> + NXM_NX_ND_SLL,
> + }, {
> + MFF_ND_TLL, "nd_tll", NULL,
> + MF_FIELD_SIZES(mac),
> + MFM_NONE, FWW_ARP_THA,
> + MFS_ETHERNET,
> + MFP_ND_ADVERT,
> + NXM_NX_ND_TLL,
> + }
> +};
> +
> +static bool
> +is_all_zeros(const uint8_t *field, size_t length)
> +{
> + size_t i;
> +
> + for (i = 0; i < length; i++) {
> + if (field[i] != 0x00) {
> + return false;
> + }
> + }
> + return true;
> +}
> +
> +static bool
> +is_all_ones(const uint8_t *field, size_t length)
> +{
> + size_t i;
> +
> + for (i = 0; i < length; i++) {
> + if (field[i] != 0xff) {
> + return false;
> + }
> + }
> + return true;
> +}
> +
> +/* Returns the field with the given 'id'. */
> +const struct mf_field *
> +mf_from_id(enum mf_field_id id)
> +{
> + assert((unsigned int) id < MFF_N_IDS);
> + return &mf_fields[id];
> +}
> +
> +/* Returns the field with the given 'name', or a null pointer if no field has
> + * that name. */
> +const struct mf_field *
> +mf_from_name(const char *name)
> +{
> + static struct shash mf_by_name = SHASH_INITIALIZER(&mf_by_name);
> +
> + if (shash_is_empty(&mf_by_name)) {
> + const struct mf_field *mf;
> +
> + for (mf = mf_fields; mf < &mf_fields[MFF_N_IDS]; mf++) {
> + shash_add_once(&mf_by_name, mf->name, mf);
> + if (mf->extra_name) {
> + shash_add_once(&mf_by_name, mf->extra_name, mf);
> + }
> + }
> + }
> +
> + return shash_find_data(&mf_by_name, name);
> +}
> +
> +/* Returns true if 'wc' wildcards all the bits in field 'mf', false if 'wc'
> + * specifies at least one bit in the field.
> + *
> + * The caller is responsible for ensuring that 'wc' corresponds to a flow that
> + * meets 'mf''s prerequisites. */
> +bool
> +mf_is_all_wild(const struct mf_field *mf, const struct flow_wildcards *wc)
> +{
> + switch (mf->id) {
> + case MFF_IN_PORT:
> + case MFF_ETH_SRC:
> + case MFF_ETH_TYPE:
> + case MFF_IP_PROTO:
> + case MFF_IP_TOS:
> + case MFF_ARP_OP:
> + case MFF_ARP_SHA:
> + case MFF_ARP_THA:
> + case MFF_TCP_SRC:
> + case MFF_TCP_DST:
> + case MFF_UDP_SRC:
> + case MFF_UDP_DST:
> + case MFF_ICMP_TYPE:
> + case MFF_ICMP_CODE:
> + case MFF_ND_TARGET:
> + case MFF_ND_SLL:
> + case MFF_ND_TLL:
> + assert(mf->fww_bit != 0);
> + return (wc->wildcards & mf->fww_bit) != 0;
> +
> + case MFF_TUN_ID:
> + return !wc->tun_id_mask;
> +
> +#if FLOW_N_REGS > 0
> + case MFF_REG0:
> +#endif
> +#if FLOW_N_REGS > 1
> + case MFF_REG1:
> +#endif
> +#if FLOW_N_REGS > 2
> + case MFF_REG2:
> +#endif
> +#if FLOW_N_REGS > 3
> + case MFF_REG3:
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> + return !wc->reg_masks[mf->id - MFF_REG0];
> +
> + case MFF_ETH_DST:
> + return ((wc->wildcards & (FWW_ETH_MCAST | FWW_DL_DST))
> + == (FWW_ETH_MCAST | FWW_DL_DST));
> +
> + case MFF_VLAN_TCI:
> + return !wc->vlan_tci_mask;
> + case MFF_VLAN_VID:
> + return !(wc->vlan_tci_mask & htons(VLAN_VID_MASK));
> + case MFF_VLAN_PCP:
> + return !(wc->vlan_tci_mask & htons(VLAN_PCP_MASK));
> +
> + case MFF_IPV4_SRC:
> + return !wc->nw_src_mask;
> + case MFF_IPV4_DST:
> + return !wc->nw_dst_mask;
> +
> + case MFF_IPV6_SRC:
> + return ipv6_mask_is_any(&wc->ipv6_src_mask);
> + case MFF_IPV6_DST:
> + return ipv6_mask_is_any(&wc->ipv6_dst_mask);
> +
> + case MFF_ARP_SPA:
> + return !wc->nw_src_mask;
> + case MFF_ARP_TPA:
> + return !wc->nw_dst_mask;
> +
> + case MFF_N_IDS:
> + default:
> + NOT_REACHED();
> + }
> +}
> +
> +/* Initializes 'mask' with the wildcard bit pattern for field 'mf' within 'wc'.
> + * Each bit in 'mask' will be set to 1 if the bit is significant for matching
> + * purposes, or to 0 if it is wildcarded.
> + *
> + * The caller is responsible for ensuring that 'wc' corresponds to a flow that
> + * meets 'mf''s prerequisites. */
> +void
> +mf_get_mask(const struct mf_field *mf, const struct flow_wildcards *wc,
> + union mf_value *mask)
> +{
> + switch (mf->id) {
> + case MFF_IN_PORT:
> + case MFF_ETH_SRC:
> + case MFF_ETH_TYPE:
> + case MFF_IP_PROTO:
> + case MFF_IP_TOS:
> + case MFF_ARP_OP:
> + case MFF_ARP_SHA:
> + case MFF_ARP_THA:
> + case MFF_TCP_SRC:
> + case MFF_TCP_DST:
> + case MFF_UDP_SRC:
> + case MFF_UDP_DST:
> + case MFF_ICMP_TYPE:
> + case MFF_ICMP_CODE:
> + case MFF_ND_TARGET:
> + case MFF_ND_SLL:
> + case MFF_ND_TLL:
> + assert(mf->fww_bit != 0);
> + memset(mask, wc->wildcards & mf->fww_bit ? 0x00 : 0xff, mf->n_bytes);
> + break;
> +
> + case MFF_TUN_ID:
> + mask->be64 = wc->tun_id_mask;
> + break;
> +
> +#if FLOW_N_REGS > 0
> + case MFF_REG0:
> +#endif
> +#if FLOW_N_REGS > 1
> + case MFF_REG1:
> +#endif
> +#if FLOW_N_REGS > 2
> + case MFF_REG2:
> +#endif
> +#if FLOW_N_REGS > 3
> + case MFF_REG3:
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> + mask->be32 = htonl(wc->reg_masks[mf->id - MFF_REG0]);
> + break;
> +
> + case MFF_ETH_DST:
> + memcpy(mask->mac, flow_wildcards_to_dl_dst_mask(wc->wildcards),
> + ETH_ADDR_LEN);
> + break;
> +
> + case MFF_VLAN_TCI:
> + mask->be16 = wc->vlan_tci_mask;
> + break;
> + case MFF_VLAN_VID:
> + mask->be16 = wc->vlan_tci_mask & htons(VLAN_VID_MASK);
> + break;
> + case MFF_VLAN_PCP:
> + mask->u8 = vlan_tci_to_pcp(wc->vlan_tci_mask);
> + break;
> +
> + case MFF_IPV4_SRC:
> + mask->be32 = wc->nw_src_mask;
> + break;
> + case MFF_IPV4_DST:
> + mask->be32 = wc->nw_dst_mask;
> + break;
> +
> + case MFF_IPV6_SRC:
> + mask->ipv6 = wc->ipv6_src_mask;
> + break;
> + case MFF_IPV6_DST:
> + mask->ipv6 = wc->ipv6_dst_mask;
> + break;
> +
> + case MFF_ARP_SPA:
> + mask->be32 = wc->nw_src_mask;
> + break;
> + case MFF_ARP_TPA:
> + mask->be32 = wc->nw_dst_mask;
> + break;
> +
> + case MFF_N_IDS:
> + default:
> + NOT_REACHED();
> + }
> +}
> +
> +/* Tests whether 'mask' is a valid wildcard bit pattern for 'mf'. Returns true
> + * if the mask is valid, false otherwise. */
> +bool
> +mf_is_mask_valid(const struct mf_field *mf, const union mf_value *mask)
> +{
> + switch (mf->maskable) {
> + case MFM_NONE:
> + return (is_all_zeros((const uint8_t *) mask, mf->n_bytes) ||
> + is_all_ones((const uint8_t *) mask, mf->n_bytes));
> +
> + case MFM_FULLY:
> + return true;
> +
> + case MFM_CIDR:
> + return (mf->n_bytes == 4
> + ? ip_is_cidr(mask->be32)
> + : ipv6_is_cidr(&mask->ipv6));
> +
> + case MFM_MCAST:
> + return flow_wildcards_is_dl_dst_mask_valid(mask->mac);
> + }
> +
> + NOT_REACHED();
> +}
> +
> +static bool
> +is_ip_any(const struct flow *flow)
> +{
> + return (flow->dl_type == htons(ETH_TYPE_IP) ||
> + flow->dl_type == htons(ETH_TYPE_IPV6));
> +}
> +
> +static bool
> +is_icmpv4(const struct flow *flow)
> +{
> + return (flow->dl_type == htons(ETH_TYPE_IP)
> + && flow->nw_proto == IPPROTO_ICMP);
> +}
> +
> +static bool
> +is_icmpv6(const struct flow *flow)
> +{
> + return (flow->dl_type == htons(ETH_TYPE_IPV6)
> + && flow->nw_proto == IPPROTO_ICMPV6);
> +}
> +
> +/* Returns true if 'flow' meets the prerequisites for 'mf', false otherwise. */
> +bool
> +mf_are_prereqs_ok(const struct mf_field *mf, const struct flow *flow)
> +{
> + switch (mf->prereqs) {
> + case MFP_NONE:
> + return true;
> +
> + case MFP_ARP:
> + return flow->dl_type == htons(ETH_TYPE_ARP);
> + case MFP_IPV4:
> + return flow->dl_type == htons(ETH_TYPE_IP);
> + case MFP_IPV6:
> + return flow->dl_type == htons(ETH_TYPE_IPV6);
> + case MFP_IP_ANY:
> + return is_ip_any(flow);
> +
> + case MFP_TCP:
> + return is_ip_any(flow) && flow->nw_proto == IPPROTO_TCP;
> + case MFP_UDP:
> + return is_ip_any(flow) && flow->nw_proto == IPPROTO_UDP;
> + case MFP_ICMPV6:
> + return is_icmpv6(flow);
> + case MFP_ICMP_ANY:
> + return is_icmpv4(flow) || is_icmpv6(flow);
> +
> + case MFP_ND:
> + return (is_icmpv6(flow)
> + && flow->icmp_code == htons(0)
> + && (flow->icmp_type == htons(ND_NEIGHBOR_SOLICIT) ||
> + flow->icmp_type == htons(ND_NEIGHBOR_ADVERT)));
> + case MFP_ND_SOLICIT:
> + return (is_icmpv6(flow)
> + && flow->icmp_code == htons(0)
> + && (flow->icmp_type == htons(ND_NEIGHBOR_SOLICIT)));
> + case MFP_ND_ADVERT:
> + return (is_icmpv6(flow)
> + && flow->icmp_code == htons(0)
> + && (flow->icmp_type == htons(ND_NEIGHBOR_ADVERT)));
> + }
> +
> + NOT_REACHED();
> +}
> +
> +/* Returns true if 'value' may be a valid value *as part of a masked match*,
> + * false otherwise.
> + *
> + * A value is not rejected just because it is not valid for the field in
> + * question, but only if it doesn't make sense to test the bits in question at
> + * all. For example, the MFF_VLAN_TCI field will never have a nonzero value
> + * without the VLAN_CFI bit being set, but we can't reject those values because
> + * it is still legitimate to test just for those bits (see the documentation
> + * for NXM_OF_VLAN_TCI in nicira-ext.h). On the other hand, there is never a
> + * reason to set the low bit of MFF_IP_TOS to 1, so we reject that. */
> +bool
> +mf_is_value_valid(const struct mf_field *mf, const union mf_value *value)
> +{
> + switch (mf->id) {
> + case MFF_TUN_ID:
> + case MFF_IN_PORT:
> +#if FLOW_N_REGS > 0
> + case MFF_REG0:
> +#endif
> +#if FLOW_N_REGS > 1
> + case MFF_REG1:
> +#endif
> +#if FLOW_N_REGS > 2
> + case MFF_REG2:
> +#endif
> +#if FLOW_N_REGS > 3
> + case MFF_REG3:
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> + case MFF_ETH_SRC:
> + case MFF_ETH_DST:
> + case MFF_ETH_TYPE:
> + case MFF_VLAN_TCI:
> + case MFF_IPV4_SRC:
> + case MFF_IPV4_DST:
> + case MFF_IPV6_SRC:
> + case MFF_IPV6_DST:
> + case MFF_IP_PROTO:
> + case MFF_ARP_SPA:
> + case MFF_ARP_TPA:
> + case MFF_ARP_SHA:
> + case MFF_ARP_THA:
> + case MFF_TCP_SRC:
> + case MFF_TCP_DST:
> + case MFF_UDP_SRC:
> + case MFF_UDP_DST:
> + case MFF_ICMP_TYPE:
> + case MFF_ICMP_CODE:
> + case MFF_ND_TARGET:
> + case MFF_ND_SLL:
> + case MFF_ND_TLL:
> + return true;
> +
> + case MFF_IP_TOS:
> + return !(value->u8 & 0x03);
> +
> + case MFF_ARP_OP:
> + return !(value->be16 & htons(0xff00));
> +
> + case MFF_VLAN_VID:
> + return !(value->be16 & htons(VLAN_CFI | VLAN_PCP_MASK));
> +
> + case MFF_VLAN_PCP:
> + return !(value->u8 & ~7);
> +
> + case MFF_N_IDS:
> + default:
> + NOT_REACHED();
> + }
> +}
> +
> +/* Copies the value of field 'mf' from 'flow' into 'value'. The caller is
> + * responsible for ensuring that 'flow' meets 'mf''s prerequisites. */
> +void
> +mf_get_value(const struct mf_field *mf, const struct flow *flow,
> + union mf_value *value)
> +{
> + switch (mf->id) {
> + case MFF_TUN_ID:
> + value->be64 = flow->tun_id;
> + break;
> +
> + case MFF_IN_PORT:
> + value->be16 = htons(flow->in_port);
> + break;
> +
> +#if FLOW_N_REGS > 0
> + case MFF_REG0:
> +#endif
> +#if FLOW_N_REGS > 1
> + case MFF_REG1:
> +#endif
> +#if FLOW_N_REGS > 2
> + case MFF_REG2:
> +#endif
> +#if FLOW_N_REGS > 3
> + case MFF_REG3:
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> + value->be32 = htonl(flow->regs[0]);
> + break;
> +
> + case MFF_ETH_SRC:
> + memcpy(value->mac, flow->dl_src, ETH_ADDR_LEN);
> + break;
> +
> + case MFF_ETH_DST:
> + memcpy(value->mac, flow->dl_dst, ETH_ADDR_LEN);
> + break;
> +
> + case MFF_ETH_TYPE:
> + value->be16 = flow->dl_type;
> + break;
> +
> + case MFF_VLAN_TCI:
> + value->be16 = flow->vlan_tci;
> + break;
> +
> + case MFF_VLAN_VID:
> + value->be16 = flow->vlan_tci & htons(VLAN_VID_MASK);
> + break;
> +
> + case MFF_VLAN_PCP:
> + value->u8 = vlan_tci_to_pcp(flow->vlan_tci);
> + break;
> +
> + case MFF_IPV4_SRC:
> + value->be32 = flow->nw_src;
> + break;
> +
> + case MFF_IPV4_DST:
> + value->be32 = flow->nw_dst;
> + break;
> +
> + case MFF_IPV6_SRC:
> + value->ipv6 = flow->ipv6_src;
> + break;
> +
> + case MFF_IPV6_DST:
> + value->ipv6 = flow->ipv6_dst;
> + break;
> +
> + case MFF_IP_PROTO:
> + value->u8 = flow->nw_proto;
> + break;
> +
> + case MFF_IP_TOS:
> + value->u8 = flow->nw_tos;
> + break;
> +
> + case MFF_ARP_OP:
> + value->be16 = htons(flow->nw_proto);
> + break;
> +
> + case MFF_ARP_SPA:
> + value->be32 = flow->nw_src;
> + break;
> +
> + case MFF_ARP_TPA:
> + value->be32 = flow->nw_dst;
> + break;
> +
> + case MFF_ARP_SHA:
> + case MFF_ND_SLL:
> + memcpy(value->mac, flow->arp_sha, ETH_ADDR_LEN);
> + break;
> +
> + case MFF_ARP_THA:
> + case MFF_ND_TLL:
> + memcpy(value->mac, flow->arp_tha, ETH_ADDR_LEN);
> + break;
> +
> + case MFF_TCP_SRC:
> + value->be16 = flow->tp_src;
> + break;
> +
> + case MFF_TCP_DST:
> + value->be16 = flow->tp_dst;
> + break;
> +
> + case MFF_UDP_SRC:
> + value->be16 = flow->tp_src;
> + break;
> +
> + case MFF_UDP_DST:
> + value->be16 = flow->tp_dst;
> + break;
> +
> + case MFF_ICMP_TYPE:
> + value->u8 = ntohs(flow->tp_src);
> + break;
> +
> + case MFF_ICMP_CODE:
> + value->u8 = ntohs(flow->tp_dst);
> + break;
> +
> + case MFF_ND_TARGET:
> + value->ipv6 = flow->nd_target;
> + break;
> +
> + case MFF_N_IDS:
> + default:
> + NOT_REACHED();
> + }
> +}
> +
> +/* Makes 'rule' match field 'mf' exactly, with the value matched taken from
> + * 'value'. The caller is responsible for ensuring that 'rule' meets 'mf''s
> + * prerequisites. */
> +void
> +mf_set_value(const struct mf_field *mf,
> + const union mf_value *value, struct cls_rule *rule)
> +{
> + switch (mf->id) {
> + case MFF_TUN_ID:
> + cls_rule_set_tun_id(rule, value->be64);
> + break;
> +
> + case MFF_IN_PORT:
> + cls_rule_set_in_port(rule, ntohs(value->be16));
> + break;
> +
> +#if FLOW_N_REGS > 0
> + case MFF_REG0:
> +#endif
> +#if FLOW_N_REGS > 1
> + case MFF_REG1:
> +#endif
> +#if FLOW_N_REGS > 2
> + case MFF_REG2:
> +#endif
> +#if FLOW_N_REGS > 3
> + case MFF_REG3:
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> +#if FLOW_N_REGS > 0
> + cls_rule_set_reg(rule, mf->id - MFF_REG0, ntohl(value->be32));
> + break;
> +#endif
> +
> + case MFF_ETH_SRC:
> + cls_rule_set_dl_src(rule, value->mac);
> + break;
> +
> + case MFF_ETH_DST:
> + cls_rule_set_dl_dst(rule, value->mac);
> + break;
> +
> + case MFF_ETH_TYPE:
> + cls_rule_set_dl_type(rule, value->be16);
> + break;
> +
> + case MFF_VLAN_TCI:
> + cls_rule_set_dl_tci(rule, value->be16);
> + break;
> +
> + case MFF_VLAN_VID:
> + cls_rule_set_dl_vlan(rule, value->be16);
> + break;
> +
> + case MFF_VLAN_PCP:
> + cls_rule_set_dl_vlan_pcp(rule, value->u8);
> + break;
> +
> + case MFF_IPV4_SRC:
> + cls_rule_set_nw_src(rule, value->be32);
> + break;
> +
> + case MFF_IPV4_DST:
> + cls_rule_set_nw_dst(rule, value->be32);
> + break;
> +
> + case MFF_IPV6_SRC:
> + cls_rule_set_ipv6_src(rule, &value->ipv6);
> + break;
> +
> + case MFF_IPV6_DST:
> + cls_rule_set_ipv6_dst(rule, &value->ipv6);
> + break;
> +
> + case MFF_IP_PROTO:
> + cls_rule_set_nw_proto(rule, value->u8);
> + break;
> +
> + case MFF_IP_TOS:
> + cls_rule_set_nw_tos(rule, value->u8);
> + break;
> +
> + case MFF_ARP_OP:
> + cls_rule_set_nw_proto(rule, ntohs(value->be16));
> + break;
> +
> + case MFF_ARP_SPA:
> + cls_rule_set_nw_src(rule, value->be32);
> + break;
> +
> + case MFF_ARP_TPA:
> + cls_rule_set_nw_dst(rule, value->be32);
> + break;
> +
> + case MFF_ARP_SHA:
> + case MFF_ND_SLL:
> + cls_rule_set_arp_sha(rule, value->mac);
> + break;
> +
> + case MFF_ARP_THA:
> + case MFF_ND_TLL:
> + cls_rule_set_arp_tha(rule, value->mac);
> + break;
> +
> + case MFF_TCP_SRC:
> + cls_rule_set_tp_src(rule, value->be16);
> + break;
> +
> + case MFF_TCP_DST:
> + cls_rule_set_tp_dst(rule, value->be16);
> + break;
> +
> + case MFF_UDP_SRC:
> + cls_rule_set_tp_src(rule, value->be16);
> + break;
> +
> + case MFF_UDP_DST:
> + cls_rule_set_tp_dst(rule, value->be16);
> + break;
> +
> + case MFF_ICMP_TYPE:
> + cls_rule_set_icmp_type(rule, value->u8);
> + break;
> +
> + case MFF_ICMP_CODE:
> + cls_rule_set_icmp_code(rule, value->u8);
> + break;
> +
> + case MFF_ND_TARGET:
> + cls_rule_set_nd_target(rule, &value->ipv6);
> + break;
> +
> + case MFF_N_IDS:
> + default:
> + NOT_REACHED();
> + }
> +}
> +
> +/* Makes 'rule' wildcard field 'mf'.
> + *
> + * The caller is responsible for ensuring that 'rule' meets 'mf''s
> + * prerequisites. */
> +void
> +mf_set_wild(const struct mf_field *mf, struct cls_rule *rule)
> +{
> + switch (mf->id) {
> + case MFF_TUN_ID:
> + cls_rule_set_tun_id_masked(rule, htonll(0), htonll(0));
> + break;
> +
> + case MFF_IN_PORT:
> + rule->wc.wildcards |= FWW_IN_PORT;
> + rule->flow.in_port = 0;
> + break;
> +
> +#if FLOW_N_REGS > 0
> + case MFF_REG0:
> + cls_rule_set_reg_masked(rule, 0, 0, 0);
> + break;
> +#endif
> +#if FLOW_N_REGS > 1
> + case MFF_REG1:
> + cls_rule_set_reg_masked(rule, 1, 0, 0);
> + break;
> +#endif
> +#if FLOW_N_REGS > 2
> + case MFF_REG2:
> + cls_rule_set_reg_masked(rule, 2, 0, 0);
> + break;
> +#endif
> +#if FLOW_N_REGS > 3
> + case MFF_REG3:
> + cls_rule_set_reg_masked(rule, 3, 0, 0);
> + break;
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> +
> + case MFF_ETH_SRC:
> + rule->wc.wildcards |= FWW_DL_SRC;
> + memset(rule->flow.dl_src, 0, sizeof rule->flow.dl_src);
> + break;
> +
> + case MFF_ETH_DST:
> + rule->wc.wildcards |= FWW_DL_DST | FWW_ETH_MCAST;
> + memset(rule->flow.dl_dst, 0, sizeof rule->flow.dl_dst);
> + break;
> +
> + case MFF_ETH_TYPE:
> + rule->wc.wildcards |= FWW_DL_TYPE;
> + rule->flow.dl_type = htons(0);
> + break;
> +
> + case MFF_VLAN_TCI:
> + cls_rule_set_dl_tci_masked(rule, htons(0), htons(0));
> + break;
> +
> + case MFF_VLAN_VID:
> + cls_rule_set_any_vid(rule);
> + break;
> +
> + case MFF_VLAN_PCP:
> + cls_rule_set_any_pcp(rule);
> + break;
> +
> + case MFF_IPV4_SRC:
> + case MFF_ARP_SPA:
> + cls_rule_set_nw_src_masked(rule, htonl(0), htonl(0));
> + break;
> +
> + case MFF_IPV4_DST:
> + case MFF_ARP_TPA:
> + cls_rule_set_nw_dst_masked(rule, htonl(0), htonl(0));
> + break;
> +
> + case MFF_IPV6_SRC:
> + memset(&rule->wc.ipv6_src_mask, 0, sizeof rule->wc.ipv6_src_mask);
> + memset(&rule->flow.ipv6_src, 0, sizeof rule->flow.ipv6_src);
> + break;
> +
> + case MFF_IPV6_DST:
> + memset(&rule->wc.ipv6_dst_mask, 0, sizeof rule->wc.ipv6_dst_mask);
> + memset(&rule->flow.ipv6_dst, 0, sizeof rule->flow.ipv6_dst);
> + break;
> +
> + case MFF_IP_PROTO:
> + rule->wc.wildcards |= FWW_NW_PROTO;
> + rule->flow.nw_proto = 0;
> + break;
> +
> + case MFF_IP_TOS:
> + rule->wc.wildcards |= FWW_NW_TOS;
> + rule->flow.nw_tos = 0;
> + break;
> +
> + case MFF_ARP_OP:
> + rule->wc.wildcards |= FWW_NW_PROTO;
> + rule->flow.nw_proto = 0;
> + break;
> +
> + case MFF_ARP_SHA:
> + case MFF_ND_SLL:
> + rule->wc.wildcards |= FWW_ARP_SHA;
> + memset(rule->flow.arp_sha, 0, sizeof rule->flow.arp_sha);
> + break;
> +
> + case MFF_ARP_THA:
> + case MFF_ND_TLL:
> + rule->wc.wildcards |= FWW_ARP_THA;
> + memset(rule->flow.arp_tha, 0, sizeof rule->flow.arp_tha);
> + break;
> +
> + case MFF_TCP_SRC:
> + case MFF_UDP_SRC:
> + case MFF_ICMP_TYPE:
> + rule->wc.wildcards |= FWW_TP_SRC;
> + rule->flow.tp_src = htons(0);
> + break;
> +
> + case MFF_TCP_DST:
> + case MFF_UDP_DST:
> + case MFF_ICMP_CODE:
> + rule->wc.wildcards |= FWW_TP_DST;
> + rule->flow.tp_dst = htons(0);
> + break;
> +
> + case MFF_ND_TARGET:
> + rule->wc.wildcards |= FWW_ND_TARGET;
> + memset(&rule->flow.nd_target, 0, sizeof rule->flow.nd_target);
> + break;
> +
> + case MFF_N_IDS:
> + default:
> + NOT_REACHED();
> + }
> +}
> +
> +/* Makes 'rule' match field 'mf' with the specified 'value' and 'mask'.
> + * 'value' specifies a value to match and 'mask' specifies a wildcard pattern,
> + * with a 1-bit indicating that the corresponding value bit must match and a
> + * 0-bit indicating a don't-care.
> + *
> + * If 'mask' is NULL or points to all-1-bits, then this call is equivalent to
> + * mf_set_value(mf, value, rule). If 'mask' points to all-0-bits, then this
> + * call is equivalent to mf_set_wild(mf, rule).
> + *
> + * 'mask' must be a valid mask for 'mf' (see mf_is_mask_valid()). The caller
> + * is responsible for ensuring that 'rule' meets 'mf''s prerequisites. */
> +void
> +mf_set(const struct mf_field *mf,
> + const union mf_value *value, const union mf_value *mask,
> + struct cls_rule *rule)
> +{
> + if (!mask || is_all_ones((const uint8_t *) mask, mf->n_bytes)) {
> + mf_set_value(mf, value, rule);
> + return;
> + } else if (is_all_zeros((const uint8_t *) mask, mf->n_bytes)) {
> + mf_set_wild(mf, rule);
> + return;
> + }
> +
> + switch (mf->id) {
> + case MFF_IN_PORT:
> + case MFF_ETH_SRC:
> + case MFF_ETH_TYPE:
> + case MFF_VLAN_VID:
> + case MFF_VLAN_PCP:
> + case MFF_IP_PROTO:
> + case MFF_IP_TOS:
> + case MFF_ARP_OP:
> + case MFF_ARP_SHA:
> + case MFF_ARP_THA:
> + case MFF_TCP_SRC:
> + case MFF_TCP_DST:
> + case MFF_UDP_SRC:
> + case MFF_UDP_DST:
> + case MFF_ICMP_TYPE:
> + case MFF_ICMP_CODE:
> + case MFF_ND_TARGET:
> + case MFF_ND_SLL:
> + case MFF_ND_TLL:
> + NOT_REACHED();
> +
> + case MFF_TUN_ID:
> + cls_rule_set_tun_id_masked(rule, value->be64, mask->be64);
> + break;
> +
> +#if FLOW_N_REGS > 0
> + case MFF_REG0:
> +#endif
> +#if FLOW_N_REGS > 1
> + case MFF_REG1:
> +#endif
> +#if FLOW_N_REGS > 2
> + case MFF_REG2:
> +#endif
> +#if FLOW_N_REGS > 3
> + case MFF_REG3:
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> + cls_rule_set_reg_masked(rule, mf->id - MFF_REG0,
> + ntohl(value->be32), ntohl(mask->be32));
> + break;
> +
> + case MFF_ETH_DST:
> + if (flow_wildcards_is_dl_dst_mask_valid(mask->mac)) {
> + cls_rule_set_dl_dst_masked(rule, value->mac, mask->mac);
> + }
> + break;
> +
> + case MFF_VLAN_TCI:
> + cls_rule_set_dl_tci_masked(rule, value->be16, mask->be16);
> + break;
> +
> + case MFF_IPV4_SRC:
> + cls_rule_set_nw_src_masked(rule, value->be32, mask->be32);
> + break;
> +
> + case MFF_IPV4_DST:
> + cls_rule_set_nw_dst_masked(rule, value->be32, mask->be32);
> + break;
> +
> + case MFF_IPV6_SRC:
> + cls_rule_set_ipv6_src_masked(rule, &value->ipv6, &mask->ipv6);
> + break;
> +
> + case MFF_IPV6_DST:
> + cls_rule_set_ipv6_dst_masked(rule, &value->ipv6, &mask->ipv6);
> + break;
> +
> + case MFF_ARP_SPA:
> + cls_rule_set_nw_src_masked(rule, value->be32, mask->be32);
> + break;
> +
> + case MFF_ARP_TPA:
> + cls_rule_set_nw_dst_masked(rule, value->be32, mask->be32);
> + break;
> +
> + case MFF_N_IDS:
> + default:
> + NOT_REACHED();
> + }
> +}
> +
> +/* Makes a subfield starting at bit offset 'ofs' and continuing for 'n_bits' in
> + * 'rule''s field 'mf' exactly match the 'n_bits' least-significant bits of
> + * 'x'.
> + *
> + * Example: suppose that 'mf' is originally the following 2-byte field in
> + * 'rule':
> + *
> + * value == 0xe00a == 2#1110000000001010
> + * mask == 0xfc3f == 2#1111110000111111
> + *
> + * The call mf_set_subfield(mf, 0x55, 8, 7, rule) would have the following
> + * effect (note that 0x55 is 2#1010101):
> + *
> + * value == 0xd50a == 2#1101010100001010
> + * mask == 0xff3f == 2#1111111100111111
> + *
> + * The caller is responsible for ensuring that the result will be a valid
> + * wildcard pattern for 'mf'. The caller is responsible for ensuring that
> + * 'rule' meets 'mf''s prerequisites. */
> +void
> +mf_set_subfield(const struct mf_field *mf, uint64_t x, unsigned int ofs,
> + unsigned int n_bits, struct cls_rule *rule)
> +{
> + if (ofs == 0 && mf->n_bytes * 8 == n_bits) {
> + union mf_value value;
> + int i;
> +
> + for (i = mf->n_bytes - 1; i >= 0; i--) {
> + ((uint8_t *) &value)[i] = x;
> + x >>= 8;
> + }
> + mf_set_value(mf, &value, rule);
> + } else {
> + union mf_value value, mask;
> + uint8_t *vp, *mp;
> + unsigned int byte_ofs;
> +
> + mf_get(mf, rule, &value, &mask);
> +
> + byte_ofs = mf->n_bytes - ofs / 8;
> + vp = &((uint8_t *) &value)[byte_ofs];
> + mp = &((uint8_t *) &mask)[byte_ofs];
> + if (ofs % 8) {
> + unsigned int chunk = MIN(8 - ofs % 8, n_bits);
> + uint8_t chunk_mask = ((1 << chunk) - 1) << (ofs % 8);
> +
> + *--vp &= ~chunk_mask;
> + *vp |= chunk_mask & (x << (ofs % 8));
> + *--mp |= chunk_mask;
> +
> + x >>= chunk;
> + n_bits -= chunk;
> + ofs += chunk;
> + }
> + while (n_bits >= 8) {
> + *--vp = x;
> + *--mp = 0xff;
> + x >>= 8;
> + n_bits -= 8;
> + ofs += 8;
> + }
> + if (n_bits) {
> + uint8_t chunk_mask = (1 << n_bits) - 1;
> +
> + *--vp &= ~chunk_mask;
> + *vp |= chunk_mask & x;
> + *--mp |= chunk_mask;
> + }
> +
> + mf_set(mf, &value, &mask, rule);
> + }
> +}
> +
> +/* Copies the value and wildcard bit pattern for 'mf' from 'rule' into the
> + * 'value' and 'mask', respectively. */
> +void
> +mf_get(const struct mf_field *mf, const struct cls_rule *rule,
> + union mf_value *value, union mf_value *mask)
> +{
> + mf_get_value(mf, &rule->flow, value);
> + mf_get_mask(mf, &rule->wc, mask);
> +}
> +
> +/* Assigns a random value for field 'mf' to 'value'. */
> +void
> +mf_random_value(const struct mf_field *mf, union mf_value *value)
> +{
> + random_bytes(value, mf->n_bytes);
> +
> + switch (mf->id) {
> + case MFF_TUN_ID:
> + case MFF_IN_PORT:
> +#if FLOW_N_REGS > 0
> + case MFF_REG0:
> +#endif
> +#if FLOW_N_REGS > 1
> + case MFF_REG1:
> +#endif
> +#if FLOW_N_REGS > 2
> + case MFF_REG2:
> +#endif
> +#if FLOW_N_REGS > 3
> + case MFF_REG3:
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> + case MFF_ETH_SRC:
> + case MFF_ETH_DST:
> + case MFF_ETH_TYPE:
> + case MFF_VLAN_TCI:
> + case MFF_IPV4_SRC:
> + case MFF_IPV4_DST:
> + case MFF_IPV6_SRC:
> + case MFF_IPV6_DST:
> + case MFF_IP_PROTO:
> + case MFF_ARP_SPA:
> + case MFF_ARP_TPA:
> + case MFF_ARP_SHA:
> + case MFF_ARP_THA:
> + case MFF_TCP_SRC:
> + case MFF_TCP_DST:
> + case MFF_UDP_SRC:
> + case MFF_UDP_DST:
> + case MFF_ICMP_TYPE:
> + case MFF_ICMP_CODE:
> + case MFF_ND_TARGET:
> + case MFF_ND_SLL:
> + case MFF_ND_TLL:
> + break;
> +
> + case MFF_IP_TOS:
> + value->u8 &= ~0x03;
> + break;
> +
> + case MFF_ARP_OP:
> + value->be16 &= htons(0xff);
> + break;
> +
> + case MFF_VLAN_VID:
> + value->be16 &= htons(VLAN_VID_MASK);
> + break;
> +
> + case MFF_VLAN_PCP:
> + value->u8 &= 0x07;
> + break;
> +
> + case MFF_N_IDS:
> + default:
> + NOT_REACHED();
> + }
> +}
> +
> +static char *
> +mf_from_integer_string(const struct mf_field *mf, const char *s,
> + uint8_t *valuep, uint8_t *maskp)
> +{
> + unsigned long long int integer, mask;
> + char *tail;
> + int i;
> +
> + errno = 0;
> + integer = strtoull(s, &tail, 0);
> + if (errno || (*tail != '\0' && *tail != '/')) {
> + goto syntax_error;
> + }
> +
> + if (*tail == '/') {
> + mask = strtoull(tail + 1, &tail, 0);
> + if (errno || *tail != '\0') {
> + goto syntax_error;
> + }
> + } else {
> + mask = ULLONG_MAX;
> + }
> +
> + for (i = mf->n_bytes - 1; i >= 0; i--) {
> + valuep[i] = integer;
> + maskp[i] = mask;
> + integer >>= 8;
> + mask >>= 8;
> + }
> + if (integer) {
> + return xasprintf("%s: value too large for %u-byte field %s",
> + s, mf->n_bytes, mf->name);
> + }
> + return NULL;
> +
> +syntax_error:
> + return xasprintf("%s: bad syntax for %s", s, mf->name);
> +}
> +
> +static char *
> +mf_from_ethernet_string(const struct mf_field *mf, const char *s,
> + uint8_t mac[ETH_ADDR_LEN],
> + uint8_t mask[ETH_ADDR_LEN])
> +{
> + assert(mf->n_bytes == ETH_ADDR_LEN);
> +
> + switch (sscanf(s, ETH_ADDR_SCAN_FMT"/"ETH_ADDR_SCAN_FMT,
> + ETH_ADDR_SCAN_ARGS(mac), ETH_ADDR_SCAN_ARGS(mask))){
> + case ETH_ADDR_SCAN_COUNT * 2:
> + return NULL;
> +
> + case ETH_ADDR_SCAN_COUNT:
> + memset(mask, 0xff, ETH_ADDR_LEN);
> + return NULL;
> +
> + default:
> + return xasprintf("%s: invalid Ethernet address", s);
> + }
> +}
> +
> +static char *
> +mf_from_ipv4_string(const struct mf_field *mf, const char *s,
> + ovs_be32 *ip, ovs_be32 *mask)
> +{
> + int prefix;
> +
> + assert(mf->n_bytes == sizeof *ip);
> +
> + if (sscanf(s, IP_SCAN_FMT"/"IP_SCAN_FMT,
> + IP_SCAN_ARGS(ip), IP_SCAN_ARGS(mask)) == IP_SCAN_COUNT * 2) {
> + /* OK. */
> + } else if (sscanf(s, IP_SCAN_FMT"/%d",
> + IP_SCAN_ARGS(ip), &prefix) == IP_SCAN_COUNT + 1) {
> + if (prefix <= 0 || prefix > 32) {
> + return xasprintf("%s: network prefix bits not between 1 and "
> + "32", s);
> + } else if (prefix == 32) {
> + *mask = htonl(UINT32_MAX);
> + } else {
> + *mask = htonl(((1u << prefix) - 1) << (32 - prefix));
> + }
> + } else if (sscanf(s, IP_SCAN_FMT, IP_SCAN_ARGS(ip)) == IP_SCAN_COUNT) {
> + *mask = htonl(UINT32_MAX);
> + } else {
> + return xasprintf("%s: invalid IP address", s);
> + }
> + return NULL;
> +}
> +
> +static char *
> +mf_from_ipv6_string(const struct mf_field *mf, const char *s,
> + struct in6_addr *value, struct in6_addr *mask)
> +{
> + char *str = xstrdup(s);
> + char *save_ptr = NULL;
> + const char *name, *netmask;
> + int retval;
> +
> + assert(mf->n_bytes == sizeof *value);
> +
> + name = strtok_r(str, "/", &save_ptr);
> + retval = name ? lookup_ipv6(name, value) : EINVAL;
> + if (retval) {
> + char *err;
> +
> + err = xasprintf("%s: could not convert to IPv6 address", str);
> + free(str);
> +
> + return err;
> + }
> +
> + netmask = strtok_r(NULL, "/", &save_ptr);
> + if (netmask) {
> + int prefix = atoi(netmask);
> + if (prefix <= 0 || prefix > 128) {
> + free(str);
> + return xasprintf("%s: prefix bits not between 1 and 128", s);
> + } else {
> + *mask = ipv6_create_mask(prefix);
> + }
> + } else {
> + *mask = in6addr_exact;
> + }
> + free(str);
> +
> + return NULL;
> +}
> +
> +static char *
> +mf_from_ofp_port_string(const struct mf_field *mf, const char *s,
> + ovs_be16 *valuep, ovs_be16 *maskp)
> +{
> + uint16_t port;
> +
> + assert(mf->n_bytes == sizeof(ovs_be16));
> + if (ofputil_port_from_string(s, &port)) {
> + *valuep = htons(port);
> + *maskp = htons(UINT16_MAX);
> + return NULL;
> + } else {
> + return mf_from_integer_string(mf, s,
> + (uint8_t *) valuep, (uint8_t *) maskp);
> + }
> +}
> +
> +/* Parses 's', a string value for field 'mf', into 'value' and 'mask'. Returns
> + * NULL if successful, otherwise a malloc()'d string describing the error. */
> +char *
> +mf_parse(const struct mf_field *mf, const char *s,
> + union mf_value *value, union mf_value *mask)
> +{
> + if (!strcasecmp(s, "any") || !strcmp(s, "*")) {
> + memset(value, 0, mf->n_bytes);
> + memset(mask, 0, mf->n_bytes);
> + return NULL;
> + }
> +
> + switch (mf->string) {
> + case MFS_DECIMAL:
> + case MFS_HEXADECIMAL:
> + return mf_from_integer_string(mf, s,
> + (uint8_t *) value, (uint8_t *) mask);
> +
> + case MFS_ETHERNET:
> + return mf_from_ethernet_string(mf, s, value->mac, mask->mac);
> +
> + case MFS_IPV4:
> + return mf_from_ipv4_string(mf, s, &value->be32, &mask->be32);
> +
> + case MFS_IPV6:
> + return mf_from_ipv6_string(mf, s, &value->ipv6, &mask->ipv6);
> +
> + case MFS_OFP_PORT:
> + return mf_from_ofp_port_string(mf, s, &value->be16, &mask->be16);
> + }
> + NOT_REACHED();
> +}
> +
> +static void
> +mf_format_integer_string(const struct mf_field *mf, const uint8_t *valuep,
> + const uint8_t *maskp, struct ds *s)
> +{
> + unsigned long long int integer;
> + int i;
> +
> + assert(mf->n_bytes <= 8);
> +
> + integer = 0;
> + for (i = 0; i < mf->n_bytes; i++) {
> + integer = (integer << 8) | valuep[i];
> + }
> + if (mf->string == MFS_HEXADECIMAL) {
> + ds_put_format(s, "%#llx", integer);
> + } else {
> + ds_put_format(s, "%lld", integer);
> + }
> +
> + if (maskp) {
> + unsigned long long int mask;
> +
> + mask = 0;
> + for (i = 0; i < mf->n_bytes; i++) {
> + mask = (mask << 8) | maskp[i];
> + }
> +
> + /* I guess we could write the mask in decimal for MFS_DECIMAL but I'm
> + * not sure that that a bit-mask written in decimal is ever easier to
> + * understand than the same bit-mask written in hexadecimal. */
> + ds_put_format(s, "/%#llx", mask);
> + }
> +}
> +
> +/* Appends to 's' a string representation of field 'mf' whose value is in
> + * 'value' and 'mask'. 'mask' may be NULL to indicate an exact match. */
> +void
> +mf_format(const struct mf_field *mf,
> + const union mf_value *value, const union mf_value *mask,
> + struct ds *s)
> +{
> + if (mask) {
> + if (is_all_zeros((const uint8_t *) mask, mf->n_bytes)) {
> + ds_put_cstr(s, "ANY");
> + return;
> + } else if (is_all_ones((const uint8_t *) mask, mf->n_bytes)) {
> + mask = NULL;
> + }
> + }
> +
> + switch (mf->string) {
> + case MFS_OFP_PORT:
> + if (!mask) {
> + ofputil_format_port(ntohs(value->be16), s);
> + break;
> + }
> + /* fall through */
> + case MFS_DECIMAL:
> + case MFS_HEXADECIMAL:
> + mf_format_integer_string(mf, (uint8_t *) value, (uint8_t *) mask, s);
> + break;
> +
> + case MFS_ETHERNET:
> + ds_put_format(s, ETH_ADDR_FMT, ETH_ADDR_ARGS(value->mac));
> + if (mask) {
> + ds_put_format(s, "/"ETH_ADDR_FMT, ETH_ADDR_ARGS(mask->mac));
> + }
> + break;
> +
> + case MFS_IPV4:
> + ip_format_masked(value->be32, mask ? mask->be32 : htonl(UINT32_MAX),
> + s);
> + break;
> +
> + case MFS_IPV6:
> + print_ipv6_masked(s, &value->ipv6, mask ? &mask->ipv6 : NULL);
> + break;
> +
> + default:
> + NOT_REACHED();
> + }
> +}
> diff --git a/lib/meta-flow.h b/lib/meta-flow.h
> new file mode 100644
> index 0000000..157aa7e
> --- /dev/null
> +++ b/lib/meta-flow.h
> @@ -0,0 +1,219 @@
> +/*
> + * Copyright (c) 2011 Nicira Networks.
> + *
> + * Licensed under the Apache License, Version 2.0 (the "License");
> + * you may not use this file except in compliance with the License.
> + * You may obtain a copy of the License at:
> + *
> + * http://www.apache.org/licenses/LICENSE-2.0
> + *
> + * Unless required by applicable law or agreed to in writing, software
> + * distributed under the License is distributed on an "AS IS" BASIS,
> + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
> + * See the License for the specific language governing permissions and
> + * limitations under the License.
> + */
> +
> +#ifndef META_FLOW_H
> +#define META_FLOW_H 1
> +
> +#include <netinet/ip6.h>
> +#include "flow.h"
> +#include "packets.h"
> +
> +struct cls_rule;
> +struct ds;
> +
> +/* The comment on each of these indicates the member in "union mf_value" used
> + * to represent its value. */
> +enum mf_field_id {
> + /* Metadata. */
> + MFF_TUN_ID, /* be64 */
> + MFF_IN_PORT, /* be16 */
> +
> +#if FLOW_N_REGS > 0
> + MFF_REG0, /* be32 */
> +#endif
> +#if FLOW_N_REGS > 1
> + MFF_REG1, /* be32 */
> +#endif
> +#if FLOW_N_REGS > 2
> + MFF_REG2, /* be32 */
> +#endif
> +#if FLOW_N_REGS > 3
> + MFF_REG3, /* be32 */
> +#endif
> +#if FLOW_N_REGS > 4
> +#error
> +#endif
> +
> + /* L2. */
> + MFF_ETH_SRC, /* mac */
> + MFF_ETH_DST, /* mac */
> + MFF_ETH_TYPE, /* be16 */
> +
> + MFF_VLAN_TCI, /* be16 */
> + MFF_VLAN_VID, /* be16 */
> + MFF_VLAN_PCP, /* u8 */
> +
> + /* L3. */
> + MFF_IPV4_SRC, /* be32 */
> + MFF_IPV4_DST, /* be32 */
> +
> + MFF_IPV6_SRC, /* ipv6 */
> + MFF_IPV6_DST, /* ipv6 */
> +
> + MFF_IP_PROTO, /* u8 (used for IPv4 or IPv6) */
> + MFF_IP_TOS, /* u8 (used for IPv4 or IPv6) */
> +
> + MFF_ARP_OP, /* be16 */
> + MFF_ARP_SPA, /* be32 */
> + MFF_ARP_TPA, /* be32 */
> + MFF_ARP_SHA, /* mac */
> + MFF_ARP_THA, /* mac */
> +
> + /* L4. */
> + MFF_TCP_SRC, /* be16 (used for IPv4 or IPv6) */
> + MFF_TCP_DST, /* be16 (used for IPv4 or IPv6) */
> +
> + MFF_UDP_SRC, /* be16 (used for IPv4 or IPv6) */
> + MFF_UDP_DST, /* be16 (used for IPv4 or IPv6) */
> +
> + MFF_ICMP_TYPE, /* u8 (used for IPv4 or IPv6) */
> + MFF_ICMP_CODE, /* u8 (used for IPv4 or IPv6) */
> +
> + /* ICMPv6 Neighbor Discovery. */
> + MFF_ND_TARGET, /* ipv6 */
> + MFF_ND_SLL, /* mac */
> + MFF_ND_TLL, /* mac */
> +
> + MFF_N_IDS
> +};
> +
> +/* Prerequisites for matching a field.
> + *
> + * A field may only be matched if the correct lower-level protocols are also
> + * matched. For example, the TCP port may be matched only if the Ethernet type
> + * matches ETH_TYPE_IP and the IP protocol matches IPPROTO_TCP. */
> +enum mf_prereqs {
> + MFP_NONE,
> +
> + /* L2 requirements. */
> + MFP_ARP,
> + MFP_IPV4,
> + MFP_IPV6,
> + MFP_IP_ANY,
> +
> + /* L2+L3 requirements. */
> + MFP_TCP, /* On IPv4 or IPv6. */
> + MFP_UDP, /* On IPv4 or IPv6. */
> + MFP_ICMPV6,
> + MFP_ICMP_ANY,
> +
> + /* L2+L3+L4 requirements. */
> + MFP_ND,
> + MFP_ND_SOLICIT,
> + MFP_ND_ADVERT
> +};
> +
> +/* Forms of partial-field masking allowed for a field.
> + *
> + * Every field may be masked as a whole. */
> +enum mf_maskable {
> + MFM_NONE, /* No sub-field masking. */
> + MFM_FULLY, /* Every bit is individually maskable. */
> + MFM_CIDR, /* Contiguous low-order bits may be masked. */
> + MFM_MCAST /* Byte 0, bit 0 is separately maskable. */
> +};
> +
> +/* How to format or parse a field's value. */
> +enum mf_string {
> + /* Integer formats.
> + *
> + * The particular MFS_* constant sets the output format. On input, either
> + * decimal or hexadecimal (prefixed with 0x) is accepted. */
> + MFS_DECIMAL,
> + MFS_HEXADECIMAL,
> +
> + /* Other formats. */
> + MFS_ETHERNET,
> + MFS_IPV4,
> + MFS_IPV6,
> + MFS_OFP_PORT /* An OpenFlow port number or name. */
> +};
> +
> +struct mf_field {
> + /* Identification. */
> + enum mf_field_id id; /* MFF_*. */
> + const char *name; /* Name of this field, e.g. "eth_type". */
> + const char *extra_name; /* Alternate name, e.g. "dl_type", or NULL. */
> +
> + /* Size.
> + *
> + * Most fields have n_bytes * 8 == n_bits. There are only two exceptions
> + * currently: "dl_vlan" is 2 bytes but only 12 bits, and "dl_vlan_pcp" is
> + * 1 byte but only 3 bits. */
> + unsigned int n_bytes; /* Width of the field in bytes. */
> + unsigned int n_bits; /* Number of significant bits in field. */
> +
> + /* Properties. */
> + enum mf_maskable maskable;
> + flow_wildcards_t fww_bit; /* Either 0 or exactly one FWW_* bit. */
> + enum mf_string string;
> + enum mf_prereqs prereqs;
> + uint32_t nxm_header; /* An NXM_* constant (a few fields have 0). */
> +};
> +
> +/* The representation of a field's value. */
> +union mf_value {
> + uint8_t u8;
> + ovs_be16 be16;
> + ovs_be32 be32;
> + ovs_be64 be64;
> + uint8_t mac[ETH_ADDR_LEN];
> + struct in6_addr ipv6;
> +};
> +
> +/* Finding mf_fields. */
> +const struct mf_field *mf_from_id(enum mf_field_id);
> +const struct mf_field *mf_from_name(const char *name);
> +
> +/* Inspecting wildcarded bits. */
> +bool mf_is_all_wild(const struct mf_field *, const struct flow_wildcards *);
> +
> +bool mf_is_mask_valid(const struct mf_field *, const union mf_value *mask);
> +void mf_get_mask(const struct mf_field *, const struct flow_wildcards *,
> + union mf_value *mask);
> +
> +/* Prerequisites. */
> +bool mf_are_prereqs_ok(const struct mf_field *, const struct flow *);
> +void mf_force_prereqs(const struct mf_field *, struct cls_rule *);
> +
> +/* Field values. */
> +bool mf_is_value_valid(const struct mf_field *, const union mf_value *value);
> +
> +void mf_get_value(const struct mf_field *, const struct flow *,
> + union mf_value *value);
> +void mf_set_value(const struct mf_field *, const union mf_value *value,
> + struct cls_rule *);
> +
> +void mf_get(const struct mf_field *, const struct cls_rule *,
> + union mf_value *value, union mf_value *mask);
> +void mf_set(const struct mf_field *,
> + const union mf_value *value, const union mf_value *mask,
> + struct cls_rule *);
> +void mf_set_subfield(const struct mf_field *, uint64_t value, unsigned int ofs,
> + unsigned int n_bits, struct cls_rule *);
> +
> +void mf_set_wild(const struct mf_field *, struct cls_rule *);
> +
> +void mf_random_value(const struct mf_field *, union mf_value *value);
> +
> +/* Parsing and formatting. */
> +char *mf_parse(const struct mf_field *, const char *,
> + union mf_value *value, union mf_value *mask);
> +void mf_format(const struct mf_field *,
> + const union mf_value *value, const union mf_value *mask,
> + struct ds *);
> +
> +#endif /* meta-flow.h */
> diff --git a/lib/nx-match.c b/lib/nx-match.c
> index 422ce76..486f392 100644
> --- a/lib/nx-match.c
> +++ b/lib/nx-match.c
> @@ -22,6 +22,7 @@
>
> #include "classifier.h"
> #include "dynamic-string.h"
> +#include "meta-flow.h"
> #include "ofp-util.h"
> #include "ofpbuf.h"
> #include "openflow/nicira-ext.h"
> @@ -48,7 +49,7 @@ enum {
> /* For each NXM_* field, define NFI_NXM_* as consecutive integers starting from
> * zero. */
> enum nxm_field_index {
> -#define DEFINE_FIELD(HEADER, WILDCARD, DL_TYPES, NW_PROTO, WRITABLE) \
> +#define DEFINE_FIELD(HEADER, MFF_ID, WRITABLE) \
> NFI_NXM_##HEADER,
> #include "nx-match.def"
> N_NXM_FIELDS
> @@ -58,20 +59,17 @@ struct nxm_field {
> struct hmap_node hmap_node;
> enum nxm_field_index index; /* NFI_* value. */
> uint32_t header; /* NXM_* value. */
> - flow_wildcards_t wildcard; /* FWW_* bit, if exactly one. */
> - ovs_be16 dl_type[N_NXM_DL_TYPES]; /* dl_type prerequisites. */
> - uint8_t nw_proto; /* nw_proto prerequisite, if nonzero. */
> + enum mf_field_id mf_id; /* MFF_* value. */
> + const struct mf_field *mf;
> const char *name; /* "NXM_*" string. */
> bool writable; /* Writable with NXAST_REG_{MOVE,LOAD}? */
> };
>
> -
> /* All the known fields. */
> static struct nxm_field nxm_fields[N_NXM_FIELDS] = {
> -#define DEFINE_FIELD(HEADER, WILDCARD, DL_TYPES, NW_PROTO, WRITABLE) \
> - { HMAP_NODE_NULL_INITIALIZER, NFI_NXM_##HEADER, NXM_##HEADER, WILDCARD, \
> - DL_CONVERT DL_TYPES, NW_PROTO, "NXM_" #HEADER, WRITABLE },
> -#define DL_CONVERT(T1, T2) { CONSTANT_HTONS(T1), CONSTANT_HTONS(T2) }
> +#define DEFINE_FIELD(HEADER, MFF_ID, WRITABLE) \
> + { HMAP_NODE_NULL_INITIALIZER, NFI_NXM_##HEADER, NXM_##HEADER, \
> + MFF_ID, NULL, "NXM_" #HEADER, WRITABLE },
> #include "nx-match.def"
> };
>
> @@ -88,12 +86,13 @@ nxm_init(void)
> struct nxm_field *f = &nxm_fields[i];
> hmap_insert(&all_nxm_fields, &f->hmap_node,
> hash_int(f->header, 0));
> + f->mf = mf_from_id(f->mf_id);
> }
>
> /* Verify that the header values are unique (duplicate "case" values
> * cause a compile error). */
> switch (0) {
> -#define DEFINE_FIELD(HEADER, WILDCARD, DL_TYPE, NW_PROTO, WRITABLE) \
> +#define DEFINE_FIELD(HEADER, MFF_ID, WRITABLE) \
> case NXM_##HEADER: break;
> #include "nx-match.def"
> }
> @@ -133,318 +132,15 @@ nxm_field_bits(uint32_t header)
> {
> return nxm_field_bytes(header) * 8;
> }
> -
> -/* nx_pull_match() and helpers. */
> -
> -static int
> -parse_nx_reg(const struct nxm_field *f,
> - struct flow *flow, struct flow_wildcards *wc,
> - const void *value, const void *maskp)
> -{
> - int idx = NXM_NX_REG_IDX(f->header);
> - if (wc->reg_masks[idx]) {
> - return NXM_DUP_TYPE;
> - } else {
> - flow_wildcards_set_reg_mask(wc, idx,
> - (NXM_HASMASK(f->header)
> - ? ntohl(get_unaligned_be32(maskp))
> - : UINT32_MAX));
> - flow->regs[idx] = ntohl(get_unaligned_be32(value));
> - flow->regs[idx] &= wc->reg_masks[idx];
> - return 0;
> - }
> -}
> -
> -static int
> -parse_nxm_entry(struct cls_rule *rule, const struct nxm_field *f,
> - const void *value, const void *mask)
> -{
> - struct flow_wildcards *wc = &rule->wc;
> - struct flow *flow = &rule->flow;
> -
> - BUILD_ASSERT_DECL(FLOW_WC_SEQ == 1);
> -
> - switch (f->index) {
> - /* Metadata. */
> - case NFI_NXM_OF_IN_PORT:
> - flow->in_port = ntohs(get_unaligned_be16(value));
> - return 0;
> -
> - /* Ethernet header. */
> - case NFI_NXM_OF_ETH_DST:
> - if ((wc->wildcards & (FWW_DL_DST | FWW_ETH_MCAST))
> - != (FWW_DL_DST | FWW_ETH_MCAST)) {
> - return NXM_DUP_TYPE;
> - } else {
> - wc->wildcards &= ~(FWW_DL_DST | FWW_ETH_MCAST);
> - memcpy(flow->dl_dst, value, ETH_ADDR_LEN);
> - return 0;
> - }
> - case NFI_NXM_OF_ETH_DST_W:
> - if ((wc->wildcards & (FWW_DL_DST | FWW_ETH_MCAST))
> - != (FWW_DL_DST | FWW_ETH_MCAST)) {
> - return NXM_DUP_TYPE;
> - } else if (flow_wildcards_is_dl_dst_mask_valid(mask)) {
> - cls_rule_set_dl_dst_masked(rule, value, mask);
> - return 0;
> - } else {
> - return NXM_BAD_MASK;
> - }
> - case NFI_NXM_OF_ETH_SRC:
> - memcpy(flow->dl_src, value, ETH_ADDR_LEN);
> - return 0;
> - case NFI_NXM_OF_ETH_TYPE:
> - flow->dl_type = ofputil_dl_type_from_openflow(get_unaligned_be16(value));
> - return 0;
> -
> - /* 802.1Q header. */
> - case NFI_NXM_OF_VLAN_TCI:
> - if (wc->vlan_tci_mask) {
> - return NXM_DUP_TYPE;
> - } else {
> - cls_rule_set_dl_tci(rule, get_unaligned_be16(value));
> - return 0;
> - }
> - case NFI_NXM_OF_VLAN_TCI_W:
> - if (wc->vlan_tci_mask) {
> - return NXM_DUP_TYPE;
> - } else {
> - cls_rule_set_dl_tci_masked(rule, get_unaligned_be16(value),
> - get_unaligned_be16(mask));
> - return 0;
> - }
> -
> - /* IP header. */
> - case NFI_NXM_OF_IP_TOS:
> - if (*(uint8_t *) value & 0x03) {
> - return NXM_BAD_VALUE;
> - } else {
> - flow->nw_tos = *(uint8_t *) value;
> - return 0;
> - }
> - case NFI_NXM_OF_IP_PROTO:
> - flow->nw_proto = *(uint8_t *) value;
> - return 0;
> -
> - /* IP addresses in IP and ARP headers. */
> - case NFI_NXM_OF_IP_SRC:
> - case NFI_NXM_OF_ARP_SPA:
> - if (wc->nw_src_mask) {
> - return NXM_DUP_TYPE;
> - } else {
> - cls_rule_set_nw_src(rule, get_unaligned_be32(value));
> - return 0;
> - }
> - case NFI_NXM_OF_IP_SRC_W:
> - case NFI_NXM_OF_ARP_SPA_W:
> - if (wc->nw_src_mask) {
> - return NXM_DUP_TYPE;
> - } else {
> - ovs_be32 ip = get_unaligned_be32(value);
> - ovs_be32 netmask = get_unaligned_be32(mask);
> - if (!cls_rule_set_nw_src_masked(rule, ip, netmask)) {
> - return NXM_BAD_MASK;
> - }
> - return 0;
> - }
> - case NFI_NXM_OF_IP_DST:
> - case NFI_NXM_OF_ARP_TPA:
> - if (wc->nw_dst_mask) {
> - return NXM_DUP_TYPE;
> - } else {
> - cls_rule_set_nw_dst(rule, get_unaligned_be32(value));
> - return 0;
> - }
> - case NFI_NXM_OF_IP_DST_W:
> - case NFI_NXM_OF_ARP_TPA_W:
> - if (wc->nw_dst_mask) {
> - return NXM_DUP_TYPE;
> - } else {
> - ovs_be32 ip = get_unaligned_be32(value);
> - ovs_be32 netmask = get_unaligned_be32(mask);
> - if (!cls_rule_set_nw_dst_masked(rule, ip, netmask)) {
> - return NXM_BAD_MASK;
> - }
> - return 0;
> - }
> -
> - /* IPv6 addresses. */
> - case NFI_NXM_NX_IPV6_SRC:
> - if (!ipv6_mask_is_any(&wc->ipv6_src_mask)) {
> - return NXM_DUP_TYPE;
> - } else {
> - struct in6_addr ipv6;
> - memcpy(&ipv6, value, sizeof ipv6);
> - cls_rule_set_ipv6_src(rule, &ipv6);
> - return 0;
> - }
> - case NFI_NXM_NX_IPV6_SRC_W:
> - if (!ipv6_mask_is_any(&wc->ipv6_src_mask)) {
> - return NXM_DUP_TYPE;
> - } else {
> - struct in6_addr ipv6, netmask;
> - memcpy(&ipv6, value, sizeof ipv6);
> - memcpy(&netmask, mask, sizeof netmask);
> - if (!cls_rule_set_ipv6_src_masked(rule, &ipv6, &netmask)) {
> - return NXM_BAD_MASK;
> - }
> - return 0;
> - }
> - case NFI_NXM_NX_IPV6_DST:
> - if (!ipv6_mask_is_any(&wc->ipv6_dst_mask)) {
> - return NXM_DUP_TYPE;
> - } else {
> - struct in6_addr ipv6;
> - memcpy(&ipv6, value, sizeof ipv6);
> - cls_rule_set_ipv6_dst(rule, &ipv6);
> - return 0;
> - }
> - case NFI_NXM_NX_IPV6_DST_W:
> - if (!ipv6_mask_is_any(&wc->ipv6_dst_mask)) {
> - return NXM_DUP_TYPE;
> - } else {
> - struct in6_addr ipv6, netmask;
> - memcpy(&ipv6, value, sizeof ipv6);
> - memcpy(&netmask, mask, sizeof netmask);
> - if (!cls_rule_set_ipv6_dst_masked(rule, &ipv6, &netmask)) {
> - return NXM_BAD_MASK;
> - }
> - return 0;
> - }
> -
> - /* TCP header. */
> - case NFI_NXM_OF_TCP_SRC:
> - flow->tp_src = get_unaligned_be16(value);
> - return 0;
> - case NFI_NXM_OF_TCP_DST:
> - flow->tp_dst = get_unaligned_be16(value);
> - return 0;
> -
> - /* UDP header. */
> - case NFI_NXM_OF_UDP_SRC:
> - flow->tp_src = get_unaligned_be16(value);
> - return 0;
> - case NFI_NXM_OF_UDP_DST:
> - flow->tp_dst = get_unaligned_be16(value);
> - return 0;
> -
> - /* ICMP header. */
> - case NFI_NXM_OF_ICMP_TYPE:
> - flow->tp_src = htons(*(uint8_t *) value);
> - return 0;
> - case NFI_NXM_OF_ICMP_CODE:
> - flow->tp_dst = htons(*(uint8_t *) value);
> - return 0;
> -
> - /* ICMPv6 header. */
> - case NFI_NXM_NX_ICMPV6_TYPE:
> - flow->tp_src = htons(*(uint8_t *) value);
> - return 0;
> - case NFI_NXM_NX_ICMPV6_CODE:
> - flow->tp_dst = htons(*(uint8_t *) value);
> - return 0;
> -
> - /* IPv6 Neighbor Discovery. */
> - case NFI_NXM_NX_ND_TARGET:
> - /* We've already verified that it's an ICMPv6 message. */
> - if ((flow->tp_src != htons(ND_NEIGHBOR_SOLICIT))
> - && (flow->tp_src != htons(ND_NEIGHBOR_ADVERT))) {
> - return NXM_BAD_PREREQ;
> - }
> - memcpy(&flow->nd_target, value, sizeof flow->nd_target);
> - return 0;
> - case NFI_NXM_NX_ND_SLL:
> - /* We've already verified that it's an ICMPv6 message. */
> - if (flow->tp_src != htons(ND_NEIGHBOR_SOLICIT)) {
> - return NXM_BAD_PREREQ;
> - }
> - memcpy(flow->arp_sha, value, ETH_ADDR_LEN);
> - return 0;
> - case NFI_NXM_NX_ND_TLL:
> - /* We've already verified that it's an ICMPv6 message. */
> - if (flow->tp_src != htons(ND_NEIGHBOR_ADVERT)) {
> - return NXM_BAD_PREREQ;
> - }
> - memcpy(flow->arp_tha, value, ETH_ADDR_LEN);
> - return 0;
> -
> - /* ARP header. */
> - case NFI_NXM_OF_ARP_OP:
> - if (ntohs(get_unaligned_be16(value)) > 255) {
> - return NXM_BAD_VALUE;
> - } else {
> - flow->nw_proto = ntohs(get_unaligned_be16(value));
> - return 0;
> - }
> -
> - case NFI_NXM_NX_ARP_SHA:
> - memcpy(flow->arp_sha, value, ETH_ADDR_LEN);
> - return 0;
> - case NFI_NXM_NX_ARP_THA:
> - memcpy(flow->arp_tha, value, ETH_ADDR_LEN);
> - return 0;
> -
> - /* Tunnel ID. */
> - case NFI_NXM_NX_TUN_ID:
> - if (wc->tun_id_mask) {
> - return NXM_DUP_TYPE;
> - } else {
> - cls_rule_set_tun_id(rule, get_unaligned_be64(value));
> - return 0;
> - }
> - case NFI_NXM_NX_TUN_ID_W:
> - if (wc->tun_id_mask) {
> - return NXM_DUP_TYPE;
> - } else {
> - ovs_be64 tun_id = get_unaligned_be64(value);
> - ovs_be64 tun_mask = get_unaligned_be64(mask);
> - cls_rule_set_tun_id_masked(rule, tun_id, tun_mask);
> - return 0;
> - }
> -
> - /* Registers. */
> - case NFI_NXM_NX_REG0:
> - case NFI_NXM_NX_REG0_W:
> -#if FLOW_N_REGS >= 2
> - case NFI_NXM_NX_REG1:
> - case NFI_NXM_NX_REG1_W:
> -#endif
> -#if FLOW_N_REGS >= 3
> - case NFI_NXM_NX_REG2:
> - case NFI_NXM_NX_REG2_W:
> -#endif
> -#if FLOW_N_REGS >= 4
> - case NFI_NXM_NX_REG3:
> - case NFI_NXM_NX_REG3_W:
> -#endif
> -#if FLOW_N_REGS > 4
> -#error
> -#endif
> - return parse_nx_reg(f, flow, wc, value, mask);
> -
> - case N_NXM_FIELDS:
> - NOT_REACHED();
> - }
> - NOT_REACHED();
> -}
>
> -static bool
> -nxm_prereqs_ok(const struct nxm_field *field, const struct flow *flow)
> +const struct mf_field *
> +nxm_field_to_mf_field(uint32_t header)
> {
> - if (field->nw_proto && field->nw_proto != flow->nw_proto) {
> - return false;
> - }
> -
> - if (!field->dl_type[0]) {
> - return true;
> - } else if (field->dl_type[0] == flow->dl_type) {
> - return true;
> - } else if (field->dl_type[1] && field->dl_type[1] == flow->dl_type) {
> - return true;
> - }
> -
> - return false;
> + const struct nxm_field *f = nxm_field_lookup(header);
> + return f ? f->mf : NULL;
> }
> +
> +/* nx_pull_match() and helpers. */
>
> static uint32_t
> nx_entry_ok(const void *p, unsigned int match_len)
> @@ -501,17 +197,33 @@ nx_pull_match(struct ofpbuf *b, unsigned int match_len, uint16_t priority,
> f = nxm_field_lookup(header);
> if (!f) {
> error = NXM_BAD_TYPE;
> - } else if (!nxm_prereqs_ok(f, &rule->flow)) {
> + } else if (!mf_are_prereqs_ok(f->mf, &rule->flow)) {
> error = NXM_BAD_PREREQ;
> - } else if (f->wildcard && !(rule->wc.wildcards & f->wildcard)) {
> + } else if (!mf_is_all_wild(f->mf, &rule->wc)) {
> error = NXM_DUP_TYPE;
> } else {
> - /* 'hasmask' and 'length' are known to be correct at this point
> - * because they are included in 'header' and nxm_field_lookup()
> - * checked them already. */
> - rule->wc.wildcards &= ~f->wildcard;
> - error = parse_nxm_entry(rule, f, p + 4, p + 4 + length / 2);
> + unsigned int width = f->mf->n_bytes;
> + union mf_value value;
> +
> + memcpy(&value, p + 4, width);
> + if (!mf_is_value_valid(f->mf, &value)) {
> + error = NXM_BAD_VALUE;
> + } else if (!NXM_HASMASK(header)) {
> + error = 0;
> + mf_set_value(f->mf, &value, rule);
> + } else {
> + union mf_value mask;
> +
> + memcpy(&mask, p + 4 + width, width);
> + if (!mf_is_mask_valid(f->mf, &mask)) {
> + error = NXM_BAD_MASK;
> + } else {
> + error = 0;
> + mf_set(f->mf, &value, &mask, rule);
> + }
> + }
> }
> +
> if (error) {
> VLOG_DBG_RL(&rl, "bad nxm_entry with vendor=%"PRIu32", "
> "field=%"PRIu32", hasmask=%"PRIu32", type=%"PRIu32" "
> @@ -522,7 +234,6 @@ nx_pull_match(struct ofpbuf *b, unsigned int match_len, uint16_t priority,
> return error;
> }
>
> -
> p += 4 + length;
> match_len -= 4 + length;
> }
> @@ -1177,8 +888,10 @@ nxm_format_reg_load(const struct nx_action_reg_load *load, struct ds *s)
> static bool
> field_ok(const struct nxm_field *f, const struct flow *flow, int size)
> {
> - return (f && !NXM_HASMASK(f->header)
> - && nxm_prereqs_ok(f, flow) && size <= nxm_field_bits(f->header));
> + return (f
> + && !NXM_HASMASK(f->header)
> + && mf_are_prereqs_ok(f->mf, flow)
> + && size <= nxm_field_bits(f->header));
> }
>
> int
> diff --git a/lib/nx-match.def b/lib/nx-match.def
> index 3fcb59c..65f4667 100644
> --- a/lib/nx-match.def
> +++ b/lib/nx-match.def
> @@ -14,58 +14,51 @@
> * limitations under the License.
> */
>
> -#define N_NXM_DL_TYPES 2
> +#define DEFINE_FIELD_M(HEADER, MFF_ID, WRITABLE) \
> + DEFINE_FIELD(HEADER, MFF_ID, WRITABLE) \
> + DEFINE_FIELD(HEADER##_W, MFF_ID, false)
>
> -#define NXM_DL_NONE (0, 0)
> -#define NXM_DL_ARP (ETH_TYPE_ARP, 0)
> -#define NXM_DL_IP (ETH_TYPE_IP, 0)
> -#define NXM_DL_IPV6 (ETH_TYPE_IPV6, 0)
> -#define NXM_DL_IP_ANY (ETH_TYPE_IP, ETH_TYPE_IPV6)
> +/* NXM_ suffix MFF_ field ID rw? */
> +/* ------------ ------------ ----- */
> +DEFINE_FIELD_M(NX_TUN_ID, MFF_TUN_ID, true)
> +DEFINE_FIELD (OF_IN_PORT, MFF_IN_PORT, false)
> +DEFINE_FIELD_M(OF_ETH_DST, MFF_ETH_DST, true)
> +DEFINE_FIELD (OF_ETH_SRC, MFF_ETH_SRC, true)
> +DEFINE_FIELD (OF_ETH_TYPE, MFF_ETH_TYPE, false)
> +DEFINE_FIELD_M(OF_VLAN_TCI, MFF_VLAN_TCI, true)
> +DEFINE_FIELD (OF_IP_TOS, MFF_IP_TOS, true)
> +DEFINE_FIELD (OF_IP_PROTO, MFF_IP_PROTO, false)
> +DEFINE_FIELD_M(OF_IP_SRC, MFF_IPV4_SRC, true)
> +DEFINE_FIELD_M(OF_IP_DST, MFF_IPV4_DST, true)
> +DEFINE_FIELD (OF_TCP_SRC, MFF_TCP_SRC, true)
> +DEFINE_FIELD (OF_TCP_DST, MFF_TCP_DST, true)
> +DEFINE_FIELD (OF_UDP_SRC, MFF_UDP_SRC, true)
> +DEFINE_FIELD (OF_UDP_DST, MFF_UDP_DST, true)
> +DEFINE_FIELD (OF_ICMP_TYPE, MFF_ICMP_TYPE, false)
> +DEFINE_FIELD (OF_ICMP_CODE, MFF_ICMP_CODE, false)
> +DEFINE_FIELD (OF_ARP_OP, MFF_ARP_OP, false)
> +DEFINE_FIELD_M(OF_ARP_SPA, MFF_ARP_SPA, false)
> +DEFINE_FIELD_M(OF_ARP_TPA, MFF_ARP_TPA, false)
> +DEFINE_FIELD (NX_ARP_SHA, MFF_ARP_SHA, false)
> +DEFINE_FIELD (NX_ARP_THA, MFF_ARP_THA, false)
> +DEFINE_FIELD_M(NX_IPV6_SRC, MFF_IPV6_SRC, false)
> +DEFINE_FIELD_M(NX_IPV6_DST, MFF_IPV6_DST, false)
> +/* XXX should we have MFF_ICMPV4_TYPE and MFF_ICMPV6_TYPE? */
> +DEFINE_FIELD (NX_ICMPV6_TYPE,MFF_ICMP_TYPE, false)
> +DEFINE_FIELD (NX_ICMPV6_CODE,MFF_ICMP_CODE, false)
> +DEFINE_FIELD (NX_ND_TARGET, MFF_ND_TARGET, false)
> +DEFINE_FIELD (NX_ND_SLL, MFF_ND_SLL, false)
> +DEFINE_FIELD (NX_ND_TLL, MFF_ND_TLL, false)
>
> -#define DEFINE_FIELD_M(HEADER, WILDCARD, DL_TYPES, NW_PROTO, WRITABLE) \
> - DEFINE_FIELD(HEADER, WILDCARD, DL_TYPES, NW_PROTO, WRITABLE) \
> - DEFINE_FIELD(HEADER##_W, WILDCARD, DL_TYPES, NW_PROTO, false)
> -
> -/* NXM_ suffix FWW_* bit dl_types nw_proto rw? */
> -/* ------------ ------------ ----------- ------------- --- */
> -DEFINE_FIELD_M(NX_TUN_ID, 0, NXM_DL_NONE, 0, true)
> -DEFINE_FIELD (OF_IN_PORT, FWW_IN_PORT, NXM_DL_NONE, 0, false)
> -DEFINE_FIELD_M(OF_ETH_DST, 0, NXM_DL_NONE, 0, true)
> -DEFINE_FIELD (OF_ETH_SRC, FWW_DL_SRC, NXM_DL_NONE, 0, true)
> -DEFINE_FIELD (OF_ETH_TYPE, FWW_DL_TYPE, NXM_DL_NONE, 0, false)
> -DEFINE_FIELD_M(OF_VLAN_TCI, 0, NXM_DL_NONE, 0, true)
> -DEFINE_FIELD (OF_IP_TOS, FWW_NW_TOS, NXM_DL_IP_ANY, 0, true)
> -DEFINE_FIELD (OF_IP_PROTO, FWW_NW_PROTO, NXM_DL_IP_ANY, 0, false)
> -DEFINE_FIELD_M(OF_IP_SRC, 0, NXM_DL_IP, 0, true)
> -DEFINE_FIELD_M(OF_IP_DST, 0, NXM_DL_IP, 0, true)
> -DEFINE_FIELD (OF_TCP_SRC, FWW_TP_SRC, NXM_DL_IP_ANY, IPPROTO_TCP, true)
> -DEFINE_FIELD (OF_TCP_DST, FWW_TP_DST, NXM_DL_IP_ANY, IPPROTO_TCP, true)
> -DEFINE_FIELD (OF_UDP_SRC, FWW_TP_SRC, NXM_DL_IP_ANY, IPPROTO_UDP, true)
> -DEFINE_FIELD (OF_UDP_DST, FWW_TP_DST, NXM_DL_IP_ANY, IPPROTO_UDP, true)
> -DEFINE_FIELD (OF_ICMP_TYPE, FWW_TP_SRC, NXM_DL_IP, IPPROTO_ICMP, false)
> -DEFINE_FIELD (OF_ICMP_CODE, FWW_TP_DST, NXM_DL_IP, IPPROTO_ICMP, false)
> -DEFINE_FIELD (OF_ARP_OP, FWW_NW_PROTO, NXM_DL_ARP, 0, false)
> -DEFINE_FIELD_M(OF_ARP_SPA, 0, NXM_DL_ARP, 0, false)
> -DEFINE_FIELD_M(OF_ARP_TPA, 0, NXM_DL_ARP, 0, false)
> -DEFINE_FIELD (NX_ARP_SHA, FWW_ARP_SHA, NXM_DL_ARP, 0, false)
> -DEFINE_FIELD (NX_ARP_THA, FWW_ARP_THA, NXM_DL_ARP, 0, false)
> -DEFINE_FIELD_M(NX_IPV6_SRC, 0, NXM_DL_IPV6, 0, false)
> -DEFINE_FIELD_M(NX_IPV6_DST, 0, NXM_DL_IPV6, 0, false)
> -DEFINE_FIELD (NX_ICMPV6_TYPE,FWW_TP_SRC, NXM_DL_IPV6, IPPROTO_ICMPV6, false)
> -DEFINE_FIELD (NX_ICMPV6_CODE,FWW_TP_DST, NXM_DL_IPV6, IPPROTO_ICMPV6, false)
> -DEFINE_FIELD (NX_ND_TARGET, FWW_ND_TARGET,NXM_DL_IPV6, IPPROTO_ICMPV6, false)
> -DEFINE_FIELD (NX_ND_SLL, FWW_ARP_SHA, NXM_DL_IPV6, IPPROTO_ICMPV6, false)
> -DEFINE_FIELD (NX_ND_TLL, FWW_ARP_THA, NXM_DL_IPV6, IPPROTO_ICMPV6, false)
> -
> -DEFINE_FIELD_M(NX_REG0, 0, NXM_DL_NONE, 0, true)
> +DEFINE_FIELD_M(NX_REG0, MFF_REG0, true)
> #if FLOW_N_REGS >= 2
> -DEFINE_FIELD_M(NX_REG1, 0, NXM_DL_NONE, 0, true)
> +DEFINE_FIELD_M(NX_REG1, MFF_REG1, true)
> #endif
> #if FLOW_N_REGS >= 3
> -DEFINE_FIELD_M(NX_REG2, 0, NXM_DL_NONE, 0, true)
> +DEFINE_FIELD_M(NX_REG2, MFF_REG2, true)
> #endif
> #if FLOW_N_REGS >= 4
> -DEFINE_FIELD_M(NX_REG3, 0, NXM_DL_NONE, 0, true)
> +DEFINE_FIELD_M(NX_REG3, MFF_REG3, true)
> #endif
> #if FLOW_N_REGS > 4
> #error
> diff --git a/lib/nx-match.h b/lib/nx-match.h
> index 04da239..64e22c9 100644
> --- a/lib/nx-match.h
> +++ b/lib/nx-match.h
> @@ -1,5 +1,5 @@
> /*
> - * Copyright (c) 2010 Nicira Networks.
> + * Copyright (c) 2010, 2011 Nicira Networks.
> *
> * Licensed under the Apache License, Version 2.0 (the "License");
> * you may not use this file except in compliance with the License.
> @@ -64,6 +64,7 @@ void nxm_reg_load(ovs_be32 dst, ovs_be16 ofs_nbits, uint64_t src_data,
>
> int nxm_field_bytes(uint32_t header);
> int nxm_field_bits(uint32_t header);
> +const struct mf_field *nxm_field_to_mf_field(uint32_t header);
>
> const char *nxm_parse_field_bits(const char *s,
> uint32_t *headerp, int *ofsp, int *n_bitsp);
> diff --git a/lib/ofp-parse.c b/lib/ofp-parse.c
> index 6ccabfe..a80d45f 100644
> --- a/lib/ofp-parse.c
> +++ b/lib/ofp-parse.c
> @@ -26,6 +26,7 @@
> #include "bundle.h"
> #include "byte-order.h"
> #include "dynamic-string.h"
> +#include "meta-flow.h"
> #include "netdev.h"
> #include "multipath.h"
> #include "nx-match.h"
> @@ -85,172 +86,14 @@ str_to_mac(const char *str, uint8_t mac[6])
> }
>
> static void
> -str_to_eth_dst(const char *str,
> - uint8_t mac[ETH_ADDR_LEN], uint8_t mask[ETH_ADDR_LEN])
> +str_to_ip(const char *str, ovs_be32 *ip)
> {
> - if (sscanf(str, ETH_ADDR_SCAN_FMT"/"ETH_ADDR_SCAN_FMT,
> - ETH_ADDR_SCAN_ARGS(mac), ETH_ADDR_SCAN_ARGS(mask))
> - == ETH_ADDR_SCAN_COUNT * 2) {
> - if (!flow_wildcards_is_dl_dst_mask_valid(mask)) {
> - ovs_fatal(0, "%s: invalid Ethernet destination mask (only "
> - "00:00:00:00:00:00, 01:00:00:00:00:00, "
> - "fe:ff:ff:ff:ff:ff, and ff:ff:ff:ff:ff:ff are allowed)",
> - str);
> - }
> - } else if (sscanf(str, ETH_ADDR_SCAN_FMT, ETH_ADDR_SCAN_ARGS(mac))
> - == ETH_ADDR_SCAN_COUNT) {
> - memset(mask, 0xff, ETH_ADDR_LEN);
> - } else {
> - ovs_fatal(0, "invalid mac address %s", str);
> - }
> -}
> -
> -static void
> -str_to_ip(const char *str_, ovs_be32 *ip, ovs_be32 *maskp)
> -{
> - char *str = xstrdup(str_);
> - char *save_ptr = NULL;
> - const char *name, *netmask;
> struct in_addr in_addr;
> - ovs_be32 mask;
> - int retval;
>
> - name = strtok_r(str, "/", &save_ptr);
> - retval = name ? lookup_ip(name, &in_addr) : EINVAL;
> - if (retval) {
> + if (lookup_ip(str, &in_addr)) {
> ovs_fatal(0, "%s: could not convert to IP address", str);
> }
> *ip = in_addr.s_addr;
> -
> - netmask = strtok_r(NULL, "/", &save_ptr);
> - if (netmask) {
> - uint8_t o[4];
> - if (sscanf(netmask, "%"SCNu8".%"SCNu8".%"SCNu8".%"SCNu8,
> - &o[0], &o[1], &o[2], &o[3]) == 4) {
> - mask = htonl((o[0] << 24) | (o[1] << 16) | (o[2] << 8) | o[3]);
> - } else {
> - int prefix = atoi(netmask);
> - if (prefix <= 0 || prefix > 32) {
> - ovs_fatal(0, "%s: network prefix bits not between 1 and 32",
> - str);
> - } else if (prefix == 32) {
> - mask = htonl(UINT32_MAX);
> - } else {
> - mask = htonl(((1u << prefix) - 1) << (32 - prefix));
> - }
> - }
> - } else {
> - mask = htonl(UINT32_MAX);
> - }
> - *ip &= mask;
> -
> - if (maskp) {
> - *maskp = mask;
> - } else {
> - if (mask != htonl(UINT32_MAX)) {
> - ovs_fatal(0, "%s: netmask not allowed here", str_);
> - }
> - }
> -
> - free(str);
> -}
> -
> -static void
> -str_to_tun_id(const char *str, ovs_be64 *tun_idp, ovs_be64 *maskp)
> -{
> - uint64_t tun_id, mask;
> - char *tail;
> -
> - errno = 0;
> - tun_id = strtoull(str, &tail, 0);
> - if (errno || (*tail != '\0' && *tail != '/')) {
> - goto error;
> - }
> -
> - if (*tail == '/') {
> - mask = strtoull(tail + 1, &tail, 0);
> - if (errno || *tail != '\0') {
> - goto error;
> - }
> - } else {
> - mask = UINT64_MAX;
> - }
> -
> - *tun_idp = htonll(tun_id);
> - *maskp = htonll(mask);
> - return;
> -
> -error:
> - ovs_fatal(0, "%s: bad syntax for tunnel id", str);
> -}
> -
> -static void
> -str_to_vlan_tci(const char *str, ovs_be16 *vlan_tcip, ovs_be16 *maskp)
> -{
> - uint16_t vlan_tci, mask;
> - char *tail;
> -
> - errno = 0;
> - vlan_tci = strtol(str, &tail, 0);
> - if (errno || (*tail != '\0' && *tail != '/')) {
> - goto error;
> - }
> -
> - if (*tail == '/') {
> - mask = strtol(tail + 1, &tail, 0);
> - if (errno || *tail != '\0') {
> - goto error;
> - }
> - } else {
> - mask = UINT16_MAX;
> - }
> -
> - *vlan_tcip = htons(vlan_tci);
> - *maskp = htons(mask);
> - return;
> -
> -error:
> - ovs_fatal(0, "%s: bad syntax for vlan_tci", str);
> -}
> -
> -static void
> -str_to_ipv6(const char *str_, struct in6_addr *addrp, struct in6_addr *maskp)
> -{
> - char *str = xstrdup(str_);
> - char *save_ptr = NULL;
> - const char *name, *netmask;
> - struct in6_addr addr, mask;
> - int retval;
> -
> - name = strtok_r(str, "/", &save_ptr);
> - retval = name ? lookup_ipv6(name, &addr) : EINVAL;
> - if (retval) {
> - ovs_fatal(0, "%s: could not convert to IPv6 address", str);
> - }
> -
> - netmask = strtok_r(NULL, "/", &save_ptr);
> - if (netmask) {
> - int prefix = atoi(netmask);
> - if (prefix <= 0 || prefix > 128) {
> - ovs_fatal(0, "%s: network prefix bits not between 1 and 128",
> - str);
> - } else {
> - mask = ipv6_create_mask(prefix);
> - }
> - } else {
> - mask = in6addr_exact;
> - }
> - *addrp = ipv6_addr_bitand(&addr, &mask);
> -
> - if (maskp) {
> - *maskp = mask;
> - } else {
> - if (!ipv6_mask_is_exact(&mask)) {
> - ovs_fatal(0, "%s: netmask not allowed here", str_);
> - }
> - }
> -
> - free(str);
> }
>
> static struct ofp_action_output *
> @@ -421,7 +264,7 @@ parse_named_action(enum ofputil_action_code code, struct ofpbuf *b, char *arg)
> case OFPUTIL_OFPAT_SET_NW_SRC:
> case OFPUTIL_OFPAT_SET_NW_DST:
> oana = ofputil_put_action(code, b);
> - str_to_ip(arg, &oana->nw_addr, NULL);
> + str_to_ip(arg, &oana->nw_addr);
> break;
>
> case OFPUTIL_OFPAT_SET_NW_TOS:
> @@ -571,45 +414,6 @@ parse_protocol(const char *name, const struct protocol **p_out)
> return false;
> }
>
> -BUILD_ASSERT_DECL(FLOW_WC_SEQ == 1);
> -#define FIELDS \
> - FIELD(F_TUN_ID, "tun_id", 0) \
> - FIELD(F_IN_PORT, "in_port", FWW_IN_PORT) \
> - FIELD(F_DL_VLAN, "dl_vlan", 0) \
> - FIELD(F_DL_VLAN_PCP, "dl_vlan_pcp", 0) \
> - FIELD(F_VLAN_TCI, "vlan_tci", 0) \
> - FIELD(F_DL_SRC, "dl_src", FWW_DL_SRC) \
> - FIELD(F_DL_DST, "dl_dst", FWW_DL_DST | FWW_ETH_MCAST) \
> - FIELD(F_DL_TYPE, "dl_type", FWW_DL_TYPE) \
> - FIELD(F_NW_SRC, "nw_src", 0) \
> - FIELD(F_NW_DST, "nw_dst", 0) \
> - FIELD(F_NW_PROTO, "nw_proto", FWW_NW_PROTO) \
> - FIELD(F_NW_TOS, "nw_tos", FWW_NW_TOS) \
> - FIELD(F_TP_SRC, "tp_src", FWW_TP_SRC) \
> - FIELD(F_TP_DST, "tp_dst", FWW_TP_DST) \
> - FIELD(F_ICMP_TYPE, "icmp_type", FWW_TP_SRC) \
> - FIELD(F_ICMP_CODE, "icmp_code", FWW_TP_DST) \
> - FIELD(F_ARP_SHA, "arp_sha", FWW_ARP_SHA) \
> - FIELD(F_ARP_THA, "arp_tha", FWW_ARP_THA) \
> - FIELD(F_IPV6_SRC, "ipv6_src", 0) \
> - FIELD(F_IPV6_DST, "ipv6_dst", 0) \
> - FIELD(F_ND_TARGET, "nd_target", FWW_ND_TARGET) \
> - FIELD(F_ND_SLL, "nd_sll", FWW_ARP_SHA) \
> - FIELD(F_ND_TLL, "nd_tll", FWW_ARP_THA)
> -
> -enum field_index {
> -#define FIELD(ENUM, NAME, WILDCARD) ENUM,
> - FIELDS
> -#undef FIELD
> - N_FIELDS
> -};
> -
> -struct field {
> - enum field_index index;
> - const char *name;
> - flow_wildcards_t wildcard; /* FWW_* bit. */
> -};
> -
> static void
> ofp_fatal(const char *flow, bool verbose, const char *format, ...)
> {
> @@ -623,173 +427,18 @@ ofp_fatal(const char *flow, bool verbose, const char *format, ...)
> ovs_fatal_valist(0, format, args);
> }
>
> -static bool
> -parse_field_name(const char *name, const struct field **f_out)
> -{
> - static const struct field fields[N_FIELDS] = {
> -#define FIELD(ENUM, NAME, WILDCARD) { ENUM, NAME, WILDCARD },
> - FIELDS
> -#undef FIELD
> - };
> - const struct field *f;
> -
> - for (f = fields; f < &fields[ARRAY_SIZE(fields)]; f++) {
> - if (!strcmp(f->name, name)) {
> - *f_out = f;
> - return true;
> - }
> - }
> - *f_out = NULL;
> - return false;
> -}
> -
> static void
> -parse_field_value(struct cls_rule *rule, enum field_index index,
> - const char *value)
> +parse_field(const struct mf_field *mf, const char *s, struct cls_rule *rule)
> {
> - uint8_t mac[ETH_ADDR_LEN], mac_mask[ETH_ADDR_LEN];
> - ovs_be64 tun_id, tun_mask;
> - ovs_be32 ip, mask;
> - ovs_be16 tci, tci_mask;
> - struct in6_addr ipv6, ipv6_mask;
> - uint16_t port_no;
> -
> - switch (index) {
> - case F_TUN_ID:
> - str_to_tun_id(value, &tun_id, &tun_mask);
> - cls_rule_set_tun_id_masked(rule, tun_id, tun_mask);
> - break;
> -
> - case F_IN_PORT:
> - if (!ofputil_port_from_string(value, &port_no)) {
> - port_no = atoi(value);
> - }
> - cls_rule_set_in_port(rule, port_no);
> - break;
> -
> - case F_DL_VLAN:
> - cls_rule_set_dl_vlan(rule, htons(str_to_u32(value)));
> - break;
> -
> - case F_DL_VLAN_PCP:
> - cls_rule_set_dl_vlan_pcp(rule, str_to_u32(value));
> - break;
> -
> - case F_VLAN_TCI:
> - str_to_vlan_tci(value, &tci, &tci_mask);
> - cls_rule_set_dl_tci_masked(rule, tci, tci_mask);
> - break;
> -
> - case F_DL_SRC:
> - str_to_mac(value, mac);
> - cls_rule_set_dl_src(rule, mac);
> - break;
> -
> - case F_DL_DST:
> - str_to_eth_dst(value, mac, mac_mask);
> - cls_rule_set_dl_dst_masked(rule, mac, mac_mask);
> - break;
> -
> - case F_DL_TYPE:
> - cls_rule_set_dl_type(rule, htons(str_to_u32(value)));
> - break;
> -
> - case F_NW_SRC:
> - str_to_ip(value, &ip, &mask);
> - cls_rule_set_nw_src_masked(rule, ip, mask);
> - break;
> -
> - case F_NW_DST:
> - str_to_ip(value, &ip, &mask);
> - cls_rule_set_nw_dst_masked(rule, ip, mask);
> - break;
> -
> - case F_NW_PROTO:
> - cls_rule_set_nw_proto(rule, str_to_u32(value));
> - break;
> -
> - case F_NW_TOS:
> - cls_rule_set_nw_tos(rule, str_to_u32(value));
> - break;
> -
> - case F_TP_SRC:
> - cls_rule_set_tp_src(rule, htons(str_to_u32(value)));
> - break;
> -
> - case F_TP_DST:
> - cls_rule_set_tp_dst(rule, htons(str_to_u32(value)));
> - break;
> -
> - case F_ICMP_TYPE:
> - cls_rule_set_icmp_type(rule, str_to_u32(value));
> - break;
> -
> - case F_ICMP_CODE:
> - cls_rule_set_icmp_code(rule, str_to_u32(value));
> - break;
> -
> - case F_ARP_SHA:
> - str_to_mac(value, mac);
> - cls_rule_set_arp_sha(rule, mac);
> - break;
> -
> - case F_ARP_THA:
> - str_to_mac(value, mac);
> - cls_rule_set_arp_tha(rule, mac);
> - break;
> + union mf_value value, mask;
> + char *error;
>
> - case F_IPV6_SRC:
> - str_to_ipv6(value, &ipv6, &ipv6_mask);
> - cls_rule_set_ipv6_src_masked(rule, &ipv6, &ipv6_mask);
> - break;
> -
> - case F_IPV6_DST:
> - str_to_ipv6(value, &ipv6, &ipv6_mask);
> - cls_rule_set_ipv6_dst_masked(rule, &ipv6, &ipv6_mask);
> - break;
> -
> - case F_ND_TARGET:
> - str_to_ipv6(value, &ipv6, NULL);
> - cls_rule_set_nd_target(rule, &ipv6);
> - break;
> -
> - case F_ND_SLL:
> - str_to_mac(value, mac);
> - cls_rule_set_arp_sha(rule, mac);
> - break;
> -
> - case F_ND_TLL:
> - str_to_mac(value, mac);
> - cls_rule_set_arp_tha(rule, mac);
> - break;
> -
> - case N_FIELDS:
> - NOT_REACHED();
> + error = mf_parse(mf, s, &value, &mask);
> + if (error) {
> + ovs_fatal(0, "%s", error);
> }
> -}
>
> -static void
> -parse_reg_value(struct cls_rule *rule, int reg_idx, const char *value)
> -{
> - /* This uses an oversized destination field (64 bits when 32 bits would do)
> - * because some sscanf() implementations truncate the range of %i
> - * directives, so that e.g. "%"SCNi16 interprets input of "0xfedc" as a
> - * value of 0x7fff. The other alternatives are to allow only a single
> - * radix (e.g. decimal or hexadecimal) or to write more sophisticated
> - * parsers. */
> - unsigned long long int reg_value, reg_mask;
> -
> - if (!strcmp(value, "ANY") || !strcmp(value, "*")) {
> - cls_rule_set_reg_masked(rule, reg_idx, 0, 0);
> - } else if (sscanf(value, "%lli/%lli",
> - ®_value, ®_mask) == 2) {
> - cls_rule_set_reg_masked(rule, reg_idx, reg_value, reg_mask);
> - } else if (sscanf(value, "%lli", ®_value)) {
> - cls_rule_set_reg(rule, reg_idx, reg_value);
> - } else {
> - ovs_fatal(0, "register fields must take the form <value> "
> - "or <value>/<mask>");
> - }
> + mf_set(mf, &value, &mask, rule);
> }
>
> /* Convert 'str_' (as described in the Flow Syntax section of the ovs-ofctl man
> @@ -888,7 +537,6 @@ parse_ofp_str(struct ofputil_flow_mod *fm, int command, const char *str_,
> cls_rule_set_nw_proto(&fm->cr, p->nw_proto);
> }
> } else {
> - const struct field *f;
> char *value;
>
> value = strtok_r(NULL, ", \t\r\n", &save_ptr);
> @@ -908,41 +556,8 @@ parse_ofp_str(struct ofputil_flow_mod *fm, int command, const char *str_,
> fm->hard_timeout = atoi(value);
> } else if (fields & F_COOKIE && !strcmp(name, "cookie")) {
> fm->cookie = htonll(str_to_u64(value));
> - } else if (parse_field_name(name, &f)) {
> - if (!strcmp(value, "*") || !strcmp(value, "ANY")) {
> - if (f->wildcard) {
> - fm->cr.wc.wildcards |= f->wildcard;
> - cls_rule_zero_wildcarded_fields(&fm->cr);
> - } else if (f->index == F_NW_SRC) {
> - cls_rule_set_nw_src_masked(&fm->cr, 0, 0);
> - } else if (f->index == F_NW_DST) {
> - cls_rule_set_nw_dst_masked(&fm->cr, 0, 0);
> - } else if (f->index == F_IPV6_SRC) {
> - cls_rule_set_ipv6_src_masked(&fm->cr,
> - &in6addr_any, &in6addr_any);
> - } else if (f->index == F_IPV6_DST) {
> - cls_rule_set_ipv6_dst_masked(&fm->cr,
> - &in6addr_any, &in6addr_any);
> - } else if (f->index == F_DL_VLAN) {
> - cls_rule_set_any_vid(&fm->cr);
> - } else if (f->index == F_DL_VLAN_PCP) {
> - cls_rule_set_any_pcp(&fm->cr);
> - } else {
> - NOT_REACHED();
> - }
> - } else {
> - parse_field_value(&fm->cr, f->index, value);
> - }
> - } else if (!strncmp(name, "reg", 3)
> - && isdigit((unsigned char) name[3])) {
> - unsigned int reg_idx = atoi(name + 3);
> - if (reg_idx >= FLOW_N_REGS) {
> - if (verbose) {
> - fprintf(stderr, "%s:\n", str_);
> - }
> - ofp_fatal(str_, verbose, "only %d registers supported", FLOW_N_REGS);
> - }
> - parse_reg_value(&fm->cr, reg_idx, value);
> + } else if (mf_from_name(name)) {
> + parse_field(mf_from_name(name), value, &fm->cr);
> } else if (!strcmp(name, "duration")
> || !strcmp(name, "n_packets")
> || !strcmp(name, "n_bytes")) {
> --
> 1.7.4.4
>
>
More information about the dev
mailing list