tests/ovn.at

   1 AT_BANNER([OVN components])
   2
   3 AT_SETUP([ovn -- lexer])
   4 dnl For lines without =>, input and expected output are identical.
   5 dnl For lines with =>, input precedes => and expected output follows =>.
   6 AT_DATA([test-cases.txt], [dnl
   7 foo bar baz quuxquuxquux _abcd_ a.b.c.d a123_.456
   8 "abc\u0020def" => "abc def"
   9 " => error("Input ends inside quoted string.")dnl "
  10
  11 $foo $bar $baz $quuxquuxquux $_abcd_ $a.b.c.d $a123_.456
  12 $1 => error("`$' must be followed by a valid identifier.") 1
  13
  14 a/*b*/c => a c
  15 a//b c => a
  16 a/**/b => a b
  17 a/*/b => a error("`/*' without matching `*/'.")
  18 a/*/**/b => a b
  19 a/b => a error("`/' is only valid as part of `//' or `/*'.") b
  20
  21 0 1 12345 18446744073709551615
  22 18446744073709551616 => error("Decimal constants must be less than 2**64.")
  23 9999999999999999999999 => error("Decimal constants must be less than 2**64.")
  24 01 => error("Decimal constants must not have leading zeros.")
  25
  26 0/0
  27 0/1
  28 1/0 => error("Value contains unmasked 1-bits.")
  29 1/1
  30 128/384
  31 1/3
  32 1/ => error("Integer constant expected.")
  33
  34 1/0x123 => error("Value and mask have incompatible formats.")
  35
  36 0x1234
  37 0x01234 => 0x1234
  38 0x0 => 0
  39 0x000 => 0
  40 0xfedcba9876543210
  41 0XFEDCBA9876543210 => 0xfedcba9876543210
  42 0xfedcba9876543210fedcba9876543210
  43 0x0000fedcba9876543210fedcba9876543210 => 0xfedcba9876543210fedcba9876543210
  44 0x => error("Hex digits expected following 0x.")
  45 0X => error("Hex digits expected following 0X.")
  46 0x0/0x0 => 0/0
  47 0x0/0x1 => 0/0x1
  48 0x1/0x0 => error("Value contains unmasked 1-bits.")
  49 0xffff/0x1ffff
  50 0x. => error("Invalid syntax in hexadecimal constant.")
  51
  52 192.168.128.1 1.2.3.4 255.255.255.255 0.0.0.0
  53 256.1.2.3 => error("Invalid numeric constant.")
  54 192.168.0.0/16
  55 192.168.0.0/255.255.0.0 => 192.168.0.0/16
  56 192.168.0.0/255.255.255.0 => 192.168.0.0/24
  57 192.168.0.0/255.255.0.255
  58 192.168.0.0/255.0.0.0 => error("Value contains unmasked 1-bits.")
  59 192.168.0.0/32
  60 192.168.0.0/255.255.255.255 => 192.168.0.0/32
  61 1.2.3.4:5 => 1.2.3.4 : 5
  62
  63 ::
  64 ::1
  65 ff00::1234 => ff00::1234
  66 2001:db8:85a3::8a2e:370:7334
  67 2001:db8:85a3:0:0:8a2e:370:7334 => 2001:db8:85a3::8a2e:370:7334
  68 2001:0db8:85a3:0000:0000:8a2e:0370:7334 => 2001:db8:85a3::8a2e:370:7334
  69 ::ffff:192.0.2.128
  70 ::ffff:c000:0280 => ::ffff:192.0.2.128
  71 ::1/::1
  72 ::1/ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff => ::1/128
  73 ::1/128
  74 ff00::/8
  75 ff00::/ff00:: => ff00::/8
  76
  77 01:23:45:67:ab:cd
  78 01:23:45:67:AB:CD => 01:23:45:67:ab:cd
  79 fe:dc:ba:98:76:54
  80 FE:DC:ba:98:76:54 => fe:dc:ba:98:76:54
  81 01:00:00:00:00:00/01:00:00:00:00:00
  82 ff:ff:ff:ff:ff:ff/ff:ff:ff:ff:ff:ff
  83 fe:ff:ff:ff:ff:ff/ff:ff:ff:ff:ff:ff
  84 ff:ff:ff:ff:ff:ff/fe:ff:ff:ff:ff:ff => error("Value contains unmasked 1-bits.")
  85 fe:x => error("Invalid numeric constant.")
  86 00:01:02:03:04:x => error("Invalid numeric constant.")
  87
  88 # Test that operators are tokenized as expected, even without white space.
  89 (){}[[]]==!=<<=>>=!&&||..,;=<->--: => ( ) { } [[ ]] == != < <= > >= ! && || .. , ; = <-> -- :
  90 & => error("`&' is only valid as part of `&&'.")
  91 | => error("`|' is only valid as part of `||'.")
  92 - => error("`-' is only valid as part of `--'.")
  93
  94 ^ => error("Invalid character `^' in input.")
  95 ])
  96 AT_CAPTURE_FILE([input.txt])
  97 sed 's/ =>.*//' test-cases.txt > input.txt
  98 sed 's/.* => //' test-cases.txt > expout
  99 AT_CHECK([ovstest test-ovn lex < input.txt], [0], [expout])
 100 AT_CLEANUP
 101
 102 AT_SETUP([ovn -- expression parser])
 103 dnl For lines without =>, input and expected output are identical.
 104 dnl For lines with =>, input precedes => and expected output follows =>.
 105 AT_DATA([test-cases.txt], [[
 106 eth.type == 0x800
 107 eth.type==0x800 => eth.type == 0x800
 108 eth.type[0..15] == 0x800 => eth.type == 0x800
 109
 110 vlan.present
 111 vlan.present == 1 => vlan.present
 112 !(vlan.present == 0) => vlan.present
 113 !(vlan.present != 1) => vlan.present
 114 !vlan.present
 115 vlan.present == 0 => !vlan.present
 116 vlan.present != 1 => !vlan.present
 117 !(vlan.present == 1) => !vlan.present
 118 !(vlan.present != 0) => !vlan.present
 119
 120 eth.dst[0]
 121 eth.dst[0] == 1 => eth.dst[0]
 122 eth.dst[0] != 0 => eth.dst[0]
 123 !(eth.dst[0] == 0) => eth.dst[0]
 124 !(eth.dst[0] != 1) => eth.dst[0]
 125
 126 !eth.dst[0]
 127 eth.dst[0] == 0 => !eth.dst[0]
 128 eth.dst[0] != 1 => !eth.dst[0]
 129 !(eth.dst[0] == 1) => !eth.dst[0]
 130 !(eth.dst[0] != 0) => !eth.dst[0]
 131
 132 vlan.tci[12..15] == 0x3
 133 vlan.tci == 0x3000/0xf000 => vlan.tci[12..15] == 0x3
 134 vlan.tci[12..15] != 0x3
 135 vlan.tci != 0x3000/0xf000 => vlan.tci[12..15] != 0x3
 136
 137 !vlan.pcp => vlan.pcp == 0
 138 !(vlan.pcp) => vlan.pcp == 0
 139 vlan.pcp == 0x4
 140 vlan.pcp != 0x4
 141 vlan.pcp > 0x4
 142 vlan.pcp >= 0x4
 143 vlan.pcp < 0x4
 144 vlan.pcp <= 0x4
 145 !(vlan.pcp != 0x4) => vlan.pcp == 0x4
 146 !(vlan.pcp == 0x4) => vlan.pcp != 0x4
 147 !(vlan.pcp <= 0x4) => vlan.pcp > 0x4
 148 !(vlan.pcp < 0x4) => vlan.pcp >= 0x4
 149 !(vlan.pcp >= 0x4) => vlan.pcp < 0x4
 150 !(vlan.pcp > 0x4) => vlan.pcp <= 0x4
 151 0x4 == vlan.pcp => vlan.pcp == 0x4
 152 0x4 != 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 !(0x4 >= vlan.pcp) => vlan.pcp > 0x4
 160 !(0x4 > vlan.pcp) => vlan.pcp >= 0x4
 161 !(0x4 <= vlan.pcp) => vlan.pcp < 0x4
 162 !(0x4 < vlan.pcp) => vlan.pcp <= 0x4
 163
 164 1 < vlan.pcp < 4 => vlan.pcp > 0x1 && vlan.pcp < 0x4
 165 1 <= vlan.pcp <= 4 => vlan.pcp >= 0x1 && vlan.pcp <= 0x4
 166 1 < vlan.pcp <= 4 => vlan.pcp > 0x1 && vlan.pcp <= 0x4
 167 1 <= vlan.pcp < 4 => vlan.pcp >= 0x1 && vlan.pcp < 0x4
 168 1 <= vlan.pcp <= 4 => vlan.pcp >= 0x1 && vlan.pcp <= 0x4
 169 4 > vlan.pcp > 1 => vlan.pcp < 0x4 && vlan.pcp > 0x1
 170 4 >= vlan.pcp > 1 => vlan.pcp <= 0x4 && vlan.pcp > 0x1
 171 4 > vlan.pcp >= 1 => vlan.pcp < 0x4 && vlan.pcp >= 0x1
 172 4 >= vlan.pcp >= 1 => vlan.pcp <= 0x4 && vlan.pcp >= 0x1
 173 !(1 < vlan.pcp < 4) => vlan.pcp <= 0x1 || vlan.pcp >= 0x4
 174 !(1 <= vlan.pcp <= 4) => vlan.pcp < 0x1 || vlan.pcp > 0x4
 175 !(1 < vlan.pcp <= 4) => vlan.pcp <= 0x1 || vlan.pcp > 0x4
 176 !(1 <= vlan.pcp < 4) => vlan.pcp < 0x1 || vlan.pcp >= 0x4
 177 !(1 <= vlan.pcp <= 4) => vlan.pcp < 0x1 || vlan.pcp > 0x4
 178 !(4 > vlan.pcp > 1) => vlan.pcp >= 0x4 || vlan.pcp <= 0x1
 179 !(4 >= vlan.pcp > 1) => vlan.pcp > 0x4 || vlan.pcp <= 0x1
 180 !(4 > vlan.pcp >= 1) => vlan.pcp >= 0x4 || vlan.pcp < 0x1
 181 !(4 >= vlan.pcp >= 1) => vlan.pcp > 0x4 || vlan.pcp < 0x1
 182
 183 vlan.pcp == {1, 2, 3, 4} => vlan.pcp == 0x1 || vlan.pcp == 0x2 || vlan.pcp == 0x3 || vlan.pcp == 0x4
 184 vlan.pcp == 1 || ((vlan.pcp == 2 || vlan.pcp == 3) || vlan.pcp == 4) => vlan.pcp == 0x1 || vlan.pcp == 0x2 || vlan.pcp == 0x3 || vlan.pcp == 0x4
 185
 186 vlan.pcp != {1, 2, 3, 4} => vlan.pcp != 0x1 && vlan.pcp != 0x2 && vlan.pcp != 0x3 && vlan.pcp != 0x4
 187 vlan.pcp == 1 && ((vlan.pcp == 2 && vlan.pcp == 3) && vlan.pcp == 4) => vlan.pcp == 0x1 && vlan.pcp == 0x2 && vlan.pcp == 0x3 && vlan.pcp == 0x4
 188
 189 vlan.pcp == 1 && !((vlan.pcp == 2 && vlan.pcp == 3) && vlan.pcp == 4) => vlan.pcp == 0x1 && (vlan.pcp != 0x2 || vlan.pcp != 0x3 || vlan.pcp != 0x4)
 190 vlan.pcp == 1 && (!(vlan.pcp == 2 && vlan.pcp == 3) && vlan.pcp == 4) => vlan.pcp == 0x1 && (vlan.pcp != 0x2 || vlan.pcp != 0x3) && vlan.pcp == 0x4
 191 vlan.pcp == 1 && !(!(vlan.pcp == 2 && vlan.pcp == 3) && vlan.pcp == 4) => vlan.pcp == 0x1 && ((vlan.pcp == 0x2 && vlan.pcp == 0x3) || vlan.pcp != 0x4)
 192
 193 ip4.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
 194 ip6.src == ::1 => ip6.src == 0x1
 195
 196 ip4.src == 1.2.3.4 => ip4.src == 0x1020304
 197 ip4.src == ::1.2.3.4/::ffff:ffff => ip4.src == 0x1020304
 198 ip6.src == ::1 => ip6.src == 0x1
 199
 200 1
 201 0
 202 !1 => 0
 203 !0 => 1
 204
 205 inport == "eth0"
 206 !(inport != "eth0") => inport == "eth0"
 207
 208 ip4.src == "eth0" => Integer field ip4.src is not compatible with string constant.
 209 inport == 1 => String field inport is not compatible with integer constant.
 210
 211 ip4.src > {1, 2, 3} => Only == and != operators may be used with value sets.
 212 eth.type > 0x800 => Only == and != operators may be used with nominal field eth.type.
 213 vlan.present > 0 => Only == and != operators may be used with Boolean field vlan.present.
 214
 215 inport != "eth0" => Nominal field inport may only be tested for equality (taking enclosing `!' operators into account).
 216 !(inport == "eth0") => Nominal field inport may only be tested for equality (taking enclosing `!' operators into account).
 217 eth.type != 0x800 => Nominal field eth.type may only be tested for equality (taking enclosing `!' operators into account).
 218 !(eth.type == 0x800) => Nominal field eth.type may only be tested for equality (taking enclosing `!' operators into account).
 219
 220 123 == 123 => Syntax error at `123' expecting field name.
 221
 222 $name => Syntax error at `$name' expecting address set name.
 223
 224 123 == xyzzy => Syntax error at `xyzzy' expecting field name.
 225 xyzzy == 1 => Syntax error at `xyzzy' expecting field name.
 226
 227 inport[1] == 1 => Cannot select subfield of string field inport.
 228
 229 eth.type[] == 1 => Syntax error at `@:>@' expecting small integer.
 230 eth.type[::1] == 1 => Syntax error at `::1' expecting small integer.
 231 eth.type[18446744073709551615] == 1 => Syntax error at `18446744073709551615' expecting small integer.
 232
 233 eth.type[5!] => Syntax error at `!' expecting `@:>@'.
 234
 235 eth.type[5..1] => Invalid bit range 5 to 1.
 236
 237 eth.type[12..16] => Cannot select bits 12 to 16 of 16-bit field eth.type.
 238
 239 eth.type[10] == 1 => Cannot select subfield of nominal field eth.type.
 240
 241 eth.type => Explicit `!= 0' is required for inequality test of multibit field against 0.
 242
 243 !(!(vlan.pcp)) => Explicit `!= 0' is required for inequality test of multibit field against 0.
 244
 245 123 => Syntax error at end of input expecting relational operator.
 246
 247 123 x => Syntax error at `x' expecting relational operator.
 248
 249 {1, "eth0"} => Syntax error at `"eth0"' expecting integer.
 250
 251 eth.type == xyzzy => Syntax error at `xyzzy' expecting constant.
 252
 253 (1 x) => Syntax error at `x' expecting `)'.
 254
 255 !0x800 != eth.type => Missing parentheses around operand of !.
 256
 257 eth.type == 0x800 || eth.type == 0x86dd && ip.proto == 17 => && and || must be parenthesized when used together.
 258
 259 eth.dst == {} => Syntax error at `}' expecting constant.
 260
 261 eth.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).
 262
 263 ip4.src == ::1 => 128-bit constant is not compatible with 32-bit field ip4.src.
 264
 265 1 == eth.type == 2 => Range expressions must have the form `x < field < y' or `x > field > y', with each `<' optionally replaced by `<=' or `>' by `>=').
 266
 267 eth.dst[40] x => Extra tokens at end of input.
 268
 269 ip4.src == {1.2.3.4, $set1, $unknownset} => Syntax error at `$unknownset' expecting address set name.
 270 eth.src == {$set3, badmac, 00:00:00:00:00:01} => Syntax error at `badmac' expecting constant.
 271 ]])
 272 sed 's/ =>.*//' test-cases.txt > input.txt
 273 sed 's/.* => //' test-cases.txt > expout
 274 AT_CHECK([ovstest test-ovn parse-expr < input.txt], [0], [expout])
 275 AT_CLEANUP
 276
 277 AT_SETUP([ovn -- expression annotation])
 278 dnl Input precedes =>, expected output follows =>.
 279 AT_DATA([test-cases.txt], [[
 280 ip4.src == 1.2.3.4 => ip4.src == 0x1020304 && eth.type == 0x800
 281 ip4.src != 1.2.3.4 => ip4.src != 0x1020304 && eth.type == 0x800
 282 ip.proto == 123 => ip.proto == 0x7b && (eth.type == 0x800 || eth.type == 0x86dd)
 283 ip.proto == {123, 234} => (ip.proto == 0x7b && (eth.type == 0x800 || eth.type == 0x86dd)) || (ip.proto == 0xea && (eth.type == 0x800 || eth.type == 0x86dd))
 284 ip4.src == 1.2.3.4 && ip4.dst == 5.6.7.8 => ip4.src == 0x1020304 && eth.type == 0x800 && ip4.dst == 0x5060708 && eth.type == 0x800
 285
 286 ip => eth.type == 0x800 || eth.type == 0x86dd
 287 ip == 1 => eth.type == 0x800 || eth.type == 0x86dd
 288 ip[0] == 1 => eth.type == 0x800 || eth.type == 0x86dd
 289 ip > 0 => Only == and != operators may be used with nominal field ip.
 290 !ip => Nominal predicate ip may only be tested positively, e.g. `ip' or `ip == 1' but not `!ip' or `ip == 0'.
 291 ip == 0 => Nominal predicate ip may only be tested positively, e.g. `ip' or `ip == 1' but not `!ip' or `ip == 0'.
 292
 293 vlan.present => vlan.tci[12]
 294 !vlan.present => !vlan.tci[12]
 295
 296 !vlan.pcp => vlan.tci[13..15] == 0 && vlan.tci[12]
 297 vlan.pcp == 1 && vlan.vid == 2 => vlan.tci[13..15] == 0x1 && vlan.tci[12] && vlan.tci[0..11] == 0x2 && vlan.tci[12]
 298 !reg0 && !reg1 && !reg2 && !reg3 => xreg0[32..63] == 0 && xreg0[0..31] == 0 && xreg1[32..63] == 0 && xreg1[0..31] == 0
 299
 300 ip.first_frag => ip.frag[0] && (eth.type == 0x800 || eth.type == 0x86dd) && (!ip.frag[1] || (eth.type != 0x800 && eth.type != 0x86dd))
 301 !ip.first_frag => !ip.frag[0] || (eth.type != 0x800 && eth.type != 0x86dd) || (ip.frag[1] && (eth.type == 0x800 || eth.type == 0x86dd))
 302 ip.later_frag => ip.frag[1] && (eth.type == 0x800 || eth.type == 0x86dd)
 303
 304 bad_prereq != 0 => Error parsing expression `xyzzy' encountered as prerequisite or predicate of initial expression: Syntax error at `xyzzy' expecting field name.
 305 self_recurse != 0 => Error parsing expression `self_recurse != 0' encountered as prerequisite or predicate of initial expression: Recursive expansion of symbol `self_recurse'.
 306 mutual_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'.
 307 mutual_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'.
 308 ]])
 309 sed 's/ =>.*//' test-cases.txt > input.txt
 310 sed 's/.* => //' test-cases.txt > expout
 311 AT_CHECK([ovstest test-ovn annotate-expr < input.txt], [0], [expout])
 312 AT_CLEANUP
 313
 314 AT_SETUP([ovn -- 1-term expression conversion])
 315 AT_CHECK([ovstest test-ovn exhaustive --operation=convert 1], [0],
 316   [Tested converting all 1-terminal expressions with 2 numeric vars (each 3 bits) in terms of operators == != < <= > >= and 2 string vars.
 317 ])
 318 AT_CLEANUP
 319
 320 AT_SETUP([ovn -- 2-term expression conversion])
 321 AT_CHECK([ovstest test-ovn exhaustive --operation=convert 2], [0],
 322   [Tested converting 570 expressions of 2 terminals with 2 numeric vars (each 3 bits) in terms of operators == != < <= > >= and 2 string vars.
 323 ])
 324 AT_CLEANUP
 325
 326 AT_SETUP([ovn -- 3-term expression conversion])
 327 AT_CHECK([ovstest test-ovn exhaustive --operation=convert --bits=2 3], [0],
 328   [Tested converting 62418 expressions of 3 terminals with 2 numeric vars (each 2 bits) in terms of operators == != < <= > >= and 2 string vars.
 329 ])
 330 AT_CLEANUP
 331
 332 AT_SETUP([ovn -- 3-term numeric expression simplification])
 333 AT_CHECK([ovstest test-ovn exhaustive --operation=simplify --nvars=2 --svars=0 3], [0],
 334   [Tested simplifying 477138 expressions of 3 terminals with 2 numeric vars (each 3 bits) in terms of operators == != < <= > >=.
 335 ])
 336 AT_CLEANUP
 337
 338 AT_SETUP([ovn -- 4-term string expression simplification])
 339 AT_CHECK([ovstest test-ovn exhaustive --operation=simplify --nvars=0 --svars=4 4], [0],
 340   [Tested simplifying 21978 expressions of 4 terminals with 4 string vars.
 341 ])
 342 AT_CLEANUP
 343
 344 AT_SETUP([ovn -- 3-term mixed expression simplification])
 345 AT_CHECK([ovstest test-ovn exhaustive --operation=simplify --nvars=1 --svars=1 3], [0],
 346   [Tested simplifying 124410 expressions of 3 terminals with 1 numeric vars (each 3 bits) in terms of operators == != < <= > >= and 1 string vars.
 347 ])
 348 AT_CLEANUP
 349
 350 AT_SETUP([ovn -- 4-term numeric expression normalization])
 351 AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=3 --svars=0 --bits=1 4], [0],
 352   [Tested normalizing 1207162 expressions of 4 terminals with 3 numeric vars (each 1 bits) in terms of operators == != < <= > >=.
 353 ])
 354 AT_CLEANUP
 355
 356 AT_SETUP([ovn -- 4-term string expression normalization])
 357 AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=0 --svars=3 --bits=1 4], [0],
 358   [Tested normalizing 11242 expressions of 4 terminals with 3 string vars.
 359 ])
 360 AT_CLEANUP
 361
 362 AT_SETUP([ovn -- 4-term mixed expression normalization])
 363 AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=1 --bits=1 --svars=2 4], [0],
 364   [Tested normalizing 128282 expressions of 4 terminals with 1 numeric vars (each 1 bits) in terms of operators == != < <= > >= and 2 string vars.
 365 ])
 366 AT_CLEANUP
 367
 368 AT_SETUP([ovn -- 5-term numeric expression normalization])
 369 AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=3 --svars=0 --bits=1 --relops='==' 5], [0],
 370   [Tested normalizing 368550 expressions of 5 terminals with 3 numeric vars (each 1 bits) in terms of operators ==.
 371 ])
 372 AT_CLEANUP
 373
 374 AT_SETUP([ovn -- 5-term string expression normalization])
 375 AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=0 --svars=3 --bits=1 --relops='==' 5], [0],
 376   [Tested normalizing 368550 expressions of 5 terminals with 3 string vars.
 377 ])
 378 AT_CLEANUP
 379
 380 AT_SETUP([ovn -- 5-term mixed expression normalization])
 381 AT_CHECK([ovstest test-ovn exhaustive --operation=normalize --nvars=1 --svars=1 --bits=1 --relops='==' 5], [0],
 382   [Tested normalizing 116550 expressions of 5 terminals with 1 numeric vars (each 1 bits) in terms of operators == and 1 string vars.
 383 ])
 384 AT_CLEANUP
 385
 386 AT_SETUP([ovn -- 4-term numeric expressions to flows])
 387 AT_CHECK([ovstest test-ovn exhaustive --operation=flow --nvars=2 --svars=0 --bits=2 --relops='==' 4], [0],
 388   [Tested converting to flows 128282 expressions of 4 terminals with 2 numeric vars (each 2 bits) in terms of operators ==.
 389 ])
 390 AT_CLEANUP
 391
 392 AT_SETUP([ovn -- 4-term string expressions to flows])
 393 AT_CHECK([ovstest test-ovn exhaustive --operation=flow --nvars=0 --svars=4 4], [0],
 394   [Tested converting to flows 21978 expressions of 4 terminals with 4 string vars.
 395 ])
 396 AT_CLEANUP
 397
 398 AT_SETUP([ovn -- 4-term mixed expressions to flows])
 399 AT_CHECK([ovstest test-ovn exhaustive --operation=flow --nvars=1 --bits=2 --svars=1 --relops='==' 4], [0],
 400   [Tested converting to flows 37994 expressions of 4 terminals with 1 numeric vars (each 2 bits) in terms of operators == and 1 string vars.
 401 ])
 402 AT_CLEANUP
 403
 404 AT_SETUP([ovn -- 3-term numeric expressions to flows])
 405 AT_CHECK([ovstest test-ovn exhaustive --operation=flow --nvars=3 --svars=0 --bits=3 --relops='==' 3], [0],
 406   [Tested converting to flows 38394 expressions of 3 terminals with 3 numeric vars (each 3 bits) in terms of operators ==.
 407 ])
 408 AT_CLEANUP
 409
 410 AT_SETUP([ovn -- converting expressions to flows -- string fields])
 411 expr_to_flow () {
 412     echo "$1" | ovstest test-ovn expr-to-flows | sort
 413 }
 414 AT_CHECK([expr_to_flow 'inport == "eth0"'], [0], [reg14=0x5
 415 ])
 416 AT_CHECK([expr_to_flow 'inport == "eth1"'], [0], [reg14=0x6
 417 ])
 418 AT_CHECK([expr_to_flow 'inport == "eth2"'], [0], [(no flows)
 419 ])
 420 AT_CHECK([expr_to_flow 'inport == "eth0" && ip'], [0], [dnl
 421 ip,reg14=0x5
 422 ipv6,reg14=0x5
 423 ])
 424 AT_CHECK([expr_to_flow 'inport == "eth1" && ip'], [0], [dnl
 425 ip,reg14=0x6
 426 ipv6,reg14=0x6
 427 ])
 428 AT_CHECK([expr_to_flow 'inport == "eth2" && ip'], [0], [(no flows)
 429 ])
 430 AT_CHECK([expr_to_flow 'inport == {"eth0", "eth1", "eth2", "LOCAL"}'], [0],
 431 [reg14=0x5
 432 reg14=0x6
 433 reg14=0xfffe
 434 ])
 435 AT_CHECK([expr_to_flow 'inport == {"eth0", "eth1", "eth2"} && ip'], [0], [dnl
 436 ip,reg14=0x5
 437 ip,reg14=0x6
 438 ipv6,reg14=0x5
 439 ipv6,reg14=0x6
 440 ])
 441 AT_CHECK([expr_to_flow 'inport == "eth0" && inport == "eth1"'], [0], [dnl
 442 (no flows)
 443 ])
 444 AT_CLEANUP
 445
 446 AT_SETUP([ovn -- converting expressions to flows -- address sets])
 447 expr_to_flow () {
 448     echo "$1" | ovstest test-ovn expr-to-flows | sort
 449 }
 450 AT_CHECK([expr_to_flow 'ip4.src == {10.0.0.1, 10.0.0.2, 10.0.0.3}'], [0], [dnl
 451 ip,nw_src=10.0.0.1
 452 ip,nw_src=10.0.0.2
 453 ip,nw_src=10.0.0.3
 454 ])
 455 AT_CHECK([expr_to_flow 'ip4.src == $set1'], [0], [dnl
 456 ip,nw_src=10.0.0.1
 457 ip,nw_src=10.0.0.2
 458 ip,nw_src=10.0.0.3
 459 ])
 460 AT_CHECK([expr_to_flow 'ip4.src == {1.2.3.4, $set1}'], [0], [dnl
 461 ip,nw_src=1.2.3.4
 462 ip,nw_src=10.0.0.1
 463 ip,nw_src=10.0.0.2
 464 ip,nw_src=10.0.0.3
 465 ])
 466 AT_CHECK([expr_to_flow 'ip4.src == {1.2.0.0/20, 5.5.5.0/24, $set1}'], [0], [dnl
 467 ip,nw_src=1.2.0.0/20
 468 ip,nw_src=10.0.0.1
 469 ip,nw_src=10.0.0.2
 470 ip,nw_src=10.0.0.3
 471 ip,nw_src=5.5.5.0/24
 472 ])
 473 AT_CHECK([expr_to_flow 'ip6.src == {::1, ::2, ::3}'], [0], [dnl
 474 ipv6,ipv6_src=::1
 475 ipv6,ipv6_src=::2
 476 ipv6,ipv6_src=::3
 477 ])
 478 AT_CHECK([expr_to_flow 'ip6.src == {::1, $set2, ::4}'], [0], [dnl
 479 ipv6,ipv6_src=::1
 480 ipv6,ipv6_src=::2
 481 ipv6,ipv6_src=::3
 482 ipv6,ipv6_src=::4
 483 ])
 484 AT_CHECK([expr_to_flow 'eth.src == {00:00:00:00:00:01, 00:00:00:00:00:02, 00:00:00:00:00:03}'], [0], [dnl
 485 dl_src=00:00:00:00:00:01
 486 dl_src=00:00:00:00:00:02
 487 dl_src=00:00:00:00:00:03
 488 ])
 489 AT_CHECK([expr_to_flow 'eth.src == {$set3}'], [0], [dnl
 490 dl_src=00:00:00:00:00:01
 491 dl_src=00:00:00:00:00:02
 492 dl_src=00:00:00:00:00:03
 493 ])
 494 AT_CHECK([expr_to_flow 'eth.src == {00:00:00:00:00:01, $set3, ba:be:be:ef:de:ad, $set3}'], [0], [dnl
 495 dl_src=00:00:00:00:00:01
 496 dl_src=00:00:00:00:00:02
 497 dl_src=00:00:00:00:00:03
 498 dl_src=ba:be:be:ef:de:ad
 499 ])
 500 AT_CLEANUP
 501
 502 AT_SETUP([ovn -- action parsing])
 503 dnl Text before => is input, text after => is expected output.
 504 AT_DATA([test-cases.txt], [[
 505 # drop
 506 drop; => actions=drop, prereqs=1
 507 drop; next; => Syntax error at `next' expecting end of input.
 508 next; drop; => Syntax error at `drop' expecting action.
 509
 510 # output
 511 output; => actions=resubmit(,64), prereqs=1
 512
 513 # next
 514 next; => actions=resubmit(,27), prereqs=1
 515 next(0); => actions=resubmit(,16), prereqs=1
 516 next(15); => actions=resubmit(,31), prereqs=1
 517
 518 next(); => Syntax error at `)' expecting small integer.
 519 next(10; => Syntax error at `;' expecting `)'.
 520 next(16); => "next" argument must be in range 0 to 15.
 521
 522 # Loading a constant value.
 523 tcp.dst=80; => actions=set_field:80->tcp_dst, prereqs=ip.proto == 0x6 && (eth.type == 0x800 || eth.type == 0x86dd)
 524 eth.dst[40] = 1; => actions=set_field:01:00:00:00:00:00/01:00:00:00:00:00->eth_dst, prereqs=1
 525 vlan.pcp = 2; => actions=set_field:0x4000/0xe000->vlan_tci, prereqs=vlan.tci[12]
 526 vlan.tci[13..15] = 2; => actions=set_field:0x4000/0xe000->vlan_tci, prereqs=1
 527 inport = ""; => actions=set_field:0->reg14,set_field:0->in_port, prereqs=1
 528 ip.ttl = 4; => actions=set_field:4->nw_ttl, prereqs=eth.type == 0x800 || eth.type == 0x86dd
 529 outport="eth0"; next; outport="LOCAL"; next; => actions=set_field:0x5->reg15,resubmit(,27),set_field:0xfffe->reg15,resubmit(,27), prereqs=1
 530
 531 inport[1] = 1; => Cannot select subfield of string field inport.
 532 ip.proto[1] = 1; => Cannot select subfield of nominal field ip.proto.
 533 eth.dst[40] == 1; => Syntax error at `==' expecting `=' or `<->'.
 534 ip = 1; => Predicate symbol ip used where lvalue required.
 535 ip.proto = 6; => Field ip.proto is not modifiable.
 536 inport = {"a", "b"}; => Assignments require a single value.
 537 inport = {}; => Syntax error at `}' expecting constant.
 538 bad_prereq = 123; => Error parsing expression `xyzzy' encountered as prerequisite or predicate of initial expression: Syntax error at `xyzzy' expecting field name.
 539 self_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'.
 540 vlan.present = 0; => Predicate symbol vlan.present used where lvalue required.
 541
 542 # Moving one field into another.
 543 reg0 = reg1; => actions=move:OXM_OF_PKT_REG0[0..31]->OXM_OF_PKT_REG0[32..63], prereqs=1
 544 vlan.pcp = reg0[0..2]; => actions=move:OXM_OF_PKT_REG0[32..34]->NXM_OF_VLAN_TCI[13..15], prereqs=vlan.tci[12]
 545 reg0[10] = vlan.pcp[1]; => actions=move:NXM_OF_VLAN_TCI[14]->OXM_OF_PKT_REG0[42], prereqs=vlan.tci[12]
 546 outport = inport; => actions=move:NXM_NX_REG14[]->NXM_NX_REG15[], prereqs=1
 547
 548 reg0[0] = vlan.present; => Predicate symbol vlan.present used where lvalue required.
 549 reg0 = reg1[0..10]; => Can't assign 11-bit value to 32-bit destination.
 550 inport = reg0; => Can't assign integer field (reg0) to string field (inport).
 551 inport = big_string; => String fields inport and big_string are incompatible for assignment.
 552 ip.proto = reg0[0..7]; => Field ip.proto is not modifiable.
 553
 554 # Exchanging fields.
 555 reg0 <-> 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
 556 vlan.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]
 557 reg0[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]
 558 outport <-> inport; => actions=push:NXM_NX_REG14[],push:NXM_NX_REG15[],pop:NXM_NX_REG14[],pop:NXM_NX_REG15[], prereqs=1
 559
 560 reg0[0] <-> vlan.present; => Predicate symbol vlan.present used where lvalue required.
 561 reg0 <-> reg1[0..10]; => Can't exchange 32-bit field with 11-bit field.
 562 inport <-> reg0; => Can't exchange string field (inport) with integer field (reg0).
 563 inport <-> big_string; => String fields inport and big_string are incompatible for exchange.
 564 ip.proto <-> reg0[0..7]; => Field ip.proto is not modifiable.
 565 reg0[0..7] <-> ip.proto; => Field ip.proto is not modifiable.
 566
 567 # TTL decrement.
 568 ip.ttl--; => actions=dec_ttl, prereqs=ip
 569 ip.ttl => Syntax error at end of input expecting `--'.
 570
 571 # load balancing.
 572 ct_lb; => actions=ct(table=27,zone=NXM_NX_REG13[0..15],nat), prereqs=ip
 573 ct_lb(); => Syntax error at `)' expecting IPv4 address.
 574 ct_lb(192.168.1.2:80, 192.168.1.3:80); => actions=group:1, prereqs=ip
 575 ct_lb(192.168.1.2, 192.168.1.3, ); => actions=group:2, prereqs=ip
 576 ct_lb(192.168.1.2:); => Syntax error at `)' expecting port number.
 577 ct_lb(192.168.1.2:123456); => Syntax error at `123456' expecting port number.
 578 ct_lb(foo); => Syntax error at `foo' expecting IPv4 address.
 579
 580 # conntrack
 581 ct_next; => actions=ct(table=27,zone=NXM_NX_REG13[0..15]), prereqs=ip
 582 ct_commit; => actions=ct(commit,zone=NXM_NX_REG13[0..15]), prereqs=ip
 583 ct_commit(); => actions=ct(commit,zone=NXM_NX_REG13[0..15]), prereqs=ip
 584 ct_commit(ct_mark=1); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0x1->ct_mark)), prereqs=ip
 585 ct_commit(ct_mark=1/1); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0x1/0x1->ct_mark)), prereqs=ip
 586 ct_commit(ct_label=1); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0x1->ct_label)), prereqs=ip
 587 ct_commit(ct_label=1/1); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0x1/0x1->ct_label)), prereqs=ip
 588 ct_commit(ct_label=0x01020304050607080910111213141516); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0x1020304050607080910111213141516->ct_label)), prereqs=ip
 589 ct_commit(ct_label=0x181716151413121110090807060504030201); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0x16151413121110090807060504030201->ct_label)), prereqs=ip
 590 ct_commit(ct_label=0x01000000000000000000000000000000/0x01000000000000000000000000000000); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0x1000000000000000000000000000000/0x1000000000000000000000000000000->ct_label)), prereqs=ip
 591 ct_commit(ct_label=18446744073709551615); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0xffffffffffffffff->ct_label)), prereqs=ip
 592 ct_commit(ct_label=18446744073709551616); => Decimal constants must be less than 2**64.
 593 ct_commit(ct_mark=1, ct_label=2); => actions=ct(commit,zone=NXM_NX_REG13[0..15],exec(set_field:0x1->ct_mark,set_field:0x2->ct_label)), prereqs=ip
 594
 595 # dnat
 596 ct_dnat; => actions=ct(table=27,zone=NXM_NX_REG11[0..15],nat), prereqs=ip
 597 ct_dnat(192.168.1.2); => actions=ct(commit,table=27,zone=NXM_NX_REG11[0..15],nat(dst=192.168.1.2)), prereqs=ip
 598 ct_dnat(192.168.1.2, 192.168.1.3); => Syntax error at `,' expecting `)'.
 599 ct_dnat(foo); => Syntax error at `foo' invalid ip.
 600 ct_dnat(foo, bar); => Syntax error at `foo' invalid ip.
 601 ct_dnat(); => Syntax error at `)' invalid ip.
 602
 603 # snat
 604 ct_snat; => actions=ct(zone=NXM_NX_REG12[0..15],nat), prereqs=ip
 605 ct_snat(192.168.1.2); => actions=ct(commit,table=27,zone=NXM_NX_REG12[0..15],nat(src=192.168.1.2)), prereqs=ip
 606 ct_snat(192.168.1.2, 192.168.1.3); => Syntax error at `,' expecting `)'.
 607 ct_snat(foo); => Syntax error at `foo' invalid ip.
 608 ct_snat(foo, bar); => Syntax error at `foo' invalid ip.
 609 ct_snat(); => Syntax error at `)' invalid ip.
 610
 611
 612 # arp
 613 arp { 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
 614
 615 # get_arp
 616 get_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
 617 get_arp(inport, reg0); => actions=push:NXM_NX_REG15[],push:NXM_NX_REG0[],push:OXM_OF_PKT_REG0[32..63],push:NXM_NX_REG14[],pop:NXM_NX_REG15[],pop:NXM_NX_REG0[],set_field:00:00:00:00:00:00->eth_dst,resubmit(,65),pop:NXM_NX_REG0[],pop:NXM_NX_REG15[], prereqs=1
 618 get_arp; => Syntax error at `;' expecting `('.
 619 get_arp(); => Syntax error at `)' expecting field name.
 620 get_arp(inport); => Syntax error at `)' expecting `,'.
 621 get_arp(inport ip4.dst); => Syntax error at `ip4.dst' expecting `,'.
 622 get_arp(inport, ip4.dst; => Syntax error at `;' expecting `)'.
 623 get_arp(inport, eth.dst); => Cannot use 48-bit field eth.dst[0..47] where 32-bit field is required.
 624 get_arp(inport, outport); => Cannot use string field outport where numeric field is required.
 625 get_arp(reg0, ip4.dst); => Cannot use numeric field reg0 where string field is required.
 626
 627 # put_arp
 628 put_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
 629
 630 # put_dhcp_opts
 631 reg1[0] = put_dhcp_opts(offerip = 1.2.3.4, router = 10.0.0.1); => actions=controller(userdata=00.00.00.02.00.00.00.00.80.01.00.08.00.00.00.00.01.02.03.04.03.04.0a.00.00.01,pause), prereqs=1
 632 reg2[5] = put_dhcp_opts(offerip=10.0.0.4,router=10.0.0.1,netmask=255.255.254.0,mtu=1400,domain="ovn.org"); => actions=controller(userdata=00.00.00.02.00.00.00.00.80.01.02.08.00.00.00.25.0a.00.00.04.03.04.0a.00.00.01.01.04.ff.ff.fe.00.1a.02.05.78.0f.07.6f.76.6e.2e.6f.72.67,pause), prereqs=1
 633 # offerip=10.0.0.4             --> 0a.00.00.04
 634 # router=10.0.0.1              --> 03.04.0a.00.00.01
 635 # netmask=255.255.255.0        --> 01.04.ff.ff.ff.00
 636 # mtu=1400                     --> 1a.02.05.78
 637 # ip_forward_enable-1          --> 13.01.01
 638 # default_ttl=121              --> 17.01.79
 639 # dns_server={8.8.8.8,7.7.7.7} --> 06.08.08.08.08.08.07.07.07.07
 640 # classless_static_route=      --> 79.14
 641 # {30.0.0.0/24,10.0.0.4        --> 18.1e.00.00.0a.00.00.04
 642 #  40.0.0.0/16,10.0.0.6        --> 10.28.00.0a.00.00.06
 643 #  0.0.0.0/0,10.0.0.1}         --> 00.0a.00.00.01
 644 # ethernet_encap=1             --> 24.01.01
 645 # router_discovery=0           --> 1f.01.00
 646 reg0[15] = put_dhcp_opts(offerip=10.0.0.4,router=10.0.0.1,netmask=255.255.255.0,mtu=1400,ip_forward_enable=1,default_ttl=121,dns_server={8.8.8.8,7.7.7.7},classless_static_route={30.0.0.0/24,10.0.0.4,40.0.0.0/16,10.0.0.6,0.0.0.0/0,10.0.0.1},ethernet_encap=1,router_discovery=0); => actions=controller(userdata=00.00.00.02.00.00.00.00.80.01.00.08.00.00.00.2f.0a.00.00.04.03.04.0a.00.00.01.01.04.ff.ff.ff.00.1a.02.05.78.13.01.01.17.01.79.06.08.08.08.08.08.07.07.07.07.79.14.18.1e.00.00.0a.00.00.04.10.28.00.0a.00.00.06.00.0a.00.00.01.24.01.01.1f.01.00,pause), prereqs=1
 647 reg1[0..1] = put_dhcp_opts(offerip = 1.2.3.4, router = 10.0.0.1); => Cannot use 2-bit field reg1[0..1] where 1-bit field is required.
 648 reg1[0] = put_dhcp_opts(); => Syntax error at `)'.
 649 reg1[0] = put_dhcp_opts(x = 1.2.3.4, router = 10.0.0.1); => Syntax error at `x' expecting offerip option.
 650 reg1[0] = put_dhcp_opts(offerip=1.2.3.4, "hi"); => Syntax error at `"hi"'.
 651 reg1[0] = put_dhcp_opts(offerip=1.2.3.4, xyzzy); => Syntax error at `xyzzy' expecting DHCP option name.
 652 reg1[0] = put_dhcp_opts(offerip="xyzzy"); => DHCP option offerip requires numeric value.
 653 reg1[0] = put_dhcp_opts(offerip=1.2.3.4, domain=1.2.3.4); => DHCP option domain requires string value.
 654
 655 # na
 656 na { eth.src = 12:34:56:78:9a:bc; nd.tll = 12:34:56:78:9a:bc; outport = inport; inport = ""; /* Allow sending out inport. */ output; }; => actions=controller(userdata=00.00.00.03.00.00.00.00.00.19.00.10.80.00.08.06.12.34.56.78.9a.bc.00.00.00.19.00.10.80.00.42.06.12.34.56.78.9a.bc.00.00.ff.ff.00.18.00.00.23.20.00.06.00.20.00.00.00.00.00.01.1c.04.00.01.1e.04.00.19.00.10.00.01.1c.04.00.00.00.00.00.00.00.00.00.19.00.10.00.00.00.02.00.00.00.00.00.00.00.00.ff.ff.00.10.00.00.23.20.00.0e.ff.f8.40.00.00.00), prereqs=nd
 657
 658 # Contradictionary prerequisites (allowed but not useful):
 659 ip4.src = ip6.src[0..31]; => actions=move:NXM_NX_IPV6_SRC[0..31]->NXM_OF_IP_SRC[], prereqs=eth.type == 0x800 && eth.type == 0x86dd
 660 ip4.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
 661
 662 ## Miscellaneous negative tests.
 663 ; => Syntax error at `;'.
 664 xyzzy; => Syntax error at `xyzzy' expecting action.
 665 next; 123; => Syntax error at `123'.
 666 next; xyzzy; => Syntax error at `xyzzy' expecting action.
 667 next => Syntax error at end of input expecting ';'.
 668 ]])
 669 sed 's/ =>.*//' test-cases.txt > input.txt
 670 sed 's/.* => //' test-cases.txt > expout
 671 AT_CHECK([ovstest test-ovn parse-actions < input.txt], [0], [expout])
 672 AT_CLEANUP
 673
 674 AT_BANNER([OVN end-to-end tests])
 675
 676 # 3 hypervisors, one logical switch, 3 logical ports per hypervisor
 677 AT_SETUP([ovn -- 3 HVs, 1 LS, 3 lports/HV])
 678 AT_KEYWORDS([ovnarp])
 679 AT_SKIP_IF([test $HAVE_PYTHON = no])
 680 ovn_start
 681
 682 # Create hypervisors hv[123].
 683 # Add vif1[123] to hv1, vif2[123] to hv2, vif3[123] to hv3.
 684 # Add all of the vifs to a single logical switch lsw0.
 685 # Turn on port security on all the vifs except vif[123]1.
 686 # Make vif13, vif2[23], vif3[123] destinations for unknown MACs.
 687 # Add some ACLs for Ethertypes 1234, 1235, 1236.
 688 ovn-nbctl ls-add lsw0
 689 net_add n1
 690 for i in 1 2 3; do
 691     sim_add hv$i
 692     as hv$i
 693     ovs-vsctl add-br br-phys
 694     ovn_attach n1 br-phys 192.168.0.$i
 695
 696     for j in 1 2 3; do
 697         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
 698         ovn-nbctl lsp-add lsw0 lp$i$j
 699         if test $j = 1; then
 700             ovn-nbctl lsp-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" unknown
 701         else
 702             if test $j = 3; then
 703                 ip_addrs="192.168.0.$i$j fe80::ea2a:eaff:fe28:$i$j/64 192.169.0.$i$j"
 704             else
 705                 ip_addrs="192.168.0.$i$j"
 706             fi
 707             ovn-nbctl lsp-set-addresses lp$i$j "f0:00:00:00:00:$i$j $ip_addrs"
 708             ovn-nbctl lsp-set-port-security lp$i$j f0:00:00:00:00:$i$j
 709         fi
 710     done
 711 done
 712 ovn-nbctl acl-add lsw0 from-lport 1000 'eth.type == 0x1234' drop
 713 ovn-nbctl acl-add lsw0 from-lport 1000 'eth.type == 0x1235 && inport == "lp11"' drop
 714 ovn-nbctl acl-add lsw0 to-lport 1000 'eth.type == 0x1236 && outport == "lp33"' drop
 715 ovn-nbctl create Address_Set name=set1 addresses=\"f0:00:00:00:00:11\",\"f0:00:00:00:00:21\",\"f0:00:00:00:00:31\"
 716 ovn-nbctl acl-add lsw0 to-lport 1000 'eth.type == 0x1237 && eth.src == $set1 && outport == "lp33"' drop
 717
 718 # Pre-populate the hypervisors' ARP tables so that we don't lose any
 719 # packets for ARP resolution (native tunneling doesn't queue packets
 720 # for ARP resolution).
 721 ovn_populate_arp
 722
 723 # Allow some time for ovn-northd and ovn-controller to catch up.
 724 # XXX This should be more systematic.
 725 sleep 1
 726
 727 # Given the name of a logical port, prints the name of the hypervisor
 728 # on which it is located.
 729 vif_to_hv() {
 730     echo hv${1%?}
 731 }
 732
 733 # test_packet INPORT DST SRC ETHTYPE OUTPORT...
 734 #
 735 # This shell function causes a packet to be received on INPORT.  The packet's
 736 # content has Ethernet destination DST and source SRC (each exactly 12 hex
 737 # digits) and Ethernet type ETHTYPE (4 hex digits).  The OUTPORTs (zero or
 738 # more) list the VIFs on which the packet should be received.  INPORT and the
 739 # OUTPORTs are specified as logical switch port numbers, e.g. 11 for vif11.
 740 trim_zeros() {
 741     sed 's/\(00\)\{1,\}$//'
 742 }
 743 for i in 1 2 3; do
 744     for j in 1 2 3; do
 745         : > $i$j.expected
 746     done
 747 done
 748 test_packet() {
 749     local inport=$1 packet=$2$3$4; shift; shift; shift; shift
 750     hv=`vif_to_hv $inport`
 751     vif=vif$inport
 752     as $hv ovs-appctl netdev-dummy/receive $vif $packet
 753     for outport; do
 754         echo $packet | trim_zeros >> $outport.expected
 755     done
 756 }
 757
 758 # test_arp INPORT SHA SPA TPA [REPLY_HA]
 759 #
 760 # Causes a packet to be received on INPORT.  The packet is an ARP
 761 # request with SHA, SPA, and TPA as specified.  If REPLY_HA is provided, then
 762 # it should be the hardware address of the target to expect to receive in an
 763 # ARP reply; otherwise no reply is expected.
 764 #
 765 # INPORT is an logical switch port number, e.g. 11 for vif11.
 766 # SHA and REPLY_HA are each 12 hex digits.
 767 # SPA and TPA are each 8 hex digits.
 768 test_arp() {
 769     local inport=$1 sha=$2 spa=$3 tpa=$4 reply_ha=$5
 770     local request=ffffffffffff${sha}08060001080006040001${sha}${spa}ffffffffffff${tpa}
 771     hv=`vif_to_hv $inport`
 772     as $hv ovs-appctl netdev-dummy/receive vif$inport $request
 773
 774     if test X$reply_ha = X; then
 775         # Expect to receive the broadcast ARP on the other logical switch ports
 776         # if no reply is expected.
 777         local i j
 778         for i in 1 2 3; do
 779             for j in 1 2 3; do
 780                 if test $i$j != $inport; then
 781                     echo $request >> $i$j.expected
 782                 fi
 783             done
 784         done
 785     else
 786         # Expect to receive the reply, if any.
 787         local reply=${sha}${reply_ha}08060001080006040002${reply_ha}${tpa}${sha}${spa}
 788         echo $reply >> $inport.expected
 789     fi
 790 }
 791
 792 ip_to_hex() {
 793     printf "%02x%02x%02x%02x" "$@"
 794 }
 795
 796 # Send packets between all pairs of source and destination ports:
 797 #
 798 # 1. Unicast packets are delivered to exactly one logical switch port
 799 #    (except that packets destined to their input ports are dropped).
 800 #
 801 # 2. Broadcast and multicast are delivered to all logical switch ports
 802 #    except the input port.
 803 #
 804 # 3. When port security is turned on, the switch drops packets from the wrong
 805 #    MAC address.
 806 #
 807 # 4. The switch drops all packets with a VLAN tag.
 808 #
 809 # 5. The switch drops all packets with a multicast source address.  (This only
 810 #    affects behavior when port security is turned off, since otherwise port
 811 #    security would drop the packet anyway.)
 812 #
 813 # 6. The switch delivers packets with an unknown destination to logical
 814 #    switch ports with "unknown" among their MAC addresses (and port
 815 #    security disabled).
 816 #
 817 # 7. The switch drops unicast packets that violate an ACL.
 818 #
 819 # 8. The switch drops multicast and broadcast packets that violate an ACL.
 820 #
 821 # 9. ARP requests to known IPs are responded directly.
 822 #
 823 # 10. No response to ARP requests for unknown IPs.
 824 for is in 1 2 3; do
 825     for js in 1 2 3; do
 826         s=$is$js
 827         bcast=
 828         unknown=
 829         bacl2=
 830         bacl3=
 831         for id in 1 2 3; do
 832             for jd in 1 2 3; do
 833                 d=$id$jd
 834
 835                 if test $d != $s; then unicast=$d; else unicast=; fi
 836                 test_packet $s f000000000$d f000000000$s $s$d $unicast     #1
 837
 838                 if test $d != $s && test $js = 1; then
 839                     impersonate=$d
 840                 else
 841                     impersonate=
 842                 fi
 843                 test_packet $s f000000000$d f00000000055 55$d $impersonate #3
 844
 845                 if test $d != $s && test $s != 11; then acl2=$d; else acl2=; fi
 846                 if test $d != $s && test $d != 33; then acl3=$d; else acl3=; fi
 847                 if test $d = $s || (test $js = 1 && test $d = 33); then
 848                     # Source of 11, 21, or 31 and dest of 33 should be dropped
 849                     # due to the 4th ACL that uses address_set(set1).
 850                     acl4=
 851                 else
 852                     acl4=$d
 853                 fi
 854                 test_packet $s f000000000$d f000000000$s 1234        #7, acl1
 855                 test_packet $s f000000000$d f000000000$s 1235 $acl2  #7, acl2
 856                 test_packet $s f000000000$d f000000000$s 1236 $acl3  #7, acl3
 857                 test_packet $s f000000000$d f000000000$s 1237 $acl4  #7, acl4
 858
 859                 test_packet $s f000000000$d f00000000055 810000091234      #4
 860                 test_packet $s f000000000$d 0100000000$s $s$d              #5
 861
 862                 if test $d != $s && test $jd = 1; then
 863                     unknown="$unknown $d"
 864                 fi
 865                 bcast="$bcast $unicast"
 866                 bacl2="$bacl2 $acl2"
 867                 bacl3="$bacl3 $acl3"
 868
 869                 sip=`ip_to_hex 192 168 0 $i$j`
 870                 tip=`ip_to_hex 192 168 0 $id$jd`
 871                 tip_unknown=`ip_to_hex 11 11 11 11`
 872                 test_arp $s f000000000$s $sip $tip f000000000$d            #9
 873                 test_arp $s f000000000$s $sip $tip_unknown                 #10
 874
 875                 if test $jd = 3; then
 876                     # lsp[123]3 has an additional ip 192.169.0.[123]3.
 877                     tip=`ip_to_hex 192 169 0 $id$jd`
 878                     test_arp $s f000000000$s $sip $tip f000000000$d        #9
 879                 fi
 880             done
 881         done
 882
 883         # Broadcast and multicast.
 884         test_packet $s ffffffffffff f000000000$s ${s}ff $bcast             #2
 885         test_packet $s 010000000000 f000000000$s ${s}ff $bcast             #2
 886         if test $js = 1; then
 887             bcast_impersonate=$bcast
 888         else
 889             bcast_impersonate=
 890         fi
 891         test_packet $s 010000000000 f00000000044 44ff $bcast_impersonate   #3
 892
 893         test_packet $s f0000000ffff f000000000$s ${s}66 $unknown           #6
 894
 895         test_packet $s ffffffffffff f000000000$s 1234                #8, acl1
 896         test_packet $s ffffffffffff f000000000$s 1235 $bacl2         #8, acl2
 897         test_packet $s ffffffffffff f000000000$s 1236 $bacl3         #8, acl3
 898         test_packet $s 010000000000 f000000000$s 1234                #8, acl1
 899         test_packet $s 010000000000 f000000000$s 1235 $bacl2         #8, acl2
 900         test_packet $s 010000000000 f000000000$s 1236 $bacl3         #8, acl3
 901     done
 902 done
 903
 904 # set address for lp13 with invalid characters.
 905 # lp13 should be configured with only 192.168.0.13.
 906 ovn-nbctl lsp-set-addresses lp13 "f0:00:00:00:00:13 192.168.0.13 invalid 192.169.0.13"
 907 sip=`ip_to_hex 192 168 0 11`
 908 tip=`ip_to_hex 192 168 0 13`
 909 test_arp 11 f00000000011  $sip $tip f00000000013
 910
 911 tip=`ip_to_hex 192 169 0 13`
 912 #arp request for 192.169.0.13 should be flooded
 913 test_arp 11 f00000000011  $sip $tip
 914
 915 # Allow some time for packet forwarding.
 916 # XXX This can be improved.
 917 sleep 1
 918
 919 # dump information and flows with counters
 920 ovn-sbctl dump-flows -- list multicast_group
 921
 922 echo "------ hv1 dump ------"
 923 as hv1 ovs-vsctl show
 924 as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
 925
 926 echo "------ hv2 dump ------"
 927 as hv2 ovs-vsctl show
 928 as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
 929
 930 echo "------ hv3 dump ------"
 931 as hv3 ovs-vsctl show
 932 as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-int
 933 # Now check the packets actually received against the ones expected.
 934 for i in 1 2 3; do
 935     for j in 1 2 3; do
 936         file=hv$i/vif$i$j-tx.pcap
 937         echo $file
 938         $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
 939         sort $i$j.expected > expout
 940         AT_CHECK([sort $i$j.packets], [0], [expout])
 941         echo
 942     done
 943 done
 944
 945 OVN_CLEANUP([hv1],[hv2],[hv3])
 946
 947 AT_CLEANUP
 948
 949 # 2 hypervisors, 4 logical ports per HV
 950 # 2 locally attached networks (one flat, one vlan tagged over same device)
 951 # 2 ports per HV on each network
 952 AT_SETUP([ovn -- 2 HVs, 4 lports/HV, localnet ports])
 953 AT_KEYWORDS([ovn-localnet])
 954 AT_SKIP_IF([test $HAVE_PYTHON = no])
 955 ovn_start
 956
 957 # In this test cases we create 3 switches, all connected to same
 958 # physical network (through br-phys on each HV). Each switch has
 959 # VIF ports across 2 HVs. Each HV has 5 VIF ports. The first digit
 960 # of VIF port name indicates the hypervisor it is bound to, e.g.
 961 # lp23 means VIF 3 on hv2.
 962 #
 963 # Each switch's VLAN tag and their logical switch ports are:
 964 #   - ls1:
 965 #       - untagged
 966 #       - ports: lp11, lp12, lp21, lp22
 967 #
 968 #   - ls2:
 969 #       - tagged with VLAN 101
 970 #       - ports: lp13, lp14, lp23, lp24
 971 #   - ls3:
 972 #       - untagged
 973 #       - ports: lp15, lp25
 974 #
 975 # Note: a localnet port is created for each switch to connect to
 976 # physical network.
 977
 978 for i in 1 2 3; do
 979     ls_name=ls$i
 980     ovn-nbctl ls-add $ls_name
 981     ln_port_name=ln$i
 982     if test $i -eq 2; then
 983         ovn-nbctl lsp-add $ls_name $ln_port_name "" 101
 984     else
 985         ovn-nbctl lsp-add $ls_name $ln_port_name
 986     fi
 987     ovn-nbctl lsp-set-addresses $ln_port_name unknown
 988     ovn-nbctl lsp-set-type $ln_port_name localnet
 989     ovn-nbctl lsp-set-options $ln_port_name network_name=phys
 990 done
 991
 992 net_add n1
 993 for i in 1 2; do
 994     sim_add hv$i
 995     as hv$i
 996     ovs-vsctl add-br br-phys
 997     ovs-vsctl set open . external-ids:ovn-bridge-mappings=phys:br-phys
 998     ovn_attach n1 br-phys 192.168.0.$i
 999
1000     for j in 1 2 3 4 5; do
1001         ovs-vsctl add-port br-int vif$i$j -- \
1002             set Interface vif$i$j external-ids:iface-id=lp$i$j \
1003                                   options:tx_pcap=hv$i/vif$i$j-tx.pcap \
1004                                   options:rxq_pcap=hv$i/vif$i$j-rx.pcap \
1005                                   ofport-request=$i$j
1006
1007         lsp_name=lp$i$j
1008         if test $j -le 2; then
1009             ls_name=ls1
1010         elif test $j -le 4; then
1011             ls_name=ls2
1012         else
1013             ls_name=ls3
1014         fi
1015
1016         ovn-nbctl lsp-add $ls_name $lsp_name
1017         ovn-nbctl lsp-set-addresses $lsp_name f0:00:00:00:00:$i$j
1018         ovn-nbctl lsp-set-port-security $lsp_name f0:00:00:00:00:$i$j
1019
1020         OVS_WAIT_UNTIL([test x`ovn-nbctl lsp-get-up $lsp_name` = xup])
1021     done
1022 done
1023
1024 ovn_populate_arp
1025
1026 # XXX This is now the 3rd copy of these functions in this file ...
1027
1028 # Given the name of a logical port, prints the name of the hypervisor
1029 # on which it is located.
1030 vif_to_hv() {
1031     echo hv${1%?}
1032 }
1033 #
1034 # test_packet INPORT DST SRC ETHTYPE OUTPORT...
1035 #
1036 # This shell function causes a packet to be received on INPORT.  The packet's
1037 # content has Ethernet destination DST and source SRC (each exactly 12 hex
1038 # digits) and Ethernet type ETHTYPE (4 hex digits).  The OUTPORTs (zero or
1039 # more) list the VIFs on which the packet should be received.  INPORT and the
1040 # OUTPORTs are specified as logical switch port numbers, e.g. 11 for vif11.
1041 trim_zeros() {
1042     sed 's/\(00\)\{1,\}$//'
1043 }
1044 for i in 1 2; do
1045     for j in 1 2 3 4 5; do
1046         : > $i$j.expected
1047     done
1048 done
1049 test_packet() {
1050     local inport=$1 src=$2 dst=$3 eth=$4; shift; shift; shift; shift
1051     local packet=${src}${dst}${eth}
1052     hv=`vif_to_hv $inport`
1053     vif=vif$inport
1054     as $hv ovs-appctl netdev-dummy/receive $vif $packet
1055     for outport; do
1056         echo $packet | trim_zeros >> $outport.expected
1057     done
1058 }
1059
1060 # lp11 and lp21 are on the same network (phys, untagged)
1061 # and on different hypervisors
1062 test_packet 11 f00000000021 f00000000011 1121 21
1063 test_packet 21 f00000000011 f00000000021 2111 11
1064
1065 # lp11 and lp12 are on the same network (phys, untagged)
1066 # and on the same hypervisor
1067 test_packet 11 f00000000012 f00000000011 1112 12
1068 test_packet 12 f00000000011 f00000000012 1211 11
1069
1070 # lp13 and lp23 are on the same network (phys, VLAN 101)
1071 # and on different hypervisors
1072 test_packet 13 f00000000023 f00000000013 1323 23
1073 test_packet 23 f00000000013 f00000000023 2313 13
1074
1075 # lp13 and lp14 are on the same network (phys, VLAN 101)
1076 # and on the same hypervisor
1077 test_packet 13 f00000000014 f00000000013 1314 14
1078 test_packet 14 f00000000013 f00000000014 1413 13
1079
1080 # lp11 and lp15 are on the same network (phys, untagged),
1081 # same hypervisor, and on different switches
1082 test_packet 11 f00000000015 f00000000011 1115 15
1083 test_packet 15 f00000000011 f00000000015 1511 11
1084
1085 # lp11 and lp25 are on the same network (phys, untagged),
1086 # different hypervisors, and on different switches
1087 test_packet 11 f00000000025 f00000000011 1125 25
1088 test_packet 25 f00000000011 f00000000025 2511 11
1089
1090 # Ports that should not be able to communicate
1091 test_packet 11 f00000000013 f00000000011 1113
1092 test_packet 11 f00000000023 f00000000011 1123
1093 test_packet 21 f00000000013 f00000000021 2113
1094 test_packet 21 f00000000023 f00000000021 2123
1095 test_packet 13 f00000000011 f00000000013 1311
1096 test_packet 13 f00000000021 f00000000013 1321
1097 test_packet 23 f00000000011 f00000000023 2311
1098 test_packet 23 f00000000021 f00000000023 2321
1099
1100 # Allow some time for packet forwarding.
1101 # XXX This can be improved.
1102 sleep 1
1103
1104 # Dump a bunch of info helpful for debugging if there's a failure.
1105
1106 echo "------ OVN dump ------"
1107 ovn-nbctl show
1108 ovn-sbctl show
1109
1110 echo "------ hv1 dump ------"
1111 as hv1 ovs-vsctl show
1112 as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
1113
1114 echo "------ hv2 dump ------"
1115 as hv2 ovs-vsctl show
1116 as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
1117
1118 # Now check the packets actually received against the ones expected.
1119 for i in 1 2; do
1120     for j in 1 2 3 4 5; do
1121         file=hv$i/vif$i$j-tx.pcap
1122         echo $file
1123         $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
1124         sort $i$j.expected > expout
1125         AT_CHECK([sort $i$j.packets], [0], [expout])
1126         echo
1127     done
1128 done
1129
1130 OVN_CLEANUP([hv1],[hv2])
1131
1132 AT_CLEANUP
1133
1134 AT_SETUP([ovn -- vtep: 3 HVs, 1 VIFs/HV, 1 GW, 1 LS])
1135 AT_KEYWORDS([vtep])
1136 AT_SKIP_IF([test $HAVE_PYTHON = no])
1137 ovn_start
1138
1139 # Configure the Northbound database
1140 ovn-nbctl ls-add lsw0
1141
1142 ovn-nbctl lsp-add lsw0 lp1
1143 ovn-nbctl lsp-set-addresses lp1 f0:00:00:00:00:01
1144
1145 ovn-nbctl lsp-add lsw0 lp2
1146 ovn-nbctl lsp-set-addresses lp2 f0:00:00:00:00:02
1147
1148 ovn-nbctl lsp-add lsw0 lp-vtep
1149 ovn-nbctl lsp-set-type lp-vtep vtep
1150 ovn-nbctl lsp-set-options lp-vtep vtep-physical-switch=br-vtep vtep-logical-switch=lsw0
1151 ovn-nbctl lsp-set-addresses lp-vtep unknown
1152
1153 net_add n1               # Network to connect hv1, hv2, and vtep
1154 net_add n2               # Network to connect vtep and hv3
1155
1156 # Create hypervisor hv1 connected to n1
1157 sim_add hv1
1158 as hv1
1159 ovs-vsctl add-br br-phys
1160 ovn_attach n1 br-phys 192.168.0.1
1161 ovs-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
1162
1163 # Create hypervisor hv2 connected to n1
1164 sim_add hv2
1165 as hv2
1166 ovs-vsctl add-br br-phys
1167 ovn_attach n1 br-phys 192.168.0.2
1168 ovs-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
1169
1170
1171 # Start the vtep emulator with a leg in both networks
1172 sim_add vtep
1173 as vtep
1174
1175 ovsdb-tool create "$ovs_base"/vtep/vtep.db "$abs_top_srcdir"/vtep/vtep.ovsschema || return 1
1176 ovs-appctl -t ovsdb-server ovsdb-server/add-db "$ovs_base"/vtep/vtep.db
1177
1178 ovs-vsctl add-br br-phys
1179 net_attach n1 br-phys
1180
1181 mac=`ovs-vsctl get Interface br-phys mac_in_use | sed s/\"//g`
1182 arp_table="$arp_table $sandbox,br-phys,192.168.0.3,$mac"
1183 ovs-appctl netdev-dummy/ip4addr br-phys 192.168.0.3/24 >/dev/null || return 1
1184 ovs-appctl ovs/route/add 192.168.0.3/24 br-phys >/dev/null || return 1
1185
1186 ovs-vsctl add-br br-vtep
1187 net_attach n2 br-vtep
1188
1189 vtep-ctl add-ps br-vtep
1190 vtep-ctl set Physical_Switch br-vtep tunnel_ips=192.168.0.3
1191 vtep-ctl add-ls lsw0
1192
1193 start_daemon ovs-vtep br-vtep
1194 start_daemon ovn-controller-vtep --vtep-db=unix:"$ovs_base"/vtep/db.sock --ovnsb-db=unix:"$ovs_base"/ovn-sb/ovn-sb.sock
1195
1196 sleep 1
1197
1198 vtep-ctl bind-ls br-vtep br-vtep_n2 0 lsw0
1199
1200 sleep 1
1201
1202 # Add hv3 on the other side of the vtep
1203 sim_add hv3
1204 as hv3
1205 ovs-vsctl add-br br-phys
1206 net_attach n2 br-phys
1207
1208 ovs-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
1209
1210 # Pre-populate the hypervisors' ARP tables so that we don't lose any
1211 # packets for ARP resolution (native tunneling doesn't queue packets
1212 # for ARP resolution).
1213 ovn_populate_arp
1214
1215 # Allow some time for ovn-northd and ovn-controller to catch up.
1216 # XXX This should be more systematic.
1217 sleep 1
1218
1219 # test_packet INPORT DST SRC ETHTYPE OUTPORT...
1220 #
1221 # This shell function causes a packet to be received on INPORT.  The packet's
1222 # content has Ethernet destination DST and source SRC (each exactly 12 hex
1223 # digits) and Ethernet type ETHTYPE (4 hex digits).  The OUTPORTs (zero or
1224 # more) list the VIFs on which the packet should be received.  INPORT and the
1225 # OUTPORTs are specified as logical switch port numbers, e.g. 1 for vif1.
1226 trim_zeros() {
1227     sed 's/\(00\)\{1,\}$//'
1228 }
1229 for i in 1 2 3; do
1230     : > $i.expected
1231 done
1232 test_packet() {
1233     local inport=$1 packet=$2$3$4; shift; shift; shift; shift
1234     #hv=hv`echo $inport | sed 's/^\(.\).*/\1/'`
1235     hv=hv$inport
1236     vif=vif$inport
1237     as $hv ovs-appctl netdev-dummy/receive $vif $packet
1238     for outport; do
1239         echo $packet | trim_zeros >> $outport.expected
1240     done
1241 }
1242
1243 # Send packets between all pairs of source and destination ports:
1244 #
1245 # 1. Unicast packets are delivered to exactly one logical switch port
1246 #    (except that packets destined to their input ports are dropped).
1247 #
1248 # 2. Broadcast and multicast are delivered to all logical switch ports
1249 #    except the input port.
1250 #
1251 # 3. The switch delivers packets with an unknown destination to logical
1252 #    switch ports with "unknown" among their MAC addresses (and port
1253 #    security disabled).
1254 for s in 1 2 3; do
1255     bcast=
1256     unknown=
1257     for d in 1 2 3; do
1258         if test $d != $s; then unicast=$d; else unicast=; fi
1259         test_packet $s f0000000000$d f0000000000$s 00$s$d $unicast       #1
1260
1261         # The vtep (vif3) is the only one configured for "unknown"
1262         if test $d != $s && test $d = 3; then
1263             unknown="$unknown $d"
1264         fi
1265         bcast="$bcast $unicast"
1266     done
1267
1268     # Broadcast and multicast.
1269     test_packet $s ffffffffffff f0000000000$s 0${s}ff $bcast             #2
1270     test_packet $s 010000000000 f0000000000$s 0${s}ff $bcast             #2
1271
1272     test_packet $s f0000000ffff f0000000000$s 0${s}66 $unknown           #3
1273 done
1274
1275 # Allow some time for packet forwarding.
1276 # XXX This can be improved.
1277 sleep 1
1278
1279 # dump information with counters
1280 echo "------ OVN dump ------"
1281 ovn-nbctl show
1282 ovn-sbctl show
1283
1284 echo "------ hv1 dump ------"
1285 as hv1 ovs-vsctl show
1286 as hv1 ovs-ofctl -O OpenFlow13 show br-int
1287 as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
1288
1289 echo "------ hv2 dump ------"
1290 as hv2 ovs-vsctl show
1291 as hv2 ovs-ofctl -O OpenFlow13 show br-int
1292 as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
1293
1294 echo "------ hv3 dump ------"
1295 as hv3 ovs-vsctl show
1296 # note: hv3 has no logical port bind, thus it should not have br-int
1297 AT_CHECK([as hv3 ovs-ofctl -O OpenFlow13 show br-int], [1], [],
1298 [ovs-ofctl: br-int is not a bridge or a socket
1299 ])
1300
1301 # Now check the packets actually received against the ones expected.
1302 for i in 1 2 3; do
1303     file=hv$i/vif$i-tx.pcap
1304     echo $file
1305     $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i.packets
1306     sort $i.expected > expout
1307     AT_CHECK([sort $i.packets], [0], [expout])
1308     echo
1309 done
1310
1311 # Gracefully terminate daemons
1312 OVN_CLEANUP([hv1],[hv2],[vtep])
1313 OVN_CLEANUP_VSWITCH([hv3])
1314
1315 AT_CLEANUP
1316
1317 # Similar test to "hardware GW"
1318 AT_SETUP([ovn -- 3 HVs, 1 VIFs/HV, 1 software GW, 1 LS])
1319 AT_SKIP_IF([test $HAVE_PYTHON = no])
1320 ovn_start
1321
1322 # Configure the Northbound database
1323 ovn-nbctl ls-add lsw0
1324
1325 ovn-nbctl lsp-add lsw0 lp1
1326 ovn-nbctl lsp-set-addresses lp1 f0:00:00:00:00:01
1327
1328 ovn-nbctl lsp-add lsw0 lp2
1329 ovn-nbctl lsp-set-addresses lp2 f0:00:00:00:00:02
1330
1331 ovn-nbctl lsp-add lsw0 lp-gw
1332 ovn-nbctl lsp-set-type lp-gw l2gateway
1333 ovn-nbctl lsp-set-options lp-gw network_name=physnet1 l2gateway-chassis=hv_gw
1334 ovn-nbctl lsp-set-addresses lp-gw unknown
1335
1336 net_add n1               # Network to connect hv1, hv2, and gw
1337 net_add n2               # Network to connect gw and hv3
1338
1339 # Create hypervisor hv1 connected to n1
1340 sim_add hv1
1341 as hv1
1342 ovs-vsctl add-br br-phys
1343 ovn_attach n1 br-phys 192.168.0.1
1344 ovs-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
1345
1346 # Create hypervisor hv2 connected to n1
1347 sim_add hv2
1348 as hv2
1349 ovs-vsctl add-br br-phys
1350 ovn_attach n1 br-phys 192.168.0.2
1351 ovs-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
1352
1353 # Create hypervisor hv_gw connected to n1 and n2
1354 # connect br-phys bridge to n1; connect hv-gw bridge to n2
1355 sim_add hv_gw
1356 as hv_gw
1357 ovs-vsctl add-br br-phys
1358 ovn_attach n1 br-phys 192.168.0.3
1359 ovs-vsctl add-br br-phys2
1360 net_attach n2 br-phys2
1361 ovs-vsctl set open . external_ids:ovn-bridge-mappings="physnet1:br-phys2"
1362
1363 # Add hv3 on the other side of the GW
1364 sim_add hv3
1365 as hv3
1366 ovs-vsctl add-br br-phys
1367 net_attach n2 br-phys
1368 ovs-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
1369
1370
1371 # Pre-populate the hypervisors' ARP tables so that we don't lose any
1372 # packets for ARP resolution (native tunneling doesn't queue packets
1373 # for ARP resolution).
1374 ovn_populate_arp
1375
1376 # Allow some time for ovn-northd and ovn-controller to catch up.
1377 # XXX This should be more systematic.
1378 sleep 1
1379
1380 # test_packet INPORT DST SRC ETHTYPE OUTPORT...
1381 #
1382 # This shell function causes a packet to be received on INPORT.  The packet's
1383 # content has Ethernet destination DST and source SRC (each exactly 12 hex
1384 # digits) and Ethernet type ETHTYPE (4 hex digits).  The OUTPORTs (zero or
1385 # more) list the VIFs on which the packet should be received.  INPORT and the
1386 # OUTPORTs are specified as lport numbers, e.g. 1 for vif1.
1387 trim_zeros() {
1388     sed 's/\(00\)\{1,\}$//'
1389 }
1390 for i in 1 2 3; do
1391     : > $i.expected
1392 done
1393 test_packet() {
1394     local inport=$1 packet=$2$3$4; shift; shift; shift; shift
1395     #hv=hv`echo $inport | sed 's/^\(.\).*/\1/'`
1396     hv=hv$inport
1397     vif=vif$inport
1398     as $hv ovs-appctl netdev-dummy/receive $vif $packet
1399     for outport; do
1400         echo $packet | trim_zeros >> $outport.expected
1401     done
1402 }
1403
1404 # Send packets between all pairs of source and destination ports:
1405 #
1406 # 1. Unicast packets are delivered to exactly one lport (except that packets
1407 #    destined to their input ports are dropped).
1408 #
1409 # 2. Broadcast and multicast are delivered to all lports except the input port.
1410 #
1411 # 3. The lswitch delivers packets with an unknown destination to lports with
1412 #    "unknown" among their MAC addresses (and port security disabled).
1413 for s in 1 2 3 ; do
1414     bcast=
1415     unknown=
1416     for d in 1 2 3 ; do
1417         if test $d != $s; then unicast=$d; else unicast=; fi
1418         test_packet $s f0000000000$d f0000000000$s 00$s$d $unicast       #1
1419
1420         # The vtep (vif3) is the only one configured for "unknown"
1421         if test $d != $s && test $d = 3; then
1422             unknown="$unknown $d"
1423         fi
1424         bcast="$bcast $unicast"
1425     done
1426
1427     test_packet $s ffffffffffff f0000000000$s 0${s}ff $bcast             #2
1428     test_packet $s 010000000000 f0000000000$s 0${s}ff $bcast             #3
1429     test_packet $s f0000000ffff f0000000000$s 0${s}66 $unknown           #4
1430 done
1431
1432 # Allow some time for packet forwarding.
1433 # XXX This can be improved.
1434 sleep 3
1435
1436 echo "------ ovn-nbctl show ------"
1437 ovn-nbctl show
1438 echo "------ ovn-sbctl show ------"
1439 ovn-sbctl show
1440
1441 echo "------ hv1 ------"
1442 as hv1 ovs-vsctl show
1443 echo "------ hv1 br-int ------"
1444 as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
1445 echo "------ hv1 br-phys ------"
1446 as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-phys
1447
1448 echo "------ hv2 ------"
1449 as hv2 ovs-vsctl show
1450 echo "------ hv2 br-int ------"
1451 as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
1452 echo "------ hv2 br-phys ------"
1453 as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-phys
1454
1455 echo "------ hv_gw ------"
1456 as hv_gw ovs-vsctl show
1457 echo "------ hv_gw br-phys ------"
1458 as hv_gw ovs-ofctl -O OpenFlow13 dump-flows br-phys
1459 echo "------ hv_gw br-phys2 ------"
1460 as hv_gw ovs-ofctl -O OpenFlow13 dump-flows br-phys2
1461
1462 echo "------ hv3 ------"
1463 as hv3 ovs-vsctl show
1464 echo "------ hv3 br-phys ------"
1465 as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-phys
1466
1467 # Now check the packets actually received against the ones expected.
1468 for i in 1 2 3; do
1469     file=hv$i/vif$i-tx.pcap
1470     echo $file
1471     $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i.packets
1472     sort $i.expected > expout
1473     AT_CHECK([sort $i.packets], [0], [expout])
1474     echo
1475 done
1476 AT_CLEANUP
1477
1478 # 3 hypervisors, 3 logical switches with 3 logical ports each, 1 logical router
1479 AT_SETUP([ovn -- 3 HVs, 3 LS, 3 lports/LS, 1 LR])
1480 AT_SKIP_IF([test $HAVE_PYTHON = no])
1481 ovn_start
1482
1483 # Logical network:
1484 #
1485 # Three logical switches ls1, ls2, ls3.
1486 # One logical router lr0 connected to ls[123],
1487 # with nine subnets, three per logical switch:
1488 #
1489 #    lrp11 on ls1 for subnet 192.168.11.0/24
1490 #    lrp12 on ls1 for subnet 192.168.12.0/24
1491 #    lrp13 on ls1 for subnet 192.168.13.0/24
1492 #    ...
1493 #    lrp33 on ls3 for subnet 192.168.33.0/24
1494 #
1495 # 27 VIFs, 9 per LS, 3 per subnet: lp[123][123][123], where the first two
1496 # digits are the subnet and the last digit distinguishes the VIF.
1497 for i in 1 2 3; do
1498     ovn-nbctl ls-add ls$i
1499     for j in 1 2 3; do
1500         for k in 1 2 3; do
1501             # Add "unknown" to MAC addresses for lp?11, so packets for
1502             # MAC-IP bindings discovered via ARP later have somewhere to go.
1503             if test $j$k = 11; then unknown=unknown; else unknown=; fi
1504
1505             ovn-nbctl \
1506                 -- lsp-add ls$i lp$i$j$k \
1507                 -- lsp-set-addresses lp$i$j$k "f0:00:00:00:0$i:$j$k \
1508                    192.168.$i$j.$k" $unknown
1509         done
1510     done
1511 done
1512
1513 ovn-nbctl lr-add lr0
1514 for i in 1 2 3; do
1515     for j in 1 2 3; do
1516         ovn-nbctl lrp-add lr0 lrp$i$j 00:00:00:00:ff:$i$j 192.168.$i$j.254/24
1517         ovn-nbctl \
1518             -- lsp-add ls$i lrp$i$j-attachment \
1519             -- set Logical_Switch_Port lrp$i$j-attachment type=router \
1520                              options:router-port=lrp$i$j \
1521                              addresses='"00:00:00:00:ff:'$i$j'"'
1522     done
1523 done
1524
1525 ovn-nbctl set Logical_Switch_Port lrp33-attachment \
1526     addresses='"00:00:00:00:ff:33 192.168.33.254"'
1527
1528 # Physical network:
1529 #
1530 # Three hypervisors hv[123].
1531 # lp?1[123] spread across hv[123]: lp?11 on hv1, lp?12 on hv2, lp?13 on hv3.
1532 # lp?2[123] spread across hv[23]: lp?21 and lp?22 on hv2, lp?23 on hv3.
1533 # lp?3[123] all on hv3.
1534
1535
1536 # Given the name of a logical port, prints the name of the hypervisor
1537 # on which it is located.
1538 vif_to_hv() {
1539     case $1 in dnl (
1540         ?11) echo 1 ;; dnl (
1541         ?12 | ?21 | ?22) echo 2 ;; dnl (
1542         ?13 | ?23 | ?3?) echo 3 ;;
1543     esac
1544 }
1545
1546 # Given the name of a logical port, prints the name of its logical router
1547 # port, e.g. "vif_to_lrp 123" yields 12.
1548 vif_to_lrp() {
1549     echo ${1%?}
1550 }
1551
1552 # Given the name of a logical port, prints the name of its logical
1553 # switch, e.g. "vif_to_ls 123" yields 1.
1554 vif_to_ls() {
1555     echo ${1%??}
1556 }
1557
1558 net_add n1
1559 for i in 1 2 3; do
1560     sim_add hv$i
1561     as hv$i
1562     ovs-vsctl add-br br-phys
1563     ovn_attach n1 br-phys 192.168.0.$i
1564 done
1565 for i in 1 2 3; do
1566     for j in 1 2 3; do
1567         for k in 1 2 3; do
1568             hv=`vif_to_hv $i$j$k`
1569                 as hv$hv ovs-vsctl \
1570                 -- add-port br-int vif$i$j$k \
1571                 -- set Interface vif$i$j$k \
1572                     external-ids:iface-id=lp$i$j$k \
1573                     options:tx_pcap=hv$hv/vif$i$j$k-tx.pcap \
1574                     options:rxq_pcap=hv$hv/vif$i$j$k-rx.pcap \
1575                     ofport-request=$i$j$k
1576         done
1577     done
1578 done
1579
1580 # Pre-populate the hypervisors' ARP tables so that we don't lose any
1581 # packets for ARP resolution (native tunneling doesn't queue packets
1582 # for ARP resolution).
1583 ovn_populate_arp
1584
1585 # Allow some time for ovn-northd and ovn-controller to catch up.
1586 # XXX This should be more systematic.
1587 sleep 1
1588
1589 # test_ip INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
1590 #
1591 # This shell function causes a packet to be received on INPORT.  The packet's
1592 # content has Ethernet destination DST and source SRC (each exactly 12 hex
1593 # digits) and Ethernet type ETHTYPE (4 hex digits).  The OUTPORTs (zero or
1594 # more) list the VIFs on which the packet should be received.  INPORT and the
1595 # OUTPORTs are specified as logical switch port numbers, e.g. 123 for vif123.
1596 trim_zeros() {
1597     sed 's/\(00\)\{1,\}$//'
1598 }
1599 for i in 1 2 3; do
1600     for j in 1 2 3; do
1601         for k in 1 2 3; do
1602             : > $i$j$k.expected
1603         done
1604     done
1605 done
1606 test_ip() {
1607     # This packet has bad checksums but logical L3 routing doesn't check.
1608     local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
1609     local packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
1610     shift; shift; shift; shift; shift
1611     hv=hv`vif_to_hv $inport`
1612     as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
1613     #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
1614     in_ls=`vif_to_ls $inport`
1615     in_lrp=`vif_to_lrp $inport`
1616     for outport; do
1617         out_ls=`vif_to_ls $outport`
1618         if test $in_ls = $out_ls; then
1619             # Ports on the same logical switch receive exactly the same packet.
1620             echo $packet
1621         else
1622             # Routing decrements TTL and updates source and dest MAC
1623             # (and checksum).
1624             out_lrp=`vif_to_lrp $outport`
1625             echo f00000000${outport}00000000ff${out_lrp}08004500001c00000000"3f1101"00${src_ip}${dst_ip}0035111100080000
1626         fi | trim_zeros >> $outport.expected
1627     done
1628 }
1629
1630 as hv1 ovs-vsctl --columns=name,ofport list interface
1631 as hv1 ovn-sbctl list port_binding
1632 as hv1 ovn-sbctl list datapath_binding
1633 as hv1 ovn-sbctl dump-flows
1634 as hv1 ovs-ofctl dump-flows br-int
1635
1636 # Send IP packets between all pairs of source and destination ports:
1637 #
1638 # 1. Unicast IP packets are delivered to exactly one logical switch port
1639 #    (except that packets destined to their input ports are dropped).
1640 #
1641 # 2. Broadcast IP packets are delivered to all logical switch ports
1642 #    except the input port.
1643 ip_to_hex() {
1644     printf "%02x%02x%02x%02x" "$@"
1645 }
1646 for is in 1 2 3; do
1647   for js in 1 2 3; do
1648     for ks in 1 2 3; do
1649       bcast=
1650       s=$is$js$ks
1651       smac=f00000000$s
1652       sip=`ip_to_hex 192 168 $is$js $ks`
1653       for id in 1 2 3; do
1654           for jd in 1 2 3; do
1655               for kd in 1 2 3; do
1656                 d=$id$jd$kd
1657                 dip=`ip_to_hex 192 168 $id$jd $kd`
1658                 if test $is = $id; then dmac=f00000000$d; else dmac=00000000ff$is$js; fi
1659                 if test $d != $s; then unicast=$d; else unicast=; fi
1660
1661                 test_ip $s $smac $dmac $sip $dip $unicast #1
1662
1663                 if test $id = $is && test $d != $s; then bcast="$bcast $d"; fi
1664               done
1665           done
1666         done
1667       test_ip $s $smac ffffffffffff $sip ffffffff $bcast #2
1668       done
1669   done
1670 done
1671
1672 # 3. Send an IP packet from every logical port to every other subnet,
1673 #    to an IP address that does not have a static IP-MAC binding.
1674 #    This should generate a broadcast ARP request for the destination
1675 #    IP address in the destination subnet.
1676 for is in 1 2 3; do
1677   for js in 1 2 3; do
1678     for ks in 1 2 3; do
1679       s=$is$js$ks
1680       smac=f00000000$s
1681       sip=`ip_to_hex 192 168 $is$js $ks`
1682       for id in 1 2 3; do
1683         for jd in 1 2 3; do
1684           if test $is$js = $id$jd; then
1685             continue
1686           fi
1687
1688           # Send the packet.
1689           dmac=00000000ff$is$js
1690           # Calculate a 4th octet for the destination that is
1691           # unique per $s, avoids the .1 .2 .3 and .254 IP addresses
1692           # that have static MAC bindings, and fits in the range
1693           # 0-255.
1694           o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1695           dip=`ip_to_hex 192 168 $id$jd $o4`
1696           test_ip $s $smac $dmac $sip $dip
1697
1698           # Every LP on the destination subnet's lswitch should
1699           # receive the ARP request.
1700           lrmac=00000000ff$id$jd
1701           lrip=`ip_to_hex 192 168 $id$jd 254`
1702           arp=ffffffffffff${lrmac}08060001080006040001${lrmac}${lrip}000000000000${dip}
1703           for jd2 in 1 2 3; do
1704             for kd in 1 2 3; do
1705               echo $arp | trim_zeros >> $id$jd2$kd.expected
1706             done
1707           done
1708         done
1709       done
1710     done
1711   done
1712 done
1713
1714 # test_arp INPORT SHA SPA TPA [REPLY_HA]
1715 #
1716 # Causes a packet to be received on INPORT.  The packet is an ARP
1717 # request with SHA, SPA, and TPA as specified.  If REPLY_HA is provided, then
1718 # it should be the hardware address of the target to expect to receive in an
1719 # ARP reply; otherwise no reply is expected.
1720 #
1721 # INPORT is an logical switch port number, e.g. 11 for vif11.
1722 # SHA and REPLY_HA are each 12 hex digits.
1723 # SPA and TPA are each 8 hex digits.
1724 test_arp() {
1725     local inport=$1 sha=$2 spa=$3 tpa=$4 reply_ha=$5
1726     local request=ffffffffffff${sha}08060001080006040001${sha}${spa}ffffffffffff${tpa}
1727     hv=hv`vif_to_hv $inport`
1728     as $hv ovs-appctl netdev-dummy/receive vif$inport $request
1729     #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $request
1730
1731     # Expect to receive the broadcast ARP on the other logical switch ports if
1732     # IP address is not configured to the switch patch port.
1733     local i=`vif_to_ls $inport`
1734     local j k
1735     for j in 1 2 3; do
1736         for k in 1 2 3; do
1737             # 192.168.33.254 is configured to the switch patch port for lrp33,
1738             # so no ARP flooding expected for it.
1739             if test $i$j$k != $inport && test $tpa != `ip_to_hex 192 168 33 254`; then
1740                 echo $request >> $i$j$k.expected
1741             fi
1742         done
1743     done
1744
1745     # Expect to receive the reply, if any.
1746     if test X$reply_ha != X; then
1747         lrp=`vif_to_lrp $inport`
1748         local reply=${sha}00000000ff${lrp}08060001080006040002${reply_ha}${tpa}${sha}${spa}
1749         echo $reply >> $inport.expected
1750     fi
1751 }
1752
1753 # Test router replies to ARP requests from all source ports:
1754 #
1755 # 4. Router replies to query for its MAC address from port's own IP address.
1756 #
1757 # 5. Router replies to query for its MAC address from any random IP address
1758 #    in its subnet.
1759 #
1760 # 6. Router replies to query for its MAC address from another subnet.
1761 #
1762 # 7. No reply to query for IP address other than router IP.
1763 for i in 1 2 3; do
1764   for j in 1 2 3; do
1765     for k in 1 2 3; do
1766       smac=f00000000$i$j$k               # Source MAC
1767       sip=`ip_to_hex 192 168 $i$j $k`    # Source IP
1768       rip=`ip_to_hex 192 168 $i$j 254`   # Router IP
1769       rmac=00000000ff$i$j                # Router MAC
1770       otherip=`ip_to_hex 192 168 $i$j 55` # Some other IP in subnet
1771       test_arp $i$j$k $smac $sip        $rip        $rmac #4
1772       test_arp $i$j$k $smac $otherip    $rip        $rmac #5
1773       test_arp $i$j$k $smac 0a123456    $rip        $rmac #6
1774       test_arp $i$j$k $smac $sip        $otherip          #7
1775     done
1776   done
1777 done
1778
1779 # Allow some time for packet forwarding.
1780 # XXX This can be improved.
1781 sleep 1
1782
1783 # 8. Generate an ARP reply for each of the IP addresses ARPed for
1784 #    earlier as #3.
1785 #
1786 #    Here, the $s is the VIF that originated the ARP request and $d is
1787 #    the VIF that sends the ARP reply, which is somewhat backward but
1788 #    it means that $s and $d are the same as #3.
1789 : > mac_bindings.expected
1790 for is in 1 2 3; do
1791   for js in 1 2 3; do
1792     for ks in 1 2 3; do
1793       s=$is$js$ks
1794       for id in 1 2 3; do
1795         for jd in 1 2 3; do
1796           if test $is$js = $id$jd; then
1797             continue
1798           fi
1799
1800           kd=1
1801           d=$id$jd$kd
1802
1803           o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1804           host_ip=`ip_to_hex 192 168 $id$jd $o4`
1805           host_mac=8000000000$o4
1806
1807           lrmac=00000000ff$id$jd
1808           lrip=`ip_to_hex 192 168 $id$jd 254`
1809
1810           arp=${lrmac}${host_mac}08060001080006040002${host_mac}${host_ip}${lrmac}${lrip}
1811
1812           echo
1813           echo
1814           echo
1815           hv=hv`vif_to_hv $d`
1816           as $hv ovs-appctl netdev-dummy/receive vif$d $arp
1817           #as $hv ovs-appctl ofproto/trace br-int in_port=$d $arp
1818           #as $hv ovs-ofctl dump-flows br-int table=19
1819
1820           host_ip_pretty=192.168.$id$jd.$o4
1821           host_mac_pretty=80:00:00:00:00:$o4
1822           echo lrp$id$jd,$host_ip_pretty,$host_mac_pretty >> mac_bindings.expected
1823         done
1824       done
1825     done
1826   done
1827 done
1828
1829 # Allow some time for packet forwarding.
1830 # XXX This can be improved.
1831 sleep 1
1832
1833 # 9. Send an IP packet from every logical port to every other subnet.  These
1834 #    are the same packets already sent as #3, but now the destinations' IP-MAC
1835 #    bindings have been discovered via ARP, so instead of provoking an ARP
1836 #    request, these packets now get routed to their destinations (which don't
1837 #    have static MAC bindings, so they go to the port we've designated as
1838 #    accepting "unknown" MACs.)
1839 for is in 1 2 3; do
1840   for js in 1 2 3; do
1841     for ks in 1 2 3; do
1842       s=$is$js$ks
1843       smac=f00000000$s
1844       sip=`ip_to_hex 192 168 $is$js $ks`
1845       for id in 1 2 3; do
1846         for jd in 1 2 3; do
1847           if test $is$js = $id$jd; then
1848             continue
1849           fi
1850
1851           # Send the packet.
1852           dmac=00000000ff$is$js
1853           # Calculate a 4th octet for the destination that is
1854           # unique per $s, avoids the .1 .2 .3 and .254 IP addresses
1855           # that have static MAC bindings, and fits in the range
1856           # 0-255.
1857           o4=`expr $is '*' 9 + $js '*' 3 + $ks + 10`
1858           dip=`ip_to_hex 192 168 $id$jd $o4`
1859           test_ip $s $smac $dmac $sip $dip
1860
1861           # Expect the packet egress.
1862           host_mac=8000000000$o4
1863           outport=${id}11
1864           out_lrp=$id$jd
1865           echo ${host_mac}00000000ff${out_lrp}08004500001c00000000"3f1101"00${sip}${dip}0035111100080000 | trim_zeros >> $outport.expected
1866         done
1867       done
1868     done
1869   done
1870 done
1871
1872 # Allow some time for packet forwarding.
1873 # XXX This can be improved.
1874 sleep 1
1875
1876 ovn-sbctl -f csv -d bare --no-heading \
1877     -- --columns=logical_port,ip,mac list mac_binding > mac_bindings
1878
1879 # Now check the packets actually received against the ones expected.
1880 for i in 1 2 3; do
1881     for j in 1 2 3; do
1882         for k in 1 2 3; do
1883             file=hv`vif_to_hv $i$j$k`/vif$i$j$k-tx.pcap
1884             echo $file
1885             $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j$k.packets
1886             sort $i$j$k.expected > expout
1887             AT_CHECK([sort $i$j$k.packets], [0], [expout])
1888             echo
1889         done
1890     done
1891 done
1892
1893 # Check the MAC bindings against those expected.
1894 AT_CHECK_UNQUOTED([sort < mac_bindings], [0], [`sort < mac_bindings.expected`
1895 ])
1896
1897 # Gracefully terminate daemons
1898 OVN_CLEANUP([hv1], [hv2], [hv3])
1899
1900 AT_CLEANUP
1901
1902 # 3 hypervisors, one logical switch, 3 logical ports per hypervisor
1903 AT_SETUP([ovn -- portsecurity : 3 HVs, 1 LS, 3 lports/HV])
1904 AT_KEYWORDS([portsecurity])
1905 AT_SKIP_IF([test $HAVE_PYTHON = no])
1906 ovn_start
1907
1908 # Create hypervisors hv[123].
1909 # Add vif1[123] to hv1, vif2[123] to hv2, vif3[123] to hv3.
1910 # Add all of the vifs to a single logical switch lsw0.
1911 # Turn off port security on vifs vif[123]1
1912 # Turn on l2 port security on vifs vif[123]2
1913 # Turn of l2 and l3 port security on vifs vif[123]3
1914 # Make vif13, vif2[23], vif3[123] destinations for unknown MACs.
1915 ovn-nbctl ls-add lsw0
1916 net_add n1
1917 for i in 1 2 3; do
1918     sim_add hv$i
1919     as hv$i
1920     ovs-vsctl add-br br-phys
1921     ovn_attach n1 br-phys 192.168.0.$i
1922
1923     for j in 1 2 3; do
1924         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
1925         ovn-nbctl lsp-add lsw0 lp$i$j
1926         if test $j = 1; then
1927             ovn-nbctl lsp-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" unknown
1928         elif test $j = 2; then
1929             ovn-nbctl lsp-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j"
1930             ovn-nbctl lsp-set-port-security lp$i$j f0:00:00:00:00:$i$j
1931         else
1932             extra_addr="f0:00:00:00:0$i:$i$j fe80::ea2a:eaff:fe28:$i$j"
1933             ovn-nbctl lsp-set-addresses lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" "$extra_addr"
1934             ovn-nbctl lsp-set-port-security lp$i$j "f0:00:00:00:00:$i$j 192.168.0.$i$j" "$extra_addr"
1935         fi
1936     done
1937 done
1938
1939 # Pre-populate the hypervisors' ARP tables so that we don't lose any
1940 # packets for ARP resolution (native tunneling doesn't queue packets
1941 # for ARP resolution).
1942 ovn_populate_arp
1943
1944 # Allow some time for ovn-northd and ovn-controller to catch up.
1945 # XXX This should be more systematic.
1946 sleep 1
1947
1948 # Given the name of a logical port, prints the name of the hypervisor
1949 # on which it is located.
1950 vif_to_hv() {
1951     echo hv${1%?}
1952 }
1953
1954
1955 trim_zeros() {
1956     sed 's/\(00\)\{1,\}$//'
1957 }
1958 for i in 1 2 3; do
1959     for j in 1 2 3; do
1960         : > $i$j.expected
1961     done
1962 done
1963
1964 # test_ip INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
1965 #
1966 # This shell function causes an ip packet to be received on INPORT.
1967 # The packet's content has Ethernet destination DST and source SRC
1968 # (each exactly 12 hex digits) and Ethernet type ETHTYPE (4 hex digits).
1969 # The OUTPORTs (zero or more) list the VIFs on which the packet should
1970 # be received.  INPORT and the OUTPORTs are specified as logical switch
1971 # port numbers, e.g. 11 for vif11.
1972 test_ip() {
1973     # This packet has bad checksums but logical L3 routing doesn't check.
1974     local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
1975     local packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}003511110008
1976     shift; shift; shift; shift; shift
1977     hv=`vif_to_hv $inport`
1978     as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
1979     #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
1980     for outport; do
1981         echo $packet | trim_zeros >> $outport.expected
1982     done
1983 }
1984
1985 # test_arp INPORT SHA SPA TPA DROP [REPLY_HA]
1986 #
1987 # Causes a packet to be received on INPORT.  The packet is an ARP
1988 # request with SHA, SPA, and TPA as specified.  If REPLY_HA is provided, then
1989 # it should be the hardware address of the target to expect to receive in an
1990 # ARP reply; otherwise no reply is expected.
1991 #
1992 # INPORT is an logical switch port number, e.g. 11 for vif11.
1993 # SHA and REPLY_HA are each 12 hex digits.
1994 # SPA and TPA are each 8 hex digits.
1995 test_arp() {
1996     local inport=$1 smac=$2 sha=$3 spa=$4 tpa=$5 drop=$6 reply_ha=$7
1997     local request=ffffffffffff${smac}08060001080006040001${sha}${spa}ffffffffffff${tpa}
1998     hv=`vif_to_hv $inport`
1999     as $hv ovs-appctl netdev-dummy/receive vif$inport $request
2000     #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $request
2001     if test $drop != 1; then
2002         if test X$reply_ha = X; then
2003             # Expect to receive the broadcast ARP on the other logical switch ports
2004             # if no reply is expected.
2005             local i j
2006             for i in 1 2 3; do
2007                 for j in 1 2 3; do
2008                     if test $i$j != $inport; then
2009                         echo $request >> $i$j.expected
2010                     fi
2011                 done
2012             done
2013         else
2014             # Expect to receive the reply, if any.
2015             local reply=${smac}${reply_ha}08060001080006040002${reply_ha}${tpa}${sha}${spa}
2016             echo $reply >> $inport.expected
2017         fi
2018     fi
2019 }
2020
2021 # test_ipv6 INPORT SRC_MAC DST_MAC SRC_IP DST_IP OUTPORT...
2022 # This function is similar to test_ip() except that it sends
2023 # ipv6 packet
2024 test_ipv6() {
2025     local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5
2026     local packet=${dst_mac}${src_mac}86dd6000000000083aff${src_ip}${dst_ip}0000000000000000
2027     shift; shift; shift; shift; shift
2028     hv=`vif_to_hv $inport`
2029     as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
2030     #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
2031     for outport; do
2032         echo $packet | trim_zeros >> $outport.expected
2033     done
2034 }
2035
2036 # test_icmpv6 INPORT  SRC_MAC DST_MAC SRC_IP DST_IP ICMP_TYPE OUTPORT...
2037 # This function is similar to test_ipv6() except it specifies the ICMPv6 type
2038 # of the test packet
2039 test_icmpv6() {
2040     local inport=$1 src_mac=$2 dst_mac=$3 src_ip=$4 dst_ip=$5 icmp_type=$6
2041     local packet=${dst_mac}${src_mac}86dd6000000000083aff${src_ip}${dst_ip}${icmp_type}00000000000000
2042     shift; shift; shift; shift; shift; shift
2043     hv=`vif_to_hv $inport`
2044     as $hv ovs-appctl netdev-dummy/receive vif$inport $packet
2045     #as $hv ovs-appctl ofproto/trace br-int in_port=$inport $packet
2046     for outport; do
2047         echo $packet | trim_zeros >> $outport.expected
2048     done
2049 }
2050
2051 ip_to_hex() {
2052     printf "%02x%02x%02x%02x" "$@"
2053 }
2054
2055 # no port security
2056 sip=`ip_to_hex 192 168 0 12`
2057 tip=`ip_to_hex 192 168 0 13`
2058 # the arp packet should be allowed even if lp[123]1 is
2059 # not configured with mac f00000000023 and ip 192.168.0.12
2060 for i in 1 2 3; do
2061     test_arp ${i}1 f00000000023 f00000000023 $sip $tip 0 f00000000013
2062     for j in 1 2 3; do
2063         if test $i != $j; then
2064             test_ip ${i}1 f000000000${i}1 f000000000${j}1 $sip $tip ${j}1
2065         fi
2066     done
2067 done
2068
2069 # l2 port security
2070 sip=`ip_to_hex 192 168 0 12`
2071 tip=`ip_to_hex 192 168 0 13`
2072
2073 # arp packet should be allowed since lp22 is configured with
2074 # mac f00000000022
2075 test_arp 22 f00000000022 f00000000022 $sip $tip 0 f00000000013
2076
2077 # arp packet should not be allowed since lp32 is not configured with
2078 # mac f00000000021
2079 test_arp 32 f00000000021 f00000000021 $sip $tip 1
2080
2081 # arp packet with sha set to f00000000021 should not be allowed
2082 # for lp12
2083 test_arp 12 f00000000012 f00000000021 $sip $tip 1
2084
2085 # ip packets should be allowed and received since lp[123]2 do not
2086 # have l3 port security
2087 sip=`ip_to_hex 192 168 0 55`
2088 tip=`ip_to_hex 192 168 0 66`
2089 for i in 1 2 3; do
2090     for j in 1 2 3; do
2091         if test $i != $j; then
2092             test_ip ${i}2 f000000000${i}2 f000000000${j}2 $sip $tip ${j}2
2093         fi
2094     done
2095 done
2096
2097 # ipv6 packets should be received by lp[123]2
2098 # lp[123]1 can send ipv6 traffic as there is no port security
2099 sip=fe800000000000000000000000000000
2100 tip=ff020000000000000000000000000000
2101
2102 for i in 1 2 3; do
2103     test_ipv6 ${i}1 f000000000${i}1 f000000000${i}2 $sip $tip ${i}2
2104 done
2105
2106
2107 # l2 and l3 port security
2108 sip=`ip_to_hex 192 168 0 13`
2109 tip=`ip_to_hex 192 168 0 22`
2110 # arp packet should be allowed since lp13 is configured with
2111 # f00000000013 and 192.168.0.13
2112 test_arp 13 f00000000013 f00000000013 $sip $tip 0 f00000000022
2113
2114 # the arp packet should be dropped because lp23 is not configured
2115 # with mac f00000000022
2116 sip=`ip_to_hex 192 168 0 13`
2117 tip=`ip_to_hex 192 168 0 22`
2118 test_arp 23 f00000000022 f00000000022 $sip $tip 1
2119
2120 # the arp packet should be dropped because lp33 is not configured
2121 # with ip 192.168.0.55
2122 spa=`ip_to_hex 192 168 0 55`
2123 tpa=`ip_to_hex 192 168 0 22`
2124 test_arp 33 f00000000031 f00000000031 $spa $tpa 1
2125
2126 # ip packets should not be received by lp[123]3 since
2127 # l3 port security is enabled
2128 sip=`ip_to_hex 192 168 0 55`
2129 tip=`ip_to_hex 192 168 0 66`
2130 for i in 1 2 3; do
2131     for j in 1 2 3; do
2132         test_ip ${i}2 f000000000${i}2 f000000000${j}3 $sip $tip
2133     done
2134 done
2135
2136 # ipv6 packets should be dropped for lp[123]3 since
2137 # it is configured with only ipv4 address
2138 sip=fe800000000000000000000000000000
2139 tip=ff020000000000000000000000000000
2140
2141 for i in 1 2 3; do
2142     test_ipv6 ${i}3 f000000000${i}3 f00000000022 $sip $tip
2143 done
2144
2145 # ipv6 packets should not be received by lp[123]3 with mac f000000000$[123]3
2146 # lp[123]1 can send ipv6 traffic as there is no port security
2147 for i in 1 2 3; do
2148     test_ipv6 ${i}1 f000000000${i}1 f000000000${i}3 $sip $tip
2149 done
2150
2151 # lp13 has extra port security with mac f0000000113 and ipv6 addr
2152 # fe80::ea2a:eaff:fe28:0012
2153
2154 # ipv4 packet should be dropped for lp13 with mac f0000000113
2155 sip=`ip_to_hex 192 168 0 13`
2156 tip=`ip_to_hex 192 168 0 23`
2157 test_ip 13 f00000000113 f00000000023 $sip $tip
2158
2159 # ipv6 packet should be received by lp[123]3 with mac f0000000{i}{i}3
2160 # and ip6.dst as fe80::ea2a:eaff:fe28:0{i}{i}3.
2161 # lp11 can send ipv6 traffic as there is no port security
2162 sip=ee800000000000000000000000000000
2163 for i in 1 2 3; do
2164     tip=fe80000000000000ea2aeafffe2800{i}3
2165     test_ipv6 11 f00000000011 f000000000{i}${i}3 $sip $tip {i}3
2166 done
2167
2168
2169 # ipv6 packet should not be received by lp33 with mac f0000000333
2170 # and ip6.dst as fe80::ea2a:eaff:fe28:0023 as it is
2171 # configured with fe80::ea2a:eaff:fe28:0033
2172 # lp11 can send ipv6 traffic as there is no port security
2173
2174 sip=ee800000000000000000000000000000
2175 tip=fe80000000000000ea2aeafffe280023
2176 test_ipv6 11 f00000000011 f00000000333 $sip $tip
2177
2178 # ipv6 packet should be allowed for lp[123]3 with mac f0000000{i}{i}3
2179 # and ip6.src fe80::ea2a:eaff:fe28:0{i}{i}3 and ip6.src ::.
2180 # and should be dropped for any other ip6.src
2181 # lp21 can receive ipv6 traffic as there is no port security
2182
2183 tip=ee800000000000000000000000000000
2184 for i in 1 2 3; do
2185     sip=fe80000000000000ea2aeafffe2800${i}3
2186     test_ipv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip 21
2187
2188     # Test ICMPv6 MLD reports (v1 and v2) and NS for DAD
2189     sip=00000000000000000000000000000000
2190     test_icmpv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip ff020000000000000000000000160000 83 21
2191     test_icmpv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip ff020000000000000000000000160000 8f 21
2192     test_icmpv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip ff0200000000000000ea2aeafffe2800 87 21
2193     # Traffic to non-multicast traffic should be dropped
2194     test_icmpv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip 83
2195     # Traffic of other ICMPv6 types should be dropped
2196     test_icmpv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip ff020000000000000000000000160000 80
2197
2198     # should be dropped
2199     sip=ae80000000000000ea2aeafffe2800aa
2200     test_ipv6 ${i}3 f00000000${i}${i}3 f00000000021 $sip $tip
2201 done
2202
2203 # configure lsp13 to send and received IPv4 packets with an address range
2204 ovn-nbctl lsp-set-port-security lp13 "f0:00:00:00:00:13 192.168.0.13 20.0.0.4/24 10.0.0.0/24"
2205
2206 sleep 2
2207
2208 sip=`ip_to_hex 10 0 0 13`
2209 tip=`ip_to_hex 192 168 0 22`
2210 # arp packet with inner ip 10.0.0.13 should be allowed for lsp13
2211 test_arp 13 f00000000013 f00000000013 $sip $tip 0 f00000000022
2212
2213 sip=`ip_to_hex 10 0 0 14`
2214 tip=`ip_to_hex 192 168 0 23`
2215 # IPv4 packet from lsp13 with src ip 10.0.0.14 destined to lsp23
2216 # with dst ip 192.168.0.23 should be allowed
2217 test_ip 13 f00000000013 f00000000023 $sip $tip 23
2218
2219 sip=`ip_to_hex 192 168 0 33`
2220 tip=`ip_to_hex 10 0 0 15`
2221 # IPv4 packet from lsp33 with src ip 192.168.0.33 destined to lsp13
2222 # with dst ip 10.0.0.15 should be received by lsp13
2223 test_ip 33 f00000000033 f00000000013 $sip $tip 13
2224
2225 sip=`ip_to_hex 192 168 0 33`
2226 tip=`ip_to_hex 20 0 0 4`
2227 # IPv4 packet from lsp33 with src ip 192.168.0.33 destined to lsp13
2228 # with dst ip 20.0.0.4 should be received by lsp13
2229 test_ip 33 f00000000033 f00000000013 $sip $tip 13
2230
2231 sip=`ip_to_hex 192 168 0 33`
2232 tip=`ip_to_hex 20 0 0 5`
2233 # IPv4 packet from lsp33 with src ip 192.168.0.33 destined to lsp13
2234 # with dst ip 20.0.0.5 should not be received by lsp13
2235 test_ip 33 f00000000033 f00000000013 $sip $tip
2236
2237 sip=`ip_to_hex 192 168 0 33`
2238 tip=`ip_to_hex 20 0 0 255`
2239 # IPv4 packet from lsp33 with src ip 192.168.0.33 destined to lsp13
2240 # with dst ip 20.0.0.255 should be received by lsp13
2241 test_ip 33 f00000000033 f00000000013 $sip $tip 13
2242
2243 sip=`ip_to_hex 192 168 0 33`
2244 tip=`ip_to_hex 192 168 0 255`
2245 # IPv4 packet from lsp33 with src ip 192.168.0.33 destined to lsp13
2246 # with dst ip 192.168.0.255 should not be received by lsp13
2247 test_ip 33 f00000000033 f00000000013 $sip $tip
2248
2249 sip=`ip_to_hex 192 168 0 33`
2250 tip=`ip_to_hex 224 0 0 4`
2251 # IPv4 packet from lsp33 with src ip 192.168.0.33 destined to lsp13
2252 # with dst ip 224.0.0.4  should be received by lsp13
2253 test_ip 33 f00000000033 f00000000013 $sip $tip 13
2254
2255 # Allow some time for packet forwarding.
2256
2257 # XXX This can be improved.
2258 sleep 1
2259
2260 #dump information including flow counters
2261 ovn-nbctl show
2262 ovn-sbctl dump-flows -- list multicast_group
2263
2264 echo "------ hv1 dump ------"
2265 as hv1 ovs-vsctl show
2266 as hv1 ovs-ofctl -O OpenFlow13 show br-int
2267 as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
2268
2269 echo "------ hv2 dump ------"
2270 as hv2 ovs-vsctl show
2271 as hv2 ovs-ofctl -O OpenFlow13 show br-int
2272 as hv2 ovs-ofctl -O OpenFlow13 dump-flows br-int
2273
2274 echo "------ hv3 dump ------"
2275 as hv3 ovs-vsctl show
2276 as hv3 ovs-ofctl -O OpenFlow13 show br-int
2277 as hv3 ovs-ofctl -O OpenFlow13 dump-flows br-int
2278
2279 # Now check the packets actually received against the ones expected.
2280 for i in 1 2 3; do
2281     for j in 1 2 3; do
2282         file=hv$i/vif$i$j-tx.pcap
2283         echo $file
2284         $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i$j.packets
2285         sort $i$j.expected > expout
2286         AT_CHECK([sort $i$j.packets], [0], [expout])
2287         echo
2288     done
2289 done
2290
2291 OVN_CLEANUP([hv1],[hv2],[hv3])
2292
2293 AT_CLEANUP
2294
2295 AT_SETUP([ovn -- 2 HVs, 2 LS, 1 lport/LS, 2 peer LRs])
2296 AT_KEYWORDS([ovnpeer])
2297 AT_SKIP_IF([test $HAVE_PYTHON = no])
2298 ovn_start
2299
2300 # Logical network:
2301 # Two LRs - R1 and R2 that are connected to each other as peers in 20.0.0.0/24
2302 # network. R1 has a switchs ls1 (191.168.1.0/24) connected to it.
2303 # R2 has ls2 (172.16.1.0/24) connected to it.
2304
2305 ovn-nbctl lr-add R1
2306 ovn-nbctl lr-add R2
2307
2308 ovn-nbctl ls-add ls1
2309 ovn-nbctl ls-add ls2
2310
2311 # Connect ls1 to R1
2312 ovn-nbctl lrp-add R1 ls1 00:00:00:01:02:03 192.168.1.1/24
2313
2314 ovn-nbctl lsp-add ls1 rp-ls1 -- set Logical_Switch_Port rp-ls1 type=router \
2315   options:router-port=ls1 addresses=\"00:00:00:01:02:03\"
2316
2317 # Connect ls2 to R2
2318 ovn-nbctl lrp-add R2 ls2 00:00:00:01:02:04 172.16.1.1/24
2319
2320 ovn-nbctl lsp-add ls2 rp-ls2 -- set Logical_Switch_Port rp-ls2 type=router \
2321   options:router-port=ls2 addresses=\"00:00:00:01:02:04\"
2322
2323 # Connect R1 to R2
2324 ovn-nbctl lrp-add R1 R1_R2 00:00:00:02:03:04 20.0.0.1/24 peer=R2_R1
2325 ovn-nbctl lrp-add R2 R2_R1 00:00:00:02:03:05 20.0.0.2/24 peer=R1_R2
2326
2327 ovn-nbctl lr-route-add R1 "0.0.0.0/0" 20.0.0.2
2328 ovn-nbctl lr-route-add R2 "0.0.0.0/0" 20.0.0.1
2329
2330 # Create logical port ls1-lp1 in ls1
2331 ovn-nbctl lsp-add ls1 ls1-lp1 \
2332 -- lsp-set-addresses ls1-lp1 "f0:00:00:01:02:03 192.168.1.2"
2333
2334 # Create logical port ls2-lp1 in ls2
2335 ovn-nbctl lsp-add ls2 ls2-lp1 \
2336 -- lsp-set-addresses ls2-lp1 "f0:00:00:01:02:04 172.16.1.2"
2337
2338 # Create two hypervisor and create OVS ports corresponding to logical ports.
2339 net_add n1
2340
2341 sim_add hv1
2342 as hv1
2343 ovs-vsctl add-br br-phys
2344 ovn_attach n1 br-phys 192.168.0.1
2345 ovs-vsctl -- add-port br-int hv1-vif1 -- \
2346     set interface hv1-vif1 external-ids:iface-id=ls1-lp1 \
2347     options:tx_pcap=hv1/vif1-tx.pcap \
2348     options:rxq_pcap=hv1/vif1-rx.pcap \
2349     ofport-request=1
2350
2351 sim_add hv2
2352 as hv2
2353 ovs-vsctl add-br br-phys
2354 ovn_attach n1 br-phys 192.168.0.2
2355 ovs-vsctl -- add-port br-int hv2-vif1 -- \
2356     set interface hv2-vif1 external-ids:iface-id=ls2-lp1 \
2357     options:tx_pcap=hv2/vif1-tx.pcap \
2358     options:rxq_pcap=hv2/vif1-rx.pcap \
2359     ofport-request=1
2360
2361
2362 # Pre-populate the hypervisors' ARP tables so that we don't lose any
2363 # packets for ARP resolution (native tunneling doesn't queue packets
2364 # for ARP resolution).
2365 ovn_populate_arp
2366
2367 # Allow some time for ovn-northd and ovn-controller to catch up.
2368 # XXX This should be more systematic.
2369 sleep 1
2370
2371 # Send ip packets between the two ports.
2372 ip_to_hex() {
2373     printf "%02x%02x%02x%02x" "$@"
2374 }
2375 trim_zeros() {
2376     sed 's/\(00\)\{1,\}$//'
2377 }
2378
2379 # Packet to send.
2380 src_mac="f00000010203"
2381 dst_mac="000000010203"
2382 src_ip=`ip_to_hex 192 168 1 2`
2383 dst_ip=`ip_to_hex 172 16 1 2`
2384 packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
2385 as hv1 ovs-appctl netdev-dummy/receive hv1-vif1 $packet
2386
2387
2388 echo "---------NB dump-----"
2389 ovn-nbctl show
2390 echo "---------------------"
2391 ovn-nbctl list logical_router
2392 echo "---------------------"
2393 ovn-nbctl list logical_router_port
2394 echo "---------------------"
2395
2396 echo "---------SB dump-----"
2397 ovn-sbctl list datapath_binding
2398 echo "---------------------"
2399 ovn-sbctl list port_binding
2400 echo "---------------------"
2401
2402 echo "------ hv1 dump ----------"
2403 as hv1 ovs-ofctl show br-int
2404 as hv1 ovs-ofctl dump-flows br-int
2405 echo "------ hv2 dump ----------"
2406 as hv2 ovs-ofctl show br-int
2407 as hv2 ovs-ofctl dump-flows br-int
2408
2409 # Packet to Expect
2410 src_mac="000000010204"
2411 dst_mac="f00000010204"
2412 expected=${dst_mac}${src_mac}08004500001c000000003e110200${src_ip}${dst_ip}0035111100080000
2413
2414 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv2/vif1-tx.pcap | trim_zeros > received.packets
2415 echo $expected | trim_zeros > expout
2416 AT_CHECK([cat received.packets], [0], [expout])
2417
2418 OVN_CLEANUP([hv1],[hv2])
2419
2420 AT_CLEANUP
2421
2422
2423 AT_SETUP([ovn -- 1 HV, 1 LS, 2 lport/LS, 1 LR])
2424 AT_KEYWORDS([router-admin-state])
2425 AT_SKIP_IF([test $HAVE_PYTHON = no])
2426 ovn_start
2427
2428 # Logical network:
2429 # One LR - R1 has switch ls1 with two subnets attached to it (191.168.1.0/24
2430 # and 172.16.1.0/24) connected to it.
2431
2432 ovn-nbctl lr-add R1
2433
2434 ovn-nbctl ls-add ls1
2435
2436 # Connect ls1 to R1
2437 ovn-nbctl lrp-add R1 ls1 00:00:00:01:02:03 192.168.1.1/24 172.16.1.1/24
2438 ovn-nbctl lsp-add ls1 rp-ls1 -- set Logical_Switch_Port rp-ls1 type=router \
2439           options:router-port=ls1 addresses=\"00:00:00:01:02:03\"
2440
2441 # Create logical port ls1-lp1 in ls1
2442 ovn-nbctl lsp-add ls1 ls1-lp1 \
2443           -- lsp-set-addresses ls1-lp1 "f0:00:00:01:02:03 192.168.1.2"
2444
2445 # Create logical port ls1-lp2 in ls1
2446 ovn-nbctl lsp-add ls1 ls1-lp2 \
2447           -- lsp-set-addresses ls1-lp2 "f0:00:00:01:02:04 172.16.1.2"
2448
2449 # Create one hypervisor and create OVS ports corresponding to logical ports.
2450 net_add n1
2451
2452 sim_add hv1
2453 as hv1
2454 ovs-vsctl add-br br-phys
2455 ovn_attach n1 br-phys 192.168.0.1
2456 ovs-vsctl -- add-port br-int vif1 -- \
2457     set interface vif1 external-ids:iface-id=ls1-lp1 \
2458     options:tx_pcap=hv1/vif1-tx.pcap \
2459     options:rxq_pcap=hv1/vif1-rx.pcap \
2460     ofport-request=1
2461
2462 ovs-vsctl -- add-port br-int vif2 -- \
2463     set interface vif2 external-ids:iface-id=ls1-lp2 \
2464     options:tx_pcap=hv1/vif2-tx.pcap \
2465     options:rxq_pcap=hv1/vif2-rx.pcap \
2466     ofport-request=1
2467
2468
2469 # Allow some time for ovn-northd and ovn-controller to catch up.
2470 # XXX This should be more systematic.
2471 sleep 1
2472
2473 # Send ip packets between the two ports.
2474 ip_to_hex() {
2475     printf "%02x%02x%02x%02x" "$@"
2476 }
2477 trim_zeros() {
2478     sed 's/\(00\)\{1,\}$//'
2479 }
2480
2481 # Packet to send.
2482 src_mac="f00000010203"
2483 dst_mac="000000010203"
2484 src_ip=`ip_to_hex 192 168 1 2`
2485 dst_ip=`ip_to_hex 172 16 1 2`
2486 packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
2487 as hv1 ovs-appctl netdev-dummy/receive vif1 $packet
2488
2489
2490 echo "---------NB dump-----"
2491 ovn-nbctl show
2492 echo "---------------------"
2493 ovn-nbctl list logical_router
2494 echo "---------------------"
2495 ovn-nbctl list logical_router_port
2496 echo "---------------------"
2497
2498 echo "---------SB dump-----"
2499 ovn-sbctl list datapath_binding
2500 echo "---------------------"
2501 ovn-sbctl list logical_flow
2502 echo "---------------------"
2503
2504 echo "------ hv1 dump ----------"
2505 as hv1 ovs-ofctl dump-flows br-int
2506
2507
2508 #Disable router R1
2509 ovn-nbctl set Logical_Router R1 enabled=false
2510
2511 echo "---------SB dump-----"
2512 ovn-sbctl list datapath_binding
2513 echo "---------------------"
2514 ovn-sbctl list logical_flow
2515 echo "---------------------"
2516
2517 echo "------ hv1 dump ----------"
2518 as hv1 ovs-ofctl dump-flows br-int
2519
2520 as hv1 ovs-appctl netdev-dummy/receive vif1 $packet
2521
2522 # Packet to Expect
2523 expect_src_mac="000000010203"
2524 expect_dst_mac="f00000010204"
2525 expected=${expect_dst_mac}${expect_src_mac}08004500001c000000003f110100${src_ip}${dst_ip}0035111100080000
2526
2527 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv1/vif2-tx.pcap | trim_zeros > received.packets
2528 echo $expected | trim_zeros > expout
2529 AT_CHECK([cat received.packets], [0], [expout])
2530
2531
2532 as hv1
2533 OVS_APP_EXIT_AND_WAIT([ovn-controller])
2534 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
2535 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2536
2537 as ovn-sb
2538 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2539
2540 as ovn-nb
2541 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2542
2543 as northd
2544 OVS_APP_EXIT_AND_WAIT([ovn-northd])
2545
2546 as main
2547 OVS_APP_EXIT_AND_WAIT([ovs-vswitchd])
2548 OVS_APP_EXIT_AND_WAIT([ovsdb-server])
2549
2550 AT_CLEANUP
2551
2552
2553 AT_SETUP([ovn -- 1 HV, 2 LSs, 1 lport/LS, 1 LR])
2554 AT_KEYWORDS([router-admin-state])
2555 AT_SKIP_IF([test $HAVE_PYTHON = no])
2556 ovn_start
2557
2558 # Logical network:
2559 # One LR - R1 has switch ls1 (191.168.1.0/24) connected to it,
2560 # and has switch ls2 (172.16.1.0/24) connected to it.
2561
2562 ovn-nbctl lr-add R1
2563
2564 ovn-nbctl ls-add ls1
2565 ovn-nbctl ls-add ls2
2566
2567 # Connect ls1 to R1
2568 ovn-nbctl lrp-add R1 ls1 00:00:00:01:02:03 192.168.1.1/24
2569 ovn-nbctl lsp-add ls1 rp-ls1 -- set Logical_Switch_Port rp-ls1 type=router \
2570           options:router-port=ls1 addresses=\"00:00:00:01:02:03\"
2571
2572 # Connect ls2 to R1
2573 ovn-nbctl lrp-add R1 ls2 00:00:00:01:02:04 172.16.1.1/24
2574 ovn-nbctl lsp-add ls2 rp-ls2 -- set Logical_Switch_Port rp-ls2 type=router \
2575           options:router-port=ls2 addresses=\"00:00:00:01:02:04\"
2576
2577 # Create logical port ls1-lp1 in ls1
2578 ovn-nbctl lsp-add ls1 ls1-lp1 \
2579 -- lsp-set-addresses ls1-lp1 "f0:00:00:01:02:03 192.168.1.2"
2580
2581 # Create logical port ls2-lp1 in ls2
2582 ovn-nbctl lsp-add ls2 ls2-lp1 \
2583 -- lsp-set-addresses ls2-lp1 "f0:00:00:01:02:04 172.16.1.2"
2584
2585 # Create one hypervisor and create OVS ports corresponding to logical ports.
2586 net_add n1
2587
2588 sim_add hv1
2589 as hv1
2590 ovs-vsctl add-br br-phys
2591 ovn_attach n1 br-phys 192.168.0.1
2592 ovs-vsctl -- add-port br-int vif1 -- \
2593     set interface vif1 external-ids:iface-id=ls1-lp1 \
2594     options:tx_pcap=hv1/vif1-tx.pcap \
2595     options:rxq_pcap=hv1/vif1-rx.pcap \
2596     ofport-request=1
2597
2598 ovs-vsctl -- add-port br-int vif2 -- \
2599     set interface vif2 external-ids:iface-id=ls2-lp1 \
2600     options:tx_pcap=hv1/vif2-tx.pcap \
2601     options:rxq_pcap=hv1/vif2-rx.pcap \
2602     ofport-request=1
2603
2604
2605 # Allow some time for ovn-northd and ovn-controller to catch up.
2606 # XXX This should be more systematic.
2607 sleep 1
2608
2609 # Send ip packets between the two ports.
2610 ip_to_hex() {
2611     printf "%02x%02x%02x%02x" "$@"
2612 }
2613 trim_zeros() {
2614     sed 's/\(00\)\{1,\}$//'
2615 }
2616
2617 # Packet to send.
2618 src_mac="f00000010203"
2619 dst_mac="000000010203"
2620 src_ip=`ip_to_hex 192 168 1 2`
2621 dst_ip=`ip_to_hex 172 16 1 2`
2622 packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
2623 as hv1 ovs-appctl netdev-dummy/receive vif1 $packet
2624
2625
2626 echo "---------NB dump-----"
2627 ovn-nbctl show
2628 echo "---------------------"
2629 ovn-nbctl list logical_router
2630 echo "---------------------"
2631 ovn-nbctl list logical_router_port
2632 echo "---------------------"
2633
2634 echo "---------SB dump-----"
2635 ovn-sbctl list datapath_binding
2636 echo "---------------------"
2637 ovn-sbctl list logical_flow
2638 echo "---------------------"
2639
2640 echo "------ hv1 dump ----------"
2641 as hv1 ovs-ofctl dump-flows br-int
2642
2643 #Disable router R1
2644 ovn-nbctl set Logical_Router R1 enabled=false
2645
2646 echo "---------SB dump-----"
2647 ovn-sbctl list datapath_binding
2648 echo "---------------------"
2649 ovn-sbctl list logical_flow
2650 echo "---------------------"
2651
2652 echo "------ hv1 dump ----------"
2653 as hv1 ovs-ofctl dump-flows br-int
2654
2655 # Allow some time for the disabling of logical router R1 to propagate.
2656 # XXX This should be more systematic.
2657 sleep 1
2658
2659 as hv1 ovs-appctl netdev-dummy/receive vif1 $packet
2660
2661 # Packet to Expect
2662 expect_src_mac="000000010204"
2663 expect_dst_mac="f00000010204"
2664 expected=${expect_dst_mac}${expect_src_mac}08004500001c000000003f110100${src_ip}${dst_ip}0035111100080000
2665
2666 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv1/vif2-tx.pcap | trim_zeros > received.packets
2667 echo $expected | trim_zeros > expout
2668 AT_CHECK([cat received.packets], [0], [expout])
2669
2670
2671 OVN_CLEANUP([hv1])
2672
2673 AT_CLEANUP
2674
2675 AT_SETUP([ovn -- 2 HVs, 3 LS, 1 lport/LS, 2 peer LRs, static routes])
2676 AT_KEYWORDS([ovnstaticroutespeer])
2677 AT_SKIP_IF([test $HAVE_PYTHON = no])
2678 ovn_start
2679
2680 # Logical network:
2681 # Two LRs - R1 and R2 that are connected to each other as peers in 20.0.0.0/24
2682 # network. R1 has switchess foo (192.168.1.0/24)
2683 # connected to it.
2684 # R2 has alice (172.16.1.0/24) and bob (172.16.2.0/24) connected to it.
2685
2686 ovn-nbctl lr-add R1
2687 ovn-nbctl lr-add R2
2688
2689 ovn-nbctl ls-add foo
2690 ovn-nbctl ls-add alice
2691 ovn-nbctl ls-add bob
2692
2693 # Connect foo to R1
2694 ovn-nbctl lrp-add R1 foo 00:00:00:01:02:03 192.168.1.1/24
2695 ovn-nbctl lsp-add foo rp-foo -- set Logical_Switch_Port rp-foo type=router \
2696           options:router-port=foo addresses=\"00:00:00:01:02:03\"
2697
2698 # Connect alice to R2
2699 ovn-nbctl lrp-add R2 alice 00:00:00:01:02:04 172.16.1.1/24
2700 ovn-nbctl lsp-add alice rp-alice -- set Logical_Switch_Port rp-alice \
2701           type=router options:router-port=alice addresses=\"00:00:00:01:02:04\"
2702
2703 # Connect bob to R2
2704 ovn-nbctl lrp-add R2 bob 00:00:00:01:02:05 172.16.2.1/24
2705 ovn-nbctl lsp-add bob rp-bob -- set Logical_Switch_Port rp-bob type=router \
2706           options:router-port=bob addresses=\"00:00:00:01:02:05\"
2707
2708 # Connect R1 to R2
2709 ovn-nbctl lrp-add R1 R1_R2 00:00:00:02:03:04 20.0.0.1/24 peer=R2_R1
2710 ovn-nbctl lrp-add R2 R2_R1 00:00:00:02:03:05 20.0.0.2/24 peer=R1_R2
2711
2712 #install static routes
2713 ovn-nbctl lr-route-add R1 172.16.1.0/24 20.0.0.2
2714 ovn-nbctl lr-route-add R2 172.16.2.0/24 20.0.0.2 R1_R2
2715 ovn-nbctl lr-route-add R2 192.168.1.0/24 20.0.0.1
2716
2717 # Create logical port foo1 in foo
2718 ovn-nbctl lsp-add foo foo1 \
2719 -- lsp-set-addresses foo1 "f0:00:00:01:02:03 192.168.1.2"
2720
2721 # Create logical port alice1 in alice
2722 ovn-nbctl lsp-add alice alice1 \
2723 -- lsp-set-addresses alice1 "f0:00:00:01:02:04 172.16.1.2"
2724
2725 # Create logical port bob1 in bob
2726 ovn-nbctl lsp-add bob bob1 \
2727 -- lsp-set-addresses bob1 "f0:00:00:01:02:05 172.16.2.2"
2728
2729 # Create two hypervisor and create OVS ports corresponding to logical ports.
2730 net_add n1
2731
2732 sim_add hv1
2733 as hv1
2734 ovs-vsctl add-br br-phys
2735 ovn_attach n1 br-phys 192.168.0.1
2736 ovs-vsctl -- add-port br-int hv1-vif1 -- \
2737     set interface hv1-vif1 external-ids:iface-id=foo1 \
2738     options:tx_pcap=hv1/vif1-tx.pcap \
2739     options:rxq_pcap=hv1/vif1-rx.pcap \
2740     ofport-request=1
2741
2742 ovs-vsctl -- add-port br-int hv1-vif2 -- \
2743     set interface hv1-vif2 external-ids:iface-id=alice1 \
2744     options:tx_pcap=hv1/vif2-tx.pcap \
2745     options:rxq_pcap=hv1/vif2-rx.pcap \
2746     ofport-request=2
2747
2748 sim_add hv2
2749 as hv2
2750 ovs-vsctl add-br br-phys
2751 ovn_attach n1 br-phys 192.168.0.2
2752 ovs-vsctl -- add-port br-int hv2-vif1 -- \
2753     set interface hv2-vif1 external-ids:iface-id=bob1 \
2754     options:tx_pcap=hv2/vif1-tx.pcap \
2755     options:rxq_pcap=hv2/vif1-rx.pcap \
2756     ofport-request=1
2757
2758
2759 # Pre-populate the hypervisors' ARP tables so that we don't lose any
2760 # packets for ARP resolution (native tunneling doesn't queue packets
2761 # for ARP resolution).
2762 ovn_populate_arp
2763
2764 # Allow some time for ovn-northd and ovn-controller to catch up.
2765 # XXX This should be more systematic.
2766 sleep 1
2767
2768 ip_to_hex() {
2769     printf "%02x%02x%02x%02x" "$@"
2770 }
2771 trim_zeros() {
2772     sed 's/\(00\)\{1,\}$//'
2773 }
2774
2775 # Send ip packets between foo1 and alice1
2776 src_mac="f00000010203"
2777 dst_mac="000000010203"
2778 src_ip=`ip_to_hex 192 168 1 2`
2779 dst_ip=`ip_to_hex 172 16 1 2`
2780 packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
2781 as hv1 ovs-appctl netdev-dummy/receive hv1-vif1 $packet
2782
2783 # Send ip packets between foo1 and bob1
2784 src_mac="f00000010203"
2785 dst_mac="000000010203"
2786 src_ip=`ip_to_hex 192 168 1 2`
2787 dst_ip=`ip_to_hex 172 16 2 2`
2788 packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
2789 as hv1 ovs-appctl netdev-dummy/receive hv1-vif1 $packet
2790
2791 echo "---------NB dump-----"
2792 ovn-nbctl show
2793 echo "---------------------"
2794 ovn-nbctl list logical_router
2795 echo "---------------------"
2796 ovn-nbctl list logical_router_port
2797 echo "---------------------"
2798
2799 echo "---------SB dump-----"
2800 ovn-sbctl list datapath_binding
2801 echo "---------------------"
2802 ovn-sbctl list port_binding
2803 echo "---------------------"
2804
2805 echo "------ hv1 dump ----------"
2806 as hv1 ovs-ofctl dump-flows br-int
2807 echo "------ hv2 dump ----------"
2808 as hv2 ovs-ofctl dump-flows br-int
2809
2810 # Packet to Expect at bob1
2811 src_mac="000000010205"
2812 dst_mac="f00000010205"
2813 src_ip=`ip_to_hex 192 168 1 2`
2814 dst_ip=`ip_to_hex 172 16 2 2`
2815 expected=${dst_mac}${src_mac}08004500001c000000003e110200${src_ip}${dst_ip}0035111100080000
2816
2817 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv2/vif1-tx.pcap | trim_zeros > received.packets
2818 echo $expected | trim_zeros > expout
2819 AT_CHECK([cat received.packets], [0], [expout])
2820
2821 # Packet to Expect at alice1
2822 src_mac="000000010204"
2823 dst_mac="f00000010204"
2824 src_ip=`ip_to_hex 192 168 1 2`
2825 dst_ip=`ip_to_hex 172 16 1 2`
2826 expected=${dst_mac}${src_mac}08004500001c000000003e110200${src_ip}${dst_ip}0035111100080000
2827
2828 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv1/vif2-tx.pcap | trim_zeros > received1.packets
2829 echo $expected | trim_zeros > expout
2830 AT_CHECK([cat received1.packets], [0], [expout])
2831
2832 OVN_CLEANUP([hv1],[hv2])
2833
2834 AT_CLEANUP
2835
2836 AT_SETUP([ovn -- send gratuitous arp on localnet])
2837 AT_KEYWORDS([ovn])
2838 AT_SKIP_IF([test $HAVE_PYTHON = no])
2839 ovn_start
2840 ovn-nbctl ls-add lsw0
2841 net_add n1
2842 sim_add hv
2843 as hv
2844 ovs-vsctl \
2845     -- add-br br-phys \
2846     -- add-br br-eth0
2847
2848 ovn_attach n1 br-phys 192.168.0.1
2849
2850 AT_CHECK([ovs-vsctl set Open_vSwitch . external-ids:ovn-bridge-mappings=physnet1:br-eth0])
2851 AT_CHECK([ovs-vsctl add-port br-eth0 snoopvif -- set Interface snoopvif options:tx_pcap=hv/snoopvif-tx.pcap options:rxq_pcap=hv/snoopvif-rx.pcap])
2852
2853 # Create a vif.
2854 AT_CHECK([ovn-nbctl lsp-add lsw0 localvif1])
2855 AT_CHECK([ovn-nbctl lsp-set-addresses localvif1 "f0:00:00:00:00:01 192.168.1.2"])
2856 AT_CHECK([ovn-nbctl lsp-set-port-security localvif1 "f0:00:00:00:00:01"])
2857
2858 # Create a localnet port.
2859 AT_CHECK([ovn-nbctl lsp-add lsw0 ln_port])
2860 AT_CHECK([ovn-nbctl lsp-set-addresses ln_port unknown])
2861 AT_CHECK([ovn-nbctl lsp-set-type ln_port localnet])
2862 AT_CHECK([ovn-nbctl lsp-set-options ln_port network_name=physnet1])
2863
2864 AT_CHECK([ovs-vsctl add-port br-int localvif1 -- set Interface localvif1 external_ids:iface-id=localvif1])
2865
2866 # Wait for packet to be received.
2867 OVS_WAIT_UNTIL([test `wc -c < "hv/snoopvif-tx.pcap"` -ge 50])
2868 trim_zeros() {
2869     sed 's/\(00\)\{1,\}$//'
2870 }
2871 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv/snoopvif-tx.pcap | trim_zeros > packets
2872 expected="fffffffffffff0000000000108060001080006040001f00000000001c0a80102000000000000c0a80102"
2873 echo $expected > expout
2874 AT_CHECK([sort packets], [0], [expout])
2875 cat packets
2876
2877 # Delete the localnet ports.
2878 AT_CHECK([ovs-vsctl del-port localvif1])
2879 AT_CHECK([ovn-nbctl lsp-del ln_port])
2880
2881 OVN_CLEANUP([hv])
2882
2883 AT_CLEANUP
2884
2885 AT_SETUP([ovn -- 2 HVs, 3 LRs connected via LS, static routes])
2886 AT_KEYWORDS([ovnstaticroutes])
2887 AT_SKIP_IF([test $HAVE_PYTHON = no])
2888 ovn_start
2889
2890 # Logical network:
2891 # Three LRs - R1, R2 and R3 that are connected to each other via LS "join"
2892 # in 20.0.0.0/24 network. R1 has switchess foo (192.168.1.0/24)
2893 # connected to it. R2 has alice (172.16.1.0/24) and R3 has bob (10.32.1.0/24)
2894 # connected to it.
2895
2896 ovn-nbctl lr-add R1
2897 ovn-nbctl lr-add R2
2898 ovn-nbctl lr-add R3
2899
2900 ovn-nbctl ls-add foo
2901 ovn-nbctl ls-add alice
2902 ovn-nbctl ls-add bob
2903 ovn-nbctl ls-add join
2904
2905 # Connect foo to R1
2906 ovn-nbctl lrp-add R1 foo 00:00:01:01:02:03 192.168.1.1/24
2907 ovn-nbctl lsp-add foo rp-foo -- set Logical_Switch_Port rp-foo type=router \
2908     options:router-port=foo addresses=\"00:00:01:01:02:03\"
2909
2910 # Connect alice to R2
2911 ovn-nbctl lrp-add R2 alice 00:00:02:01:02:03 172.16.1.1/24
2912 ovn-nbctl lsp-add alice rp-alice -- set Logical_Switch_Port rp-alice \
2913     type=router options:router-port=alice addresses=\"00:00:02:01:02:03\"
2914
2915 # Connect bob to R3
2916 ovn-nbctl lrp-add R3 bob 00:00:03:01:02:03 10.32.1.1/24
2917 ovn-nbctl lsp-add bob rp-bob -- set Logical_Switch_Port rp-bob \
2918     type=router options:router-port=bob addresses=\"00:00:03:01:02:03\"
2919
2920 # Connect R1 to join
2921 ovn-nbctl lrp-add R1 R1_join 00:00:04:01:02:03 20.0.0.1/24
2922 ovn-nbctl lsp-add join r1-join -- set Logical_Switch_Port r1-join \
2923     type=router options:router-port=R1_join addresses='"00:00:04:01:02:03"'
2924
2925 # Connect R2 to join
2926 ovn-nbctl lrp-add R2 R2_join 00:00:04:01:02:04 20.0.0.2/24
2927 ovn-nbctl lsp-add join r2-join -- set Logical_Switch_Port r2-join \
2928     type=router options:router-port=R2_join addresses='"00:00:04:01:02:04"'
2929
2930 # Connect R3 to join
2931 ovn-nbctl lrp-add R3 R3_join 00:00:04:01:02:05 20.0.0.3/24
2932 ovn-nbctl lsp-add join r3-join -- set Logical_Switch_Port r3-join \
2933     type=router options:router-port=R3_join addresses='"00:00:04:01:02:05"'
2934
2935 #install static routes
2936 ovn-nbctl lr-route-add R1 172.16.1.0/24 20.0.0.2
2937 ovn-nbctl lr-route-add R1 10.32.1.0/24 20.0.0.3
2938
2939 ovn-nbctl lr-route-add R2 192.168.1.0/24 20.0.0.1
2940 ovn-nbctl lr-route-add R2 10.32.1.0/24 20.0.0.3
2941
2942 ovn-nbctl lr-route-add R3 192.168.1.0/24 20.0.0.1
2943 ovn-nbctl lr-route-add R3 172.16.1.0/24 20.0.0.2
2944
2945 # Create logical port foo1 in foo
2946 ovn-nbctl lsp-add foo foo1 \
2947 -- lsp-set-addresses foo1 "f0:00:00:01:02:03 192.168.1.2"
2948
2949 # Create logical port alice1 in alice
2950 ovn-nbctl lsp-add alice alice1 \
2951 -- lsp-set-addresses alice1 "f0:00:00:01:02:04 172.16.1.2"
2952
2953 # Create logical port bob1 in bob
2954 ovn-nbctl lsp-add bob bob1 \
2955 -- lsp-set-addresses bob1 "f0:00:00:01:02:05 10.32.1.2"
2956
2957 # Create two hypervisor and create OVS ports corresponding to logical ports.
2958 net_add n1
2959
2960 sim_add hv1
2961 as hv1
2962 ovs-vsctl add-br br-phys
2963 ovn_attach n1 br-phys 192.168.0.1
2964 ovs-vsctl -- add-port br-int hv1-vif1 -- \
2965     set interface hv1-vif1 external-ids:iface-id=foo1 \
2966     options:tx_pcap=hv1/vif1-tx.pcap \
2967     options:rxq_pcap=hv1/vif1-rx.pcap \
2968     ofport-request=1
2969
2970 ovs-vsctl -- add-port br-int hv1-vif2 -- \
2971     set interface hv1-vif2 external-ids:iface-id=alice1 \
2972     options:tx_pcap=hv1/vif2-tx.pcap \
2973     options:rxq_pcap=hv1/vif2-rx.pcap \
2974     ofport-request=2
2975
2976 sim_add hv2
2977 as hv2
2978 ovs-vsctl add-br br-phys
2979 ovn_attach n1 br-phys 192.168.0.2
2980 ovs-vsctl -- add-port br-int hv2-vif1 -- \
2981     set interface hv2-vif1 external-ids:iface-id=bob1 \
2982     options:tx_pcap=hv2/vif1-tx.pcap \
2983     options:rxq_pcap=hv2/vif1-rx.pcap \
2984     ofport-request=1
2985
2986
2987 # Pre-populate the hypervisors' ARP tables so that we don't lose any
2988 # packets for ARP resolution (native tunneling doesn't queue packets
2989 # for ARP resolution).
2990 ovn_populate_arp
2991
2992 # Allow some time for ovn-northd and ovn-controller to catch up.
2993 # XXX This should be more systematic.
2994 sleep 1
2995
2996 ip_to_hex() {
2997     printf "%02x%02x%02x%02x" "$@"
2998 }
2999 trim_zeros() {
3000     sed 's/\(00\)\{1,\}$//'
3001 }
3002
3003 # Send ip packets between foo1 and alice1
3004 src_mac="f00000010203"
3005 dst_mac="000001010203"
3006 src_ip=`ip_to_hex 192 168 1 2`
3007 dst_ip=`ip_to_hex 172 16 1 2`
3008 packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
3009 as hv1 ovs-appctl netdev-dummy/receive hv1-vif1 $packet
3010 as hv1 ovs-appctl ofproto/trace br-int in_port=1 $packet
3011
3012 # Send ip packets between foo1 and bob1
3013 src_mac="f00000010203"
3014 dst_mac="000001010203"
3015 src_ip=`ip_to_hex 192 168 1 2`
3016 dst_ip=`ip_to_hex 10 32 1 2`
3017 packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
3018 as hv1 ovs-appctl netdev-dummy/receive hv1-vif1 $packet
3019
3020 echo "---------NB dump-----"
3021 ovn-nbctl show
3022 echo "---------------------"
3023 ovn-nbctl list logical_router
3024 echo "---------------------"
3025 ovn-nbctl list logical_router_port
3026 echo "---------------------"
3027
3028 echo "---------SB dump-----"
3029 ovn-sbctl list datapath_binding
3030 echo "---------------------"
3031 ovn-sbctl list port_binding
3032 echo "---------------------"
3033 ovn-sbctl dump-flows
3034 echo "---------------------"
3035
3036 echo "------ hv1 dump ----------"
3037 as hv1 ovs-ofctl show br-int
3038 as hv1 ovs-ofctl dump-flows br-int
3039 echo "------ hv2 dump ----------"
3040 as hv2 ovs-ofctl show br-int
3041 as hv2 ovs-ofctl dump-flows br-int
3042 echo "----------------------------"
3043
3044 # Packet to Expect at bob1
3045 src_mac="000003010203"
3046 dst_mac="f00000010205"
3047 src_ip=`ip_to_hex 192 168 1 2`
3048 dst_ip=`ip_to_hex 10 32 1 2`
3049 expected=${dst_mac}${src_mac}08004500001c000000003e110200${src_ip}${dst_ip}0035111100080000
3050
3051 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv2/vif1-tx.pcap | trim_zeros > received.packets
3052 echo $expected | trim_zeros > expout
3053 AT_CHECK([cat received.packets], [0], [expout])
3054
3055 # Packet to Expect at alice1
3056 src_mac="000002010203"
3057 dst_mac="f00000010204"
3058 src_ip=`ip_to_hex 192 168 1 2`
3059 dst_ip=`ip_to_hex 172 16 1 2`
3060 expected=${dst_mac}${src_mac}08004500001c000000003e110200${src_ip}${dst_ip}0035111100080000
3061
3062 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv1/vif2-tx.pcap | trim_zeros > received1.packets
3063 echo $expected | trim_zeros > expout
3064 AT_CHECK([cat received1.packets], [0], [expout])
3065
3066 OVN_CLEANUP([hv1],[hv2])
3067
3068 AT_CLEANUP
3069
3070 AT_SETUP([ovn -- 2 HVs, 2 LRs connected via LS, gateway router])
3071 AT_KEYWORDS([ovngatewayrouter])
3072 AT_SKIP_IF([test $HAVE_PYTHON = no])
3073 ovn_start
3074
3075 # Logical network:
3076 # Two LRs - R1 and R2 that are connected to each other via LS "join"
3077 # in 20.0.0.0/24 network. R1 has switchess foo (192.168.1.0/24)
3078 # connected to it. R2 has alice (172.16.1.0/24) connected to it.
3079 # R2 is a gateway router.
3080
3081
3082
3083 # Create two hypervisor and create OVS ports corresponding to logical ports.
3084 net_add n1
3085
3086 sim_add hv1
3087 as hv1
3088 ovs-vsctl add-br br-phys
3089 ovn_attach n1 br-phys 192.168.0.1
3090 ovs-vsctl -- add-port br-int hv1-vif1 -- \
3091     set interface hv1-vif1 external-ids:iface-id=foo1 \
3092     options:tx_pcap=hv1/vif1-tx.pcap \
3093     options:rxq_pcap=hv1/vif1-rx.pcap \
3094     ofport-request=1
3095
3096
3097 sim_add hv2
3098 as hv2
3099 ovs-vsctl add-br br-phys
3100 ovn_attach n1 br-phys 192.168.0.2
3101 ovs-vsctl -- add-port br-int hv2-vif1 -- \
3102     set interface hv2-vif1 external-ids:iface-id=alice1 \
3103     options:tx_pcap=hv2/vif1-tx.pcap \
3104     options:rxq_pcap=hv2/vif1-rx.pcap \
3105     ofport-request=1
3106
3107 # Pre-populate the hypervisors' ARP tables so that we don't lose any
3108 # packets for ARP resolution (native tunneling doesn't queue packets
3109 # for ARP resolution).
3110 ovn_populate_arp
3111
3112 ovn-nbctl create Logical_Router name=R1
3113 ovn-nbctl create Logical_Router name=R2 options:chassis="hv2"
3114
3115 ovn-nbctl ls-add foo
3116 ovn-nbctl ls-add alice
3117 ovn-nbctl ls-add join
3118
3119 # Connect foo to R1
3120 ovn-nbctl lrp-add R1 foo 00:00:01:01:02:03 192.168.1.1/24
3121 ovn-nbctl lsp-add foo rp-foo -- set Logical_Switch_Port rp-foo \
3122     type=router options:router-port=foo addresses=\"00:00:01:01:02:03\"
3123
3124 # Connect alice to R2
3125 ovn-nbctl lrp-add R2 alice 00:00:02:01:02:03 172.16.1.1/24
3126 ovn-nbctl lsp-add alice rp-alice -- set Logical_Switch_Port rp-alice \
3127     type=router options:router-port=alice addresses=\"00:00:02:01:02:03\"
3128
3129 # Connect R1 to join
3130 ovn-nbctl lrp-add R1 R1_join 00:00:04:01:02:03 20.0.0.1/24
3131 ovn-nbctl lsp-add join r1-join -- set Logical_Switch_Port r1-join \
3132     type=router options:router-port=R1_join addresses='"00:00:04:01:02:03"'
3133
3134 # Connect R2 to join
3135 ovn-nbctl lrp-add R2 R2_join 00:00:04:01:02:04 20.0.0.2/24
3136 ovn-nbctl lsp-add join r2-join -- set Logical_Switch_Port r2-join \
3137     type=router options:router-port=R2_join addresses='"00:00:04:01:02:04"'
3138
3139
3140 #install static routes
3141 ovn-nbctl -- --id=@lrt create Logical_Router_Static_Route \
3142 ip_prefix=172.16.1.0/24 nexthop=20.0.0.2 -- add Logical_Router \
3143 R1 static_routes @lrt
3144
3145 ovn-nbctl -- --id=@lrt create Logical_Router_Static_Route \
3146 ip_prefix=192.168.1.0/24 nexthop=20.0.0.1 -- add Logical_Router \
3147 R2 static_routes @lrt
3148
3149 # Create logical port foo1 in foo
3150 ovn-nbctl lsp-add foo foo1 \
3151 -- lsp-set-addresses foo1 "f0:00:00:01:02:03 192.168.1.2"
3152
3153 # Create logical port alice1 in alice
3154 ovn-nbctl lsp-add alice alice1 \
3155 -- lsp-set-addresses alice1 "f0:00:00:01:02:04 172.16.1.2"
3156
3157
3158 # Allow some time for ovn-northd and ovn-controller to catch up.
3159 # XXX This should be more systematic.
3160 sleep 2
3161
3162 ip_to_hex() {
3163     printf "%02x%02x%02x%02x" "$@"
3164 }
3165 trim_zeros() {
3166     sed 's/\(00\)\{1,\}$//'
3167 }
3168
3169 # Send ip packets between foo1 and alice1
3170 src_mac="f00000010203"
3171 dst_mac="000001010203"
3172 src_ip=`ip_to_hex 192 168 1 2`
3173 dst_ip=`ip_to_hex 172 16 1 2`
3174 packet=${dst_mac}${src_mac}08004500001c0000000040110000${src_ip}${dst_ip}0035111100080000
3175
3176 echo "---------NB dump-----"
3177 ovn-nbctl show
3178 echo "---------------------"
3179 ovn-nbctl list logical_router
3180 echo "---------------------"
3181 ovn-nbctl list logical_router_port
3182 echo "---------------------"
3183
3184 echo "---------SB dump-----"
3185 ovn-sbctl list datapath_binding
3186 echo "---------------------"
3187 ovn-sbctl list port_binding
3188 echo "---------------------"
3189 ovn-sbctl dump-flows
3190 echo "---------------------"
3191 ovn-sbctl list chassis
3192 ovn-sbctl list encap
3193 echo "---------------------"
3194
3195 # Packet to Expect at alice1
3196 src_mac="000002010203"
3197 dst_mac="f00000010204"
3198 src_ip=`ip_to_hex 192 168 1 2`
3199 dst_ip=`ip_to_hex 172 16 1 2`
3200 expected=${dst_mac}${src_mac}08004500001c000000003e110200${src_ip}${dst_ip}0035111100080000
3201
3202
3203 as hv1 ovs-appctl netdev-dummy/receive hv1-vif1 $packet
3204 as hv1 ovs-appctl ofproto/trace br-int in_port=1 $packet
3205
3206 echo "------ hv1 dump after packet 1 ----------"
3207 as hv1 ovs-ofctl show br-int
3208 as hv1 ovs-ofctl dump-flows br-int
3209 echo "------ hv2 dump after packet 1 ----------"
3210 as hv2 ovs-ofctl show br-int
3211 as hv2 ovs-ofctl dump-flows br-int
3212 echo "----------------------------"
3213
3214 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv2/vif1-tx.pcap | trim_zeros > received1.packets
3215 echo $expected | trim_zeros > expout
3216 AT_CHECK([cat received1.packets], [0], [expout])
3217
3218 # Delete the router and re-create it. Things should work as before.
3219 ovn-nbctl  lr-del R2
3220 ovn-nbctl create Logical_Router name=R2 options:chassis="hv2"
3221 # Connect alice to R2
3222 ovn-nbctl lrp-add R2 alice 00:00:02:01:02:03 172.16.1.1/24
3223 # Connect R2 to join
3224 ovn-nbctl lrp-add R2 R2_join 00:00:04:01:02:04 20.0.0.2/24
3225
3226 ovn-nbctl -- --id=@lrt create Logical_Router_Static_Route \
3227 ip_prefix=192.168.1.0/24 nexthop=20.0.0.1 -- add Logical_Router \
3228 R2 static_routes @lrt
3229
3230 # Wait for ovn-controller to catch up.
3231 sleep 1
3232
3233 # Send the packet again.
3234 as hv1 ovs-appctl netdev-dummy/receive hv1-vif1 $packet
3235
3236 echo "------ hv1 dump after packet 2 ----------"
3237 as hv1 ovs-ofctl show br-int
3238 as hv1 ovs-ofctl dump-flows br-int
3239 echo "------ hv2 dump after packet 2 ----------"
3240 as hv2 ovs-ofctl show br-int
3241 as hv2 ovs-ofctl dump-flows br-int
3242 echo "----------------------------"
3243
3244 $PYTHON "$top_srcdir/utilities/ovs-pcap.in" hv2/vif1-tx.pcap | trim_zeros > received1.packets
3245 echo $expected | trim_zeros >> expout
3246 AT_CHECK([cat received1.packets], [0], [expout])
3247
3248 OVN_CLEANUP([hv1],[hv2])
3249
3250 AT_CLEANUP
3251
3252 AT_SETUP([ovn -- icmp_reply: 1 HVs, 2 LSs, 1 lport/LS, 1 LR])
3253 AT_KEYWORDS([router-icmp-reply])
3254 AT_SKIP_IF([test $HAVE_PYTHON = no])
3255 ovn_start
3256
3257 # Logical network:
3258 # One LR - R1 has switch ls1 (191.168.1.0/24) connected to it,
3259 # and has switch ls2 (172.16.1.0/24) connected to it.
3260
3261 ovn-nbctl lr-add R1
3262
3263 ovn-nbctl ls-add ls1
3264 ovn-nbctl ls-add ls2
3265
3266 # Connect ls1 to R1
3267 ovn-nbctl lrp-add R1 ls1 00:00:00:01:02:f1 192.168.1.1/24
3268 ovn-nbctl lsp-add ls1 rp-ls1 -- set Logical_Switch_Port rp-ls1 \
3269     type=router options:router-port=ls1 addresses=\"00:00:00:01:02:f1\"
3270
3271 # Connect ls2 to R1
3272 ovn-nbctl lrp-add R1 ls2 00:00:00:01:02:f2 172.16.1.1/24
3273 ovn-nbctl lsp-add ls2 rp-ls2 -- set Logical_Switch_Port rp-ls2 \
3274     type=router options:router-port=ls2 addresses=\"00:00:00:01:02:f2\"
3275
3276 # Create logical port ls1-lp1 in ls1
3277 ovn-nbctl lsp-add ls1 ls1-lp1 \
3278 -- lsp-set-addresses ls1-lp1 "00:00:00:01:02:03 192.168.1.2"
3279
3280 # Create logical port ls2-lp1 in ls2
3281 ovn-nbctl lsp-add ls2 ls2-lp1 \
3282 -- lsp-set-addresses ls2-lp1 "00:00:00:01:02:04 172.16.1.2"
3283
3284 # Create one hypervisor and create OVS ports corresponding to logical ports.
3285 net_add n1
3286
3287 sim_add hv1
3288 as hv1
3289 ovs-vsctl add-br br-phys
3290 ovn_attach n1 br-phys 192.168.0.1
3291 ovs-vsctl -- add-port br-int vif1 -- \
3292     set interface vif1 external-ids:iface-id=ls1-lp1 \
3293     options:tx_pcap=hv1/vif1-tx.pcap \
3294     options:rxq_pcap=hv1/vif1-rx.pcap \
3295     ofport-request=1
3296
3297 ovs-vsctl -- add-port br-int vif2 -- \
3298     set interface vif2 external-ids:iface-id=ls2-lp1 \
3299     options:tx_pcap=hv1/vif2-tx.pcap \
3300     options:rxq_pcap=hv1/vif2-rx.pcap \
3301     ofport-request=1
3302
3303
3304 # Allow some time for ovn-northd and ovn-controller to catch up.
3305 # XXX This should be more systematic.
3306 sleep 1
3307
3308
3309 ip_to_hex() {
3310     printf "%02x%02x%02x%02x" "$@"
3311 }
3312 trim_zeros() {
3313     sed 's/\(00\)\{1,\}$//'
3314 }
3315 for i in 1 2; do
3316     : > vif$i.expected
3317 done
3318 # test_ipv4_icmp_request INPORT ETH_SRC ETH_DST IPV4_SRC IPV4_DST IP_CHKSUM ICMP_CHKSUM [EXP_IP_CHKSUM EXP_ICMP_CHKSUM]
3319 #
3320 # Causes a packet to be received on INPORT.  The packet is an ICMPv4
3321 # request with ETH_SRC, ETH_DST, IPV4_SRC, IPV4_DST, IP_CHSUM and
3322 # ICMP_CHKSUM as specified.  If EXP_IP_CHKSUM and EXP_ICMP_CHKSUM are
3323 # provided, then it should be the ip and icmp checksums of the packet
3324 # responded; otherwise, no reply is expected.
3325 # In the absence of an ip checksum calculation helpers, this relies
3326 # on the caller to provide the checksums for the ip and icmp headers.
3327 # XXX This should be more systematic.
3328 #
3329 # INPORT is an lport number, e.g. 11 for vif11.
3330 # ETH_SRC and ETH_DST are each 12 hex digits.
3331 # IPV4_SRC and IPV4_DST are each 8 hex digits.
3332 # IP_CHSUM and ICMP_CHKSUM are each 4 hex digits.
3333 # EXP_IP_CHSUM and EXP_ICMP_CHKSUM are each 4 hex digits.
3334 test_ipv4_icmp_request() {
3335     local inport=$1 eth_src=$2 eth_dst=$3 ipv4_src=$4 ipv4_dst=$5 ip_chksum=$6 icmp_chksum=$7
3336     local exp_ip_chksum=$8 exp_icmp_chksum=$9
3337     shift; shift; shift; shift; shift; shift; shift
3338     shift; shift
3339
3340     # Use ttl to exercise section 4.2.2.9 of RFC1812
3341     local ip_ttl=01
3342     local icmp_id=5fbf
3343     local icmp_seq=0001
3344     local icmp_data=$(seq 1 56 | xargs printf "%02x")
3345     local icmp_type_code_request=0800
3346     local icmp_payload=${icmp_type_code_request}${icmp_chksum}${icmp_id}${icmp_seq}${icmp_data}
3347     local packet=${eth_dst}${eth_src}08004500005400004000${ip_ttl}01${ip_chksum}${ipv4_src}${ipv4_dst}${icmp_payload}
3348
3349     as hv1 ovs-appctl netdev-dummy/receive vif$inport $packet
3350     if test X$exp_icmp_chksum != X; then
3351         # Expect to receive the reply, if any. In same port where packet was sent.
3352         # Note: src and dst fields are expected to be reversed.
3353         local icmp_type_code_response=0000
3354         local reply_icmp_ttl=fe
3355         local reply_icmp_payload=${icmp_type_code_response}${exp_icmp_chksum}${icmp_id}${icmp_seq}${icmp_data}
3356         local reply=${eth_src}${eth_dst}08004500005400004000${reply_icmp_ttl}01${exp_ip_chksum}${ipv4_dst}${ipv4_src}${reply_icmp_payload}
3357         echo $reply >> vif$inport.expected
3358     fi
3359 }
3360
3361 # Send ping packet to router's ip addresses, from each of the 2 logical ports.
3362 rtr_l1_ip=$(ip_to_hex 192 168 1 1)
3363 rtr_l2_ip=$(ip_to_hex 172 16 1 1)
3364 l1_ip=$(ip_to_hex 192 168 1 2)
3365 l2_ip=$(ip_to_hex 172 16 1 2)
3366
3367 # Ping router ip address that is on same subnet as the logical port
3368 test_ipv4_icmp_request 1 000000010203 0000000102f1 $l1_ip $rtr_l1_ip 0000 8510 02ff 8d10
3369 test_ipv4_icmp_request 2 000000010204 0000000102f2 $l2_ip $rtr_l2_ip 0000 8510 02ff 8d10
3370
3371 # Ping router ip address that is on the other side of the logical ports
3372 test_ipv4_icmp_request 1 000000010203 0000000102f1 $l1_ip $rtr_l2_ip 0000 8510 02ff 8d10
3373 test_ipv4_icmp_request 2 000000010204 0000000102f2 $l2_ip $rtr_l1_ip 0000 8510 02ff 8d10
3374
3375 echo "---------NB dump-----"
3376 ovn-nbctl show
3377 echo "---------------------"
3378 ovn-nbctl list logical_router
3379 echo "---------------------"
3380 ovn-nbctl list logical_router_port
3381 echo "---------------------"
3382
3383 echo "---------SB dump-----"
3384 ovn-sbctl list datapath_binding
3385 echo "---------------------"
3386 ovn-sbctl list logical_flow
3387 echo "---------------------"
3388
3389 echo "------ hv1 dump ----------"
3390 as hv1 ovs-ofctl dump-flows br-int
3391
3392 # Now check the packets actually received against the ones expected.
3393 for inport in 1 2; do
3394     file=hv1/vif${inport}-tx.pcap
3395     echo $file
3396     $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > received.packets
3397     cat vif$inport.expected | trim_zeros > expout
3398     AT_CHECK([cat received.packets], [0], [expout])
3399 done
3400
3401 OVN_CLEANUP([hv1])
3402
3403 AT_CLEANUP
3404
3405 # 1 hypervisor, 1 port
3406 # make sure that the port state is properly set to up and back down
3407 # when created and deleted.
3408 AT_SETUP([ovn -- port state up and down])
3409 AT_KEYWORDS([ovn])
3410 ovn_start
3411
3412 ovn-nbctl ls-add ls1
3413 ovn-nbctl lsp-add ls1 lp1
3414 ovn-nbctl lsp-set-addresses lp1 unknown
3415
3416 net_add n1
3417 sim_add hv1
3418 as hv1 ovs-vsctl add-br br-phys
3419 as hv1 ovn_attach n1 br-phys 192.168.0.1
3420
3421 as hv1 ovs-vsctl add-port br-int vif1 -- set Interface vif1 external-ids:iface-id=lp1
3422 OVS_WAIT_UNTIL([test x`ovn-nbctl lsp-get-up lp1` = xup])
3423
3424 as hv1 ovs-vsctl del-port br-int vif1
3425 OVS_WAIT_UNTIL([test x`ovn-nbctl lsp-get-up lp1` = xdown])
3426
3427 OVN_CLEANUP([hv1])
3428
3429 AT_CLEANUP
3430
3431 AT_SETUP([ovn -- nd ])
3432 AT_KEYWORDS([ovn-nd])
3433 AT_SKIP_IF([test $HAVE_PYTHON = no])
3434 ovn_start
3435
3436 #TODO: since patch port for IPv6 logical router port is not ready not,
3437 #  so we are not going to test vifs on different lswitches cases. Try
3438 #  to update for that once relevant stuff implemented.
3439
3440 # In this test cases we create 1 lswitch, it has 2 VIF ports attached
3441 # with. NS packet we test, from one VIF for another VIF, will be replied
3442 # by local ovn-controller, but not by target VIF.
3443
3444 # Create hypervisors and logical switch lsw0.
3445 ovn-nbctl ls-add lsw0
3446 net_add n1
3447 sim_add hv1
3448 as hv1
3449 ovs-vsctl add-br br-phys
3450 ovn_attach n1 br-phys 192.168.0.2
3451
3452 # Add vif1 to hv1 and lsw0, turn on l2 port security on vif1.
3453 ovs-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
3454 ovn-nbctl lsp-add lsw0 lp1
3455 ovn-nbctl lsp-set-addresses lp1 "fa:16:3e:94:05:98 192.168.0.3 fd81:ce49:a948:0:f816:3eff:fe94:598"
3456 ovn-nbctl lsp-set-port-security lp1 "fa:16:3e:94:05:98 192.168.0.3 fd81:ce49:a948:0:f816:3eff:fe94:598"
3457
3458 # Add vif2 to hv1 and lsw0, turn on l2 port security on vif2.
3459 ovs-vsctl add-port br-int vif2 -- set Interface vif2 external-ids:iface-id=lp2 options:tx_pcap=hv1/vif2-tx.pcap options:rxq_pcap=hv1/vif2-rx.pcap ofport-request=2
3460 ovn-nbctl lsp-add lsw0 lp2
3461 ovn-nbctl lsp-set-addresses lp2 "fa:16:3e:a1:f9:ae 192.168.0.4 fd81:ce49:a948:0:f816:3eff:fea1:f9ae"
3462 ovn-nbctl lsp-set-port-security lp2 "fa:16:3e:a1:f9:ae 192.168.0.4 fd81:ce49:a948:0:f816:3eff:fea1:f9ae"
3463
3464 # Add ACL rule for ICMPv6 on lsw0
3465 ovn-nbctl acl-add lsw0 from-lport 1002 'ip6 && icmp6'  allow-related
3466 ovn-nbctl acl-add lsw0 to-lport 1002 'outport == "lp1" && ip6 && icmp6'  allow-related
3467 ovn-nbctl acl-add lsw0 to-lport 1002 'outport == "lp2" && ip6 && icmp6'  allow-related
3468
3469 # Allow some time for ovn-northd and ovn-controller to catch up.
3470 # XXX This should be more systematic.
3471 sleep 1
3472
3473 # Given the name of a logical port, prints the name of the hypervisor
3474 # on which it is located.
3475 vif_to_hv() {
3476     echo hv1${1%?}
3477 }
3478 trim_zeros() {
3479     sed 's/\(00\)\{1,\}$//'
3480 }
3481 for i in 1 2; do
3482     : > $i.expected
3483 done
3484
3485 # Complete Neighbor Solicitation packet and Neighbor Advertisement packet
3486 # vif1 -> NS -> vif2.  vif1 <- NA <- ovn-controller.
3487 # vif2 will not receive NS packet, since ovn-controller will reply for it.
3488 ns_packet=3333ffa1f9aefa163e94059886dd6000000000203afffd81ce49a9480000f8163efffe940598fd81ce49a9480000f8163efffea1f9ae8700e01160000000fd81ce49a9480000f8163efffea1f9ae0101fa163e940598
3489 na_packet=fa163e940598fa163ea1f9ae86dd6000000000203afffd81ce49a9480000f8163efffea1f9aefd81ce49a9480000f8163efffe9405988800e9ed60000000fd81ce49a9480000f8163efffea1f9ae0201fa163ea1f9ae
3490
3491 as hv1 ovs-appctl netdev-dummy/receive vif1 $ns_packet
3492 echo $na_packet | trim_zeros >> 1.expected
3493
3494 sleep 1
3495
3496 echo "------ hv1 dump ------"
3497 as hv1 ovs-vsctl show
3498 as hv1 ovs-ofctl -O OpenFlow13 show br-int
3499 as hv1 ovs-ofctl -O OpenFlow13 dump-flows br-int
3500
3501 for i in 1 2; do
3502     file=hv1/vif$i-tx.pcap
3503     echo $file
3504     $PYTHON "$top_srcdir/utilities/ovs-pcap.in" $file | trim_zeros > $i.packets
3505     cat $i.expected > expout
3506     AT_CHECK([cat $i.packets], [0], [expout])
3507 done
3508
3509 OVN_CLEANUP([hv1])
3510
3511 AT_CLEANUP
3512
3513 AT_SETUP([ovn -- address sets modification/removal smoke test])
3514 AT_KEYWORDS([ovn-addr])
3515 ovn_start
3516
3517 net_add n1
3518
3519 sim_add hv1
3520 as hv1
3521 ovs-vsctl add-br br-phys
3522 ovn_attach n1 br-phys 192.168.0.1
3523
3524 row=`ovn-nbctl create Address_Set name=set1 addresses=\"1.1.1.1\"`
3525 ovn-nbctl set Address_Set $row name=set1 addresses=\"1.1.1.1,1.1.1.2\"
3526 ovn-nbctl destroy Address_Set $row
3527
3528 sleep 1
3529
3530 # A bug previously existed in the address set support code
3531 # that caused ovn-controller to crash after an address set
3532 # was updated and then removed.  This test case ensures
3533 # that ovn-controller is at least still running after
3534 # creating, updating, and deleting an address set.
3535 AT_CHECK([ovs-appctl -t ovn-controller version], [0], [ignore])
3536
3537 OVN_CLEANUP([hv1])
3538
3539 AT_CLEANUP