]> 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
Separating OVN NB and SB database processes
[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
cce9c163 594ovn-sbctl dump-flows -- list multicast_group
f295c17b 595
611099dc
RM		 596echo "------ hv1 dump ------"
597as hv1 ovs-vsctl show
598as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
599
600echo "------ hv2 dump ------"
601as hv2 ovs-vsctl show
602as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
603
604echo "------ hv3 dump ------"
605as hv3 ovs-vsctl show
606as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-int
607
57d143eb
HZ		 608# Given the name of a logical port, prints the name of the hypervisor
609# on which it is located.
610vif_to_hv() {
611 echo hv${1%?}
612}
613
f295c17b
BP		 614# test_packet INPORT DST SRC ETHTYPE OUTPORT...
615#
616# This shell function causes a packet to be received on INPORT. The packet's
617# content has Ethernet destination DST and source SRC (each exactly 12 hex
618# digits) and Ethernet type ETHTYPE (4 hex digits). The OUTPORTs (zero or
619# more) list the VIFs on which the packet should be received. INPORT and the
620# OUTPORTs are specified as lport numbers, e.g. 11 for vif11.
621trim_zeros() {
622 sed 's/\(00\)\{1,\}$//'
623}
624for i in 1 2 3; do
625 for j in 1 2 3; do
626 : > $i$j.expected
627 done
628done
629test_packet() {
630 local inport=$1 packet=$2$3$4; shift; shift; shift; shift
57d143eb 631 hv=`vif_to_hv $inport`
f295c17b
BP		 632 vif=vif$inport
633 as $hv ovs-appctl netdev-dummy/receive $vif $packet
634 for outport; do
635 echo $packet | trim_zeros >> $outport.expected
636 done
637}
638
57d143eb
HZ		 639# test_arp INPORT SHA SPA TPA [REPLY_HA]
640#
641# Causes a packet to be received on INPORT. The packet is an ARP
642# request with SHA, SPA, and TPA as specified. If REPLY_HA is provided, then
643# it should be the hardware address of the target to expect to receive in an
644# ARP reply; otherwise no reply is expected.
645#
646# INPORT is an lport number, e.g. 11 for vif11.
647# SHA and REPLY_HA are each 12 hex digits.
648# SPA and TPA are each 8 hex digits.
649test_arp() {
650 local inport=$1 sha=$2 spa=$3 tpa=$4 reply_ha=$5
651 local request=ffffffffffff${sha}08060001080006040001${sha}${spa}ffffffffffff${tpa}
652 hv=`vif_to_hv $inport`
653 as $hv ovs-appctl netdev-dummy/receive vif$inport $request
654
92f9822b 655 if test X$reply_ha = X; then
57d143eb
HZ		 656 # Expect to receive the broadcast ARP on the other logical switch ports
657 # if no reply is expected.
658 local i j
659 for i in 1 2 3; do
660 for j in 1 2 3; do
661 if test $i$j != $inport; then
662 echo $request >> $i$j.expected
663 fi
664 done
665 done
666 else
667 # Expect to receive the reply, if any.
668 local reply=${sha}${reply_ha}08060001080006040002${reply_ha}${tpa}${sha}${spa}
669 echo $reply >> $inport.expected
670 fi
671}
672
673ip_to_hex() {
674 printf "%02x%02x%02x%02x" "$@"
675}
676
f295c17b
BP		 677# Send packets between all pairs of source and destination ports:
678#
679# 1. Unicast packets are delivered to exactly one lport (except that packets
680# destined to their input ports are dropped).
681#
682# 2. Broadcast and multicast are delivered to all lports except the input port.
683#
684# 3. When port security is turned on, the lswitch drops packets from the wrong
685# MAC address.
686#
687# 4. The lswitch drops all packets with a VLAN tag.
688#
689# 5. The lswitch drops all packets with a multicast source address. (This only
690# affects behavior when port security is turned off, since otherwise port
691# security would drop the packet anyway.)
692#
693# 6. The lswitch delivers packets with an unknown destination to lports with
694# "unknown" among their MAC addresses (and port security disabled).
695#
696# 7. The lswitch drops unicast packets that violate an ACL.
697#
698# 8. The lswitch drops multicast and broadcast packets that violate an ACL.
57d143eb
HZ		 699#
700# 9. ARP requests to known IPs are responded directly.
701#
702# 10. No response to ARP requests for unknown IPs.
f295c17b
BP		 703for is in 1 2 3; do
704 for js in 1 2 3; do
705 s=$is$js
706 bcast=
4d5c43d5
JP		 707 unknown=
708 bacl2=
709 bacl3=
f295c17b
BP		 710 for id in 1 2 3; do
711 for jd in 1 2 3; do
712 d=$id$jd
713
714 if test $d != $s; then unicast=$d; else unicast=; fi
715 test_packet $s f000000000$d f000000000$s $s$d $unicast #1
716
717 if test $d != $s && test $js = 1; then
4d5c43d5
JP		 718 impersonate=$d
719 else
720 impersonate=
721 fi
f295c17b
BP		 722 test_packet $s f000000000$d f00000000055 55$d $impersonate #3
723
4d5c43d5
JP		 724 if test $d != $s && test $s != 11; then acl2=$d; else acl2=; fi
725 if test $d != $s && test $d != 33; then acl3=$d; else acl3=; fi
f295c17b
BP		 726 test_packet $s f000000000$d f000000000$s 1234 #7, acl1
727 test_packet $s f000000000$d f000000000$s 1235 $acl2 #7, acl2
728 test_packet $s f000000000$d f000000000$s 1236 $acl3 #7, acl3
729
730 test_packet $s f000000000$d f00000000055 810000091234 #4
731 test_packet $s f000000000$d 0100000000$s $s$d #5
732
4d5c43d5
JP		 733 if test $d != $s && test $jd = 1; then
734 unknown="$unknown $d"
735 fi
f295c17b
BP		 736 bcast="$bcast $unicast"
737 bacl2="$bacl2 $acl2"
738 bacl3="$bacl3 $acl3"
57d143eb
HZ		 739
740 sip=`ip_to_hex 192 168 0 $i$j`
741 tip=`ip_to_hex 192 168 0 $id$jd`
742 tip_unknown=`ip_to_hex 11 11 11 11`
743 test_arp $s f000000000$s $sip $tip f000000000$d #9
744 test_arp $s f000000000$s $sip $tip_unknown #10
7dc88496
NS		 745
746 if test $jd = 3; then
747 # lport[123]3 has an additional ip 192.169.0.[123]3.
748 tip=`ip_to_hex 192 169 0 $id$jd`
749 test_arp $s f000000000$s $sip $tip f000000000$d #9
750 fi
f295c17b
BP		 751 done
752 done
753
4d5c43d5 754 # Broadcast and multicast.
f295c17b
BP		 755 test_packet $s ffffffffffff f000000000$s ${s}ff $bcast #2
756 test_packet $s 010000000000 f000000000$s ${s}ff $bcast #2
4d5c43d5 757 if test $js = 1; then
f295c17b
BP		 758 bcast_impersonate=$bcast
759 else
4d5c43d5
JP		 760 bcast_impersonate=
761 fi
f295c17b
BP		 762 test_packet $s 010000000000 f00000000044 44ff $bcast_impersonate #3
763
764 test_packet $s f0000000ffff f000000000$s ${s}66 $unknown #6
765
766 test_packet $s ffffffffffff f000000000$s 1234 #8, acl1
767 test_packet $s ffffffffffff f000000000$s 1235 $bacl2 #8, acl2
768 test_packet $s ffffffffffff f000000000$s 1236 $bacl3 #8, acl3
769 test_packet $s 010000000000 f000000000$s 1234 #8, acl1
770 test_packet $s 010000000000 f000000000$s 1235 $bacl2 #8, acl2
771 test_packet $s 010000000000 f000000000$s 1236 $bacl3 #8, acl3
772 done
773done
774
7dc88496
NS		 775# set address for lp13 with invalid characters.
776# lp13 should be configured with only 192.168.0.13.
777ovn-nbctl lport-set-addresses lp13 "f0:00:00:00:00:13 192.168.0.13 invalid 192.169.0.13"
778sip=`ip_to_hex 192 168 0 11`
779tip=`ip_to_hex 192 168 0 13`
780test_arp 11 f00000000011 $sip $tip f00000000013
781
782tip=`ip_to_hex 192 169 0 13`
783#arp request for 192.169.0.13 should be flooded
784test_arp 11 f00000000011 $sip $tip
785
f295c17b
BP		 786# Allow some time for packet forwarding.
787# XXX This can be improved.
788sleep 1
789
790# Now check the packets actually received against the ones expected.
791for i in 1 2 3; do
792 for j in 1 2 3; do
793 file=hv$i/vif$i$j-tx.pcap
794 echo $file
795 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
2172f32d
YT		 796 sort $i$j.expected > expout
797 AT_CHECK([sort $i$j.packets], [0], [expout])
f295c17b
BP		 798 echo
799 done
800done
fcde56f5
LR		 801
802# Gracefully terminate daemons
d9c8c57c
LR		 803for sim in hv1 hv2 hv3; do
804 as $sim
805 OVS_APP_EXIT_AND_WAIT([ovn-controller])
806 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
807 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
fcde56f5 808done
d9c8c57c
LR		 809
810as ovn-sb
811OVS_APP_EXIT_AND_WAIT([ovsdb-server])
812
813as ovn-nb
814OVS_APP_EXIT_AND_WAIT([ovsdb-server])
815
816as northd
817OVS_APP_EXIT_AND_WAIT([ovn-northd])
818
819as main
820OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
821OVS_APP_EXIT_AND_WAIT([ovsdb-server])
822
f295c17b 823AT_CLEANUP
eb6b08eb 824
7277bc83
RB		 825# 2 hypervisors, 4 logical ports per HV
826# 2 locally attached networks (one flat, one vlan tagged over same device)
827# 2 ports per HV on each network
e90aeb57 828AT_SETUP([ovn -- 2 HVs, 4 lports/HV, localnet ports])
d79fc5f4
RB		 829AT_KEYWORDS([ovn-localnet])
830AT_SKIP_IF([test $HAVE_PYTHON = no])
831ovn_start
832
0ee7f7f1
HZ		 833# In this test cases we create 3 lswitches, all connected to same
834# physical network (through br-phys on each HV). Each lswitch has
835# VIF ports across 2 HVs. Each HV has 5 VIF ports. The first digit
836# of VIF port name indicates the hypervisor it is bound to, e.g.
837# lp23 means VIF 3 on hv2.
838#
839# lswitch's VLAN tag and their lports are:
840# - ls1:
841# - untagged
842# - lports: lp11, lp12, lp21, lp22
843#
844# - ls2:
845# - tagged with VLAN 101
846# - lports: lp13, lp14, lp23, lp24
847# - ls3:
848# - untagged
849# - lports: lp15, lp25
850#
851# Note: a localnet port is created for each lswitch to connect to
852# physical network.
853
854for i in 1 2 3; do
855 lswitch_name=ls$i
856 ovn-nbctl lswitch-add $lswitch_name
857 ln_port_name=ln$i
858 if test $i -eq 2; then
859 ovn-nbctl lport-add $lswitch_name $ln_port_name "" 101
860 else
861 ovn-nbctl lport-add $lswitch_name $ln_port_name
862 fi
863 ovn-nbctl lport-set-addresses $ln_port_name unknown
864 ovn-nbctl lport-set-type $ln_port_name localnet
865 ovn-nbctl lport-set-options $ln_port_name network_name=phys
866done
d79fc5f4
RB		 867
868net_add n1
869for i in 1 2; do
870 sim_add hv$i
871 as hv$i
872 ovs-vsctl add-br br-phys
873 ovs-vsctl set open . external-ids:ovn-bridge-mappings=phys:br-phys
874 ovn_attach n1 br-phys 192.168.0.$i
875
0ee7f7f1 876 for j in 1 2 3 4 5; do
d79fc5f4
RB		 877 ovs-vsctl add-port br-int vif$i$j -- \
878 set Interface vif$i$j external-ids:iface-id=lp$i$j \
879 options:tx_pcap=hv$i/vif$i$j-tx.pcap \
880 options:rxq_pcap=hv$i/vif$i$j-rx.pcap \
881 ofport-request=$i$j
882
d79fc5f4 883 lport_name=lp$i$j
7277bc83 884 if test $j -le 2; then
0ee7f7f1
HZ		 885 lswitch_name=ls1
886 elif test $j -le 4; then
887 lswitch_name=ls2
d79fc5f4 888 else
0ee7f7f1 889 lswitch_name=ls3
d79fc5f4 890 fi
d79fc5f4
RB		 891
892 ovn-nbctl lport-add $lswitch_name $lport_name
893 ovn-nbctl lport-set-addresses $lport_name f0:00:00:00:00:$i$j
894 ovn-nbctl lport-set-port-security $lport_name f0:00:00:00:00:$i$j
895
896 OVS_WAIT_UNTIL([test x`ovn-nbctl lport-get-up $lport_name` = xup])
897 done
898done
899
900ovn_populate_arp
901
902# XXX This is now the 3rd copy of these functions in this file ...
903
904# Given the name of a logical port, prints the name of the hypervisor
905# on which it is located.
906vif_to_hv() {
907 echo hv${1%?}
908}
909#
910# test_packet INPORT DST SRC ETHTYPE OUTPORT...
911#
912# This shell function causes a packet to be received on INPORT. The packet's
913# content has Ethernet destination DST and source SRC (each exactly 12 hex
914# digits) and Ethernet type ETHTYPE (4 hex digits). The OUTPORTs (zero or
915# more) list the VIFs on which the packet should be received. INPORT and the
916# OUTPORTs are specified as lport numbers, e.g. 11 for vif11.
917trim_zeros() {
918 sed 's/\(00\)\{1,\}$//'
919}
920for i in 1 2; do
0ee7f7f1 921 for j in 1 2 3 4 5; do
d79fc5f4
RB		 922 : > $i$j.expected
923 done
924done
925test_packet() {
926 local inport=$1 src=$2 dst=$3 eth=$4; shift; shift; shift; shift
927 local packet=${src}${dst}${eth}
928 hv=`vif_to_hv $inport`
929 vif=vif$inport
930 as $hv ovs-appctl netdev-dummy/receive $vif $packet
931 for outport; do
932 echo $packet | trim_zeros >> $outport.expected
933 done
934}
935
7277bc83
RB		 936# lp11 and lp21 are on the same network (phys, untagged)
937# and on different hypervisors
d79fc5f4
RB		 938test_packet 11 f00000000021 f00000000011 1121 21
939test_packet 21 f00000000011 f00000000021 2111 11
940
7277bc83
RB		 941# lp11 and lp12 are on the same network (phys, untagged)
942# and on the same hypervisor
e90aeb57
RB		 943test_packet 11 f00000000012 f00000000011 1112 12
944test_packet 12 f00000000011 f00000000012 1211 11
7277bc83
RB		 945
946# lp13 and lp23 are on the same network (phys, VLAN 101)
947# and on different hypervisors
948test_packet 13 f00000000023 f00000000013 1323 23
949test_packet 23 f00000000013 f00000000023 2313 13
950
951# lp13 and lp14 are on the same network (phys, VLAN 101)
952# and on the same hypervisor
e90aeb57
RB		 953test_packet 13 f00000000014 f00000000013 1314 14
954test_packet 14 f00000000013 f00000000014 1413 13
d79fc5f4 955
0ee7f7f1
HZ		 956# lp11 and lp15 are on the same network (phys, untagged),
957# same hypervisor, and on different lswitches
958test_packet 11 f00000000015 f00000000011 1115 15
959test_packet 15 f00000000011 f00000000015 1511 11
960
961# lp11 and lp25 are on the same network (phys, untagged),
962# different hypervisors, and on different lswitches
963test_packet 11 f00000000025 f00000000011 1125 25
964test_packet 25 f00000000011 f00000000025 2511 11
965
d79fc5f4 966# Ports that should not be able to communicate
7277bc83
RB		 967test_packet 11 f00000000013 f00000000011 1113
968test_packet 11 f00000000023 f00000000011 1123
969test_packet 21 f00000000013 f00000000021 2113
970test_packet 21 f00000000023 f00000000021 2123
971test_packet 13 f00000000011 f00000000013 1311
972test_packet 13 f00000000021 f00000000013 1321
973test_packet 23 f00000000011 f00000000023 2311
974test_packet 23 f00000000021 f00000000023 2321
d79fc5f4
RB		 975
976# Allow some time for packet forwarding.
977# XXX This can be improved.
978sleep 1
979
980# Dump a bunch of info helpful for debugging if there's a failure.
981
982echo "------ OVN dump ------"
983ovn-nbctl show
984ovn-sbctl show
985
986echo "------ hv1 dump ------"
987as hv1 ovs-vsctl show
988as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
989
990echo "------ hv2 dump ------"
991as hv2 ovs-vsctl show
992as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
993
994# Now check the packets actually received against the ones expected.
995for i in 1 2; do
0ee7f7f1 996 for j in 1 2 3 4 5; do
d79fc5f4
RB		 997 file=hv$i/vif$i$j-tx.pcap
998 echo $file
999 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
1000 sort $i$j.expected > expout
1001 AT_CHECK([sort $i$j.packets], [0], [expout])
1002 echo
1003 done
1004done
1005
fcde56f5 1006# Gracefully terminate daemons
d9c8c57c
LR		 1007for sim in hv1 hv2; do
1008 as $sim
1009 OVS_APP_EXIT_AND_WAIT([ovn-controller])
1010 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
1011 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
fcde56f5 1012done
d9c8c57c
LR		 1013
1014as ovn-sb
1015OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1016
1017as ovn-nb
1018OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1019
1020as northd
1021OVS_APP_EXIT_AND_WAIT([ovn-northd])
1022
1023as main
1024OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
1025OVS_APP_EXIT_AND_WAIT([ovsdb-server])
d79fc5f4
RB		 1026AT_CLEANUP
1027
9975d7be 1028AT_SETUP([ovn -- 3 HVs, 1 VIFs/HV, 1 GW, 1 LS])
eb6b08eb
JP		 1029AT_SKIP_IF([test $HAVE_PYTHON = no])
1030ovn_start
1031
1032# Configure the Northbound database
1033ovn-nbctl lswitch-add lsw0
1034
1035ovn-nbctl lport-add lsw0 lp1
2fa326a3 1036ovn-nbctl lport-set-addresses lp1 f0:00:00:00:00:01
eb6b08eb
JP		 1037
1038ovn-nbctl lport-add lsw0 lp2
2fa326a3 1039ovn-nbctl lport-set-addresses lp2 f0:00:00:00:00:02
eb6b08eb
JP		 1040
1041ovn-nbctl lport-add lsw0 lp-vtep
1042ovn-nbctl lport-set-type lp-vtep vtep
1043ovn-nbctl lport-set-options lp-vtep vtep-physical-switch=br-vtep vtep-logical-switch=lsw0
2fa326a3 1044ovn-nbctl lport-set-addresses lp-vtep unknown
eb6b08eb
JP		 1045
1046net_add n1 # Network to connect hv1, hv2, and vtep
1047net_add n2 # Network to connect vtep and hv3
1048
1049# Create hypervisor hv1 connected to n1
1050sim_add hv1
1051as hv1
1052ovs-vsctl add-br br-phys
1053ovn_attach n1 br-phys 192.168.0.1
1054ovs-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
1055
1056# Create hypervisor hv2 connected to n1
1057sim_add hv2
1058as hv2
1059ovs-vsctl add-br br-phys
1060ovn_attach n1 br-phys 192.168.0.2
1061ovs-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
1062
1063
1064# Start the vtep emulator with a leg in both networks
1065sim_add vtep
1066as vtep
1067
1068ovsdb-tool create "$ovs_base"/vtep/vtep.db "$abs_top_srcdir"/vtep/vtep.ovsschema || return 1
1069ovs-appctl -t ovsdb-server ovsdb-server/add-db "$ovs_base"/vtep/vtep.db
1070
1071ovs-vsctl add-br br-phys
1072net_attach n1 br-phys
1073
1074mac=`ovs-vsctl get Interface br-phys mac_in_use | sed s/\"//g`
1075arp_table="$arp_table $sandbox,br-phys,192.168.0.3,$mac"
1076ovs-appctl netdev-dummy/ip4addr br-phys 192.168.0.3/24 >/dev/null || return 1
1077ovs-appctl ovs/route/add 192.168.0.3/24 br-phys >/dev/null || return 1
1078
1079ovs-vsctl add-br br-vtep
1080net_attach n2 br-vtep
1081
1082vtep-ctl add-ps br-vtep
1083vtep-ctl set Physical_Switch br-vtep tunnel_ips=192.168.0.3
1084vtep-ctl add-ls lsw0
1085
1086start_daemon ovs-vtep br-vtep
1087start_daemon ovn-controller-vtep --vtep-db=unix:"$ovs_base"/vtep/db.sock --ovnsb-db=unix:"$ovs_base"/ovn-sb/ovn-sb.sock
1088
1089sleep 1
1090
1091vtep-ctl bind-ls br-vtep br-vtep_n2 0 lsw0
1092
1093sleep 1
1094
1095# Add hv3 on the other side of the vtep
1096sim_add hv3
1097as hv3
1098ovs-vsctl add-br br-phys
1099net_attach n2 br-phys
1100
1101ovs-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
1102
1103# Pre-populate the hypervisors' ARP tables so that we don't lose any
1104# packets for ARP resolution (native tunneling doesn't queue packets
1105# for ARP resolution).
1106ovn_populate_arp
1107
1108# Allow some time for ovn-northd and ovn-controller to catch up.
1109# XXX This should be more systematic.
1110sleep 1
6977df72
RM		 1111echo "------ OVN dump ------"
1112ovn-nbctl show
eb6b08eb
JP		 1113ovn-sbctl show
1114
6977df72
RM		 1115echo "------ hv1 dump ------"
1116as hv1 ovs-vsctl show
1117as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
1118
1119echo "------ hv2 dump ------"
1120as hv2 ovs-vsctl show
1121as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
1122
1123echo "------ hv3 dump ------"
1124as hv3 ovs-vsctl show
1125as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-int
1126
eb6b08eb
JP		 1127# test_packet INPORT DST SRC ETHTYPE OUTPORT...
1128#
1129# This shell function causes a packet to be received on INPORT. The packet's
1130# content has Ethernet destination DST and source SRC (each exactly 12 hex
1131# digits) and Ethernet type ETHTYPE (4 hex digits). The OUTPORTs (zero or
1132# more) list the VIFs on which the packet should be received. INPORT and the
1133# OUTPORTs are specified as lport numbers, e.g. 1 for vif1.
1134trim_zeros() {
1135 sed 's/\(00\)\{1,\}$//'
1136}
1137for i in 1 2 3; do
1138 : > $i.expected
1139done
1140test_packet() {
1141 local inport=$1 packet=$2$3$4; shift; shift; shift; shift
1142 #hv=hv`echo $inport | sed 's/^\(.\).*/\1/'`
1143 hv=hv$inport
1144 vif=vif$inport
1145 as $hv ovs-appctl netdev-dummy/receive $vif $packet
1146 for outport; do
1147 echo $packet | trim_zeros >> $outport.expected
1148 done
1149}
1150
1151# Send packets between all pairs of source and destination ports:
1152#
1153# 1. Unicast packets are delivered to exactly one lport (except that packets
1154# destined to their input ports are dropped).
1155#
1156# 2. Broadcast and multicast are delivered to all lports except the input port.
1157#
1158# 3. The lswitch delivers packets with an unknown destination to lports with
1159# "unknown" among their MAC addresses (and port security disabled).
1160for s in 1 2 3; do
1161 bcast=
1162 unknown=
1163 for d in 1 2 3; do
1164 if test $d != $s; then unicast=$d; else unicast=; fi
1165 test_packet $s f0000000000$d f0000000000$s 00$s$d $unicast #1
1166
1167 # The vtep (vif3) is the only one configured for "unknown"
1168 if test $d != $s && test $d = 3; then
1169 unknown="$unknown $d"
1170 fi
1171 bcast="$bcast $unicast"
1172 done
1173
1174 # Broadcast and multicast.
1175 # xxx ovn-controller-vtep doesn't handle multicast traffic that is
1176 # xxx sourced from the gateway properly.
1177 #test_packet $s ffffffffffff f0000000000$s 0${s}ff $bcast #2
1178 #test_packet $s 010000000000 f0000000000$s 0${s}ff $bcast #2
1179
1180 test_packet $s f0000000ffff f0000000000$s 0${s}66 $unknown #3
1181done
1182
1183# Allow some time for packet forwarding.
1184# XXX This can be improved.
1185sleep 1
1186
1187# Now check the packets actually received against the ones expected.
1188for i in 1 2 3; do
1189 file=hv$i/vif$i-tx.pcap
1190 echo $file
1191 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i.packets
2172f32d
YT		 1192 sort $i.expected > expout
1193 AT_CHECK([sort $i.packets], [0], [expout])
eb6b08eb
JP		 1194 echo
1195done
fcde56f5
LR		 1196
1197# Gracefully terminate daemons
d9c8c57c
LR		 1198as vtep
1199OVS_APP_EXIT_AND_WAIT([ovn-controller-vtep])
1200OVS_APP_EXIT_AND_WAIT([ovs-vtep])
1201
1202as hv1
1203OVS_APP_EXIT_AND_WAIT([ovn-controller])
1204
1205as hv2
1206OVS_APP_EXIT_AND_WAIT([ovn-controller])
1207
1208as ovn-sb
1209OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1210
1211as ovn-nb
1212OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1213
1214as northd
1215OVS_APP_EXIT_AND_WAIT([ovn-northd])
1216
1217for sim in hv1 hv2 hv3 vtep main; do
1218 as $sim
1219 for daemon in ovs-vswitchd ovsdb-server; do
1220 OVS_APP_EXIT_AND_WAIT([$daemon])
1221 done
fcde56f5 1222done
eb6b08eb 1223AT_CLEANUP
9975d7be
BP		 1224
1225# 3 hypervisors, 3 logical switches with 3 logical ports each, 1 logical router
1226AT_SETUP([ovn -- 3 HVs, 3 LS, 3 lports/LS, 1 LR])
1227AT_SKIP_IF([test $HAVE_PYTHON = no])
1228ovn_start
1229
1230# Logical network:
1231#
1232# Three logical switches ls1, ls2, ls3.
86e98048
BP		 1233# One logical router lr0 connected to ls[123],
1234# with nine subnets, three per logical switch:
1235#
1236# lrp11 on ls1 for subnet 192.168.11.0/24
1237# lrp12 on ls1 for subnet 192.168.12.0/24
1238# lrp13 on ls1 for subnet 192.168.13.0/24
1239# ...
1240# lrp33 on ls3 for subnet 192.168.33.0/24
1241#
1242# 27 VIFs, 9 per LS, 3 per subnet: lp[123][123][123], where the first two
1243# digits are the subnet and the last digit distinguishes the VIF.
9975d7be 1244for i in 1 2 3; do
86e98048 1245 ovn-nbctl lswitch-add ls$i
9975d7be 1246 for j in 1 2 3; do
86e98048 1247 for k in 1 2 3; do
0bac7164
BP		 1248 # Add "unknown" to MAC addresses for lp?11, so packets for
1249 # MAC-IP bindings discovered via ARP later have somewhere to go.
1250 if test $j$k = 11; then unknown=unknown; else unknown=; fi
1251
86e98048
BP		 1252 ovn-nbctl \
1253 -- lport-add ls$i lp$i$j$k \
0bac7164 1254 -- lport-set-addresses lp$i$j$k "f0:00:00:00:0$i:$j$k 192.168.$i$j.$k" $unknown
86e98048
BP		 1255 done
1256 done
1257done
1258
1259ovn-nbctl create Logical_Router name=lr0
1260for i in 1 2 3; do
1261 for j in 1 2 3; do
1262 lrp_uuid=`ovn-nbctl \
1263 -- --id=@lrp create Logical_Router_Port name=lrp$i$j \
1264 network=192.168.$i$j.254/24 mac='"00:00:00:00:ff:'$i$j'"' \
1265 -- add Logical_Router lr0 ports @lrp \
1266 -- lport-add ls$i lrp$i$j-attachment`
1267 ovn-nbctl \
1268 set Logical_Port lrp$i$j-attachment type=router \
00007447 1269 options:router-port=lrp$i$j \
86e98048 1270 addresses='"00:00:00:00:ff:'$i$j'"'
9975d7be
BP		 1271 done
1272done
1273
57d143eb
HZ		 1274ovn-nbctl set Logical_Port lrp33-attachment \
1275 addresses='"00:00:00:00:ff:33 192.168.33.254"'
1276
9975d7be
BP		 1277# Physical network:
1278#
1279# Three hypervisors hv[123].
86e98048
BP		 1280# lp?1[123] spread across hv[123]: lp?11 on hv1, lp?12 on hv2, lp?13 on hv3.
1281# lp?2[123] spread across hv[23]: lp?21 and lp?22 on hv2, lp?23 on hv3.
1282# lp?3[123] all on hv3.
1283
9975d7be
BP		 1284
1285# Given the name of a logical port, prints the name of the hypervisor
1286# on which it is located.
1287vif_to_hv() {
1288 case $1 in dnl (
86e98048
BP		 1289 ?11) echo 1 ;; dnl (
1290 ?12 | ?21 | ?22) echo 2 ;; dnl (
1291 ?13 | ?23 | ?3?) echo 3 ;;
9975d7be
BP		 1292 esac
1293}
1294
86e98048
BP		 1295# Given the name of a logical port, prints the name of its logical router
1296# port, e.g. "vif_to_lrp 123" yields 12.
1297vif_to_lrp() {
1298 echo ${1%?}
1299}
1300
1301# Given the name of a logical port, prints the name of its logical
1302# switch, e.g. "vif_to_ls 123" yields 1.
e3393e3f 1303vif_to_ls() {
86e98048 1304 echo ${1%??}
e3393e3f
BP		 1305}
1306
9975d7be
BP		 1307net_add n1
1308for i in 1 2 3; do
1309 sim_add hv$i
1310 as hv$i
1311 ovs-vsctl add-br br-phys
1312 ovn_attach n1 br-phys 192.168.0.$i
1313done
1314for i in 1 2 3; do
1315 for j in 1 2 3; do
86e98048
BP		 1316 for k in 1 2 3; do
1317 hv=`vif_to_hv $i$j$k`
1318 as hv$hv ovs-vsctl \
1319 -- add-port br-int vif$i$j$k \
1320 -- set Interface vif$i$j$k \
1321 external-ids:iface-id=lp$i$j$k \
1322 options:tx_pcap=hv$hv/vif$i$j$k-tx.pcap \
1323 options:rxq_pcap=hv$hv/vif$i$j$k-rx.pcap \
1324 ofport-request=$i$j$k
1325 done
9975d7be
BP		 1326 done
1327done
1328
1329# Pre-populate the hypervisors' ARP tables so that we don't lose any
1330# packets for ARP resolution (native tunneling doesn't queue packets
1331# for ARP resolution).
1332ovn_populate_arp
1333
1334# Allow some time for ovn-northd and ovn-controller to catch up.
1335# XXX This should be more systematic.
1336sleep 1
1337
e3393e3f 1338# test_ip INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
9975d7be
BP		 1339#
1340# This shell function causes a packet to be received on INPORT. The packet's
1341# content has Ethernet destination DST and source SRC (each exactly 12 hex
1342# digits) and Ethernet type ETHTYPE (4 hex digits). The OUTPORTs (zero or
1343# more) list the VIFs on which the packet should be received. INPORT and the
0bac7164 1344# OUTPORTs are specified as lport numbers, e.g. 123 for vif123.
9975d7be
BP		 1345trim_zeros() {
1346 sed 's/\(00\)\{1,\}$//'
1347}
1348for i in 1 2 3; do
1349 for j in 1 2 3; do
86e98048
BP		 1350 for k in 1 2 3; do
1351 : > $i$j$k.expected
1352 done
9975d7be
BP		 1353 done
1354done
e3393e3f 1355test_ip() {
9975d7be
BP		 1356 # This packet has bad checksums but logical L3 routing doesn't check.
1357 local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
ba43992e 1358 local packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
9975d7be
BP		 1359 shift; shift; shift; shift; shift
1360 hv=hv`vif_to_hv $inport`
1361 as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
1362 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
86e98048
BP		 1363 in_ls=`vif_to_ls $inport`
1364 in_lrp=`vif_to_lrp $inport`
9975d7be 1365 for outport; do
86e98048
BP		 1366 out_ls=`vif_to_ls $outport`
1367 if test $in_ls = $out_ls; then
9975d7be
BP		 1368 # Ports on the same logical switch receive exactly the same packet.
1369 echo $packet
1370 else
1371 # Routing decrements TTL and updates source and dest MAC
1372 # (and checksum).
86e98048
BP		 1373 out_lrp=`vif_to_lrp $outport`
1374 echo f00000000${outport}00000000ff${out_lrp}08004500001c00000000"3f1101"00${src_ip}${dst_ip}0035111100080000
9975d7be
BP		 1375 fi | trim_zeros >> $outport.expected
1376 done
1377}
1378
e3393e3f 1379as hv1 ovs-vsctl --columns=name,ofport list interface
0bac7164
BP		 1380as hv1 ovn-sbctl list port_binding
1381as hv1 ovn-sbctl list datapath_binding
9975d7be
BP		 1382as hv1 ovn-sbctl dump-flows
1383as hv1 ovs-ofctl dump-flows br-int
1384
e3393e3f 1385# Send IP packets between all pairs of source and destination ports:
9975d7be
BP		 1386#
1387# 1. Unicast IP packets are delivered to exactly one lport (except
1388# that packets destined to their input ports are dropped).
1389#
1390# 2. Broadcast IP packets are delivered to all lports except the input port.
86e98048
BP		 1391ip_to_hex() {
1392 printf "%02x%02x%02x%02x" "$@"
1393}
9975d7be
BP		 1394for is in 1 2 3; do
1395 for js in 1 2 3; do
86e98048
BP		 1396 for ks in 1 2 3; do
1397 bcast=
1398 s=$is$js$ks
1399 smac=f00000000$s
1400 sip=`ip_to_hex 192 168 $is$js $ks`
1401 for id in 1 2 3; do
1402 for jd in 1 2 3; do
1403 for kd in 1 2 3; do
1404 d=$id$jd$kd
1405 dip=`ip_to_hex 192 168 $id$jd $kd`
1406 if test $is = $id; then dmac=f00000000$d; else dmac=00000000ff$is$js; fi
1407 if test $d != $s; then unicast=$d; else unicast=; fi
1408
1409 test_ip $s $smac $dmac $sip $dip $unicast #1
1410
1411 if test $id = $is && test $d != $s; then bcast="$bcast $d"; fi
1412 done
1413 done
1414 done
1415 test_ip $s $smac ffffffffffff $sip ffffffff $bcast #2
9975d7be 1416 done
e3393e3f
BP		 1417 done
1418done
1419
0bac7164
BP		 1420# 3. Send an IP packet from every logical port to every other subnet,
1421# to an IP address that does not have a static IP-MAC binding.
1422# This should generate a broadcast ARP request for the destination
1423# IP address in the destination subnet.
1424for is in 1 2 3; do
1425 for js in 1 2 3; do
1426 for ks in 1 2 3; do
1427 s=$is$js$ks
1428 smac=f00000000$s
1429 sip=`ip_to_hex 192 168 $is$js $ks`
1430 for id in 1 2 3; do
1431 for jd in 1 2 3; do
1432 if test $is$js = $id$jd; then
1433 continue
1434 fi
1435
1436 # Send the packet.
1437 dmac=00000000ff$is$js
1438 # Calculate a 4th octet for the destination that is
1439 # unique per $s, avoids the .1 .2 .3 and .254 IP addresses
1440 # that have static MAC bindings, and fits in the range
1441 # 0-255.
1442 o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1443 dip=`ip_to_hex 192 168 $id$jd $o4`
1444 test_ip $s $smac $dmac $sip $dip
1445
1446 # Every LP on the destination subnet's lswitch should
1447 # receive the ARP request.
1448 lrmac=00000000ff$id$jd
1449 lrip=`ip_to_hex 192 168 $id$jd 254`
1450 arp=ffffffffffff${lrmac}08060001080006040001${lrmac}${lrip}000000000000${dip}
1451 for jd2 in 1 2 3; do
1452 for kd in 1 2 3; do
1453 echo $arp | trim_zeros >> $id$jd2$kd.expected
1454 done
1455 done
1456 done
1457 done
1458 done
1459 done
1460done
1461
e3393e3f
BP		 1462# test_arp INPORT SHA SPA TPA [REPLY_HA]
1463#
1464# Causes a packet to be received on INPORT. The packet is an ARP
1465# request with SHA, SPA, and TPA as specified. If REPLY_HA is provided, then
1466# it should be the hardware address of the target to expect to receive in an
1467# ARP reply; otherwise no reply is expected.
1468#
1469# INPORT is an lport number, e.g. 11 for vif11.
1470# SHA and REPLY_HA are each 12 hex digits.
1471# SPA and TPA are each 8 hex digits.
1472test_arp() {
1473 local inport=$1 sha=$2 spa=$3 tpa=$4 reply_ha=$5
1474 local request=ffffffffffff${sha}08060001080006040001${sha}${spa}ffffffffffff${tpa}
1475 hv=hv`vif_to_hv $inport`
1476 as $hv ovs-appctl netdev-dummy/receive vif$inport $request
1477 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $request
1478
57d143eb
HZ		 1479 # Expect to receive the broadcast ARP on the other logical switch ports if
1480 # IP address is not configured to the lswitch patch port.
e3393e3f 1481 local i=`vif_to_ls $inport`
86e98048 1482 local j k
e3393e3f 1483 for j in 1 2 3; do
86e98048 1484 for k in 1 2 3; do
0bac7164 1485 # 192.168.33.254 is configured to the lswitch patch port for lrp33,
57d143eb
HZ		 1486 # so no ARP flooding expected for it.
1487 if test $i$j$k != $inport && test $tpa != `ip_to_hex 192 168 33 254`; then
86e98048
BP		 1488 echo $request >> $i$j$k.expected
1489 fi
1490 done
e3393e3f
BP		 1491 done
1492
1493 # Expect to receive the reply, if any.
1494 if test X$reply_ha != X; then
86e98048
BP		 1495 lrp=`vif_to_lrp $inport`
1496 local reply=${sha}00000000ff${lrp}08060001080006040002${reply_ha}${tpa}${sha}${spa}
e3393e3f
BP		 1497 echo $reply >> $inport.expected
1498 fi
1499}
1500
1501# Test router replies to ARP requests from all source ports:
1502#
0bac7164 1503# 4. Router replies to query for its MAC address from port's own IP address.
e3393e3f 1504#
0bac7164 1505# 5. Router replies to query for its MAC address from any random IP address
e3393e3f
BP		 1506# in its subnet.
1507#
0bac7164 1508# 6. Router replies to query for its MAC address from another subnet.
e3393e3f 1509#
0bac7164 1510# 7. No reply to query for IP address other than router IP.
e3393e3f
BP		 1511for i in 1 2 3; do
1512 for j in 1 2 3; do
86e98048
BP		 1513 for k in 1 2 3; do
1514 smac=f00000000$i$j$k # Source MAC
1515 sip=`ip_to_hex 192 168 $i$j $k` # Source IP
1516 rip=`ip_to_hex 192 168 $i$j 254` # Router IP
1517 rmac=00000000ff$i$j # Router MAC
1518 otherip=`ip_to_hex 192 168 $i$j 55` # Some other IP in subnet
0bac7164
BP		 1519 test_arp $i$j$k $smac $sip $rip $rmac #4
1520 test_arp $i$j$k $smac $otherip $rip $rmac #5
1521 test_arp $i$j$k $smac 0a123456 $rip $rmac #6
1522 test_arp $i$j$k $smac $sip $otherip #7
1523 done
1524 done
1525done
1526
1527# Allow some time for packet forwarding.
1528# XXX This can be improved.
1529sleep 1
1530
1531# 8. Generate an ARP reply for each of the IP addresses ARPed for
1532# earlier as #3.
1533#
1534# Here, the $s is the VIF that originated the ARP request and $d is
1535# the VIF that sends the ARP reply, which is somewhat backward but
1536# it means that $s and $d are the same as #3.
1537: > mac_bindings.expected
1538for is in 1 2 3; do
1539 for js in 1 2 3; do
1540 for ks in 1 2 3; do
1541 s=$is$js$ks
1542 for id in 1 2 3; do
1543 for jd in 1 2 3; do
1544 if test $is$js = $id$jd; then
1545 continue
1546 fi
1547
1548 kd=1
1549 d=$id$jd$kd
1550
1551 o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1552 host_ip=`ip_to_hex 192 168 $id$jd $o4`
1553 host_mac=8000000000$o4
1554
1555 lrmac=00000000ff$id$jd
1556 lrip=`ip_to_hex 192 168 $id$jd 254`
1557
1558 arp=${lrmac}${host_mac}08060001080006040002${host_mac}${host_ip}${lrmac}${lrip}
1559
1560 echo
1561 echo
1562 echo
1563 hv=hv`vif_to_hv $d`
1564 as $hv ovs-appctl netdev-dummy/receive vif$d $arp
1565 #as $hv ovs-appctl ofproto/trace br-int in_port=$d $arp
1566 #as $hv ovs-ofctl dump-flows br-int table=19
1567
1568 host_ip_pretty=192.168.$id$jd.$o4
1569 host_mac_pretty=80:00:00:00:00:$o4
1570 echo lrp$id$jd,$host_ip_pretty,$host_mac_pretty >> mac_bindings.expected
1571 done
1572 done
86e98048 1573 done
9975d7be
BP		 1574 done
1575done
0bac7164 1576
9975d7be
BP		 1577# Allow some time for packet forwarding.
1578# XXX This can be improved.
1579sleep 1
1580
0bac7164
BP		 1581# 9. Send an IP packet from every logical port to every other subnet. These
1582# are the same packets already sent as #3, but now the destinations' IP-MAC
1583# bindings have been discovered via ARP, so instead of provoking an ARP
1584# request, these packets now get routed to their destinations (which don't
1585# have static MAC bindings, so they go to the port we've designated as
1586# accepting "unknown" MACs.)
1587for is in 1 2 3; do
1588 for js in 1 2 3; do
1589 for ks in 1 2 3; do
1590 s=$is$js$ks
1591 smac=f00000000$s
1592 sip=`ip_to_hex 192 168 $is$js $ks`
1593 for id in 1 2 3; do
1594 for jd in 1 2 3; do
1595 if test $is$js = $id$jd; then
1596 continue
1597 fi
1598
1599 # Send the packet.
1600 dmac=00000000ff$is$js
1601 # Calculate a 4th octet for the destination that is
1602 # unique per $s, avoids the .1 .2 .3 and .254 IP addresses
1603 # that have static MAC bindings, and fits in the range
1604 # 0-255.
1605 o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1606 dip=`ip_to_hex 192 168 $id$jd $o4`
1607 test_ip $s $smac $dmac $sip $dip
1608
1609 # Expect the packet egress.
1610 host_mac=8000000000$o4
1611 outport=${id}11
1612 out_lrp=$id$jd
1613 echo ${host_mac}00000000ff${out_lrp}08004500001c00000000"3f1101"00${sip}${dip}0035111100080000 | trim_zeros >> $outport.expected
1614 done
1615 done
1616 done
1617 done
1618done
1619
1620# Allow some time for packet forwarding.
1621# XXX This can be improved.
1622sleep 1
1623
1624ovn-sbctl -f csv -d bare --no-heading \
1625 -- --columns=logical_port,ip,mac list mac_binding > mac_bindings
1626
9975d7be
BP		 1627# Now check the packets actually received against the ones expected.
1628for i in 1 2 3; do
1629 for j in 1 2 3; do
86e98048
BP		 1630 for k in 1 2 3; do
1631 file=hv`vif_to_hv $i$j$k`/vif$i$j$k-tx.pcap
1632 echo $file
1633 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j$k.packets
2172f32d
YT		 1634 sort $i$j$k.expected > expout
1635 AT_CHECK([sort $i$j$k.packets], [0], [expout])
86e98048
BP		 1636 echo
1637 done
9975d7be
BP		 1638 done
1639done
fcde56f5 1640
0bac7164
BP		 1641# Check the MAC bindings against those expected.
1642AT_CHECK_UNQUOTED([sort < mac_bindings], [0], [`sort < mac_bindings.expected`
1643])
1644
fcde56f5
LR		 1645# Gracefully terminate daemons
1646for daemon in ovn-controller ovn-northd ovsdb-server; do
1647 ovs-appctl -t $daemon exit
1648done
9975d7be 1649AT_CLEANUP
685f4dfe
NS		 1650
1651# 3 hypervisors, one logical switch, 3 logical ports per hypervisor
1652AT_SETUP([ovn -- portsecurity : 3 HVs, 1 LS, 3 lports/HV])
1653AT_KEYWORDS([portsecurity])
1654AT_SKIP_IF([test $HAVE_PYTHON = no])
1655ovn_start
1656
1657# Create hypervisors hv[123].
1658# Add vif1[123] to hv1, vif2[123] to hv2, vif3[123] to hv3.
1659# Add all of the vifs to a single logical switch lsw0.
1660# Turn off port security on vifs vif[123]1
1661# Turn on l2 port security on vifs vif[123]2
1662# Turn of l2 and l3 port security on vifs vif[123]3
1663# Make vif13, vif2[23], vif3[123] destinations for unknown MACs.
1664ovn-nbctl lswitch-add lsw0
1665net_add n1
1666for i in 1 2 3; do
1667 sim_add hv$i
1668 as hv$i
1669 ovs-vsctl add-br br-phys
1670 ovn_attach n1 br-phys 192.168.0.$i
1671
1672 for j in 1 2 3; do
1673 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
1674 ovn-nbctl lport-add lsw0 lp$i$j
1675 if test $j = 1; then
1676 ovn-nbctl lport-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" unknown
1677 elif test $j = 2; then
1678 ovn-nbctl lport-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j"
1679 ovn-nbctl lport-set-port-security lp$i$j f0:00:00:00:00:$i$j
1680 else
1681 extra_addr="f0:00:00:00:0$i:$i$j fe80::ea2a:eaff:fe28:$i$j"
1682 ovn-nbctl lport-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" "$extra_addr"
1683 ovn-nbctl lport-set-port-security lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" "$extra_addr"
1684 fi
1685 done
1686done
1687
1688ovn-nbctl show
1689
1690# Pre-populate the hypervisors' ARP tables so that we don't lose any
1691# packets for ARP resolution (native tunneling doesn't queue packets
1692# for ARP resolution).
1693ovn_populate_arp
1694
1695# Allow some time for ovn-northd and ovn-controller to catch up.
1696# XXX This should be more systematic.
1697sleep 1
1698ovn-sbctl dump-flows -- list multicast_group
1699
1700echo "------ hv1 dump ------"
1701as hv1 ovs-vsctl show
1702as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
1703
1704echo "------ hv2 dump ------"
1705as hv2 ovs-vsctl show
1706as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
1707
1708echo "------ hv3 dump ------"
1709as hv3 ovs-vsctl show
1710as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-int
1711
1712# Given the name of a logical port, prints the name of the hypervisor
1713# on which it is located.
1714vif_to_hv() {
1715 echo hv${1%?}
1716}
1717
1718
1719trim_zeros() {
1720 sed 's/\(00\)\{1,\}$//'
1721}
1722for i in 1 2 3; do
1723 for j in 1 2 3; do
1724 : > $i$j.expected
1725 done
1726done
1727
1728# test_ip INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
1729#
1730# This shell function causes an ip packet to be received on INPORT.
1731# The packet's content has Ethernet destination DST and source SRC
1732# (each exactly 12 hex digits) and Ethernet type ETHTYPE (4 hex digits).
1733# The OUTPORTs (zero or more) list the VIFs on which the packet should
1734# be received. INPORT and the OUTPORTs are specified as lport numbers,
1735# e.g. 11 for vif11.
1736test_ip() {
1737 # This packet has bad checksums but logical L3 routing doesn't check.
1738 local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
1739 local packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}003511110008
1740 shift; shift; shift; shift; shift
1741 hv=`vif_to_hv $inport`
1742 as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
1743 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
1744 for outport; do
1745 echo $packet | trim_zeros >> $outport.expected
1746 done
1747}
1748
1749# test_arp INPORT SHA SPA TPA DROP [REPLY_HA]
1750#
1751# Causes a packet to be received on INPORT. The packet is an ARP
1752# request with SHA, SPA, and TPA as specified. If REPLY_HA is provided, then
1753# it should be the hardware address of the target to expect to receive in an
1754# ARP reply; otherwise no reply is expected.
1755#
1756# INPORT is an lport number, e.g. 11 for vif11.
1757# SHA and REPLY_HA are each 12 hex digits.
1758# SPA and TPA are each 8 hex digits.
1759test_arp() {
1760 local inport=$1 smac=$2 sha=$3 spa=$4 tpa=$5 drop=$6 reply_ha=$7
1761 local request=ffffffffffff${smac}08060001080006040001${sha}${spa}ffffffffffff${tpa}
1762 hv=`vif_to_hv $inport`
1763 as $hv ovs-appctl netdev-dummy/receive vif$inport $request
1764 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $request
1765 if test $drop != 1; then
1766 if test X$reply_ha == X; then
1767 # Expect to receive the broadcast ARP on the other logical switch ports
1768 # if no reply is expected.
1769 local i j
1770 for i in 1 2 3; do
1771 for j in 1 2 3; do
1772 if test $i$j != $inport; then
1773 echo $request >> $i$j.expected
1774 fi
1775 done
1776 done
1777 else
1778 # Expect to receive the reply, if any.
1779 local reply=${smac}${reply_ha}08060001080006040002${reply_ha}${tpa}${sha}${spa}
1780 echo $reply >> $inport.expected
1781 fi
1782 fi
1783}
1784
1785# test_ipv6 INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
1786# This function is similar to test_ip() except that it sends
1787# ipv6 packet
1788test_ipv6() {
1789 local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
1790 local packet=${dst_mac}${src_mac}86dd6000000000083aff${src_ip}${dst_ip}0000000000000000
1791 shift; shift; shift; shift; shift
1792 hv=`vif_to_hv $inport`
1793 as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
1794 #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
1795 for outport; do
1796 echo $packet | trim_zeros >> $outport.expected
1797 done
1798}
1799
1800ip_to_hex() {
1801 printf "%02x%02x%02x%02x" "$@"
1802}
1803
1804# no port security
1805sip=`ip_to_hex 192 168 0 12`
1806tip=`ip_to_hex 192 168 0 13`
1807# the arp packet should be allowed even if lp[123]1 is
1808# not configured with mac f00000000023 and ip 192.168.0.12
1809for i in 1 2 3; do
1810 test_arp ${i}1 f00000000023 f00000000023 $sip $tip 0 f00000000013
1811 for j in 1 2 3; do
1812 if test $i != $j; then
1813 test_ip ${i}1 f000000000${i}1 f000000000${j}1 $sip $tip ${j}1
1814 fi
1815 done
1816done
1817
1818# l2 port security
1819sip=`ip_to_hex 192 168 0 12`
1820tip=`ip_to_hex 192 168 0 13`
1821
1822# arp packet should be allowed since lp22 is configured with
1823# mac f00000000022
1824test_arp 22 f00000000022 f00000000022 $sip $tip 0 f00000000013
1825
1826# arp packet should not be allowed since lp32 is not configured with
1827# mac f00000000021
1828test_arp 32 f00000000021 f00000000021 $sip $tip 1
1829
1830# arp packet with sha set to f00000000021 should not be allowed
1831# for lp12
1832test_arp 12 f00000000012 f00000000021 $sip $tip 1
1833
1834# ip packets should be allowed and received since lp[123]2 do not
1835# have l3 port security
1836sip=`ip_to_hex 192 168 0 55`
1837tip=`ip_to_hex 192 168 0 66`
1838for i in 1 2 3; do
1839 for j in 1 2 3; do
1840 if test $i != $j; then
1841 test_ip ${i}2 f000000000${i}2 f000000000${j}2 $sip $tip ${j}2
1842 fi
1843 done
1844done
1845
1846# ipv6 packets should be received by lp[123]2
1847# lp[123]1 can send ipv6 traffic as there is no port security
1848sip=fe800000000000000000000000000000
1849tip=ff020000000000000000000000000000
1850
1851for i in 1 2 3; do
1852 test_ipv6 ${i}1 f000000000${i}1 f000000000${i}2 $sip $tip ${i}2
1853done
1854
1855
1856# l2 and l3 port security
1857sip=`ip_to_hex 192 168 0 13`
1858tip=`ip_to_hex 192 168 0 22`
1859# arp packet should be allowed since lp13 is configured with
1860# f00000000013 and 192.168.0.13
1861test_arp 13 f00000000013 f00000000013 $sip $tip 0 f00000000022
1862
1863# the arp packet should be dropped because lp23 is not configured
1864# with mac f00000000022
1865sip=`ip_to_hex 192 168 0 13`
1866tip=`ip_to_hex 192 168 0 22`
1867test_arp 23 f00000000022 f00000000022 $sip $tip 1
1868
1869# the arp packet should be dropped because lp33 is not configured
1870# with ip 192.168.0.55
1871spa=`ip_to_hex 192 168 0 55`
1872tpa=`ip_to_hex 192 168 0 22`
1873test_arp 33 f00000000031 f00000000031 $spa $tpa 1
1874
1875# ip packets should not be received by lp[123]3 since
1876# l3 port security is enabled
1877sip=`ip_to_hex 192 168 0 55`
1878tip=`ip_to_hex 192 168 0 66`
1879for i in 1 2 3; do
1880 for j in 1 2 3; do
1881 test_ip ${i}2 f000000000${i}2 f000000000${j}3 $sip $tip
1882 done
1883done
1884
1885# ipv6 packets should be dropped for lp[123]3 since
1886# it is configured with only ipv4 address
1887sip=fe800000000000000000000000000000
1888tip=ff020000000000000000000000000000
1889
1890for i in 1 2 3; do
1891 test_ipv6 ${i}3 f000000000${i}3 f00000000022 $sip $tip
1892done
1893
1894# ipv6 packets should not be received by lp[123]3 with mac f000000000$[123]3
1895# lp[123]1 can send ipv6 traffic as there is no port security
1896for i in 1 2 3; do
1897 test_ipv6 ${i}1 f000000000${i}1 f000000000${i}3 $sip $tip
1898done
1899
1900# lp13 has extra port security with mac f0000000113 and ipv6 addr
1901# fe80::ea2a:eaff:fe28:0012
1902
1903# ipv4 packet should be dropped for lp13 with mac f0000000113
1904sip=`ip_to_hex 192 168 0 13`
1905tip=`ip_to_hex 192 168 0 23`
1906test_ip 13 f00000000113 f00000000023 $sip $tip
1907
1908# ipv6 packet should be received by lp[123]3 with mac f0000000{i}{i}3
1909# and ip6.dst as fe80::ea2a:eaff:fe28:0{i}{i}3.
1910# lp11 can send ipv6 traffic as there is no port security
1911sip=ee800000000000000000000000000000
1912for i in 1 2 3; do
1913 tip=fe80000000000000ea2aeafffe2800{i}3
1914 test_ipv6 11 f00000000011 f000000000{i}${i}3 $sip $tip {i}3
1915done
1916
1917
1918# ipv6 packet should not be received by lp33 with mac f0000000333
1919# and ip6.dst as fe80::ea2a:eaff:fe28:0023 as it is
1920# configured with fe80::ea2a:eaff:fe28:0033
1921# lp11 can send ipv6 traffic as there is no port security
1922
1923sip=ee800000000000000000000000000000
1924tip=fe80000000000000ea2aeafffe280023
1925test_ipv6 11 f00000000011 f00000000333 $sip $tip
1926
1927# ipv6 packet should be allowed for lp[123]3 with mac f0000000{i}{i}3
1928# and ip6.src fe80::ea2a:eaff:fe28:0{i}{i}3 and ip6.src ::.
1929# and should be dropped for any other ip6.src
1930# lp21 can receive ipv6 traffic as there is no port security
1931
1932tip=ee800000000000000000000000000000
1933for i in 1 2 3; do
1934 sip=fe80000000000000ea2aeafffe2800${i}3
1935 test_ipv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip 21
1936
1937 sip=00000000000000000000000000000000
1938 test_ipv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip 21
1939
1940 # should be dropped
1941 sip=ae80000000000000ea2aeafffe2800aa
1942 test_ipv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip
1943done
1944
1945
1946# Allow some time for packet forwarding.
1947
1948# XXX This can be improved.
1949sleep 1
1950
1951# Now check the packets actually received against the ones expected.
1952for i in 1 2 3; do
1953 for j in 1 2 3; do
1954 file=hv$i/vif$i$j-tx.pcap
1955 echo $file
1956 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
1957 sort $i$j.expected > expout
1958 AT_CHECK([sort $i$j.packets], [0], [expout])
1959 echo
1960 done
1961done
1962
1963# Gracefully terminate daemons
d9c8c57c
LR		 1964for sim in hv1 hv2 hv3; do
1965 as $sim
1966 OVS_APP_EXIT_AND_WAIT([ovn-controller])
1967 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
1968 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
685f4dfe 1969done
d9c8c57c
LR		 1970
1971as ovn-sb
1972OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1973
1974as ovn-nb
1975OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1976
1977as northd
1978OVS_APP_EXIT_AND_WAIT([ovn-northd])
1979
1980as main
1981OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
1982OVS_APP_EXIT_AND_WAIT([ovsdb-server])
1983
685f4dfe 1984AT_CLEANUP
openvswitch mirror