]> git.proxmox.com Git - mirror_ovs.git/blob - lib/nx-match.c
flow: Extend struct flow to contain tunnel outer header.
[mirror_ovs.git] / lib / nx-match.c
1 /*
2 * Copyright (c) 2010, 2011, 2012 Nicira, Inc.
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
17 #include <config.h>
18
19 #include "nx-match.h"
20
21 #include <netinet/icmp6.h>
22
23 #include "classifier.h"
24 #include "dynamic-string.h"
25 #include "meta-flow.h"
26 #include "ofp-actions.h"
27 #include "ofp-errors.h"
28 #include "ofp-util.h"
29 #include "ofpbuf.h"
30 #include "openflow/nicira-ext.h"
31 #include "packets.h"
32 #include "unaligned.h"
33 #include "util.h"
34 #include "vlog.h"
35
36 VLOG_DEFINE_THIS_MODULE(nx_match);
37
38 /* Rate limit for nx_match parse errors. These always indicate a bug in the
39 * peer and so there's not much point in showing a lot of them. */
40 static struct vlog_rate_limit rl = VLOG_RATE_LIMIT_INIT(1, 5);
41
42 /* Returns the width of the data for a field with the given 'header', in
43 * bytes. */
44 int
45 nxm_field_bytes(uint32_t header)
46 {
47 unsigned int length = NXM_LENGTH(header);
48 return NXM_HASMASK(header) ? length / 2 : length;
49 }
50
51 /* Returns the width of the data for a field with the given 'header', in
52 * bits. */
53 int
54 nxm_field_bits(uint32_t header)
55 {
56 return nxm_field_bytes(header) * 8;
57 }
58 \f
59 /* nx_pull_match() and helpers. */
60
61 static uint32_t
62 nx_entry_ok(const void *p, unsigned int match_len)
63 {
64 unsigned int payload_len;
65 ovs_be32 header_be;
66 uint32_t header;
67
68 if (match_len < 4) {
69 if (match_len) {
70 VLOG_DBG_RL(&rl, "nx_match ends with partial (%u-byte) nxm_header",
71 match_len);
72 }
73 return 0;
74 }
75 memcpy(&header_be, p, 4);
76 header = ntohl(header_be);
77
78 payload_len = NXM_LENGTH(header);
79 if (!payload_len) {
80 VLOG_DBG_RL(&rl, "nxm_entry %08"PRIx32" has invalid payload "
81 "length 0", header);
82 return 0;
83 }
84 if (match_len < payload_len + 4) {
85 VLOG_DBG_RL(&rl, "%"PRIu32"-byte nxm_entry but only "
86 "%u bytes left in nx_match", payload_len + 4, match_len);
87 return 0;
88 }
89
90 return header;
91 }
92
93 static enum ofperr
94 nx_pull_raw(const uint8_t *p, unsigned int match_len, bool strict,
95 struct match *match, ovs_be64 *cookie, ovs_be64 *cookie_mask)
96 {
97 uint32_t header;
98
99 assert((cookie != NULL) == (cookie_mask != NULL));
100
101 match_init_catchall(match);
102 if (cookie) {
103 *cookie = *cookie_mask = htonll(0);
104 }
105 if (!match_len) {
106 return 0;
107 }
108
109 for (;
110 (header = nx_entry_ok(p, match_len)) != 0;
111 p += 4 + NXM_LENGTH(header), match_len -= 4 + NXM_LENGTH(header)) {
112 const struct mf_field *mf;
113 enum ofperr error;
114
115 mf = mf_from_nxm_header(header);
116 if (!mf) {
117 if (strict) {
118 error = OFPERR_OFPBMC_BAD_FIELD;
119 } else {
120 continue;
121 }
122 } else if (!mf_are_prereqs_ok(mf, &match->flow)) {
123 error = OFPERR_OFPBMC_BAD_PREREQ;
124 } else if (!mf_is_all_wild(mf, &match->wc)) {
125 error = OFPERR_OFPBMC_DUP_FIELD;
126 } else if (header != OXM_OF_IN_PORT) {
127 unsigned int width = mf->n_bytes;
128 union mf_value value;
129
130 memcpy(&value, p + 4, width);
131 if (!mf_is_value_valid(mf, &value)) {
132 error = OFPERR_OFPBMC_BAD_VALUE;
133 } else if (!NXM_HASMASK(header)) {
134 error = 0;
135 mf_set_value(mf, &value, match);
136 } else {
137 union mf_value mask;
138
139 memcpy(&mask, p + 4 + width, width);
140 if (!mf_is_mask_valid(mf, &mask)) {
141 error = OFPERR_OFPBMC_BAD_MASK;
142 } else {
143 error = 0;
144 mf_set(mf, &value, &mask, match);
145 }
146 }
147 } else {
148 /* Special case for 32bit ports when using OXM,
149 * ports are 16 bits wide otherwise. */
150 ovs_be32 port_of11;
151 uint16_t port;
152
153 memcpy(&port_of11, p + 4, sizeof port_of11);
154 error = ofputil_port_from_ofp11(port_of11, &port);
155 if (!error) {
156 match_set_in_port(match, port);
157 }
158 }
159
160 /* Check if the match is for a cookie rather than a classifier rule. */
161 if ((header == NXM_NX_COOKIE || header == NXM_NX_COOKIE_W) && cookie) {
162 if (*cookie_mask) {
163 error = OFPERR_OFPBMC_DUP_FIELD;
164 } else {
165 unsigned int width = sizeof *cookie;
166
167 memcpy(cookie, p + 4, width);
168 if (NXM_HASMASK(header)) {
169 memcpy(cookie_mask, p + 4 + width, width);
170 } else {
171 *cookie_mask = htonll(UINT64_MAX);
172 }
173 error = 0;
174 }
175 }
176
177 if (error) {
178 VLOG_DBG_RL(&rl, "bad nxm_entry %#08"PRIx32" (vendor=%"PRIu32", "
179 "field=%"PRIu32", hasmask=%"PRIu32", len=%"PRIu32"), "
180 "(%s)", header,
181 NXM_VENDOR(header), NXM_FIELD(header),
182 NXM_HASMASK(header), NXM_LENGTH(header),
183 ofperr_to_string(error));
184 return error;
185 }
186 }
187
188 return match_len ? OFPERR_OFPBMC_BAD_LEN : 0;
189 }
190
191 static enum ofperr
192 nx_pull_match__(struct ofpbuf *b, unsigned int match_len, bool strict,
193 struct match *match,
194 ovs_be64 *cookie, ovs_be64 *cookie_mask)
195 {
196 uint8_t *p = NULL;
197
198 if (match_len) {
199 p = ofpbuf_try_pull(b, ROUND_UP(match_len, 8));
200 if (!p) {
201 VLOG_DBG_RL(&rl, "nx_match length %u, rounded up to a "
202 "multiple of 8, is longer than space in message (max "
203 "length %zu)", match_len, b->size);
204 return OFPERR_OFPBMC_BAD_LEN;
205 }
206 }
207
208 return nx_pull_raw(p, match_len, strict, match, cookie, cookie_mask);
209 }
210
211 /* Parses the nx_match formatted match description in 'b' with length
212 * 'match_len'. Stores the results in 'match'. If 'cookie' and 'cookie_mask'
213 * are valid pointers, then stores the cookie and mask in them if 'b' contains
214 * a "NXM_NX_COOKIE*" match. Otherwise, stores 0 in both.
215 *
216 * Fails with an error upon encountering an unknown NXM header.
217 *
218 * Returns 0 if successful, otherwise an OpenFlow error code. */
219 enum ofperr
220 nx_pull_match(struct ofpbuf *b, unsigned int match_len, struct match *match,
221 ovs_be64 *cookie, ovs_be64 *cookie_mask)
222 {
223 return nx_pull_match__(b, match_len, true, match, cookie, cookie_mask);
224 }
225
226 /* Behaves the same as nx_pull_match(), but skips over unknown NXM headers,
227 * instead of failing with an error. */
228 enum ofperr
229 nx_pull_match_loose(struct ofpbuf *b, unsigned int match_len,
230 struct match *match,
231 ovs_be64 *cookie, ovs_be64 *cookie_mask)
232 {
233 return nx_pull_match__(b, match_len, false, match, cookie, cookie_mask);
234 }
235
236 static enum ofperr
237 oxm_pull_match__(struct ofpbuf *b, bool strict, struct match *match)
238 {
239 struct ofp11_match_header *omh = b->data;
240 uint8_t *p;
241 uint16_t match_len;
242
243 if (b->size < sizeof *omh) {
244 return OFPERR_OFPBMC_BAD_LEN;
245 }
246
247 match_len = ntohs(omh->length);
248 if (match_len < sizeof *omh) {
249 return OFPERR_OFPBMC_BAD_LEN;
250 }
251
252 if (omh->type != htons(OFPMT_OXM)) {
253 return OFPERR_OFPBMC_BAD_TYPE;
254 }
255
256 p = ofpbuf_try_pull(b, ROUND_UP(match_len, 8));
257 if (!p) {
258 VLOG_DBG_RL(&rl, "oxm length %u, rounded up to a "
259 "multiple of 8, is longer than space in message (max "
260 "length %zu)", match_len, b->size);
261 return OFPERR_OFPBMC_BAD_LEN;
262 }
263
264 return nx_pull_raw(p + sizeof *omh, match_len - sizeof *omh,
265 strict, match, NULL, NULL);
266 }
267
268 /* Parses the oxm formatted match description preceeded by a struct ofp11_match
269 * in 'b' with length 'match_len'. Stores the result in 'match'.
270 *
271 * Fails with an error when encountering unknown OXM headers.
272 *
273 * Returns 0 if successful, otherwise an OpenFlow error code. */
274 enum ofperr
275 oxm_pull_match(struct ofpbuf *b, struct match *match)
276 {
277 return oxm_pull_match__(b, true, match);
278 }
279
280 /* Behaves the same as oxm_pull_match() with one exception. Skips over unknown
281 * PXM headers instead of failing with an error when they are encountered. */
282 enum ofperr
283 oxm_pull_match_loose(struct ofpbuf *b, struct match *match)
284 {
285 return oxm_pull_match__(b, false, match);
286 }
287 \f
288 /* nx_put_match() and helpers.
289 *
290 * 'put' functions whose names end in 'w' add a wildcarded field.
291 * 'put' functions whose names end in 'm' add a field that might be wildcarded.
292 * Other 'put' functions add exact-match fields.
293 */
294
295 static void
296 nxm_put_header(struct ofpbuf *b, uint32_t header)
297 {
298 ovs_be32 n_header = htonl(header);
299 ofpbuf_put(b, &n_header, sizeof n_header);
300 }
301
302 static void
303 nxm_put_8(struct ofpbuf *b, uint32_t header, uint8_t value)
304 {
305 nxm_put_header(b, header);
306 ofpbuf_put(b, &value, sizeof value);
307 }
308
309 static void
310 nxm_put_8m(struct ofpbuf *b, uint32_t header, uint8_t value, uint8_t mask)
311 {
312 switch (mask) {
313 case 0:
314 break;
315
316 case UINT8_MAX:
317 nxm_put_8(b, header, value);
318 break;
319
320 default:
321 nxm_put_header(b, NXM_MAKE_WILD_HEADER(header));
322 ofpbuf_put(b, &value, sizeof value);
323 ofpbuf_put(b, &mask, sizeof mask);
324 }
325 }
326
327 static void
328 nxm_put_16(struct ofpbuf *b, uint32_t header, ovs_be16 value)
329 {
330 nxm_put_header(b, header);
331 ofpbuf_put(b, &value, sizeof value);
332 }
333
334 static void
335 nxm_put_16w(struct ofpbuf *b, uint32_t header, ovs_be16 value, ovs_be16 mask)
336 {
337 nxm_put_header(b, header);
338 ofpbuf_put(b, &value, sizeof value);
339 ofpbuf_put(b, &mask, sizeof mask);
340 }
341
342 static void
343 nxm_put_16m(struct ofpbuf *b, uint32_t header, ovs_be16 value, ovs_be16 mask)
344 {
345 switch (mask) {
346 case 0:
347 break;
348
349 case CONSTANT_HTONS(UINT16_MAX):
350 nxm_put_16(b, header, value);
351 break;
352
353 default:
354 nxm_put_16w(b, NXM_MAKE_WILD_HEADER(header), value, mask);
355 break;
356 }
357 }
358
359 static void
360 nxm_put_32(struct ofpbuf *b, uint32_t header, ovs_be32 value)
361 {
362 nxm_put_header(b, header);
363 ofpbuf_put(b, &value, sizeof value);
364 }
365
366 static void
367 nxm_put_32w(struct ofpbuf *b, uint32_t header, ovs_be32 value, ovs_be32 mask)
368 {
369 nxm_put_header(b, header);
370 ofpbuf_put(b, &value, sizeof value);
371 ofpbuf_put(b, &mask, sizeof mask);
372 }
373
374 static void
375 nxm_put_32m(struct ofpbuf *b, uint32_t header, ovs_be32 value, ovs_be32 mask)
376 {
377 switch (mask) {
378 case 0:
379 break;
380
381 case CONSTANT_HTONL(UINT32_MAX):
382 nxm_put_32(b, header, value);
383 break;
384
385 default:
386 nxm_put_32w(b, NXM_MAKE_WILD_HEADER(header), value, mask);
387 break;
388 }
389 }
390
391 static void
392 nxm_put_64(struct ofpbuf *b, uint32_t header, ovs_be64 value)
393 {
394 nxm_put_header(b, header);
395 ofpbuf_put(b, &value, sizeof value);
396 }
397
398 static void
399 nxm_put_64w(struct ofpbuf *b, uint32_t header, ovs_be64 value, ovs_be64 mask)
400 {
401 nxm_put_header(b, header);
402 ofpbuf_put(b, &value, sizeof value);
403 ofpbuf_put(b, &mask, sizeof mask);
404 }
405
406 static void
407 nxm_put_64m(struct ofpbuf *b, uint32_t header, ovs_be64 value, ovs_be64 mask)
408 {
409 switch (mask) {
410 case 0:
411 break;
412
413 case CONSTANT_HTONLL(UINT64_MAX):
414 nxm_put_64(b, header, value);
415 break;
416
417 default:
418 nxm_put_64w(b, NXM_MAKE_WILD_HEADER(header), value, mask);
419 break;
420 }
421 }
422
423 static void
424 nxm_put_eth(struct ofpbuf *b, uint32_t header,
425 const uint8_t value[ETH_ADDR_LEN])
426 {
427 nxm_put_header(b, header);
428 ofpbuf_put(b, value, ETH_ADDR_LEN);
429 }
430
431 static void
432 nxm_put_eth_masked(struct ofpbuf *b, uint32_t header,
433 const uint8_t value[ETH_ADDR_LEN],
434 const uint8_t mask[ETH_ADDR_LEN])
435 {
436 if (!eth_addr_is_zero(mask)) {
437 if (eth_mask_is_exact(mask)) {
438 nxm_put_eth(b, header, value);
439 } else {
440 nxm_put_header(b, NXM_MAKE_WILD_HEADER(header));
441 ofpbuf_put(b, value, ETH_ADDR_LEN);
442 ofpbuf_put(b, mask, ETH_ADDR_LEN);
443 }
444 }
445 }
446
447 static void
448 nxm_put_ipv6(struct ofpbuf *b, uint32_t header,
449 const struct in6_addr *value, const struct in6_addr *mask)
450 {
451 if (ipv6_mask_is_any(mask)) {
452 return;
453 } else if (ipv6_mask_is_exact(mask)) {
454 nxm_put_header(b, header);
455 ofpbuf_put(b, value, sizeof *value);
456 } else {
457 nxm_put_header(b, NXM_MAKE_WILD_HEADER(header));
458 ofpbuf_put(b, value, sizeof *value);
459 ofpbuf_put(b, mask, sizeof *mask);
460 }
461 }
462
463 static void
464 nxm_put_frag(struct ofpbuf *b, const struct match *match)
465 {
466 uint8_t nw_frag = match->flow.nw_frag;
467 uint8_t nw_frag_mask = match->wc.masks.nw_frag;
468
469 switch (nw_frag_mask) {
470 case 0:
471 break;
472
473 case FLOW_NW_FRAG_MASK:
474 nxm_put_8(b, NXM_NX_IP_FRAG, nw_frag);
475 break;
476
477 default:
478 nxm_put_8m(b, NXM_NX_IP_FRAG, nw_frag,
479 nw_frag_mask & FLOW_NW_FRAG_MASK);
480 break;
481 }
482 }
483
484 static void
485 nxm_put_ip(struct ofpbuf *b, const struct match *match,
486 uint8_t icmp_proto, uint32_t icmp_type, uint32_t icmp_code,
487 bool oxm)
488 {
489 const struct flow *flow = &match->flow;
490
491 nxm_put_frag(b, match);
492
493 if (match->wc.masks.nw_tos & IP_DSCP_MASK) {
494 nxm_put_8(b, oxm ? OXM_OF_IP_DSCP : NXM_OF_IP_TOS,
495 flow->nw_tos & IP_DSCP_MASK);
496 }
497
498 if (match->wc.masks.nw_tos & IP_ECN_MASK) {
499 nxm_put_8(b, oxm ? OXM_OF_IP_ECN : NXM_NX_IP_ECN,
500 flow->nw_tos & IP_ECN_MASK);
501 }
502
503 if (!oxm && match->wc.masks.nw_ttl) {
504 nxm_put_8(b, NXM_NX_IP_TTL, flow->nw_ttl);
505 }
506
507 if (match->wc.masks.nw_proto) {
508 nxm_put_8(b, oxm ? OXM_OF_IP_PROTO : NXM_OF_IP_PROTO, flow->nw_proto);
509
510 if (flow->nw_proto == IPPROTO_TCP) {
511 nxm_put_16m(b, oxm ? OXM_OF_TCP_SRC : NXM_OF_TCP_SRC,
512 flow->tp_src, match->wc.masks.tp_src);
513 nxm_put_16m(b, oxm ? OXM_OF_TCP_DST : NXM_OF_TCP_DST,
514 flow->tp_dst, match->wc.masks.tp_dst);
515 } else if (flow->nw_proto == IPPROTO_UDP) {
516 nxm_put_16m(b, oxm ? OXM_OF_UDP_SRC : NXM_OF_UDP_SRC,
517 flow->tp_src, match->wc.masks.tp_src);
518 nxm_put_16m(b, oxm ? OXM_OF_UDP_DST : NXM_OF_UDP_DST,
519 flow->tp_dst, match->wc.masks.tp_dst);
520 } else if (flow->nw_proto == icmp_proto) {
521 if (match->wc.masks.tp_src) {
522 nxm_put_8(b, icmp_type, ntohs(flow->tp_src));
523 }
524 if (match->wc.masks.tp_dst) {
525 nxm_put_8(b, icmp_code, ntohs(flow->tp_dst));
526 }
527 }
528 }
529 }
530
531 /* Appends to 'b' the nx_match format that expresses 'match'. For Flow Mod and
532 * Flow Stats Requests messages, a 'cookie' and 'cookie_mask' may be supplied.
533 * Otherwise, 'cookie_mask' should be zero.
534 *
535 * This function can cause 'b''s data to be reallocated.
536 *
537 * Returns the number of bytes appended to 'b', excluding padding.
538 *
539 * If 'match' is a catch-all rule that matches every packet, then this function
540 * appends nothing to 'b' and returns 0. */
541 static int
542 nx_put_raw(struct ofpbuf *b, bool oxm, const struct match *match,
543 ovs_be64 cookie, ovs_be64 cookie_mask)
544 {
545 const struct flow *flow = &match->flow;
546 const size_t start_len = b->size;
547 int match_len;
548 int i;
549
550 BUILD_ASSERT_DECL(FLOW_WC_SEQ == 17);
551
552 /* Metadata. */
553 if (match->wc.masks.in_port) {
554 uint16_t in_port = flow->in_port;
555 if (oxm) {
556 nxm_put_32(b, OXM_OF_IN_PORT, ofputil_port_to_ofp11(in_port));
557 } else {
558 nxm_put_16(b, NXM_OF_IN_PORT, htons(in_port));
559 }
560 }
561
562 /* Ethernet. */
563 nxm_put_eth_masked(b, oxm ? OXM_OF_ETH_SRC : NXM_OF_ETH_SRC,
564 flow->dl_src, match->wc.masks.dl_src);
565 nxm_put_eth_masked(b, oxm ? OXM_OF_ETH_DST : NXM_OF_ETH_DST,
566 flow->dl_dst, match->wc.masks.dl_dst);
567 nxm_put_16m(b, oxm ? OXM_OF_ETH_TYPE : NXM_OF_ETH_TYPE,
568 ofputil_dl_type_to_openflow(flow->dl_type),
569 match->wc.masks.dl_type);
570
571 /* 802.1Q. */
572 if (oxm) {
573 ovs_be16 VID_CFI_MASK = htons(VLAN_VID_MASK | VLAN_CFI);
574 ovs_be16 vid = flow->vlan_tci & VID_CFI_MASK;
575 ovs_be16 mask = match->wc.masks.vlan_tci & VID_CFI_MASK;
576
577 if (mask == htons(VLAN_VID_MASK | VLAN_CFI)) {
578 nxm_put_16(b, OXM_OF_VLAN_VID, vid);
579 } else if (mask) {
580 nxm_put_16m(b, OXM_OF_VLAN_VID, vid, mask);
581 }
582
583 if (vid && vlan_tci_to_pcp(match->wc.masks.vlan_tci)) {
584 nxm_put_8(b, OXM_OF_VLAN_PCP, vlan_tci_to_pcp(flow->vlan_tci));
585 }
586
587 } else {
588 nxm_put_16m(b, NXM_OF_VLAN_TCI, flow->vlan_tci,
589 match->wc.masks.vlan_tci);
590 }
591
592 /* L3. */
593 if (flow->dl_type == htons(ETH_TYPE_IP)) {
594 /* IP. */
595 nxm_put_32m(b, oxm ? OXM_OF_IPV4_SRC : NXM_OF_IP_SRC,
596 flow->nw_src, match->wc.masks.nw_src);
597 nxm_put_32m(b, oxm ? OXM_OF_IPV4_DST : NXM_OF_IP_DST,
598 flow->nw_dst, match->wc.masks.nw_dst);
599 nxm_put_ip(b, match, IPPROTO_ICMP,
600 oxm ? OXM_OF_ICMPV4_TYPE : NXM_OF_ICMP_TYPE,
601 oxm ? OXM_OF_ICMPV4_CODE : NXM_OF_ICMP_CODE, oxm);
602 } else if (flow->dl_type == htons(ETH_TYPE_IPV6)) {
603 /* IPv6. */
604 nxm_put_ipv6(b, oxm ? OXM_OF_IPV6_SRC : NXM_NX_IPV6_SRC,
605 &flow->ipv6_src, &match->wc.masks.ipv6_src);
606 nxm_put_ipv6(b, oxm ? OXM_OF_IPV6_DST : NXM_NX_IPV6_DST,
607 &flow->ipv6_dst, &match->wc.masks.ipv6_dst);
608 nxm_put_ip(b, match, IPPROTO_ICMPV6,
609 oxm ? OXM_OF_ICMPV6_TYPE : NXM_NX_ICMPV6_TYPE,
610 oxm ? OXM_OF_ICMPV6_CODE : NXM_NX_ICMPV6_CODE, oxm);
611
612 nxm_put_32m(b, oxm ? OXM_OF_IPV6_FLABEL : NXM_NX_IPV6_LABEL,
613 flow->ipv6_label, match->wc.masks.ipv6_label);
614
615 if (flow->nw_proto == IPPROTO_ICMPV6
616 && (flow->tp_src == htons(ND_NEIGHBOR_SOLICIT) ||
617 flow->tp_src == htons(ND_NEIGHBOR_ADVERT))) {
618 nxm_put_ipv6(b, oxm ? OXM_OF_IPV6_ND_TARGET : NXM_NX_ND_TARGET,
619 &flow->nd_target, &match->wc.masks.nd_target);
620 if (flow->tp_src == htons(ND_NEIGHBOR_SOLICIT)) {
621 nxm_put_eth_masked(b, oxm ? OXM_OF_IPV6_ND_SLL : NXM_NX_ND_SLL,
622 flow->arp_sha, match->wc.masks.arp_sha);
623 }
624 if (flow->tp_src == htons(ND_NEIGHBOR_ADVERT)) {
625 nxm_put_eth_masked(b, oxm ? OXM_OF_IPV6_ND_TLL : NXM_NX_ND_TLL,
626 flow->arp_tha, match->wc.masks.arp_tha);
627 }
628 }
629 } else if (flow->dl_type == htons(ETH_TYPE_ARP)) {
630 /* ARP. */
631 if (match->wc.masks.nw_proto) {
632 nxm_put_16(b, oxm ? OXM_OF_ARP_OP : NXM_OF_ARP_OP,
633 htons(flow->nw_proto));
634 }
635 nxm_put_32m(b, oxm ? OXM_OF_ARP_SPA : NXM_OF_ARP_SPA,
636 flow->nw_src, match->wc.masks.nw_src);
637 nxm_put_32m(b, oxm ? OXM_OF_ARP_TPA : NXM_OF_ARP_TPA,
638 flow->nw_dst, match->wc.masks.nw_dst);
639 nxm_put_eth_masked(b, oxm ? OXM_OF_ARP_SHA : NXM_NX_ARP_SHA,
640 flow->arp_sha, match->wc.masks.arp_sha);
641 nxm_put_eth_masked(b, oxm ? OXM_OF_ARP_THA : NXM_NX_ARP_THA,
642 flow->arp_tha, match->wc.masks.arp_tha);
643 }
644
645 /* Tunnel ID. */
646 nxm_put_64m(b, NXM_NX_TUN_ID, flow->tunnel.tun_id,
647 match->wc.masks.tunnel.tun_id);
648
649 /* Registers. */
650 for (i = 0; i < FLOW_N_REGS; i++) {
651 nxm_put_32m(b, NXM_NX_REG(i),
652 htonl(flow->regs[i]), htonl(match->wc.masks.regs[i]));
653 }
654
655 /* OpenFlow 1.1+ Metadata. */
656 nxm_put_64m(b, OXM_OF_METADATA, flow->metadata, match->wc.masks.metadata);
657
658 /* Cookie. */
659 nxm_put_64m(b, NXM_NX_COOKIE, cookie, cookie_mask);
660
661 match_len = b->size - start_len;
662 return match_len;
663 }
664
665 /* Appends to 'b' the nx_match format that expresses 'match', plus enough zero
666 * bytes to pad the nx_match out to a multiple of 8. For Flow Mod and Flow
667 * Stats Requests messages, a 'cookie' and 'cookie_mask' may be supplied.
668 * Otherwise, 'cookie_mask' should be zero.
669 *
670 * This function can cause 'b''s data to be reallocated.
671 *
672 * Returns the number of bytes appended to 'b', excluding padding. The return
673 * value can be zero if it appended nothing at all to 'b' (which happens if
674 * 'cr' is a catch-all rule that matches every packet). */
675 int
676 nx_put_match(struct ofpbuf *b, const struct match *match,
677 ovs_be64 cookie, ovs_be64 cookie_mask)
678 {
679 int match_len = nx_put_raw(b, false, match, cookie, cookie_mask);
680
681 ofpbuf_put_zeros(b, ROUND_UP(match_len, 8) - match_len);
682 return match_len;
683 }
684
685
686 /* Appends to 'b' an struct ofp11_match_header followed by the oxm format that
687 * expresses 'cr', plus enough zero bytes to pad the data appended out to a
688 * multiple of 8.
689 *
690 * This function can cause 'b''s data to be reallocated.
691 *
692 * Returns the number of bytes appended to 'b', excluding the padding. Never
693 * returns zero. */
694 int
695 oxm_put_match(struct ofpbuf *b, const struct match *match)
696 {
697 int match_len;
698 struct ofp11_match_header *omh;
699 size_t start_len = b->size;
700 ovs_be64 cookie = htonll(0), cookie_mask = htonll(0);
701
702 ofpbuf_put_uninit(b, sizeof *omh);
703 match_len = nx_put_raw(b, true, match, cookie, cookie_mask) + sizeof *omh;
704 ofpbuf_put_zeros(b, ROUND_UP(match_len, 8) - match_len);
705
706 omh = (struct ofp11_match_header *)((char *)b->data + start_len);
707 omh->type = htons(OFPMT_OXM);
708 omh->length = htons(match_len);
709
710 return match_len;
711 }
712 \f
713 /* nx_match_to_string() and helpers. */
714
715 static void format_nxm_field_name(struct ds *, uint32_t header);
716
717 char *
718 nx_match_to_string(const uint8_t *p, unsigned int match_len)
719 {
720 uint32_t header;
721 struct ds s;
722
723 if (!match_len) {
724 return xstrdup("<any>");
725 }
726
727 ds_init(&s);
728 while ((header = nx_entry_ok(p, match_len)) != 0) {
729 unsigned int length = NXM_LENGTH(header);
730 unsigned int value_len = nxm_field_bytes(header);
731 const uint8_t *value = p + 4;
732 const uint8_t *mask = value + value_len;
733 unsigned int i;
734
735 if (s.length) {
736 ds_put_cstr(&s, ", ");
737 }
738
739 format_nxm_field_name(&s, header);
740 ds_put_char(&s, '(');
741
742 for (i = 0; i < value_len; i++) {
743 ds_put_format(&s, "%02x", value[i]);
744 }
745 if (NXM_HASMASK(header)) {
746 ds_put_char(&s, '/');
747 for (i = 0; i < value_len; i++) {
748 ds_put_format(&s, "%02x", mask[i]);
749 }
750 }
751 ds_put_char(&s, ')');
752
753 p += 4 + length;
754 match_len -= 4 + length;
755 }
756
757 if (match_len) {
758 if (s.length) {
759 ds_put_cstr(&s, ", ");
760 }
761
762 ds_put_format(&s, "<%u invalid bytes>", match_len);
763 }
764
765 return ds_steal_cstr(&s);
766 }
767
768 char *
769 oxm_match_to_string(const uint8_t *p, unsigned int match_len)
770 {
771 const struct ofp11_match_header *omh = (struct ofp11_match_header *)p;
772 uint16_t match_len_;
773 struct ds s;
774
775 ds_init(&s);
776
777 if (match_len < sizeof *omh) {
778 ds_put_format(&s, "<match too short: %u>", match_len);
779 goto err;
780 }
781
782 if (omh->type != htons(OFPMT_OXM)) {
783 ds_put_format(&s, "<bad match type field: %u>", ntohs(omh->type));
784 goto err;
785 }
786
787 match_len_ = ntohs(omh->length);
788 if (match_len_ < sizeof *omh) {
789 ds_put_format(&s, "<match length field too short: %u>", match_len_);
790 goto err;
791 }
792
793 if (match_len_ != match_len) {
794 ds_put_format(&s, "<match length field incorrect: %u != %u>",
795 match_len_, match_len);
796 goto err;
797 }
798
799 return nx_match_to_string(p + sizeof *omh, match_len - sizeof *omh);
800
801 err:
802 return ds_steal_cstr(&s);
803 }
804
805 static void
806 format_nxm_field_name(struct ds *s, uint32_t header)
807 {
808 const struct mf_field *mf = mf_from_nxm_header(header);
809 if (mf) {
810 ds_put_cstr(s, IS_OXM_HEADER(header) ? mf->oxm_name : mf->nxm_name);
811 if (NXM_HASMASK(header)) {
812 ds_put_cstr(s, "_W");
813 }
814 } else if (header == NXM_NX_COOKIE) {
815 ds_put_cstr(s, "NXM_NX_COOKIE");
816 } else if (header == NXM_NX_COOKIE_W) {
817 ds_put_cstr(s, "NXM_NX_COOKIE_W");
818 } else {
819 ds_put_format(s, "%d:%d", NXM_VENDOR(header), NXM_FIELD(header));
820 }
821 }
822
823 static uint32_t
824 parse_nxm_field_name(const char *name, int name_len)
825 {
826 bool wild;
827 int i;
828
829 /* Check whether it's a field name. */
830 wild = name_len > 2 && !memcmp(&name[name_len - 2], "_W", 2);
831 if (wild) {
832 name_len -= 2;
833 }
834
835 for (i = 0; i < MFF_N_IDS; i++) {
836 const struct mf_field *mf = mf_from_id(i);
837 uint32_t header;
838
839 if (mf->nxm_name &&
840 !strncmp(mf->nxm_name, name, name_len) &&
841 mf->nxm_name[name_len] == '\0') {
842 header = mf->nxm_header;
843 } else if (mf->oxm_name &&
844 !strncmp(mf->oxm_name, name, name_len) &&
845 mf->oxm_name[name_len] == '\0') {
846 header = mf->oxm_header;
847 } else {
848 continue;
849 }
850
851 if (!wild) {
852 return header;
853 } else if (mf->maskable != MFM_NONE) {
854 return NXM_MAKE_WILD_HEADER(header);
855 }
856 }
857
858 if (!strncmp("NXM_NX_COOKIE", name, name_len) &&
859 (name_len == strlen("NXM_NX_COOKIE"))) {
860 if (!wild) {
861 return NXM_NX_COOKIE;
862 } else {
863 return NXM_NX_COOKIE_W;
864 }
865 }
866
867 /* Check whether it's a 32-bit field header value as hex.
868 * (This isn't ordinarily useful except for testing error behavior.) */
869 if (name_len == 8) {
870 uint32_t header = hexits_value(name, name_len, NULL);
871 if (header != UINT_MAX) {
872 return header;
873 }
874 }
875
876 return 0;
877 }
878 \f
879 /* nx_match_from_string(). */
880
881 static int
882 nx_match_from_string_raw(const char *s, struct ofpbuf *b)
883 {
884 const char *full_s = s;
885 const size_t start_len = b->size;
886
887 if (!strcmp(s, "<any>")) {
888 /* Ensure that 'b->data' isn't actually null. */
889 ofpbuf_prealloc_tailroom(b, 1);
890 return 0;
891 }
892
893 for (s += strspn(s, ", "); *s; s += strspn(s, ", ")) {
894 const char *name;
895 uint32_t header;
896 int name_len;
897 size_t n;
898
899 name = s;
900 name_len = strcspn(s, "(");
901 if (s[name_len] != '(') {
902 ovs_fatal(0, "%s: missing ( at end of nx_match", full_s);
903 }
904
905 header = parse_nxm_field_name(name, name_len);
906 if (!header) {
907 ovs_fatal(0, "%s: unknown field `%.*s'", full_s, name_len, s);
908 }
909
910 s += name_len + 1;
911
912 nxm_put_header(b, header);
913 s = ofpbuf_put_hex(b, s, &n);
914 if (n != nxm_field_bytes(header)) {
915 ovs_fatal(0, "%.2s: hex digits expected", s);
916 }
917 if (NXM_HASMASK(header)) {
918 s += strspn(s, " ");
919 if (*s != '/') {
920 ovs_fatal(0, "%s: missing / in masked field %.*s",
921 full_s, name_len, name);
922 }
923 s = ofpbuf_put_hex(b, s + 1, &n);
924 if (n != nxm_field_bytes(header)) {
925 ovs_fatal(0, "%.2s: hex digits expected", s);
926 }
927 }
928
929 s += strspn(s, " ");
930 if (*s != ')') {
931 ovs_fatal(0, "%s: missing ) following field %.*s",
932 full_s, name_len, name);
933 }
934 s++;
935 }
936
937 return b->size - start_len;
938 }
939
940 int
941 nx_match_from_string(const char *s, struct ofpbuf *b)
942 {
943 int match_len = nx_match_from_string_raw(s, b);
944 ofpbuf_put_zeros(b, ROUND_UP(match_len, 8) - match_len);
945 return match_len;
946 }
947
948 int
949 oxm_match_from_string(const char *s, struct ofpbuf *b)
950 {
951 int match_len;
952 struct ofp11_match_header *omh;
953 size_t start_len = b->size;
954
955 ofpbuf_put_uninit(b, sizeof *omh);
956 match_len = nx_match_from_string_raw(s, b) + sizeof *omh;
957 ofpbuf_put_zeros(b, ROUND_UP(match_len, 8) - match_len);
958
959 omh = (struct ofp11_match_header *)((char *)b->data + start_len);
960 omh->type = htons(OFPMT_OXM);
961 omh->length = htons(match_len);
962
963 return match_len;
964 }
965 \f
966 void
967 nxm_parse_reg_move(struct ofpact_reg_move *move, const char *s)
968 {
969 const char *full_s = s;
970
971 s = mf_parse_subfield(&move->src, s);
972 if (strncmp(s, "->", 2)) {
973 ovs_fatal(0, "%s: missing `->' following source", full_s);
974 }
975 s += 2;
976 s = mf_parse_subfield(&move->dst, s);
977 if (*s != '\0') {
978 ovs_fatal(0, "%s: trailing garbage following destination", full_s);
979 }
980
981 if (move->src.n_bits != move->dst.n_bits) {
982 ovs_fatal(0, "%s: source field is %d bits wide but destination is "
983 "%d bits wide", full_s,
984 move->src.n_bits, move->dst.n_bits);
985 }
986 }
987
988 void
989 nxm_parse_reg_load(struct ofpact_reg_load *load, const char *s)
990 {
991 const char *full_s = s;
992 uint64_t value = strtoull(s, (char **) &s, 0);
993
994 if (strncmp(s, "->", 2)) {
995 ovs_fatal(0, "%s: missing `->' following value", full_s);
996 }
997 s += 2;
998 s = mf_parse_subfield(&load->dst, s);
999 if (*s != '\0') {
1000 ovs_fatal(0, "%s: trailing garbage following destination", full_s);
1001 }
1002
1003 if (load->dst.n_bits < 64 && (value >> load->dst.n_bits) != 0) {
1004 ovs_fatal(0, "%s: value %"PRIu64" does not fit into %d bits",
1005 full_s, value, load->dst.n_bits);
1006 }
1007
1008 load->subvalue.be64[0] = htonll(0);
1009 load->subvalue.be64[1] = htonll(value);
1010 }
1011 \f
1012 /* nxm_format_reg_move(), nxm_format_reg_load(). */
1013
1014 void
1015 nxm_format_reg_move(const struct ofpact_reg_move *move, struct ds *s)
1016 {
1017 ds_put_format(s, "move:");
1018 mf_format_subfield(&move->src, s);
1019 ds_put_cstr(s, "->");
1020 mf_format_subfield(&move->dst, s);
1021 }
1022
1023 static void
1024 set_field_format(const struct ofpact_reg_load *load, struct ds *s)
1025 {
1026 const struct mf_field *mf = load->dst.field;
1027 union mf_value value;
1028
1029 assert(load->ofpact.compat == OFPUTIL_OFPAT12_SET_FIELD);
1030 ds_put_format(s, "set_field:");
1031 memset(&value, 0, sizeof value);
1032 bitwise_copy(&load->subvalue, sizeof load->subvalue, 0,
1033 &value, mf->n_bytes, 0, load->dst.n_bits);
1034 mf_format(mf, &value, NULL, s);
1035 ds_put_format(s, "->%s", mf->name);
1036 }
1037
1038 static void
1039 load_format(const struct ofpact_reg_load *load, struct ds *s)
1040 {
1041 ds_put_cstr(s, "load:");
1042 mf_format_subvalue(&load->subvalue, s);
1043 ds_put_cstr(s, "->");
1044 mf_format_subfield(&load->dst, s);
1045 }
1046
1047 void
1048 nxm_format_reg_load(const struct ofpact_reg_load *load, struct ds *s)
1049 {
1050 if (load->ofpact.compat == OFPUTIL_OFPAT12_SET_FIELD) {
1051 set_field_format(load, s);
1052 } else {
1053 load_format(load, s);
1054 }
1055 }
1056 \f
1057 enum ofperr
1058 nxm_reg_move_from_openflow(const struct nx_action_reg_move *narm,
1059 struct ofpbuf *ofpacts)
1060 {
1061 struct ofpact_reg_move *move;
1062
1063 move = ofpact_put_REG_MOVE(ofpacts);
1064 move->src.field = mf_from_nxm_header(ntohl(narm->src));
1065 move->src.ofs = ntohs(narm->src_ofs);
1066 move->src.n_bits = ntohs(narm->n_bits);
1067 move->dst.field = mf_from_nxm_header(ntohl(narm->dst));
1068 move->dst.ofs = ntohs(narm->dst_ofs);
1069 move->dst.n_bits = ntohs(narm->n_bits);
1070
1071 return nxm_reg_move_check(move, NULL);
1072 }
1073
1074 enum ofperr
1075 nxm_reg_load_from_openflow(const struct nx_action_reg_load *narl,
1076 struct ofpbuf *ofpacts)
1077 {
1078 struct ofpact_reg_load *load;
1079
1080 load = ofpact_put_REG_LOAD(ofpacts);
1081 load->dst.field = mf_from_nxm_header(ntohl(narl->dst));
1082 load->dst.ofs = nxm_decode_ofs(narl->ofs_nbits);
1083 load->dst.n_bits = nxm_decode_n_bits(narl->ofs_nbits);
1084 load->subvalue.be64[1] = narl->value;
1085
1086 /* Reject 'narl' if a bit numbered 'n_bits' or higher is set to 1 in
1087 * narl->value. */
1088 if (load->dst.n_bits < 64 &&
1089 ntohll(narl->value) >> load->dst.n_bits) {
1090 return OFPERR_OFPBAC_BAD_ARGUMENT;
1091 }
1092
1093 return nxm_reg_load_check(load, NULL);
1094 }
1095
1096 enum ofperr
1097 nxm_reg_load_from_openflow12_set_field(
1098 const struct ofp12_action_set_field * oasf, struct ofpbuf *ofpacts)
1099 {
1100 uint16_t oasf_len = ntohs(oasf->len);
1101 uint32_t oxm_header = ntohl(oasf->dst);
1102 uint8_t oxm_length = NXM_LENGTH(oxm_header);
1103 struct ofpact_reg_load *load;
1104 const struct mf_field *mf;
1105
1106 /* ofp12_action_set_field is padded to 64 bits by zero */
1107 if (oasf_len != ROUND_UP(sizeof(*oasf) + oxm_length, 8)) {
1108 return OFPERR_OFPBAC_BAD_ARGUMENT;
1109 }
1110 if (!is_all_zeros((const uint8_t *)(oasf) + sizeof *oasf + oxm_length,
1111 oasf_len - oxm_length - sizeof *oasf)) {
1112 return OFPERR_OFPBAC_BAD_ARGUMENT;
1113 }
1114
1115 if (NXM_HASMASK(oxm_header)) {
1116 return OFPERR_OFPBAC_BAD_ARGUMENT;
1117 }
1118 mf = mf_from_nxm_header(oxm_header);
1119 if (!mf) {
1120 return OFPERR_OFPBAC_BAD_ARGUMENT;
1121 }
1122 load = ofpact_put_REG_LOAD(ofpacts);
1123 ofpact_set_field_init(load, mf, oasf + 1);
1124
1125 return nxm_reg_load_check(load, NULL);
1126 }
1127 \f
1128 enum ofperr
1129 nxm_reg_move_check(const struct ofpact_reg_move *move, const struct flow *flow)
1130 {
1131 enum ofperr error;
1132
1133 error = mf_check_src(&move->src, flow);
1134 if (error) {
1135 return error;
1136 }
1137
1138 return mf_check_dst(&move->dst, NULL);
1139 }
1140
1141 enum ofperr
1142 nxm_reg_load_check(const struct ofpact_reg_load *load, const struct flow *flow)
1143 {
1144 return mf_check_dst(&load->dst, flow);
1145 }
1146 \f
1147 void
1148 nxm_reg_move_to_nxast(const struct ofpact_reg_move *move,
1149 struct ofpbuf *openflow)
1150 {
1151 struct nx_action_reg_move *narm;
1152
1153 narm = ofputil_put_NXAST_REG_MOVE(openflow);
1154 narm->n_bits = htons(move->dst.n_bits);
1155 narm->src_ofs = htons(move->src.ofs);
1156 narm->dst_ofs = htons(move->dst.ofs);
1157 narm->src = htonl(move->src.field->nxm_header);
1158 narm->dst = htonl(move->dst.field->nxm_header);
1159 }
1160
1161 static void
1162 reg_load_to_nxast(const struct ofpact_reg_load *load, struct ofpbuf *openflow)
1163 {
1164 struct nx_action_reg_load *narl;
1165
1166 narl = ofputil_put_NXAST_REG_LOAD(openflow);
1167 narl->ofs_nbits = nxm_encode_ofs_nbits(load->dst.ofs, load->dst.n_bits);
1168 narl->dst = htonl(load->dst.field->nxm_header);
1169 narl->value = load->subvalue.be64[1];
1170 }
1171
1172 static void
1173 set_field_to_ofast(const struct ofpact_reg_load *load,
1174 struct ofpbuf *openflow)
1175 {
1176 const struct mf_field *mf = load->dst.field;
1177 struct ofp12_action_set_field *oasf;
1178 uint16_t padded_value_len;
1179
1180 oasf = ofputil_put_OFPAT12_SET_FIELD(openflow);
1181 oasf->dst = htonl(mf->oxm_header);
1182
1183 /* Set field is the only action of variable length (so far),
1184 * so handling the variable length portion is open-coded here */
1185 padded_value_len = ROUND_UP(mf->n_bytes, 8);
1186 ofpbuf_put_uninit(openflow, padded_value_len);
1187 oasf->len = htons(ntohs(oasf->len) + padded_value_len);
1188 memset(oasf + 1, 0, padded_value_len);
1189
1190 bitwise_copy(&load->subvalue, sizeof load->subvalue, load->dst.ofs,
1191 oasf + 1, mf->n_bytes, load->dst.ofs, load->dst.n_bits);
1192 return;
1193 }
1194
1195 void
1196 nxm_reg_load_to_nxast(const struct ofpact_reg_load *load,
1197 struct ofpbuf *openflow)
1198 {
1199
1200 if (load->ofpact.compat == OFPUTIL_OFPAT12_SET_FIELD) {
1201 struct ofp_header *oh = (struct ofp_header *)openflow->l2;
1202
1203 switch(oh->version) {
1204 case OFP12_VERSION:
1205 set_field_to_ofast(load, openflow);
1206 break;
1207
1208 case OFP11_VERSION:
1209 case OFP10_VERSION:
1210 if (load->dst.n_bits < 64) {
1211 reg_load_to_nxast(load, openflow);
1212 } else {
1213 /* Split into 64bit chunks */
1214 int chunk, ofs;
1215 for (ofs = 0; ofs < load->dst.n_bits; ofs += chunk) {
1216 struct ofpact_reg_load subload = *load;
1217
1218 chunk = MIN(load->dst.n_bits - ofs, 64);
1219
1220 subload.dst.field = load->dst.field;
1221 subload.dst.ofs = load->dst.ofs + ofs;
1222 subload.dst.n_bits = chunk;
1223 bitwise_copy(&load->subvalue, sizeof load->subvalue, ofs,
1224 &subload.subvalue, sizeof subload.subvalue, 0,
1225 chunk);
1226 reg_load_to_nxast(&subload, openflow);
1227 }
1228 }
1229 break;
1230
1231 default:
1232 NOT_REACHED();
1233 }
1234 } else {
1235 reg_load_to_nxast(load, openflow);
1236 }
1237 }
1238 \f
1239 /* nxm_execute_reg_move(), nxm_execute_reg_load(). */
1240
1241 void
1242 nxm_execute_reg_move(const struct ofpact_reg_move *move,
1243 struct flow *flow)
1244 {
1245 union mf_value src_value;
1246 union mf_value dst_value;
1247
1248 mf_get_value(move->dst.field, flow, &dst_value);
1249 mf_get_value(move->src.field, flow, &src_value);
1250 bitwise_copy(&src_value, move->src.field->n_bytes, move->src.ofs,
1251 &dst_value, move->dst.field->n_bytes, move->dst.ofs,
1252 move->src.n_bits);
1253 mf_set_flow_value(move->dst.field, &dst_value, flow);
1254 }
1255
1256 void
1257 nxm_execute_reg_load(const struct ofpact_reg_load *load, struct flow *flow)
1258 {
1259 mf_write_subfield_flow(&load->dst, &load->subvalue, flow);
1260 }
1261
1262 void
1263 nxm_reg_load(const struct mf_subfield *dst, uint64_t src_data,
1264 struct flow *flow)
1265 {
1266 union mf_subvalue src_subvalue;
1267 ovs_be64 src_data_be = htonll(src_data);
1268
1269 bitwise_copy(&src_data_be, sizeof src_data_be, 0,
1270 &src_subvalue, sizeof src_subvalue, 0,
1271 sizeof src_data_be * 8);
1272 mf_write_subfield_flow(dst, &src_subvalue, flow);
1273 }