]> git.proxmox.com Git - mirror_ovs.git/blame - tests/ovn.at
projects / mirror_ovs.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
check-kmod: Remove all OVS modules in this target.
[mirror_ovs.git] / tests / ovn.at
CommitLineData
f295c17b 1AT_BANNER([OVN components])
10b1662b
BP		 2
3AT_SETUP([ovn -- lexer])
4dnl For lines without =>, input and expected output are identical.
5dnl For lines with =>, input precedes => and expected output follows =>.
6AT_DATA([test-cases.txt], [dnl
7foo bar baz quuxquuxquux _abcd_ a.b.c.d a123_.456
8"abc\u0020def" => "abc def"
9" => error("Input ends inside quoted string.")dnl "
10
11a/*b*/c => a c
12a//b c => a
13a/**/b => a b
14a/*/b => a error("`/*' without matching `*/'.")
15a/*/**/b => a b
16a/b => a error("`/' is only valid as part of `//' or `/*'.") b
17
180 1 12345 18446744073709551615
1918446744073709551616 => error("Decimal constants must be less than 2**64.")
209999999999999999999999 => error("Decimal constants must be less than 2**64.")
2101 => error("Decimal constants must not have leading zeros.")
22
230/0
240/1
251/0 => error("Value contains unmasked 1-bits.")
261/1
27128/384
281/3
291/ => error("Integer constant expected.")
30
311/0x123 => error("Value and mask have incompatible formats.")
32
330x1234
340x01234 => 0x1234
350x0 => 0
360x000 => 0
370xfedcba9876543210
380XFEDCBA9876543210 => 0xfedcba9876543210
390xfedcba9876543210fedcba9876543210
10b1662b
BP		 400x0000fedcba9876543210fedcba9876543210 => 0xfedcba9876543210fedcba9876543210
410x => error("Hex digits expected following 0x.")
420X => error("Hex digits expected following 0X.")
430x0/0x0 => 0/0
440x0/0x1 => 0/0x1
450x1/0x0 => error("Value contains unmasked 1-bits.")
460xffff/0x1ffff
470x. => error("Invalid syntax in hexadecimal constant.")
48
49192.168.128.1 1.2.3.4 255.255.255.255 0.0.0.0
50256.1.2.3 => error("Invalid numeric constant.")
51192.168.0.0/16
52192.168.0.0/255.255.0.0 => 192.168.0.0/16
53192.168.0.0/255.255.255.0 => 192.168.0.0/24
54192.168.0.0/255.255.0.255
55192.168.0.0/255.0.0.0 => error("Value contains unmasked 1-bits.")
56192.168.0.0/32
57192.168.0.0/255.255.255.255 => 192.168.0.0/32
58
59::
60::1
61ff00::1234 => ff00::1234
622001:db8:85a3::8a2e:370:7334
632001:db8:85a3:0:0:8a2e:370:7334 => 2001:db8:85a3::8a2e:370:7334
642001:0db8:85a3:0000:0000:8a2e:0370:7334 => 2001:db8:85a3::8a2e:370:7334
65::ffff:192.0.2.128
66::ffff:c000:0280 => ::ffff:192.0.2.128
67::1/::1
68::1/ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff => ::1/128
69::1/128
70ff00::/8
71ff00::/ff00:: => ff00::/8
72
7301:23:45:67:ab:cd
7401:23:45:67:AB:CD => 01:23:45:67:ab:cd
75fe:dc:ba:98:76:54
76FE:DC:ba:98:76:54 => fe:dc:ba:98:76:54
7701:00:00:00:00:00/01:00:00:00:00:00
78ff:ff:ff:ff:ff:ff/ff:ff:ff:ff:ff:ff
79fe:ff:ff:ff:ff:ff/ff:ff:ff:ff:ff:ff
80ff:ff:ff:ff:ff:ff/fe:ff:ff:ff:ff:ff => error("Value contains unmasked 1-bits.")
81fe:x => error("Invalid numeric constant.")
8200:01:02:03:04:x => error("Invalid numeric constant.")
83
a20c96c6 84# Test that operators are tokenized as expected, even without white space.
56091efe 85(){}[[]]==!=<<=>>=!&&||..,;=<->-- => ( ) { } [[ ]] == != < <= > >= ! && || .. , ; = <-> --
10b1662b
BP		 86& => error("`&' is only valid as part of `&&'.")
87| => error("`|' is only valid as part of `||'.")
56091efe 88- => error("`-' is only valid as part of `--'.")
10b1662b
BP		 89
90^ => error("Invalid character `^' in input.")
91])
92AT_CAPTURE_FILE([input.txt])
93sed 's/ =>.*//' test-cases.txt > input.txt
94sed 's/.* => //' test-cases.txt > expout
95AT_CHECK([ovstest test-ovn lex < input.txt], [0], [expout])
96AT_CLEANUP
e0840f11
BP		 97
98AT_SETUP([ovn -- expression parser])
99dnl For lines without =>, input and expected output are identical.
100dnl For lines with =>, input precedes => and expected output follows =>.
101AT_DATA([test-cases.txt], [[
102eth.type == 0x800
103eth.type==0x800 => eth.type == 0x800
104eth.type[0..15] == 0x800 => eth.type == 0x800
105
106vlan.present
107vlan.present == 1 => vlan.present
108!(vlan.present == 0) => vlan.present
109!(vlan.present != 1) => vlan.present
110!vlan.present
111vlan.present == 0 => !vlan.present
112vlan.present != 1 => !vlan.present
113!(vlan.present == 1) => !vlan.present
114!(vlan.present != 0) => !vlan.present
115
116eth.dst[0]
117eth.dst[0] == 1 => eth.dst[0]
118eth.dst[0] != 0 => eth.dst[0]
119!(eth.dst[0] == 0) => eth.dst[0]
120!(eth.dst[0] != 1) => eth.dst[0]
121
122!eth.dst[0]
123eth.dst[0] == 0 => !eth.dst[0]
124eth.dst[0] != 1 => !eth.dst[0]
125!(eth.dst[0] == 1) => !eth.dst[0]
126!(eth.dst[0] != 0) => !eth.dst[0]
127
128vlan.tci[12..15] == 0x3
129vlan.tci == 0x3000/0xf000 => vlan.tci[12..15] == 0x3
130vlan.tci[12..15] != 0x3
131vlan.tci != 0x3000/0xf000 => vlan.tci[12..15] != 0x3
132
133!vlan.pcp => vlan.pcp == 0
134!(vlan.pcp) => vlan.pcp == 0
135vlan.pcp == 0x4
136vlan.pcp != 0x4
137vlan.pcp > 0x4
138vlan.pcp >= 0x4
139vlan.pcp < 0x4
140vlan.pcp <= 0x4
141!(vlan.pcp != 0x4) => vlan.pcp == 0x4
142!(vlan.pcp == 0x4) => vlan.pcp != 0x4
143!(vlan.pcp <= 0x4) => vlan.pcp > 0x4
144!(vlan.pcp < 0x4) => vlan.pcp >= 0x4
145!(vlan.pcp >= 0x4) => vlan.pcp < 0x4
146!(vlan.pcp > 0x4) => vlan.pcp <= 0x4
1470x4 == vlan.pcp => vlan.pcp == 0x4
1480x4 != vlan.pcp => vlan.pcp != 0x4
1490x4 < vlan.pcp => vlan.pcp > 0x4
1500x4 <= vlan.pcp => vlan.pcp >= 0x4
1510x4 > vlan.pcp => vlan.pcp < 0x4
1520x4 >= vlan.pcp => vlan.pcp <= 0x4
153!(0x4 != vlan.pcp) => vlan.pcp == 0x4
154!(0x4 == vlan.pcp) => vlan.pcp != 0x4
155!(0x4 >= vlan.pcp) => vlan.pcp > 0x4
156!(0x4 > vlan.pcp) => vlan.pcp >= 0x4
157!(0x4 <= vlan.pcp) => vlan.pcp < 0x4
158!(0x4 < vlan.pcp) => vlan.pcp <= 0x4
159
1601 < vlan.pcp < 4 => vlan.pcp > 0x1 && vlan.pcp < 0x4
1611 <= vlan.pcp <= 4 => vlan.pcp >= 0x1 && vlan.pcp <= 0x4
1621 < vlan.pcp <= 4 => vlan.pcp > 0x1 && vlan.pcp <= 0x4
1631 <= vlan.pcp < 4 => vlan.pcp >= 0x1 && vlan.pcp < 0x4
1641 <= vlan.pcp <= 4 => vlan.pcp >= 0x1 && vlan.pcp <= 0x4
1654 > vlan.pcp > 1 => vlan.pcp < 0x4 && vlan.pcp > 0x1
1664 >= vlan.pcp > 1 => vlan.pcp <= 0x4 && vlan.pcp > 0x1
1674 > vlan.pcp >= 1 => vlan.pcp < 0x4 && vlan.pcp >= 0x1
1684 >= vlan.pcp >= 1 => vlan.pcp <= 0x4 && vlan.pcp >= 0x1
169!(1 < vlan.pcp < 4) => vlan.pcp <= 0x1 || vlan.pcp >= 0x4
170!(1 <= vlan.pcp <= 4) => vlan.pcp < 0x1 || vlan.pcp > 0x4
171!(1 < vlan.pcp <= 4) => vlan.pcp <= 0x1 || vlan.pcp > 0x4
172!(1 <= vlan.pcp < 4) => vlan.pcp < 0x1 || vlan.pcp >= 0x4
173!(1 <= vlan.pcp <= 4) => vlan.pcp < 0x1 || vlan.pcp > 0x4
174!(4 > vlan.pcp > 1) => vlan.pcp >= 0x4 || vlan.pcp <= 0x1
175!(4 >= vlan.pcp > 1) => vlan.pcp > 0x4 || vlan.pcp <= 0x1
176!(4 > vlan.pcp >= 1) => vlan.pcp >= 0x4 || vlan.pcp < 0x1
177!(4 >= vlan.pcp >= 1) => vlan.pcp > 0x4 || vlan.pcp < 0x1
178
179vlan.pcp == {1, 2, 3, 4} => vlan.pcp == 0x1 || vlan.pcp == 0x2 || vlan.pcp == 0x3 || vlan.pcp == 0x4
180vlan.pcp == 1 || ((vlan.pcp == 2 || vlan.pcp == 3) || vlan.pcp == 4) => vlan.pcp == 0x1 || vlan.pcp == 0x2 || vlan.pcp == 0x3 || vlan.pcp == 0x4
181
182vlan.pcp != {1, 2, 3, 4} => vlan.pcp != 0x1 && vlan.pcp != 0x2 && vlan.pcp != 0x3 && vlan.pcp != 0x4
183vlan.pcp == 1 && ((vlan.pcp == 2 && vlan.pcp == 3) && vlan.pcp == 4) => vlan.pcp == 0x1 && vlan.pcp == 0x2 && vlan.pcp == 0x3 && vlan.pcp == 0x4
184
185vlan.pcp == 1 && !((vlan.pcp == 2 && vlan.pcp == 3) && vlan.pcp == 4) => vlan.pcp == 0x1 && (vlan.pcp != 0x2 || vlan.pcp != 0x3 || vlan.pcp != 0x4)
186vlan.pcp == 1 && (!(vlan.pcp == 2 && vlan.pcp == 3) && vlan.pcp == 4) => vlan.pcp == 0x1 && (vlan.pcp != 0x2 || vlan.pcp != 0x3) && vlan.pcp == 0x4
187vlan.pcp == 1 && !(!(vlan.pcp == 2 && vlan.pcp == 3) && vlan.pcp == 4) => vlan.pcp == 0x1 && ((vlan.pcp == 0x2 && vlan.pcp == 0x3) || vlan.pcp != 0x4)
188
189ip4.src == {10.0.0.0/8, 192.168.0.0/16, 172.16.20.0/24, 8.8.8.8} => ip4.src[24..31] == 0xa || ip4.src[16..31] == 0xc0a8 || ip4.src[8..31] == 0xac1014 || ip4.src == 0x8080808
190ip6.src == ::1 => ip6.src == 0x1
191
192ip4.src == 1.2.3.4 => ip4.src == 0x1020304
193ip4.src == ::1.2.3.4/::ffff:ffff => ip4.src == 0x1020304
194ip6.src == ::1 => ip6.src == 0x1
195
1961
1970
198!1 => 0
199!0 => 1
200
201inport == "eth0"
202!(inport != "eth0") => inport == "eth0"
203
3b7cb7e1
BP		 204ip4.src == "eth0" => Integer field ip4.src is not compatible with string constant.
205inport == 1 => String field inport is not compatible with integer constant.
e0840f11
BP		 206
207ip4.src > {1, 2, 3} => Only == and != operators may be used with value sets.
208eth.type > 0x800 => Only == and != operators may be used with nominal field eth.type.
209vlan.present > 0 => Only == and != operators may be used with Boolean field vlan.present.
210
211inport != "eth0" => Nominal field inport may only be tested for equality (taking enclosing `!' operators into account).
212!(inport == "eth0") => Nominal field inport may only be tested for equality (taking enclosing `!' operators into account).
213eth.type != 0x800 => Nominal field eth.type may only be tested for equality (taking enclosing `!' operators into account).
214!(eth.type == 0x800) => Nominal field eth.type may only be tested for equality (taking enclosing `!' operators into account).
215
216123 == 123 => Syntax error at `123' expecting field name.
217
218123 == xyzzy => Syntax error at `xyzzy' expecting field name.
219xyzzy == 1 => Syntax error at `xyzzy' expecting field name.
220
221inport[1] == 1 => Cannot select subfield of string field inport.
222
223eth.type[] == 1 => Syntax error at `@:>@' expecting small integer.
224eth.type[::1] == 1 => Syntax error at `::1' expecting small integer.
225eth.type[18446744073709551615] == 1 => Syntax error at `18446744073709551615' expecting small integer.
226
227eth.type[5!] => Syntax error at `!' expecting `@:>@'.
228
229eth.type[5..1] => Invalid bit range 5 to 1.
230
231eth.type[12..16] => Cannot select bits 12 to 16 of 16-bit field eth.type.
232
233eth.type[10] == 1 => Cannot select subfield of nominal field eth.type.
234
235eth.type => Explicit `!= 0' is required for inequality test of multibit field against 0.
236
237!(!(vlan.pcp)) => Explicit `!= 0' is required for inequality test of multibit field against 0.
238
239123 => Syntax error at end of input expecting relational operator.
240
241123 x => Syntax error at `x' expecting relational operator.
242
243{1, "eth0"} => Syntax error at `"eth0"' expecting integer.
244
245eth.type == xyzzy => Syntax error at `xyzzy' expecting constant.
246
247(1 x) => Syntax error at `x' expecting `)'.
248
249!0x800 != eth.type => Missing parentheses around operand of !.
250
251eth.type == 0x800 || eth.type == 0x86dd && ip.proto == 17 => && and || must be parenthesized when used together.
252
253eth.dst == {} => Syntax error at `}' expecting constant.
254
255eth.src > 00:00:00:00:11:11/00:00:00:00:ff:ff => Only == and != operators may be used with masked constants. Consider using subfields instead (e.g. eth.src[0..15] > 0x1111 in place of eth.src > 00:00:00:00:11:11/00:00:00:00:ff:ff).
256
3b7cb7e1 257ip4.src == ::1 => 128-bit constant is not compatible with 32-bit field ip4.src.
e0840f11
BP		 258
2591 == eth.type == 2 => Range expressions must have the form `x < field < y' or `x > field > y', with each `<' optionally replaced by `<=' or `>' by `>=').
8b34ccda
JS		 260
261eth.dst[40] x => Extra tokens at end of input.
e0840f11
BP		 262]])
263sed 's/ =>.*//' test-cases.txt > input.txt
264sed 's/.* => //' test-cases.txt > expout
265AT_CHECK([ovstest test-ovn parse-expr < input.txt], [0], [expout])
266AT_CLEANUP
267
268AT_SETUP([ovn -- expression annotation])
269dnl Input precedes =>, expected output follows =>.
270AT_DATA([test-cases.txt], [[
271ip4.src == 1.2.3.4 => ip4.src == 0x1020304 && eth.type == 0x800
272ip4.src != 1.2.3.4 => ip4.src != 0x1020304 && eth.type == 0x800
273ip.proto == 123 => ip.proto == 0x7b && (eth.type == 0x800 || eth.type == 0x86dd)
274ip.proto == {123, 234} => (ip.proto == 0x7b && (eth.type == 0x800 || eth.type == 0x86dd)) || (ip.proto == 0xea && (eth.type == 0x800 || eth.type == 0x86dd))
275ip4.src == 1.2.3.4 && ip4.dst == 5.6.7.8 => ip4.src == 0x1020304 && eth.type == 0x800 && ip4.dst == 0x5060708 && eth.type == 0x800
276
277ip => eth.type == 0x800 || eth.type == 0x86dd
278ip == 1 => eth.type == 0x800 || eth.type == 0x86dd
279ip[0] == 1 => eth.type == 0x800 || eth.type == 0x86dd
280ip > 0 => Only == and != operators may be used with nominal field ip.
281!ip => Nominal predicate ip may only be tested positively, e.g. `ip' or `ip == 1' but not `!ip' or `ip == 0'.
282ip == 0 => Nominal predicate ip may only be tested positively, e.g. `ip' or `ip == 1' but not `!ip' or `ip == 0'.
283
284vlan.present => vlan.tci[12]
285!vlan.present => !vlan.tci[12]
286
287!vlan.pcp => vlan.tci[13..15] == 0 && vlan.tci[12]
288vlan.pcp == 1 && vlan.vid == 2 => vlan.tci[13..15] == 0x1 && vlan.tci[12] && vlan.tci[0..11] == 0x2 && vlan.tci[12]
289!reg0 && !reg1 && !reg2 && !reg3 => xreg0[32..63] == 0 && xreg0[0..31] == 0 && xreg1[32..63] == 0 && xreg1[0..31] == 0
290
291ip.first_frag => ip.frag[0] && (eth.type == 0x800 || eth.type == 0x86dd) && (!ip.frag[1] || (eth.type != 0x800 && eth.type != 0x86dd))
292!ip.first_frag => !ip.frag[0] || (eth.type != 0x800 && eth.type != 0x86dd) || (ip.frag[1] && (eth.type == 0x800 || eth.type == 0x86dd))
293ip.later_frag => ip.frag[1] && (eth.type == 0x800 || eth.type == 0x86dd)
294
295bad_prereq != 0 => Error parsing expression `xyzzy' encountered as prerequisite or predicate of initial expression: Syntax error at `xyzzy' expecting field name.
296self_recurse != 0 => Error parsing expression `self_recurse != 0' encountered as prerequisite or predicate of initial expression: Recursive expansion of symbol `self_recurse'.
297mutual_recurse_1 != 0 => Error parsing expression `mutual_recurse_2 != 0' encountered as prerequisite or predicate of initial expression: Error parsing expression `mutual_recurse_1 != 0' encountered as prerequisite or predicate of initial expression: Recursive expansion of symbol `mutual_recurse_1'.
298mutual_recurse_2 != 0 => Error parsing expression `mutual_recurse_1 != 0' encountered as prerequisite or predicate of initial expression: Error parsing expression `mutual_recurse_2 != 0' encountered as prerequisite or predicate of initial expression: Recursive expansion of symbol `mutual_recurse_2'.
299]])
300sed 's/ =>.*//' test-cases.txt > input.txt
301sed 's/.* => //' test-cases.txt > expout
302AT_CHECK([ovstest test-ovn annotate-expr < input.txt], [0], [expout])
303AT_CLEANUP
304
9d4aecca 305AT_SETUP([ovn -- 1-term expression conversion])
e0840f11 306AT_CHECK([ovstest test-ovn exhaustive --operation=convert 1], [0],
9d4aecca 307 [Tested converting all 1-terminal expressions with 2 numeric vars (each 3 bits) in terms of operators == != < <= > >= and 2 string vars.
e0840f11
BP		 308])
309AT_CLEANUP
310
9d4aecca 311AT_SETUP([ovn -- 2-term expression conversion])
e0840f11 312AT_CHECK([ovstest test-ovn exhaustive --operation=convert 2], [0],
9d4aecca 313 [Tested converting 570 expressions of 2 terminals with 2 numeric vars (each 3 bits) in terms of operators == != < <= > >= and 2 string vars.
e0840f11
BP		 314])
315AT_CLEANUP
316
9d4aecca 317AT_SETUP([ovn -- 3-term expression conversion])
e0840f11 318AT_CHECK([ovstest test-ovn exhaustive --operation=convert --bits=2 3], [0],
9d4aecca 319 [Tested converting 62418 expressions of 3 terminals with 2 numeric vars (each 2 bits) in terms of operators == != < <= > >= and 2 string vars.
e0840f11
BP		 320])
321AT_CLEANUP
322
9d4aecca
BP		 323AT_SETUP([ovn -- 3-term numeric expression simplification])
324AT_CHECK([ovstest test-ovn exhaustive --operation=simplify --nvars=2 --svars=0 3], [0],
325 [Tested simplifying 477138 expressions of 3 terminals with 2 numeric vars (each 3 bits) in terms of operators == != < <= > >=.
e0840f11
BP		 326])
327AT_CLEANUP
328
9d4aecca
BP		 329AT_SETUP([ovn -- 4-term string expression simplification])
330AT_CHECK([ovstest test-ovn exhaustive --operation=simplify --nvars=0 --svars=4 4], [0],
331 [Tested simplifying 21978 expressions of 4 terminals with 4 string vars.
e0840f11
BP		 332])
333AT_CLEANUP
334
9d4aecca
BP		 335AT_SETUP([ovn -- 3-term mixed expression simplification])
336AT_CHECK([ovstest test-ovn exhaustive --operation=simplify --nvars=1 --svars=1 3], [0],
337 [Tested simplifying 124410 expressions of 3 terminals with 1 numeric vars (each 3 bits) in terms of operators == != < <= > >= and 1 string vars.
e0840f11
BP		 338])
339AT_CLEANUP
340
9d4aecca
BP		 341AT_SETUP([ovn -- 4-term numeric expression normalization])
342AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=3 --svars=0 --bits=1 4], [0],
343 [Tested normalizing 1207162 expressions of 4 terminals with 3 numeric vars (each 1 bits) in terms of operators == != < <= > >=.
e0840f11
BP		 344])
345AT_CLEANUP
346
9d4aecca
BP		 347AT_SETUP([ovn -- 4-term string expression normalization])
348AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=0 --svars=3 --bits=1 4], [0],
349 [Tested normalizing 11242 expressions of 4 terminals with 3 string vars.
350])
351AT_CLEANUP
352
353AT_SETUP([ovn -- 4-term mixed expression normalization])
354AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=1 --bits=1 --svars=2 4], [0],
355 [Tested normalizing 128282 expressions of 4 terminals with 1 numeric vars (each 1 bits) in terms of operators == != < <= > >= and 2 string vars.
356])
357AT_CLEANUP
358
359AT_SETUP([ovn -- 5-term numeric expression normalization])
360AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=3 --svars=0 --bits=1 --relops='==' 5], [0],
361 [Tested normalizing 368550 expressions of 5 terminals with 3 numeric vars (each 1 bits) in terms of operators ==.
362])
363AT_CLEANUP
364
365AT_SETUP([ovn -- 5-term string expression normalization])
366AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=0 --svars=3 --bits=1 --relops='==' 5], [0],
367 [Tested normalizing 368550 expressions of 5 terminals with 3 string vars.
368])
369AT_CLEANUP
370
371AT_SETUP([ovn -- 5-term mixed expression normalization])
372AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=1 --svars=1 --bits=1 --relops='==' 5], [0],
373 [Tested normalizing 116550 expressions of 5 terminals with 1 numeric vars (each 1 bits) in terms of operators == and 1 string vars.
374])
375AT_CLEANUP
376
377AT_SETUP([ovn -- 4-term numeric expressions to flows])
378AT_CHECK([ovstest test-ovn exhaustive --operation=flow --nvars=2 --svars=0 --bits=2 --relops='==' 4], [0],
379 [Tested converting to flows 128282 expressions of 4 terminals with 2 numeric vars (each 2 bits) in terms of operators ==.
380])
381AT_CLEANUP
382
383AT_SETUP([ovn -- 4-term string expressions to flows])
384AT_CHECK([ovstest test-ovn exhaustive --operation=flow --nvars=0 --svars=4 4], [0],
385 [Tested converting to flows 21978 expressions of 4 terminals with 4 string vars.
386])
387AT_CLEANUP
388
389AT_SETUP([ovn -- 4-term mixed expressions to flows])
390AT_CHECK([ovstest test-ovn exhaustive --operation=flow --nvars=1 --bits=2 --svars=1 --relops='==' 4], [0],
391 [Tested converting to flows 37994 expressions of 4 terminals with 1 numeric vars (each 2 bits) in terms of operators == and 1 string vars.
392])
393AT_CLEANUP
394
395AT_SETUP([ovn -- 3-term numeric expressions to flows])
396AT_CHECK([ovstest test-ovn exhaustive --operation=flow --nvars=3 --svars=0 --bits=3 --relops='==' 3], [0],
397 [Tested converting to flows 38394 expressions of 3 terminals with 3 numeric vars (each 3 bits) in terms of operators ==.
e0840f11
BP		 398])
399AT_CLEANUP
f386a8a7
BP		 400
401AT_SETUP([ovn -- converting expressions to flows -- string fields])
402expr_to_flow () {
403 echo "$1" | ovstest test-ovn expr-to-flows | sort
404}
3b7cb7e1 405AT_CHECK([expr_to_flow 'inport == "eth0"'], [0], [reg6=0x5
f386a8a7 406])
3b7cb7e1 407AT_CHECK([expr_to_flow 'inport == "eth1"'], [0], [reg6=0x6
f386a8a7
BP		 408])
409AT_CHECK([expr_to_flow 'inport == "eth2"'], [0], [(no flows)
410])
411AT_CHECK([expr_to_flow 'inport == "eth0" && ip'], [0], [dnl
3b7cb7e1
BP		 412ip,reg6=0x5
413ipv6,reg6=0x5
f386a8a7
BP		 414])
415AT_CHECK([expr_to_flow 'inport == "eth1" && ip'], [0], [dnl
3b7cb7e1
BP		 416ip,reg6=0x6
417ipv6,reg6=0x6
f386a8a7
BP		 418])
419AT_CHECK([expr_to_flow 'inport == "eth2" && ip'], [0], [(no flows)
420])
421AT_CHECK([expr_to_flow 'inport == {"eth0", "eth1", "eth2", "LOCAL"}'], [0],
3b7cb7e1
BP		 422[reg6=0x5
423reg6=0x6
424reg6=0xfffe
f386a8a7
BP		 425])
426AT_CHECK([expr_to_flow 'inport == {"eth0", "eth1", "eth2"} && ip'], [0], [dnl
3b7cb7e1
BP		 427ip,reg6=0x5
428ip,reg6=0x6
429ipv6,reg6=0x5
430ipv6,reg6=0x6
f386a8a7 431])
9d4aecca
BP		 432AT_CHECK([expr_to_flow 'inport == "eth0" && inport == "eth1"'], [0], [dnl
433(no flows)
434])
f386a8a7 435AT_CLEANUP
3b7cb7e1
BP		 436
437AT_SETUP([ovn -- action parsing])
438dnl Text before => is input, text after => is expected output.
439AT_DATA([test-cases.txt], [[
5f822129 440# drop
3b7cb7e1 441drop; => actions=drop, prereqs=1
5f822129
BP		 442drop; next; => Syntax error at `next' expecting end of input.
443next; drop; => Syntax error at `drop' expecting action.
444
445# output
446output; => actions=resubmit(,64), prereqs=1
447
448# next
558ec83d
BP		 449next; => actions=resubmit(,27), prereqs=1
450next(0); => actions=resubmit(,16), prereqs=1
451next(15); => actions=resubmit(,31), prereqs=1
5f822129
BP		 452
453next(); => Syntax error at `)' expecting small integer.
454next(10; => Syntax error at `;' expecting `)'.
455next(16); => "next" argument must be in range 0 to 15.
456
457# Loading a constant value.
3b7cb7e1
BP		 458tcp.dst=80; => actions=set_field:80->tcp_dst, prereqs=ip.proto == 0x6 && (eth.type == 0x800 || eth.type == 0x86dd)
459eth.dst[40] = 1; => actions=set_field:01:00:00:00:00:00/01:00:00:00:00:00->eth_dst, prereqs=1
460vlan.pcp = 2; => actions=set_field:0x4000/0xe000->vlan_tci, prereqs=vlan.tci[12]
461vlan.tci[13..15] = 2; => actions=set_field:0x4000/0xe000->vlan_tci, prereqs=1
b4970837 462inport = ""; => actions=set_field:0->reg6,set_field:0->in_port, prereqs=1
47f3b59b 463ip.ttl = 4; => actions=set_field:4->nw_ttl, prereqs=eth.type == 0x800 || eth.type == 0x86dd
5f822129 464outport="eth0"; next; outport="LOCAL"; next; => actions=set_field:0x5->reg7,resubmit(,27),set_field:0xfffe->reg7,resubmit(,27), prereqs=1
558ec83d 465
3b7cb7e1
BP		 466inport[1] = 1; => Cannot select subfield of string field inport.
467ip.proto[1] = 1; => Cannot select subfield of nominal field ip.proto.
468eth.dst[40] == 1; => Syntax error at `==' expecting `='.
ce57ea75 469ip = 1; => Predicate symbol ip used where lvalue required.
3b7cb7e1
BP		 470ip.proto = 6; => Field ip.proto is not modifiable.
471inport = {"a", "b"}; => Assignments require a single value.
472inport = {}; => Syntax error at `}' expecting constant.
473bad_prereq = 123; => Error parsing expression `xyzzy' encountered as prerequisite or predicate of initial expression: Syntax error at `xyzzy' expecting field name.
474self_recurse = 123; => Error parsing expression `self_recurse != 0' encountered as prerequisite or predicate of initial expression: Error parsing expression `self_recurse != 0' encountered as prerequisite or predicate of initial expression: Recursive expansion of symbol `self_recurse'.
ce57ea75 475vlan.present = 0; => Predicate symbol vlan.present used where lvalue required.
5f822129
BP		 476
477# Moving one field into another.
478reg0 = reg1; => actions=move:OXM_OF_PKT_REG0[0..31]->OXM_OF_PKT_REG0[32..63], prereqs=1
479vlan.pcp = reg0[0..2]; => actions=move:OXM_OF_PKT_REG0[32..34]->NXM_OF_VLAN_TCI[13..15], prereqs=vlan.tci[12]
480reg0[10] = vlan.pcp[1]; => actions=move:NXM_OF_VLAN_TCI[14]->OXM_OF_PKT_REG0[42], prereqs=vlan.tci[12]
481outport = inport; => actions=move:NXM_NX_REG6[]->NXM_NX_REG7[], prereqs=1
482
ce57ea75 483reg0[0] = vlan.present; => Predicate symbol vlan.present used where lvalue required.
5ee054fb
BP		 484reg0 = reg1[0..10]; => Can't assign 11-bit value to 32-bit destination.
485inport = reg0; => Can't assign integer field (reg0) to string field (inport).
486inport = big_string; => String fields inport and big_string are incompatible for assignment.
487ip.proto = reg0[0..7]; => Field ip.proto is not modifiable.
5f822129
BP		 488
489# Exchanging fields.
490reg0 <-> reg1; => actions=push:OXM_OF_PKT_REG0[0..31],push:OXM_OF_PKT_REG0[32..63],pop:OXM_OF_PKT_REG0[0..31],pop:OXM_OF_PKT_REG0[32..63], prereqs=1
491vlan.pcp <-> reg0[0..2]; => actions=push:OXM_OF_PKT_REG0[32..34],push:NXM_OF_VLAN_TCI[13..15],pop:OXM_OF_PKT_REG0[32..34],pop:NXM_OF_VLAN_TCI[13..15], prereqs=vlan.tci[12]
492reg0[10] <-> vlan.pcp[1]; => actions=push:NXM_OF_VLAN_TCI[14],push:OXM_OF_PKT_REG0[42],pop:NXM_OF_VLAN_TCI[14],pop:OXM_OF_PKT_REG0[42], prereqs=vlan.tci[12]
493outport <-> inport; => actions=push:NXM_NX_REG6[],push:NXM_NX_REG7[],pop:NXM_NX_REG6[],pop:NXM_NX_REG7[], prereqs=1
494
ce57ea75 495reg0[0] <-> vlan.present; => Predicate symbol vlan.present used where lvalue required.
a20c96c6
BP		 496reg0 <-> reg1[0..10]; => Can't exchange 32-bit field with 11-bit field.
497inport <-> reg0; => Can't exchange string field (inport) with integer field (reg0).
498inport <-> big_string; => String fields inport and big_string are incompatible for exchange.
499ip.proto <-> reg0[0..7]; => Field ip.proto is not modifiable.
500reg0[0..7] <-> ip.proto; => Field ip.proto is not modifiable.
5f822129
BP		 501
502# TTL decrement.
503ip.ttl--; => actions=dec_ttl, prereqs=ip
47f3b59b 504ip.ttl => Syntax error at end of input expecting `--'.
5f822129
BP		 505
506# conntrack
507ct_next; => actions=ct(table=27,zone=NXM_NX_REG5[0..15]), prereqs=ip
508ct_commit; => actions=ct(commit,zone=NXM_NX_REG5[0..15]), prereqs=ip
509
6335d074
BP		 510# arp
511arp { eth.dst = ff:ff:ff:ff:ff:ff; output; }; => actions=controller(userdata=00.00.00.00.00.00.00.00.00.19.00.10.80.00.06.06.ff.ff.ff.ff.ff.ff.00.00.ff.ff.00.10.00.00.23.20.00.0e.ff.f8.40.00.00.00), prereqs=ip4
512
0bac7164
BP		 513# get_arp
514get_arp(outport, ip4.dst); => actions=push:NXM_NX_REG0[],push:NXM_OF_IP_DST[],pop:NXM_NX_REG0[],set_field:00:00:00:00:00:00->eth_dst,resubmit(,65),pop:NXM_NX_REG0[], prereqs=eth.type == 0x800
515get_arp(inport, reg0); => actions=push:NXM_NX_REG7[],push:NXM_NX_REG0[],push:OXM_OF_PKT_REG0[32..63],push:NXM_NX_REG6[],pop:NXM_NX_REG7[],pop:NXM_NX_REG0[],set_field:00:00:00:00:00:00->eth_dst,resubmit(,65),pop:NXM_NX_REG0[],pop:NXM_NX_REG7[], prereqs=1
516get_arp; => Syntax error at `;' expecting `('.
517get_arp(); => Syntax error at `)' expecting field name.
518get_arp(inport); => Syntax error at `)' expecting `,'.
519get_arp(inport ip4.dst); => Syntax error at `ip4.dst' expecting `,'.
520get_arp(inport, ip4.dst; => Syntax error at `;' expecting `)'.
521get_arp(inport, eth.dst); => Cannot use 48-bit field eth.dst[0..47] where 32-bit field is required.
522get_arp(inport, outport); => Cannot use string field outport where numeric field is required.
523get_arp(reg0, ip4.dst); => Cannot use numeric field reg0 where string field is required.
524
525# put_arp
526put_arp(inport, arp.spa, arp.sha); => actions=push:NXM_NX_REG0[],push:NXM_OF_ETH_SRC[],push:NXM_NX_ARP_SHA[],push:NXM_OF_ARP_SPA[],pop:NXM_NX_REG0[],pop:NXM_OF_ETH_SRC[],controller(userdata=00.00.00.01.00.00.00.00),pop:NXM_OF_ETH_SRC[],pop:NXM_NX_REG0[], prereqs=eth.type == 0x806 && eth.type == 0x806
527
5f822129
BP		 528# Contradictionary prerequisites (allowed but not useful):
529ip4.src = ip6.src[0..31]; => actions=move:NXM_NX_IPV6_SRC[0..31]->NXM_OF_IP_SRC[], prereqs=eth.type == 0x800 && eth.type == 0x86dd
530ip4.src <-> ip6.src[0..31]; => actions=push:NXM_NX_IPV6_SRC[0..31],push:NXM_OF_IP_SRC[],pop:NXM_NX_IPV6_SRC[0..31],pop:NXM_OF_IP_SRC[], prereqs=eth.type == 0x800 && eth.type == 0x86dd
531
532## Miscellaneous negative tests.
533; => Syntax error at `;'.
534xyzzy; => Syntax error at `xyzzy' expecting action.
535next; 123; => Syntax error at `123'.
536next; xyzzy; => Syntax error at `xyzzy' expecting action.
537next => Syntax error at end of input expecting ';'.
3b7cb7e1
BP		 538]])
539sed 's/ =>.*//' test-cases.txt > input.txt
540sed 's/.* => //' test-cases.txt > expout
541AT_CHECK([ovstest test-ovn parse-actions < input.txt], [0], [expout])
542AT_CLEANUP
f295c17b
BP		 543
544AT_BANNER([OVN end-to-end tests])
545
9975d7be
BP		 546# 3 hypervisors, one logical switch, 3 logical ports per hypervisor
547AT_SETUP([ovn -- 3 HVs, 1 LS, 3 lports/HV])
57d143eb 548AT_KEYWORDS([ovnarp])
f295c17b
BP		 549AT_SKIP_IF([test $HAVE_PYTHON = no])
550ovn_start
551
552# Create hypervisors hv[123].
9975d7be 553# Add vif1[123] to hv1, vif2[123] to hv2, vif3[123] to hv3.
f295c17b
BP		 554# Add all of the vifs to a single logical switch lsw0.
555# Turn on port security on all the vifs except vif[123]1.
556# Make vif13, vif2[23], vif3[123] destinations for unknown MACs.
557# Add some ACLs for Ethertypes 1234, 1235, 1236.
558ovn-nbctl lswitch-add lsw0
559net_add n1
560for i in 1 2 3; do
561 sim_add hv$i
562 as hv$i
563 ovs-vsctl add-br br-phys
564 ovn_attach n1 br-phys 192.168.0.$i
565
566 for j in 1 2 3; do
567 ovs-vsctl add-port br-int vif$i$j -- set Interface vif$i$j external-ids:iface-id=lp$i$j options:tx_pcap=hv$i/vif$i$j-tx.pcap options:rxq_pcap=hv$i/vif$i$j-rx.pcap ofport-request=$i$j
568 ovn-nbctl lport-add lsw0 lp$i$j
4d5c43d5 569 if test $j = 1; then
57d143eb 570 ovn-nbctl lport-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" unknown
f295c17b 571 else
7dc88496
NS		 572 if test $j = 3; then
573 ip_addrs="192.168.0.$i$j fe80::ea2a:eaff:fe28:$i$j/64 192.169.0.$i$j"
574 else
575 ip_addrs="192.168.0.$i$j"
576 fi
577 ovn-nbctl lport-set-addresses lp$i$j "f0:00:00:00:00:$i$j $ip_addrs"
f295c17b
BP		 578 ovn-nbctl lport-set-port-security lp$i$j f0:00:00:00:00:$i$j
579 fi
580 done
581done
582ovn-nbctl acl-add lsw0 from-lport 1000 'eth.type == 0x1234' drop
583ovn-nbctl acl-add lsw0 from-lport 1000 'eth.type == 0x1235 && inport == "lp11"' drop
584ovn-nbctl acl-add lsw0 to-lport 1000 'eth.type == 0x1236 && outport == "lp33"' drop
585
586# Pre-populate the hypervisors' ARP tables so that we don't lose any
587# packets for ARP resolution (native tunneling doesn't queue packets
588# for ARP resolution).
589ovn_populate_arp
590
591# Allow some time for ovn-northd and ovn-controller to catch up.
592# XXX This should be more systematic.
593sleep 1
611099dc 594
57d143eb
HZ		 595# Given the name of a logical port, prints the name of the hypervisor
596# on which it is located.
597vif_to_hv() {
598 echo hv${1%?}
599}
600
f295c17b
BP		 601# test_packet INPORT DST SRC ETHTYPE OUTPORT...
602#
603# This shell function causes a packet to be received on INPORT. The packet's
604# content has Ethernet destination DST and source SRC (each exactly 12 hex
605# digits) and Ethernet type ETHTYPE (4 hex digits). The OUTPORTs (zero or
606# more) list the VIFs on which the packet should be received. INPORT and the
607# OUTPORTs are specified as lport numbers, e.g. 11 for vif11.
608trim_zeros() {
609 sed 's/\(00\)\{1,\}$//'
610}
611for i in 1 2 3; do
612 for j in 1 2 3; do
613 : > $i$j.expected
614 done
615done
616test_packet() {
617 local inport=$1 packet=$2$3$4; shift; shift; shift; shift
57d143eb 618 hv=`vif_to_hv $inport`
f295c17b
BP		 619 vif=vif$inport
620 as $hv ovs-appctl netdev-dummy/receive $vif $packet
621 for outport; do
622 echo $packet | trim_zeros >> $outport.expected
623 done
624}
625
57d143eb
HZ		 626# test_arp INPORT SHA SPA TPA [REPLY_HA]
627#
628# Causes a packet to be received on INPORT. The packet is an ARP
629# request with SHA, SPA, and TPA as specified. If REPLY_HA is provided, then
630# it should be the hardware address of the target to expect to receive in an
631# ARP reply; otherwise no reply is expected.
632#
633# INPORT is an lport number, e.g. 11 for vif11.
634# SHA and REPLY_HA are each 12 hex digits.
635# SPA and TPA are each 8 hex digits.
636test_arp() {
637 local inport=$1 sha=$2 spa=$3 tpa=$4 reply_ha=$5
638 local request=ffffffffffff${sha}08060001080006040001${sha}${spa}ffffffffffff${tpa}
639 hv=`vif_to_hv $inport`
640 as $hv ovs-appctl netdev-dummy/receive vif$inport $request
641
92f9822b 642 if test X$reply_ha = X; then
57d143eb
HZ		 643 # Expect to receive the broadcast ARP on the other logical switch ports
644 # if no reply is expected.
645 local i j
646 for i in 1 2 3; do
647 for j in 1 2 3; do
648 if test $i$j != $inport; then
649 echo $request >> $i$j.expected
650 fi
651 done
652 done
653 else
654 # Expect to receive the reply, if any.
655 local reply=${sha}${reply_ha}08060001080006040002${reply_ha}${tpa}${sha}${spa}
656 echo $reply >> $inport.expected
657 fi
658}
659
660ip_to_hex() {
661 printf "%02x%02x%02x%02x" "$@"
662}
663
f295c17b
BP		 664# Send packets between all pairs of source and destination ports:
665#
666# 1. Unicast packets are delivered to exactly one lport (except that packets
667# destined to their input ports are dropped).
668#
669# 2. Broadcast and multicast are delivered to all lports except the input port.
670#
671# 3. When port security is turned on, the lswitch drops packets from the wrong
672# MAC address.
673#
674# 4. The lswitch drops all packets with a VLAN tag.
675#
676# 5. The lswitch drops all packets with a multicast source address. (This only
677# affects behavior when port security is turned off, since otherwise port
678# security would drop the packet anyway.)
679#
680# 6. The lswitch delivers packets with an unknown destination to lports with
681# "unknown" among their MAC addresses (and port security disabled).
682#
683# 7. The lswitch drops unicast packets that violate an ACL.
684#
685# 8. The lswitch drops multicast and broadcast packets that violate an ACL.
57d143eb
HZ		 686#
687# 9. ARP requests to known IPs are responded directly.
688#
689# 10. No response to ARP requests for unknown IPs.
f295c17b
BP		 690for is in 1 2 3; do
691 for js in 1 2 3; do
692 s=$is$js
693 bcast=
4d5c43d5
JP		 694 unknown=
695 bacl2=
696 bacl3=
f295c17b
BP		 697 for id in 1 2 3; do
698 for jd in 1 2 3; do
699 d=$id$jd
700
701 if test $d != $s; then unicast=$d; else unicast=; fi
702 test_packet $s f000000000$d f000000000$s $s$d $unicast #1
703
704 if test $d != $s && test $js = 1; then
4d5c43d5
JP		 705 impersonate=$d
706 else
707 impersonate=
708 fi
f295c17b
BP		 709 test_packet $s f000000000$d f00000000055 55$d $impersonate #3
710
4d5c43d5
JP		 711 if test $d != $s && test $s != 11; then acl2=$d; else acl2=; fi
712 if test $d != $s && test $d != 33; then acl3=$d; else acl3=; fi
f295c17b
BP		 713 test_packet $s f000000000$d f000000000$s 1234 #7, acl1
714 test_packet $s f000000000$d f000000000$s 1235 $acl2 #7, acl2
715 test_packet $s f000000000$d f000000000$s 1236 $acl3 #7, acl3
716
717 test_packet $s f000000000$d f00000000055 810000091234 #4
718 test_packet $s f000000000$d 0100000000$s $s$d #5
719
4d5c43d5
JP		 720 if test $d != $s && test $jd = 1; then
721 unknown="$unknown $d"
722 fi
f295c17b
BP		 723 bcast="$bcast $unicast"
724 bacl2="$bacl2 $acl2"
725 bacl3="$bacl3 $acl3"
57d143eb
HZ		 726
727 sip=`ip_to_hex 192 168 0 $i$j`
728 tip=`ip_to_hex 192 168 0 $id$jd`
729 tip_unknown=`ip_to_hex 11 11 11 11`
730 test_arp $s f000000000$s $sip $tip f000000000$d #9
731 test_arp $s f000000000$s $sip $tip_unknown #10
7dc88496
NS		 732
733 if test $jd = 3; then
734 # lport[123]3 has an additional ip 192.169.0.[123]3.
735 tip=`ip_to_hex 192 169 0 $id$jd`
736 test_arp $s f000000000$s $sip $tip f000000000$d #9
737 fi
f295c17b
BP		 738 done
739 done
740
4d5c43d5 741 # Broadcast and multicast.
f295c17b
BP		 742 test_packet $s ffffffffffff f000000000$s ${s}ff $bcast #2
743 test_packet $s 010000000000 f000000000$s ${s}ff $bcast #2
4d5c43d5 744 if test $js = 1; then
f295c17b
BP		 745 bcast_impersonate=$bcast
746 else
4d5c43d5
JP		 747 bcast_impersonate=
748 fi
f295c17b
BP		 749 test_packet $s 010000000000 f00000000044 44ff $bcast_impersonate #3
750
751 test_packet $s f0000000ffff f000000000$s ${s}66 $unknown #6
752
753 test_packet $s ffffffffffff f000000000$s 1234 #8, acl1
754 test_packet $s ffffffffffff f000000000$s 1235 $bacl2 #8, acl2
755 test_packet $s ffffffffffff f000000000$s 1236 $bacl3 #8, acl3
756 test_packet $s 010000000000 f000000000$s 1234 #8, acl1
757 test_packet $s 010000000000 f000000000$s 1235 $bacl2 #8, acl2
758 test_packet $s 010000000000 f000000000$s 1236 $bacl3 #8, acl3
759 done
760done
761
7dc88496
NS		 762# set address for lp13 with invalid characters.
763# lp13 should be configured with only 192.168.0.13.
764ovn-nbctl lport-set-addresses lp13 "f0:00:00:00:00:13 192.168.0.13 invalid 192.169.0.13"
765sip=`ip_to_hex 192 168 0 11`
766tip=`ip_to_hex 192 168 0 13`
767test_arp 11 f00000000011 $sip $tip f00000000013
768
769tip=`ip_to_hex 192 169 0 13`
770#arp request for 192.169.0.13 should be flooded
771test_arp 11 f00000000011 $sip $tip
772
f295c17b
BP		 773# Allow some time for packet forwarding.
774# XXX This can be improved.
775sleep 1
776
bb0c41d3
RM		 777# dump infomration and flows with counters
778ovn-sbctl dump-flows -- list multicast_group
779
780echo "------ hv1 dump ------"
781as hv1 ovs-vsctl show
782as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
783
784echo "------ hv2 dump ------"
785as hv2 ovs-vsctl show
786as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
787
788echo "------ hv3 dump ------"
789as hv3 ovs-vsctl show
790as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-int
f295c17b
BP		 791# Now check the packets actually received against the ones expected.
792for i in 1 2 3; do
793 for j in 1 2 3; do
794 file=hv$i/vif$i$j-tx.pcap
795 echo $file
796 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
2172f32d
YT		 797 sort $i$j.expected > expout
798 AT_CHECK([sort $i$j.packets], [0], [expout])
f295c17b
BP		 799 echo
800 done
801done
fcde56f5
LR		 802
803# Gracefully terminate daemons
d9c8c57c
LR		 804for sim in hv1 hv2 hv3; do
805 as $sim
806 OVS_APP_EXIT_AND_WAIT([ovn-controller])
807 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
808 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
fcde56f5 809done
d9c8c57c
LR		 810
811as ovn-sb
812OVS_APP_EXIT_AND_WAIT([ovsdb-server])
813
814as ovn-nb
815OVS_APP_EXIT_AND_WAIT([ovsdb-server])
816
817as northd
818OVS_APP_EXIT_AND_WAIT([ovn-northd])
819
820as main
821OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
822OVS_APP_EXIT_AND_WAIT([ovsdb-server])
823
f295c17b 824AT_CLEANUP
eb6b08eb 825
7277bc83
RB		 826# 2 hypervisors, 4 logical ports per HV
827# 2 locally attached networks (one flat, one vlan tagged over same device)
828# 2 ports per HV on each network
e90aeb57 829AT_SETUP([ovn -- 2 HVs, 4 lports/HV, localnet ports])
d79fc5f4
RB		 830AT_KEYWORDS([ovn-localnet])
831AT_SKIP_IF([test $HAVE_PYTHON = no])
832ovn_start
833
0ee7f7f1
HZ		 834# In this test cases we create 3 lswitches, all connected to same
835# physical network (through br-phys on each HV). Each lswitch has
836# VIF ports across 2 HVs. Each HV has 5 VIF ports. The first digit
837# of VIF port name indicates the hypervisor it is bound to, e.g.
838# lp23 means VIF 3 on hv2.
839#
840# lswitch's VLAN tag and their lports are:
841# - ls1:
842# - untagged
843# - lports: lp11, lp12, lp21, lp22
844#
845# - ls2:
846# - tagged with VLAN 101
847# - lports: lp13, lp14, lp23, lp24
848# - ls3:
849# - untagged
850# - lports: lp15, lp25
851#
852# Note: a localnet port is created for each lswitch to connect to
853# physical network.
854
855for i in 1 2 3; do
856 lswitch_name=ls$i
857 ovn-nbctl lswitch-add $lswitch_name
858 ln_port_name=ln$i
859 if test $i -eq 2; then
860 ovn-nbctl lport-add $lswitch_name $ln_port_name "" 101
861 else
862 ovn-nbctl lport-add $lswitch_name $ln_port_name
863 fi
864 ovn-nbctl lport-set-addresses $ln_port_name unknown
865 ovn-nbctl lport-set-type $ln_port_name localnet
866 ovn-nbctl lport-set-options $ln_port_name network_name=phys
867done
d79fc5f4
RB		 868
869net_add n1
870for i in 1 2; do
871 sim_add hv$i
872 as hv$i
873 ovs-vsctl add-br br-phys
874 ovs-vsctl set open . external-ids:ovn-bridge-mappings=phys:br-phys
875 ovn_attach n1 br-phys 192.168.0.$i
876
0ee7f7f1 877 for j in 1 2 3 4 5; do
d79fc5f4
RB		 878 ovs-vsctl add-port br-int vif$i$j -- \
879 set Interface vif$i$j external-ids:iface-id=lp$i$j \
880 options:tx_pcap=hv$i/vif$i$j-tx.pcap \
881 options:rxq_pcap=hv$i/vif$i$j-rx.pcap \
882 ofport-request=$i$j
883
d79fc5f4 884 lport_name=lp$i$j
7277bc83 885 if test $j -le 2; then
0ee7f7f1
HZ		 886 lswitch_name=ls1
887 elif test $j -le 4; then
888 lswitch_name=ls2
d79fc5f4 889 else
0ee7f7f1 890 lswitch_name=ls3
d79fc5f4 891 fi
d79fc5f4
RB		 892
893 ovn-nbctl lport-add $lswitch_name $lport_name
894 ovn-nbctl lport-set-addresses $lport_name f0:00:00:00:00:$i$j
895 ovn-nbctl lport-set-port-security $lport_name f0:00:00:00:00:$i$j
896
897 OVS_WAIT_UNTIL([test x`ovn-nbctl lport-get-up $lport_name` = xup])
898 done
899done
900
901ovn_populate_arp
902
903# XXX This is now the 3rd copy of these functions in this file ...
904
905# Given the name of a logical port, prints the name of the hypervisor
906# on which it is located.
907vif_to_hv() {
908 echo hv${1%?}
909}
910#
911# test_packet INPORT DST SRC ETHTYPE OUTPORT...
912#
913# This shell function causes a packet to be received on INPORT. The packet's
914# content has Ethernet destination DST and source SRC (each exactly 12 hex
915# digits) and Ethernet type ETHTYPE (4 hex digits). The OUTPORTs (zero or
916# more) list the VIFs on which the packet should be received. INPORT and the
917# OUTPORTs are specified as lport numbers, e.g. 11 for vif11.
918trim_zeros() {
919 sed 's/\(00\)\{1,\}$//'
920}
921for i in 1 2; do
0ee7f7f1 922 for j in 1 2 3 4 5; do
d79fc5f4
RB		 923 : > $i$j.expected
924 done
925done
926test_packet() {
927 local inport=$1 src=$2 dst=$3 eth=$4; shift; shift; shift; shift
928 local packet=${src}${dst}${eth}
929 hv=`vif_to_hv $inport`
930 vif=vif$inport
931 as $hv ovs-appctl netdev-dummy/receive $vif $packet
932 for outport; do
933 echo $packet | trim_zeros >> $outport.expected
934 done
935}
936
7277bc83
RB		 937# lp11 and lp21 are on the same network (phys, untagged)
938# and on different hypervisors
d79fc5f4
RB		 939test_packet 11 f00000000021 f00000000011 1121 21
940test_packet 21 f00000000011 f00000000021 2111 11
941
7277bc83
RB		 942# lp11 and lp12 are on the same network (phys, untagged)
943# and on the same hypervisor
e90aeb57
RB		 944test_packet 11 f00000000012 f00000000011 1112 12
945test_packet 12 f00000000011 f00000000012 1211 11
7277bc83
RB		 946
947# lp13 and lp23 are on the same network (phys, VLAN 101)
948# and on different hypervisors
949test_packet 13 f00000000023 f00000000013 1323 23
950test_packet 23 f00000000013 f00000000023 2313 13
951
952# lp13 and lp14 are on the same network (phys, VLAN 101)
953# and on the same hypervisor
e90aeb57
RB		 954test_packet 13 f00000000014 f00000000013 1314 14
955test_packet 14 f00000000013 f00000000014 1413 13
d79fc5f4 956
0ee7f7f1
HZ		 957# lp11 and lp15 are on the same network (phys, untagged),
958# same hypervisor, and on different lswitches
959test_packet 11 f00000000015 f00000000011 1115 15
960test_packet 15 f00000000011 f00000000015 1511 11
961
962# lp11 and lp25 are on the same network (phys, untagged),
963# different hypervisors, and on different lswitches
964test_packet 11 f00000000025 f00000000011 1125 25
965test_packet 25 f00000000011 f00000000025 2511 11
966
d79fc5f4 967# Ports that should not be able to communicate
7277bc83
RB		 968test_packet 11 f00000000013 f00000000011 1113
969test_packet 11 f00000000023 f00000000011 1123
970test_packet 21 f00000000013 f00000000021 2113
971test_packet 21 f00000000023 f00000000021 2123
972test_packet 13 f00000000011 f00000000013 1311
973test_packet 13 f00000000021 f00000000013 1321
974test_packet 23 f00000000011 f00000000023 2311
975test_packet 23 f00000000021 f00000000023 2321
d79fc5f4
RB		 976
977# Allow some time for packet forwarding.
978# XXX This can be improved.
979sleep 1
980
981# Dump a bunch of info helpful for debugging if there's a failure.
982
983echo "------ OVN dump ------"
984ovn-nbctl show
985ovn-sbctl show
986
987echo "------ hv1 dump ------"
988as hv1 ovs-vsctl show
989as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
990
991echo "------ hv2 dump ------"
992as hv2 ovs-vsctl show
993as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
994
995# Now check the packets actually received against the ones expected.
996for i in 1 2; do
0ee7f7f1 997 for j in 1 2 3 4 5; do
d79fc5f4
RB		 998 file=hv$i/vif$i$j-tx.pcap
999 echo $file
1000 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
1001 sort $i$j.expected > expout
1002 AT_CHECK([sort $i$j.packets], [0], [expout])
1003 echo
1004 done
1005done
1006
fcde56f5 1007# Gracefully terminate daemons
d9c8c57c
LR		 1008for sim in hv1 hv2; do
1009 as $sim
1010 OVS_APP_EXIT_AND_WAIT([ovn-controller])
1011 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
1012 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
fcde56f5 1013done
d9c8c57c
LR		 1014
1015as ovn-sb
1016OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1017
1018as ovn-nb
1019OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1020
1021as northd
1022OVS_APP_EXIT_AND_WAIT([ovn-northd])
1023
1024as main
1025OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
1026OVS_APP_EXIT_AND_WAIT([ovsdb-server])
d79fc5f4
RB		 1027AT_CLEANUP
1028
9975d7be 1029AT_SETUP([ovn -- 3 HVs, 1 VIFs/HV, 1 GW, 1 LS])
eb6b08eb
JP		 1030AT_SKIP_IF([test $HAVE_PYTHON = no])
1031ovn_start
1032
1033# Configure the Northbound database
1034ovn-nbctl lswitch-add lsw0
1035
1036ovn-nbctl lport-add lsw0 lp1
2fa326a3 1037ovn-nbctl lport-set-addresses lp1 f0:00:00:00:00:01
eb6b08eb
JP		 1038
1039ovn-nbctl lport-add lsw0 lp2
2fa326a3 1040ovn-nbctl lport-set-addresses lp2 f0:00:00:00:00:02
eb6b08eb
JP		 1041
1042ovn-nbctl lport-add lsw0 lp-vtep
1043ovn-nbctl lport-set-type lp-vtep vtep
1044ovn-nbctl lport-set-options lp-vtep vtep-physical-switch=br-vtep vtep-logical-switch=lsw0
2fa326a3 1045ovn-nbctl lport-set-addresses lp-vtep unknown
eb6b08eb
JP		 1046
1047net_add n1 # Network to connect hv1, hv2, and vtep
1048net_add n2 # Network to connect vtep and hv3
1049
1050# Create hypervisor hv1 connected to n1
1051sim_add hv1
1052as hv1
1053ovs-vsctl add-br br-phys
1054ovn_attach n1 br-phys 192.168.0.1
1055ovs-vsctl add-port br-int vif1 -- set Interface vif1 external-ids:iface-id=lp1 options:tx_pcap=hv1/vif1-tx.pcap options:rxq_pcap=hv1/vif1-rx.pcap ofport-request=1
1056
1057# Create hypervisor hv2 connected to n1
1058sim_add hv2
1059as hv2
1060ovs-vsctl add-br br-phys
1061ovn_attach n1 br-phys 192.168.0.2
1062ovs-vsctl add-port br-int vif2 -- set Interface vif2 external-ids:iface-id=lp2 options:tx_pcap=hv2/vif2-tx.pcap options:rxq_pcap=hv2/vif2-rx.pcap ofport-request=1
1063
1064
1065# Start the vtep emulator with a leg in both networks
1066sim_add vtep
1067as vtep
1068
1069ovsdb-tool create "$ovs_base"/vtep/vtep.db "$abs_top_srcdir"/vtep/vtep.ovsschema || return 1
1070ovs-appctl -t ovsdb-server ovsdb-server/add-db "$ovs_base"/vtep/vtep.db
1071
1072ovs-vsctl add-br br-phys
1073net_attach n1 br-phys
1074
1075mac=`ovs-vsctl get Interface br-phys mac_in_use | sed s/\"//g`
1076arp_table="$arp_table $sandbox,br-phys,192.168.0.3,$mac"
1077ovs-appctl netdev-dummy/ip4addr br-phys 192.168.0.3/24 >/dev/null || return 1
1078ovs-appctl ovs/route/add 192.168.0.3/24 br-phys >/dev/null || return 1
1079
1080ovs-vsctl add-br br-vtep
1081net_attach n2 br-vtep
1082
1083vtep-ctl add-ps br-vtep
1084vtep-ctl set Physical_Switch br-vtep tunnel_ips=192.168.0.3
1085vtep-ctl add-ls lsw0
1086
1087start_daemon ovs-vtep br-vtep
1088start_daemon ovn-controller-vtep --vtep-db=unix:"$ovs_base"/vtep/db.sock --ovnsb-db=unix:"$ovs_base"/ovn-sb/ovn-sb.sock
1089
1090sleep 1
1091
1092vtep-ctl bind-ls br-vtep br-vtep_n2 0 lsw0
1093
1094sleep 1
1095
1096# Add hv3 on the other side of the vtep
1097sim_add hv3
1098as hv3
1099ovs-vsctl add-br br-phys
1100net_attach n2 br-phys
1101
1102ovs-vsctl add-port br-phys vif3 -- set Interface vif3 options:tx_pcap=hv3/vif3-tx.pcap options:rxq_pcap=hv3/vif3-rx.pcap ofport-request=1
1103
1104# Pre-populate the hypervisors' ARP tables so that we don't lose any
1105# packets for ARP resolution (native tunneling doesn't queue packets
1106# for ARP resolution).
1107ovn_populate_arp
1108
1109# Allow some time for ovn-northd and ovn-controller to catch up.
1110# XXX This should be more systematic.
1111sleep 1
6977df72 1112
eb6b08eb
JP		 1113# test_packet INPORT DST SRC ETHTYPE OUTPORT...
1114#
1115# This shell function causes a packet to be received on INPORT. The packet's
1116# content has Ethernet destination DST and source SRC (each exactly 12 hex
1117# digits) and Ethernet type ETHTYPE (4 hex digits). The OUTPORTs (zero or
1118# more) list the VIFs on which the packet should be received. INPORT and the
1119# OUTPORTs are specified as lport numbers, e.g. 1 for vif1.
1120trim_zeros() {
1121 sed 's/\(00\)\{1,\}$//'
1122}
1123for i in 1 2 3; do
1124 : > $i.expected
1125done
1126test_packet() {
1127 local inport=$1 packet=$2$3$4; shift; shift; shift; shift
1128 #hv=hv`echo $inport | sed 's/^\(.\).*/\1/'`
1129 hv=hv$inport
1130 vif=vif$inport
1131 as $hv ovs-appctl netdev-dummy/receive $vif $packet
1132 for outport; do
1133 echo $packet | trim_zeros >> $outport.expected
1134 done
1135}
1136
1137# Send packets between all pairs of source and destination ports:
1138#
1139# 1. Unicast packets are delivered to exactly one lport (except that packets
1140# destined to their input ports are dropped).
1141#
1142# 2. Broadcast and multicast are delivered to all lports except the input port.
1143#
1144# 3. The lswitch delivers packets with an unknown destination to lports with
1145# "unknown" among their MAC addresses (and port security disabled).
1146for s in 1 2 3; do
1147 bcast=
1148 unknown=
1149 for d in 1 2 3; do
1150 if test $d != $s; then unicast=$d; else unicast=; fi
1151 test_packet $s f0000000000$d f0000000000$s 00$s$d $unicast #1
1152
1153 # The vtep (vif3) is the only one configured for "unknown"
1154 if test $d != $s && test $d = 3; then
1155 unknown="$unknown $d"
1156 fi
1157 bcast="$bcast $unicast"
1158 done
1159
1160 # Broadcast and multicast.
46ed1382
DB		 1161 test_packet $s ffffffffffff f0000000000$s 0${s}ff $bcast #2
1162 test_packet $s 010000000000 f0000000000$s 0${s}ff $bcast #2
eb6b08eb
JP		 1163
1164 test_packet $s f0000000ffff f0000000000$s 0${s}66 $unknown #3
1165done
1166
1167# Allow some time for packet forwarding.
1168# XXX This can be improved.
1169sleep 1
1170
bb0c41d3
RM		 1171# dump information with counters
1172echo "------ OVN dump ------"
1173ovn-nbctl show
1174ovn-sbctl show
1175
1176echo "------ hv1 dump ------"
1177as hv1 ovs-vsctl show
8dab1022 1178as hv1 ovs-ofctl show br-int
bb0c41d3
RM		 1179as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
1180
1181echo "------ hv2 dump ------"
1182as hv2 ovs-vsctl show
8dab1022 1183as hv2 ovs-ofctl show br-int
bb0c41d3
RM		 1184as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
1185
1186echo "------ hv3 dump ------"
1187as hv3 ovs-vsctl show
8dab1022 1188as hv3 ovs-ofctl show br-int
bb0c41d3
RM		 1189as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-int
1190
eb6b08eb
JP		 1191# Now check the packets actually received against the ones expected.
1192for i in 1 2 3; do
1193 file=hv$i/vif$i-tx.pcap
1194 echo $file
1195 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i.packets
2172f32d
YT		 1196 sort $i.expected > expout
1197 AT_CHECK([sort $i.packets], [0], [expout])
eb6b08eb
JP		 1198 echo
1199done
fcde56f5
LR		 1200
1201# Gracefully terminate daemons
d9c8c57c
LR		 1202as vtep
1203OVS_APP_EXIT_AND_WAIT([ovn-controller-vtep])
1204OVS_APP_EXIT_AND_WAIT([ovs-vtep])
1205
1206as hv1
1207OVS_APP_EXIT_AND_WAIT([ovn-controller])
1208
1209as hv2
1210OVS_APP_EXIT_AND_WAIT([ovn-controller])
1211
1212as ovn-sb
1213OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1214
1215as ovn-nb
1216OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1217
1218as northd
1219OVS_APP_EXIT_AND_WAIT([ovn-northd])
1220
1221for sim in hv1 hv2 hv3 vtep main; do
1222 as $sim
1223 for daemon in ovs-vswitchd ovsdb-server; do
1224 OVS_APP_EXIT_AND_WAIT([$daemon])
1225 done
fcde56f5 1226done
eb6b08eb 1227AT_CLEANUP
9975d7be
BP		 1228
1229# 3 hypervisors, 3 logical switches with 3 logical ports each, 1 logical router
1230AT_SETUP([ovn -- 3 HVs, 3 LS, 3 lports/LS, 1 LR])
1231AT_SKIP_IF([test $HAVE_PYTHON = no])
1232ovn_start
1233
1234# Logical network:
1235#
1236# Three logical switches ls1, ls2, ls3.
86e98048
BP		 1237# One logical router lr0 connected to ls[123],
1238# with nine subnets, three per logical switch:
1239#
1240# lrp11 on ls1 for subnet 192.168.11.0/24
1241# lrp12 on ls1 for subnet 192.168.12.0/24
1242# lrp13 on ls1 for subnet 192.168.13.0/24
1243# ...
1244# lrp33 on ls3 for subnet 192.168.33.0/24
1245#
1246# 27 VIFs, 9 per LS, 3 per subnet: lp[123][123][123], where the first two
1247# digits are the subnet and the last digit distinguishes the VIF.
9975d7be 1248for i in 1 2 3; do
86e98048 1249 ovn-nbctl lswitch-add ls$i
9975d7be 1250 for j in 1 2 3; do
86e98048 1251 for k in 1 2 3; do
0bac7164
BP		 1252 # Add "unknown" to MAC addresses for lp?11, so packets for
1253 # MAC-IP bindings discovered via ARP later have somewhere to go.
1254 if test $j$k = 11; then unknown=unknown; else unknown=; fi
1255
86e98048
BP		 1256 ovn-nbctl \
1257 -- lport-add ls$i lp$i$j$k \
0bac7164 1258 -- lport-set-addresses lp$i$j$k "f0:00:00:00:0$i:$j$k 192.168.$i$j.$k" $unknown
86e98048
BP		 1259 done
1260 done
1261done
1262
1263ovn-nbctl create Logical_Router name=lr0
1264for i in 1 2 3; do
1265 for j in 1 2 3; do
1266 lrp_uuid=`ovn-nbctl \
1267 -- --id=@lrp create Logical_Router_Port name=lrp$i$j \
1268 network=192.168.$i$j.254/24 mac='"00:00:00:00:ff:'$i$j'"' \
1269 -- add Logical_Router lr0 ports @lrp \
1270 -- lport-add ls$i lrp$i$j-attachment`
1271 ovn-nbctl \
1272 set Logical_Port lrp$i$j-attachment type=router \
00007447 1273 options:router-port=lrp$i$j \
86e98048 1274 addresses='"00:00:00:00:ff:'$i$j'"'
9975d7be
BP		 1275 done
1276done
1277
57d143eb
HZ		 1278ovn-nbctl set Logical_Port lrp33-attachment \
1279 addresses='"00:00:00:00:ff:33 192.168.33.254"'
1280
9975d7be
BP		 1281# Physical network:
1282#
1283# Three hypervisors hv[123].
86e98048
BP		 1284# lp?1[123] spread across hv[123]: lp?11 on hv1, lp?12 on hv2, lp?13 on hv3.
1285# lp?2[123] spread across hv[23]: lp?21 and lp?22 on hv2, lp?23 on hv3.
1286# lp?3[123] all on hv3.
1287
9975d7be
BP		 1288
1289# Given the name of a logical port, prints the name of the hypervisor
1290# on which it is located.
1291vif_to_hv() {
1292 case $1 in dnl (
86e98048
BP		 1293 ?11) echo 1 ;; dnl (
1294 ?12 | ?21 | ?22) echo 2 ;; dnl (
1295 ?13 | ?23 | ?3?) echo 3 ;;
9975d7be
BP		 1296 esac
1297}
1298
86e98048
BP		 1299# Given the name of a logical port, prints the name of its logical router
1300# port, e.g. "vif_to_lrp 123" yields 12.
1301vif_to_lrp() {
1302 echo ${1%?}
1303}
1304
1305# Given the name of a logical port, prints the name of its logical
1306# switch, e.g. "vif_to_ls 123" yields 1.
e3393e3f 1307vif_to_ls() {
86e98048 1308 echo ${1%??}
e3393e3f
BP		 1309}
1310
9975d7be
BP		 1311net_add n1
1312for i in 1 2 3; do
1313 sim_add hv$i
1314 as hv$i
1315 ovs-vsctl add-br br-phys
1316 ovn_attach n1 br-phys 192.168.0.$i
1317done
1318for i in 1 2 3; do
1319 for j in 1 2 3; do
86e98048
BP		 1320 for k in 1 2 3; do
1321 hv=`vif_to_hv $i$j$k`
1322 as hv$hv ovs-vsctl \
1323 -- add-port br-int vif$i$j$k \
1324 -- set Interface vif$i$j$k \
1325 external-ids:iface-id=lp$i$j$k \
1326 options:tx_pcap=hv$hv/vif$i$j$k-tx.pcap \
1327 options:rxq_pcap=hv$hv/vif$i$j$k-rx.pcap \
1328 ofport-request=$i$j$k
1329 done
9975d7be
BP		 1330 done
1331done
1332
1333# Pre-populate the hypervisors' ARP tables so that we don't lose any
1334# packets for ARP resolution (native tunneling doesn't queue packets
1335# for ARP resolution).
1336ovn_populate_arp
1337
1338# Allow some time for ovn-northd and ovn-controller to catch up.
1339# XXX This should be more systematic.
1340sleep 1
1341
e3393e3f 1342# test_ip INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
9975d7be
BP		 1343#
1344# This shell function causes a packet to be received on INPORT. The packet's
1345# content has Ethernet destination DST and source SRC (each exactly 12 hex
1346# digits) and Ethernet type ETHTYPE (4 hex digits). The OUTPORTs (zero or
1347# more) list the VIFs on which the packet should be received. INPORT and the
0bac7164 1348# OUTPORTs are specified as lport numbers, e.g. 123 for vif123.
9975d7be
BP		 1349trim_zeros() {
1350 sed 's/\(00\)\{1,\}$//'
1351}
1352for i in 1 2 3; do
1353 for j in 1 2 3; do
86e98048
BP		 1354 for k in 1 2 3; do
1355 : > $i$j$k.expected
1356 done
9975d7be
BP		 1357 done
1358done
e3393e3f 1359test_ip() {
9975d7be
BP		 1360 # This packet has bad checksums but logical L3 routing doesn't check.
1361 local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
ba43992e 1362 local packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
9975d7be
BP		 1363 shift; shift; shift; shift; shift
1364 hv=hv`vif_to_hv $inport`
1365 as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
1366 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
86e98048
BP		 1367 in_ls=`vif_to_ls $inport`
1368 in_lrp=`vif_to_lrp $inport`
9975d7be 1369 for outport; do
86e98048
BP		 1370 out_ls=`vif_to_ls $outport`
1371 if test $in_ls = $out_ls; then
9975d7be
BP		 1372 # Ports on the same logical switch receive exactly the same packet.
1373 echo $packet
1374 else
1375 # Routing decrements TTL and updates source and dest MAC
1376 # (and checksum).
86e98048
BP		 1377 out_lrp=`vif_to_lrp $outport`
1378 echo f00000000${outport}00000000ff${out_lrp}08004500001c00000000"3f1101"00${src_ip}${dst_ip}0035111100080000
9975d7be
BP		 1379 fi | trim_zeros >> $outport.expected
1380 done
1381}
1382
e3393e3f 1383as hv1 ovs-vsctl --columns=name,ofport list interface
0bac7164
BP		 1384as hv1 ovn-sbctl list port_binding
1385as hv1 ovn-sbctl list datapath_binding
9975d7be
BP		 1386as hv1 ovn-sbctl dump-flows
1387as hv1 ovs-ofctl dump-flows br-int
1388
e3393e3f 1389# Send IP packets between all pairs of source and destination ports:
9975d7be
BP		 1390#
1391# 1. Unicast IP packets are delivered to exactly one lport (except
1392# that packets destined to their input ports are dropped).
1393#
1394# 2. Broadcast IP packets are delivered to all lports except the input port.
86e98048
BP		 1395ip_to_hex() {
1396 printf "%02x%02x%02x%02x" "$@"
1397}
9975d7be
BP		 1398for is in 1 2 3; do
1399 for js in 1 2 3; do
86e98048
BP		 1400 for ks in 1 2 3; do
1401 bcast=
1402 s=$is$js$ks
1403 smac=f00000000$s
1404 sip=`ip_to_hex 192 168 $is$js $ks`
1405 for id in 1 2 3; do
1406 for jd in 1 2 3; do
1407 for kd in 1 2 3; do
1408 d=$id$jd$kd
1409 dip=`ip_to_hex 192 168 $id$jd $kd`
1410 if test $is = $id; then dmac=f00000000$d; else dmac=00000000ff$is$js; fi
1411 if test $d != $s; then unicast=$d; else unicast=; fi
1412
1413 test_ip $s $smac $dmac $sip $dip $unicast #1
1414
1415 if test $id = $is && test $d != $s; then bcast="$bcast $d"; fi
1416 done
1417 done
1418 done
1419 test_ip $s $smac ffffffffffff $sip ffffffff $bcast #2
9975d7be 1420 done
e3393e3f
BP		 1421 done
1422done
1423
0bac7164
BP		 1424# 3. Send an IP packet from every logical port to every other subnet,
1425# to an IP address that does not have a static IP-MAC binding.
1426# This should generate a broadcast ARP request for the destination
1427# IP address in the destination subnet.
1428for is in 1 2 3; do
1429 for js in 1 2 3; do
1430 for ks in 1 2 3; do
1431 s=$is$js$ks
1432 smac=f00000000$s
1433 sip=`ip_to_hex 192 168 $is$js $ks`
1434 for id in 1 2 3; do
1435 for jd in 1 2 3; do
1436 if test $is$js = $id$jd; then
1437 continue
1438 fi
1439
1440 # Send the packet.
1441 dmac=00000000ff$is$js
1442 # Calculate a 4th octet for the destination that is
1443 # unique per $s, avoids the .1 .2 .3 and .254 IP addresses
1444 # that have static MAC bindings, and fits in the range
1445 # 0-255.
1446 o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1447 dip=`ip_to_hex 192 168 $id$jd $o4`
1448 test_ip $s $smac $dmac $sip $dip
1449
1450 # Every LP on the destination subnet's lswitch should
1451 # receive the ARP request.
1452 lrmac=00000000ff$id$jd
1453 lrip=`ip_to_hex 192 168 $id$jd 254`
1454 arp=ffffffffffff${lrmac}08060001080006040001${lrmac}${lrip}000000000000${dip}
1455 for jd2 in 1 2 3; do
1456 for kd in 1 2 3; do
1457 echo $arp | trim_zeros >> $id$jd2$kd.expected
1458 done
1459 done
1460 done
1461 done
1462 done
1463 done
1464done
1465
e3393e3f
BP		 1466# test_arp INPORT SHA SPA TPA [REPLY_HA]
1467#
1468# Causes a packet to be received on INPORT. The packet is an ARP
1469# request with SHA, SPA, and TPA as specified. If REPLY_HA is provided, then
1470# it should be the hardware address of the target to expect to receive in an
1471# ARP reply; otherwise no reply is expected.
1472#
1473# INPORT is an lport number, e.g. 11 for vif11.
1474# SHA and REPLY_HA are each 12 hex digits.
1475# SPA and TPA are each 8 hex digits.
1476test_arp() {
1477 local inport=$1 sha=$2 spa=$3 tpa=$4 reply_ha=$5
1478 local request=ffffffffffff${sha}08060001080006040001${sha}${spa}ffffffffffff${tpa}
1479 hv=hv`vif_to_hv $inport`
1480 as $hv ovs-appctl netdev-dummy/receive vif$inport $request
1481 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $request
1482
57d143eb
HZ		 1483 # Expect to receive the broadcast ARP on the other logical switch ports if
1484 # IP address is not configured to the lswitch patch port.
e3393e3f 1485 local i=`vif_to_ls $inport`
86e98048 1486 local j k
e3393e3f 1487 for j in 1 2 3; do
86e98048 1488 for k in 1 2 3; do
0bac7164 1489 # 192.168.33.254 is configured to the lswitch patch port for lrp33,
57d143eb
HZ		 1490 # so no ARP flooding expected for it.
1491 if test $i$j$k != $inport && test $tpa != `ip_to_hex 192 168 33 254`; then
86e98048
BP		 1492 echo $request >> $i$j$k.expected
1493 fi
1494 done
e3393e3f
BP		 1495 done
1496
1497 # Expect to receive the reply, if any.
1498 if test X$reply_ha != X; then
86e98048
BP		 1499 lrp=`vif_to_lrp $inport`
1500 local reply=${sha}00000000ff${lrp}08060001080006040002${reply_ha}${tpa}${sha}${spa}
e3393e3f
BP		 1501 echo $reply >> $inport.expected
1502 fi
1503}
1504
1505# Test router replies to ARP requests from all source ports:
1506#
0bac7164 1507# 4. Router replies to query for its MAC address from port's own IP address.
e3393e3f 1508#
0bac7164 1509# 5. Router replies to query for its MAC address from any random IP address
e3393e3f
BP		 1510# in its subnet.
1511#
0bac7164 1512# 6. Router replies to query for its MAC address from another subnet.
e3393e3f 1513#
0bac7164 1514# 7. No reply to query for IP address other than router IP.
e3393e3f
BP		 1515for i in 1 2 3; do
1516 for j in 1 2 3; do
86e98048
BP		 1517 for k in 1 2 3; do
1518 smac=f00000000$i$j$k # Source MAC
1519 sip=`ip_to_hex 192 168 $i$j $k` # Source IP
1520 rip=`ip_to_hex 192 168 $i$j 254` # Router IP
1521 rmac=00000000ff$i$j # Router MAC
1522 otherip=`ip_to_hex 192 168 $i$j 55` # Some other IP in subnet
0bac7164
BP		 1523 test_arp $i$j$k $smac $sip $rip $rmac #4
1524 test_arp $i$j$k $smac $otherip $rip $rmac #5
1525 test_arp $i$j$k $smac 0a123456 $rip $rmac #6
1526 test_arp $i$j$k $smac $sip $otherip #7
1527 done
1528 done
1529done
1530
1531# Allow some time for packet forwarding.
1532# XXX This can be improved.
1533sleep 1
1534
1535# 8. Generate an ARP reply for each of the IP addresses ARPed for
1536# earlier as #3.
1537#
1538# Here, the $s is the VIF that originated the ARP request and $d is
1539# the VIF that sends the ARP reply, which is somewhat backward but
1540# it means that $s and $d are the same as #3.
1541: > mac_bindings.expected
1542for is in 1 2 3; do
1543 for js in 1 2 3; do
1544 for ks in 1 2 3; do
1545 s=$is$js$ks
1546 for id in 1 2 3; do
1547 for jd in 1 2 3; do
1548 if test $is$js = $id$jd; then
1549 continue
1550 fi
1551
1552 kd=1
1553 d=$id$jd$kd
1554
1555 o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1556 host_ip=`ip_to_hex 192 168 $id$jd $o4`
1557 host_mac=8000000000$o4
1558
1559 lrmac=00000000ff$id$jd
1560 lrip=`ip_to_hex 192 168 $id$jd 254`
1561
1562 arp=${lrmac}${host_mac}08060001080006040002${host_mac}${host_ip}${lrmac}${lrip}
1563
1564 echo
1565 echo
1566 echo
1567 hv=hv`vif_to_hv $d`
1568 as $hv ovs-appctl netdev-dummy/receive vif$d $arp
1569 #as $hv ovs-appctl ofproto/trace br-int in_port=$d $arp
1570 #as $hv ovs-ofctl dump-flows br-int table=19
1571
1572 host_ip_pretty=192.168.$id$jd.$o4
1573 host_mac_pretty=80:00:00:00:00:$o4
1574 echo lrp$id$jd,$host_ip_pretty,$host_mac_pretty >> mac_bindings.expected
1575 done
1576 done
86e98048 1577 done
9975d7be
BP		 1578 done
1579done
0bac7164 1580
9975d7be
BP		 1581# Allow some time for packet forwarding.
1582# XXX This can be improved.
1583sleep 1
1584
0bac7164
BP		 1585# 9. Send an IP packet from every logical port to every other subnet. These
1586# are the same packets already sent as #3, but now the destinations' IP-MAC
1587# bindings have been discovered via ARP, so instead of provoking an ARP
1588# request, these packets now get routed to their destinations (which don't
1589# have static MAC bindings, so they go to the port we've designated as
1590# accepting "unknown" MACs.)
1591for is in 1 2 3; do
1592 for js in 1 2 3; do
1593 for ks in 1 2 3; do
1594 s=$is$js$ks
1595 smac=f00000000$s
1596 sip=`ip_to_hex 192 168 $is$js $ks`
1597 for id in 1 2 3; do
1598 for jd in 1 2 3; do
1599 if test $is$js = $id$jd; then
1600 continue
1601 fi
1602
1603 # Send the packet.
1604 dmac=00000000ff$is$js
1605 # Calculate a 4th octet for the destination that is
1606 # unique per $s, avoids the .1 .2 .3 and .254 IP addresses
1607 # that have static MAC bindings, and fits in the range
1608 # 0-255.
1609 o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1610 dip=`ip_to_hex 192 168 $id$jd $o4`
1611 test_ip $s $smac $dmac $sip $dip
1612
1613 # Expect the packet egress.
1614 host_mac=8000000000$o4
1615 outport=${id}11
1616 out_lrp=$id$jd
1617 echo ${host_mac}00000000ff${out_lrp}08004500001c00000000"3f1101"00${sip}${dip}0035111100080000 | trim_zeros >> $outport.expected
1618 done
1619 done
1620 done
1621 done
1622done
1623
1624# Allow some time for packet forwarding.
1625# XXX This can be improved.
1626sleep 1
1627
1628ovn-sbctl -f csv -d bare --no-heading \
1629 -- --columns=logical_port,ip,mac list mac_binding > mac_bindings
1630
9975d7be
BP		 1631# Now check the packets actually received against the ones expected.
1632for i in 1 2 3; do
1633 for j in 1 2 3; do
86e98048
BP		 1634 for k in 1 2 3; do
1635 file=hv`vif_to_hv $i$j$k`/vif$i$j$k-tx.pcap
1636 echo $file
1637 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j$k.packets
2172f32d
YT		 1638 sort $i$j$k.expected > expout
1639 AT_CHECK([sort $i$j$k.packets], [0], [expout])
86e98048
BP		 1640 echo
1641 done
9975d7be
BP		 1642 done
1643done
fcde56f5 1644
0bac7164
BP		 1645# Check the MAC bindings against those expected.
1646AT_CHECK_UNQUOTED([sort < mac_bindings], [0], [`sort < mac_bindings.expected`
1647])
1648
fcde56f5
LR		 1649# Gracefully terminate daemons
1650for daemon in ovn-controller ovn-northd ovsdb-server; do
1651 ovs-appctl -t $daemon exit
1652done
9975d7be 1653AT_CLEANUP
685f4dfe
NS		 1654
1655# 3 hypervisors, one logical switch, 3 logical ports per hypervisor
1656AT_SETUP([ovn -- portsecurity : 3 HVs, 1 LS, 3 lports/HV])
1657AT_KEYWORDS([portsecurity])
1658AT_SKIP_IF([test $HAVE_PYTHON = no])
1659ovn_start
1660
1661# Create hypervisors hv[123].
1662# Add vif1[123] to hv1, vif2[123] to hv2, vif3[123] to hv3.
1663# Add all of the vifs to a single logical switch lsw0.
1664# Turn off port security on vifs vif[123]1
1665# Turn on l2 port security on vifs vif[123]2
1666# Turn of l2 and l3 port security on vifs vif[123]3
1667# Make vif13, vif2[23], vif3[123] destinations for unknown MACs.
1668ovn-nbctl lswitch-add lsw0
1669net_add n1
1670for i in 1 2 3; do
1671 sim_add hv$i
1672 as hv$i
1673 ovs-vsctl add-br br-phys
1674 ovn_attach n1 br-phys 192.168.0.$i
1675
1676 for j in 1 2 3; do
1677 ovs-vsctl add-port br-int vif$i$j -- set Interface vif$i$j external-ids:iface-id=lp$i$j options:tx_pcap=hv$i/vif$i$j-tx.pcap options:rxq_pcap=hv$i/vif$i$j-rx.pcap ofport-request=$i$j
1678 ovn-nbctl lport-add lsw0 lp$i$j
1679 if test $j = 1; then
1680 ovn-nbctl lport-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" unknown
1681 elif test $j = 2; then
1682 ovn-nbctl lport-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j"
1683 ovn-nbctl lport-set-port-security lp$i$j f0:00:00:00:00:$i$j
1684 else
1685 extra_addr="f0:00:00:00:0$i:$i$j fe80::ea2a:eaff:fe28:$i$j"
1686 ovn-nbctl lport-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" "$extra_addr"
1687 ovn-nbctl lport-set-port-security lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" "$extra_addr"
1688 fi
1689 done
1690done
1691
685f4dfe
NS		 1692# Pre-populate the hypervisors' ARP tables so that we don't lose any
1693# packets for ARP resolution (native tunneling doesn't queue packets
1694# for ARP resolution).
1695ovn_populate_arp
1696
1697# Allow some time for ovn-northd and ovn-controller to catch up.
1698# XXX This should be more systematic.
1699sleep 1
685f4dfe
NS		 1700
1701# Given the name of a logical port, prints the name of the hypervisor
1702# on which it is located.
1703vif_to_hv() {
1704 echo hv${1%?}
1705}
1706
1707
1708trim_zeros() {
1709 sed 's/\(00\)\{1,\}$//'
1710}
1711for i in 1 2 3; do
1712 for j in 1 2 3; do
1713 : > $i$j.expected
1714 done
1715done
1716
1717# test_ip INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
1718#
1719# This shell function causes an ip packet to be received on INPORT.
1720# The packet's content has Ethernet destination DST and source SRC
1721# (each exactly 12 hex digits) and Ethernet type ETHTYPE (4 hex digits).
1722# The OUTPORTs (zero or more) list the VIFs on which the packet should
1723# be received. INPORT and the OUTPORTs are specified as lport numbers,
1724# e.g. 11 for vif11.
1725test_ip() {
1726 # This packet has bad checksums but logical L3 routing doesn't check.
1727 local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
1728 local packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}003511110008
1729 shift; shift; shift; shift; shift
1730 hv=`vif_to_hv $inport`
1731 as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
1732 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
1733 for outport; do
1734 echo $packet | trim_zeros >> $outport.expected
1735 done
1736}
1737
1738# test_arp INPORT SHA SPA TPA DROP [REPLY_HA]
1739#
1740# Causes a packet to be received on INPORT. The packet is an ARP
1741# request with SHA, SPA, and TPA as specified. If REPLY_HA is provided, then
1742# it should be the hardware address of the target to expect to receive in an
1743# ARP reply; otherwise no reply is expected.
1744#
1745# INPORT is an lport number, e.g. 11 for vif11.
1746# SHA and REPLY_HA are each 12 hex digits.
1747# SPA and TPA are each 8 hex digits.
1748test_arp() {
1749 local inport=$1 smac=$2 sha=$3 spa=$4 tpa=$5 drop=$6 reply_ha=$7
1750 local request=ffffffffffff${smac}08060001080006040001${sha}${spa}ffffffffffff${tpa}
1751 hv=`vif_to_hv $inport`
1752 as $hv ovs-appctl netdev-dummy/receive vif$inport $request
1753 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $request
1754 if test $drop != 1; then
1755 if test X$reply_ha == X; then
1756 # Expect to receive the broadcast ARP on the other logical switch ports
1757 # if no reply is expected.
1758 local i j
1759 for i in 1 2 3; do
1760 for j in 1 2 3; do
1761 if test $i$j != $inport; then
1762 echo $request >> $i$j.expected
1763 fi
1764 done
1765 done
1766 else
1767 # Expect to receive the reply, if any.
1768 local reply=${smac}${reply_ha}08060001080006040002${reply_ha}${tpa}${sha}${spa}
1769 echo $reply >> $inport.expected
1770 fi
1771 fi
1772}
1773
1774# test_ipv6 INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
1775# This function is similar to test_ip() except that it sends
1776# ipv6 packet
1777test_ipv6() {
1778 local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
1779 local packet=${dst_mac}${src_mac}86dd6000000000083aff${src_ip}${dst_ip}0000000000000000
1780 shift; shift; shift; shift; shift
1781 hv=`vif_to_hv $inport`
1782 as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
1783 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
1784 for outport; do
1785 echo $packet | trim_zeros >> $outport.expected
1786 done
1787}
1788
1789ip_to_hex() {
1790 printf "%02x%02x%02x%02x" "$@"
1791}
1792
1793# no port security
1794sip=`ip_to_hex 192 168 0 12`
1795tip=`ip_to_hex 192 168 0 13`
1796# the arp packet should be allowed even if lp[123]1 is
1797# not configured with mac f00000000023 and ip 192.168.0.12
1798for i in 1 2 3; do
1799 test_arp ${i}1 f00000000023 f00000000023 $sip $tip 0 f00000000013
1800 for j in 1 2 3; do
1801 if test $i != $j; then
1802 test_ip ${i}1 f000000000${i}1 f000000000${j}1 $sip $tip ${j}1
1803 fi
1804 done
1805done
1806
1807# l2 port security
1808sip=`ip_to_hex 192 168 0 12`
1809tip=`ip_to_hex 192 168 0 13`
1810
1811# arp packet should be allowed since lp22 is configured with
1812# mac f00000000022
1813test_arp 22 f00000000022 f00000000022 $sip $tip 0 f00000000013
1814
1815# arp packet should not be allowed since lp32 is not configured with
1816# mac f00000000021
1817test_arp 32 f00000000021 f00000000021 $sip $tip 1
1818
1819# arp packet with sha set to f00000000021 should not be allowed
1820# for lp12
1821test_arp 12 f00000000012 f00000000021 $sip $tip 1
1822
1823# ip packets should be allowed and received since lp[123]2 do not
1824# have l3 port security
1825sip=`ip_to_hex 192 168 0 55`
1826tip=`ip_to_hex 192 168 0 66`
1827for i in 1 2 3; do
1828 for j in 1 2 3; do
1829 if test $i != $j; then
1830 test_ip ${i}2 f000000000${i}2 f000000000${j}2 $sip $tip ${j}2
1831 fi
1832 done
1833done
1834
1835# ipv6 packets should be received by lp[123]2
1836# lp[123]1 can send ipv6 traffic as there is no port security
1837sip=fe800000000000000000000000000000
1838tip=ff020000000000000000000000000000
1839
1840for i in 1 2 3; do
1841 test_ipv6 ${i}1 f000000000${i}1 f000000000${i}2 $sip $tip ${i}2
1842done
1843
1844
1845# l2 and l3 port security
1846sip=`ip_to_hex 192 168 0 13`
1847tip=`ip_to_hex 192 168 0 22`
1848# arp packet should be allowed since lp13 is configured with
1849# f00000000013 and 192.168.0.13
1850test_arp 13 f00000000013 f00000000013 $sip $tip 0 f00000000022
1851
1852# the arp packet should be dropped because lp23 is not configured
1853# with mac f00000000022
1854sip=`ip_to_hex 192 168 0 13`
1855tip=`ip_to_hex 192 168 0 22`
1856test_arp 23 f00000000022 f00000000022 $sip $tip 1
1857
1858# the arp packet should be dropped because lp33 is not configured
1859# with ip 192.168.0.55
1860spa=`ip_to_hex 192 168 0 55`
1861tpa=`ip_to_hex 192 168 0 22`
1862test_arp 33 f00000000031 f00000000031 $spa $tpa 1
1863
1864# ip packets should not be received by lp[123]3 since
1865# l3 port security is enabled
1866sip=`ip_to_hex 192 168 0 55`
1867tip=`ip_to_hex 192 168 0 66`
1868for i in 1 2 3; do
1869 for j in 1 2 3; do
1870 test_ip ${i}2 f000000000${i}2 f000000000${j}3 $sip $tip
1871 done
1872done
1873
1874# ipv6 packets should be dropped for lp[123]3 since
1875# it is configured with only ipv4 address
1876sip=fe800000000000000000000000000000
1877tip=ff020000000000000000000000000000
1878
1879for i in 1 2 3; do
1880 test_ipv6 ${i}3 f000000000${i}3 f00000000022 $sip $tip
1881done
1882
1883# ipv6 packets should not be received by lp[123]3 with mac f000000000$[123]3
1884# lp[123]1 can send ipv6 traffic as there is no port security
1885for i in 1 2 3; do
1886 test_ipv6 ${i}1 f000000000${i}1 f000000000${i}3 $sip $tip
1887done
1888
1889# lp13 has extra port security with mac f0000000113 and ipv6 addr
1890# fe80::ea2a:eaff:fe28:0012
1891
1892# ipv4 packet should be dropped for lp13 with mac f0000000113
1893sip=`ip_to_hex 192 168 0 13`
1894tip=`ip_to_hex 192 168 0 23`
1895test_ip 13 f00000000113 f00000000023 $sip $tip
1896
1897# ipv6 packet should be received by lp[123]3 with mac f0000000{i}{i}3
1898# and ip6.dst as fe80::ea2a:eaff:fe28:0{i}{i}3.
1899# lp11 can send ipv6 traffic as there is no port security
1900sip=ee800000000000000000000000000000
1901for i in 1 2 3; do
1902 tip=fe80000000000000ea2aeafffe2800{i}3
1903 test_ipv6 11 f00000000011 f000000000{i}${i}3 $sip $tip {i}3
1904done
1905
1906
1907# ipv6 packet should not be received by lp33 with mac f0000000333
1908# and ip6.dst as fe80::ea2a:eaff:fe28:0023 as it is
1909# configured with fe80::ea2a:eaff:fe28:0033
1910# lp11 can send ipv6 traffic as there is no port security
1911
1912sip=ee800000000000000000000000000000
1913tip=fe80000000000000ea2aeafffe280023
1914test_ipv6 11 f00000000011 f00000000333 $sip $tip
1915
1916# ipv6 packet should be allowed for lp[123]3 with mac f0000000{i}{i}3
1917# and ip6.src fe80::ea2a:eaff:fe28:0{i}{i}3 and ip6.src ::.
1918# and should be dropped for any other ip6.src
1919# lp21 can receive ipv6 traffic as there is no port security
1920
1921tip=ee800000000000000000000000000000
1922for i in 1 2 3; do
1923 sip=fe80000000000000ea2aeafffe2800${i}3
1924 test_ipv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip 21
1925
1926 sip=00000000000000000000000000000000
1927 test_ipv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip 21
1928
1929 # should be dropped
1930 sip=ae80000000000000ea2aeafffe2800aa
1931 test_ipv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip
1932done
1933
7d9d86ad
NS		 1934# configure lport13 to send and received IPv4 packets with an address range
1935ovn-nbctl lport-set-port-security lp13 "f0:00:00:00:00:13 192.168.0.13 20.0.0.4/24 10.0.0.0/24"
1936
8ff5a966
NS		 1937sleep 2
1938
7d9d86ad
NS		 1939sip=`ip_to_hex 10 0 0 13`
1940tip=`ip_to_hex 192 168 0 22`
1941# arp packet with inner ip 10.0.0.13 should be allowed for lport13
1942test_arp 13 f00000000013 f00000000013 $sip $tip 0 f00000000022
1943
1944sip=`ip_to_hex 10 0 0 14`
1945tip=`ip_to_hex 192 168 0 23`
1946# IPv4 packet from lport13 with src ip 10.0.0.14 destined to lport23
1947# with dst ip 192.168.0.23 should be allowed
1948test_ip 13 f00000000013 f00000000023 $sip $tip 23
1949
1950sip=`ip_to_hex 192 168 0 33`
1951tip=`ip_to_hex 10 0 0 15`
1952# IPv4 packet from lport33 with src ip 192.168.0.33 destined to lport13
1953# with dst ip 10.0.0.15 should be received by lport13
1954test_ip 33 f00000000033 f00000000013 $sip $tip 13
1955
1956sip=`ip_to_hex 192 168 0 33`
1957tip=`ip_to_hex 20 0 0 4`
1958# IPv4 packet from lport33 with src ip 192.168.0.33 destined to lport13
1959# with dst ip 20.0.0.4 should be received by lport13
1960test_ip 33 f00000000033 f00000000013 $sip $tip 13
1961
1962sip=`ip_to_hex 192 168 0 33`
1963tip=`ip_to_hex 20 0 0 5`
1964# IPv4 packet from lport33 with src ip 192.168.0.33 destined to lport13
1965# with dst ip 20.0.0.5 should not be received by lport13
1966test_ip 33 f00000000033 f00000000013 $sip $tip
1967
1968sip=`ip_to_hex 192 168 0 33`
1969tip=`ip_to_hex 20 0 0 255`
1970# IPv4 packet from lport33 with src ip 192.168.0.33 destined to lport13
1971# with dst ip 20.0.0.255 should be received by lport13
1972test_ip 33 f00000000033 f00000000013 $sip $tip 13
1973
1974sip=`ip_to_hex 192 168 0 33`
1975tip=`ip_to_hex 192 168 0 255`
1976# IPv4 packet from lport33 with src ip 192.168.0.33 destined to lport13
1977# with dst ip 192.168.0.255 should not be received by lport13
1978test_ip 33 f00000000033 f00000000013 $sip $tip
1979
1980sip=`ip_to_hex 192 168 0 33`
1981tip=`ip_to_hex 224 0 0 4`
1982# IPv4 packet from lport33 with src ip 192.168.0.33 destined to lport13
1983# with dst ip 224.0.0.4 should be received by lport13
1984test_ip 33 f00000000033 f00000000013 $sip $tip 13
685f4dfe
NS		 1985
1986# Allow some time for packet forwarding.
1987
1988# XXX This can be improved.
1989sleep 1
1990
bb0c41d3
RM		 1991#dump information including flow counters
1992ovn-nbctl show
1993ovn-sbctl dump-flows -- list multicast_group
1994
1995echo "------ hv1 dump ------"
1996as hv1 ovs-vsctl show
8dab1022 1997as hv1 ovs-ofctl show br-int
bb0c41d3
RM		 1998as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
1999
2000echo "------ hv2 dump ------"
2001as hv2 ovs-vsctl show
8dab1022 2002as hv2 ovs-ofctl show br-int
bb0c41d3
RM		 2003as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
2004
2005echo "------ hv3 dump ------"
2006as hv3 ovs-vsctl show
8dab1022 2007as hv3 ovs-ofctl show br-int
bb0c41d3
RM		 2008as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-int
2009
685f4dfe
NS		 2010# Now check the packets actually received against the ones expected.
2011for i in 1 2 3; do
2012 for j in 1 2 3; do
2013 file=hv$i/vif$i$j-tx.pcap
2014 echo $file
2015 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
2016 sort $i$j.expected > expout
2017 AT_CHECK([sort $i$j.packets], [0], [expout])
2018 echo
2019 done
2020done
2021
2022# Gracefully terminate daemons
d9c8c57c
LR		 2023for sim in hv1 hv2 hv3; do
2024 as $sim
2025 OVS_APP_EXIT_AND_WAIT([ovn-controller])
2026 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
2027 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
685f4dfe 2028done
d9c8c57c
LR		 2029
2030as ovn-sb
2031OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2032
2033as ovn-nb
2034OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2035
2036as northd
2037OVS_APP_EXIT_AND_WAIT([ovn-northd])
2038
2039as main
2040OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
2041OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2042
685f4dfe 2043AT_CLEANUP
509afdc3
GS		 2044
2045AT_SETUP([ovn -- 2 HVs, 2 LS, 1 lport/LS, 2 peer LRs])
2046AT_KEYWORDS([ovnpeer])
2047AT_SKIP_IF([test $HAVE_PYTHON = no])
2048ovn_start
2049
2050# Logical network:
2051# Two LRs - R1 and R2 that are connected to each other as peers in 20.0.0.0/24
2052# network. R1 has a switchs ls1 (191.168.1.0/24) connected to it.
2053# R2 has ls2 (172.16.1.0/24) connected to it.
2054
2055ovn-nbctl create Logical_Router name=R1
2056ovn-nbctl create Logical_Router name=R2
2057
2058ovn-nbctl lswitch-add ls1
2059ovn-nbctl lswitch-add ls2
2060
2061# Connect ls1 to R1
2062ovn-nbctl -- --id=@lrp create Logical_Router_port name=ls1 \
2063network=192.168.1.1/24 mac=\"00:00:00:01:02:03\" -- add Logical_Router R1 \
2064ports @lrp -- lport-add ls1 rp-ls1
2065
2066ovn-nbctl set Logical_port rp-ls1 type=router options:router-port=ls1 \
2067addresses=\"00:00:00:01:02:03\"
2068
2069# Connect ls2 to R2
2070ovn-nbctl -- --id=@lrp create Logical_Router_port name=ls2 \
2071network=172.16.1.1/24 mac=\"00:00:00:01:02:04\" -- add Logical_Router R2 \
2072ports @lrp -- lport-add ls2 rp-ls2
2073
2074ovn-nbctl set Logical_port rp-ls2 type=router options:router-port=ls2 \
2075addresses=\"00:00:00:01:02:04\"
2076
2077# Connect R1 to R2
2078lrp1_uuid=`ovn-nbctl -- --id=@lrp create Logical_Router_port name=R1_R2 \
2079network="20.0.0.1/24" mac=\"00:00:00:02:03:04\" \
2080-- add Logical_Router R1 ports @lrp`
2081
2082lrp2_uuid=`ovn-nbctl -- --id=@lrp create Logical_Router_port name=R2_R1 \
2083network="20.0.0.2/24" mac=\"00:00:00:02:03:05\" \
2084-- add Logical_Router R2 ports @lrp`
2085
2086ovn-nbctl set logical_router_port $lrp1_uuid peer="R2_R1"
2087ovn-nbctl set logical_router_port $lrp2_uuid peer="R1_R2"
2088
2089ovn-nbctl set Logical_Router R1 default_gw="20.0.0.2"
2090ovn-nbctl set Logical_Router R2 default_gw="20.0.0.1"
2091
2092# Create logical port ls1-lp1 in ls1
2093ovn-nbctl lport-add ls1 ls1-lp1 \
2094-- lport-set-addresses ls1-lp1 "f0:00:00:01:02:03 192.168.1.2"
2095
2096# Create logical port ls2-lp1 in ls2
2097ovn-nbctl lport-add ls2 ls2-lp1 \
2098-- lport-set-addresses ls2-lp1 "f0:00:00:01:02:04 172.16.1.2"
2099
2100# Create two hypervisor and create OVS ports corresponding to logical ports.
2101net_add n1
2102
2103sim_add hv1
2104as hv1
2105ovs-vsctl add-br br-phys
2106ovn_attach n1 br-phys 192.168.0.1
2107ovs-vsctl -- add-port br-int hv1-vif1 -- \
2108 set interface hv1-vif1 external-ids:iface-id=ls1-lp1 \
2109 options:tx_pcap=hv1/vif1-tx.pcap \
2110 options:rxq_pcap=hv1/vif1-rx.pcap \
2111 ofport-request=1
2112
2113sim_add hv2
2114as hv2
2115ovs-vsctl add-br br-phys
2116ovn_attach n1 br-phys 192.168.0.2
2117ovs-vsctl -- add-port br-int hv2-vif1 -- \
2118 set interface hv2-vif1 external-ids:iface-id=ls2-lp1 \
2119 options:tx_pcap=hv2/vif1-tx.pcap \
2120 options:rxq_pcap=hv2/vif1-rx.pcap \
2121 ofport-request=1
2122
2123
2124# Pre-populate the hypervisors' ARP tables so that we don't lose any
2125# packets for ARP resolution (native tunneling doesn't queue packets
2126# for ARP resolution).
2127ovn_populate_arp
2128
2129# Allow some time for ovn-northd and ovn-controller to catch up.
2130# XXX This should be more systematic.
2131sleep 1
2132
2133# Send ip packets between the two ports.
2134ip_to_hex() {
2135 printf "%02x%02x%02x%02x" "$@"
2136}
2137trim_zeros() {
2138 sed 's/\(00\)\{1,\}$//'
2139}
2140
2141# Packet to send.
2142src_mac="f00000010203"
2143dst_mac="000000010203"
2144src_ip=`ip_to_hex 192 168 1 2`
2145dst_ip=`ip_to_hex 172 16 1 2`
2146packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
2147as hv1 ovs-appctl netdev-dummy/receive hv1-vif1 $packet
2148
2149
2150echo "---------NB dump-----"
2151ovn-nbctl show
2152echo "---------------------"
2153ovn-nbctl list logical_router
2154echo "---------------------"
2155ovn-nbctl list logical_router_port
2156echo "---------------------"
2157
2158echo "---------SB dump-----"
2159ovn-sbctl list datapath_binding
2160echo "---------------------"
2161ovn-sbctl list port_binding
2162echo "---------------------"
2163
2164echo "------ hv1 dump ----------"
8dab1022 2165as hv1 ovs-ofctl show br-int
509afdc3
GS		 2166as hv1 ovs-ofctl dump-flows br-int
2167echo "------ hv2 dump ----------"
8dab1022 2168as hv2 ovs-ofctl show br-int
509afdc3
GS		 2169as hv2 ovs-ofctl dump-flows br-int
2170
2171# Packet to Expect
2172src_mac="000000010204"
2173dst_mac="f00000010204"
2174expected=${dst_mac}${src_mac}08004500001c000000003e110200${src_ip}${dst_ip}0035111100080000
2175
2176$PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv2/vif1-tx.pcap | trim_zeros > received.packets
2177echo $expected | trim_zeros > expout
2178AT_CHECK([cat received.packets], [0], [expout])
2179
2180for sim in hv1 hv2; do
2181 as $sim
2182 OVS_APP_EXIT_AND_WAIT([ovn-controller])
2183 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
2184 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2185done
2186
2187as ovn-sb
2188OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2189
2190as ovn-nb
2191OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2192
2193as northd
2194OVS_APP_EXIT_AND_WAIT([ovn-northd])
2195
2196as main
2197OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
2198OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2199
2200AT_CLEANUP
5412db30
J		 2201
2202
2203AT_SETUP([ovn -- 1 HVs, 2 LSs, 1 lport/LS, 1 LR])
2204AT_KEYWORDS([router-admin-state])
2205AT_SKIP_IF([test $HAVE_PYTHON = no])
2206ovn_start
2207
2208# Logical network:
2209# One LR - R1 has switch ls1 (191.168.1.0/24) connected to it,
2210# and has switch ls2 (172.16.1.0/24) connected to it.
2211
2212ovn-nbctl create Logical_Router name=R1
2213
2214ovn-nbctl lswitch-add ls1
2215ovn-nbctl lswitch-add ls2
2216
2217# Connect ls1 to R1
2218ovn-nbctl -- --id=@lrp create Logical_Router_port name=ls1 \
2219network=192.168.1.1/24 mac=\"00:00:00:01:02:03\" -- add Logical_Router R1 \
2220ports @lrp -- lport-add ls1 rp-ls1
2221
2222ovn-nbctl set Logical_port rp-ls1 type=router options:router-port=ls1 \
2223addresses=\"00:00:00:01:02:03\"
2224
2225# Connect ls2 to R1
2226ovn-nbctl -- --id=@lrp create Logical_Router_port name=ls2 \
2227network=172.16.1.1/24 mac=\"00:00:00:01:02:04\" -- add Logical_Router R1 \
2228ports @lrp -- lport-add ls2 rp-ls2
2229
2230ovn-nbctl set Logical_port rp-ls2 type=router options:router-port=ls2 \
2231addresses=\"00:00:00:01:02:04\"
2232
2233# Create logical port ls1-lp1 in ls1
2234ovn-nbctl lport-add ls1 ls1-lp1 \
2235-- lport-set-addresses ls1-lp1 "f0:00:00:01:02:03 192.168.1.2"
2236
2237# Create logical port ls2-lp1 in ls2
2238ovn-nbctl lport-add ls2 ls2-lp1 \
2239-- lport-set-addresses ls2-lp1 "f0:00:00:01:02:04 172.16.1.2"
2240
2241# Create one hypervisor and create OVS ports corresponding to logical ports.
2242net_add n1
2243
2244sim_add hv1
2245as hv1
2246ovs-vsctl add-br br-phys
2247ovn_attach n1 br-phys 192.168.0.1
2248ovs-vsctl -- add-port br-int vif1 -- \
2249 set interface vif1 external-ids:iface-id=ls1-lp1 \
2250 options:tx_pcap=hv1/vif1-tx.pcap \
2251 options:rxq_pcap=hv1/vif1-rx.pcap \
2252 ofport-request=1
2253
2254ovs-vsctl -- add-port br-int vif2 -- \
2255 set interface vif2 external-ids:iface-id=ls2-lp1 \
2256 options:tx_pcap=hv1/vif2-tx.pcap \
2257 options:rxq_pcap=hv1/vif2-rx.pcap \
2258 ofport-request=1
2259
2260
2261# Allow some time for ovn-northd and ovn-controller to catch up.
2262# XXX This should be more systematic.
2263sleep 1
2264
2265# Send ip packets between the two ports.
2266ip_to_hex() {
2267 printf "%02x%02x%02x%02x" "$@"
2268}
2269trim_zeros() {
2270 sed 's/\(00\)\{1,\}$//'
2271}
2272
2273# Packet to send.
2274src_mac="f00000010203"
2275dst_mac="000000010203"
2276src_ip=`ip_to_hex 192 168 1 2`
2277dst_ip=`ip_to_hex 172 16 1 2`
2278packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
2279as hv1 ovs-appctl netdev-dummy/receive vif1 $packet
2280
2281
2282echo "---------NB dump-----"
2283ovn-nbctl show
2284echo "---------------------"
2285ovn-nbctl list logical_router
2286echo "---------------------"
2287ovn-nbctl list logical_router_port
2288echo "---------------------"
2289
2290echo "---------SB dump-----"
2291ovn-sbctl list datapath_binding
2292echo "---------------------"
2293ovn-sbctl list logical_flow
2294echo "---------------------"
2295
2296echo "------ hv1 dump ----------"
2297as hv1 ovs-ofctl dump-flows br-int
2298
2299
2300#Disable router R1
2301ovn-nbctl set Logical_Router R1 enabled=false
2302
2303echo "---------SB dump-----"
2304ovn-sbctl list datapath_binding
2305echo "---------------------"
2306ovn-sbctl list logical_flow
2307echo "---------------------"
2308
2309echo "------ hv1 dump ----------"
2310as hv1 ovs-ofctl dump-flows br-int
2311
2312as hv1 ovs-appctl netdev-dummy/receive vif1 $packet
2313
2314# Packet to Expect
2315expect_src_mac="000000010204"
2316expect_dst_mac="f00000010204"
2317expected=${expect_dst_mac}${expect_src_mac}08004500001c000000003f110100${src_ip}${dst_ip}0035111100080000
2318
2319$PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv1/vif2-tx.pcap | trim_zeros > received.packets
2320echo $expected | trim_zeros > expout
2321AT_CHECK([cat received.packets], [0], [expout])
2322
2323
2324as hv1
2325OVS_APP_EXIT_AND_WAIT([ovn-controller])
2326OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
2327OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2328
2329as ovn-sb
2330OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2331
2332as ovn-nb
2333OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2334
2335as northd
2336OVS_APP_EXIT_AND_WAIT([ovn-northd])
2337
2338as main
2339OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
2340OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2341
2342AT_CLEANUP
2343
2344
openvswitch mirror