Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 1 | #!/usr/bin/python3 |
| 2 | |
| 3 | # Copyright (C) 2017 Netronome Systems, Inc. |
| 4 | # |
| 5 | # This software is licensed under the GNU General License Version 2, |
| 6 | # June 1991 as shown in the file COPYING in the top-level directory of this |
| 7 | # source tree. |
| 8 | # |
| 9 | # THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" |
| 10 | # WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, |
| 11 | # BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS |
| 12 | # FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE |
| 13 | # OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME |
| 14 | # THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION. |
| 15 | |
| 16 | from datetime import datetime |
| 17 | import argparse |
| 18 | import json |
| 19 | import os |
| 20 | import pprint |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 21 | import random |
| 22 | import string |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 23 | import struct |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 24 | import subprocess |
| 25 | import time |
| 26 | |
| 27 | logfile = None |
| 28 | log_level = 1 |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 29 | skip_extack = False |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 30 | bpf_test_dir = os.path.dirname(os.path.realpath(__file__)) |
| 31 | pp = pprint.PrettyPrinter() |
| 32 | devs = [] # devices we created for clean up |
| 33 | files = [] # files to be removed |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 34 | netns = [] # net namespaces to be removed |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 35 | |
| 36 | def log_get_sec(level=0): |
| 37 | return "*" * (log_level + level) |
| 38 | |
| 39 | def log_level_inc(add=1): |
| 40 | global log_level |
| 41 | log_level += add |
| 42 | |
| 43 | def log_level_dec(sub=1): |
| 44 | global log_level |
| 45 | log_level -= sub |
| 46 | |
| 47 | def log_level_set(level): |
| 48 | global log_level |
| 49 | log_level = level |
| 50 | |
| 51 | def log(header, data, level=None): |
| 52 | """ |
| 53 | Output to an optional log. |
| 54 | """ |
| 55 | if logfile is None: |
| 56 | return |
| 57 | if level is not None: |
| 58 | log_level_set(level) |
| 59 | |
| 60 | if not isinstance(data, str): |
| 61 | data = pp.pformat(data) |
| 62 | |
| 63 | if len(header): |
| 64 | logfile.write("\n" + log_get_sec() + " ") |
| 65 | logfile.write(header) |
| 66 | if len(header) and len(data.strip()): |
| 67 | logfile.write("\n") |
| 68 | logfile.write(data) |
| 69 | |
| 70 | def skip(cond, msg): |
| 71 | if not cond: |
| 72 | return |
| 73 | print("SKIP: " + msg) |
| 74 | log("SKIP: " + msg, "", level=1) |
| 75 | os.sys.exit(0) |
| 76 | |
| 77 | def fail(cond, msg): |
| 78 | if not cond: |
| 79 | return |
| 80 | print("FAIL: " + msg) |
| 81 | log("FAIL: " + msg, "", level=1) |
| 82 | os.sys.exit(1) |
| 83 | |
| 84 | def start_test(msg): |
| 85 | log(msg, "", level=1) |
| 86 | log_level_inc() |
| 87 | print(msg) |
| 88 | |
| 89 | def cmd(cmd, shell=True, include_stderr=False, background=False, fail=True): |
| 90 | """ |
| 91 | Run a command in subprocess and return tuple of (retval, stdout); |
| 92 | optionally return stderr as well as third value. |
| 93 | """ |
| 94 | proc = subprocess.Popen(cmd, shell=shell, stdout=subprocess.PIPE, |
| 95 | stderr=subprocess.PIPE) |
| 96 | if background: |
| 97 | msg = "%s START: %s" % (log_get_sec(1), |
| 98 | datetime.now().strftime("%H:%M:%S.%f")) |
| 99 | log("BKG " + proc.args, msg) |
| 100 | return proc |
| 101 | |
| 102 | return cmd_result(proc, include_stderr=include_stderr, fail=fail) |
| 103 | |
| 104 | def cmd_result(proc, include_stderr=False, fail=False): |
| 105 | stdout, stderr = proc.communicate() |
| 106 | stdout = stdout.decode("utf-8") |
| 107 | stderr = stderr.decode("utf-8") |
| 108 | proc.stdout.close() |
| 109 | proc.stderr.close() |
| 110 | |
| 111 | stderr = "\n" + stderr |
| 112 | if stderr[-1] == "\n": |
| 113 | stderr = stderr[:-1] |
| 114 | |
| 115 | sec = log_get_sec(1) |
| 116 | log("CMD " + proc.args, |
| 117 | "RETCODE: %d\n%s STDOUT:\n%s%s STDERR:%s\n%s END: %s" % |
| 118 | (proc.returncode, sec, stdout, sec, stderr, |
| 119 | sec, datetime.now().strftime("%H:%M:%S.%f"))) |
| 120 | |
| 121 | if proc.returncode != 0 and fail: |
| 122 | if len(stderr) > 0 and stderr[-1] == "\n": |
| 123 | stderr = stderr[:-1] |
| 124 | raise Exception("Command failed: %s\n%s" % (proc.args, stderr)) |
| 125 | |
| 126 | if include_stderr: |
| 127 | return proc.returncode, stdout, stderr |
| 128 | else: |
| 129 | return proc.returncode, stdout |
| 130 | |
| 131 | def rm(f): |
| 132 | cmd("rm -f %s" % (f)) |
| 133 | if f in files: |
| 134 | files.remove(f) |
| 135 | |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 136 | def tool(name, args, flags, JSON=True, ns="", fail=True, include_stderr=False): |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 137 | params = "" |
| 138 | if JSON: |
| 139 | params += "%s " % (flags["json"]) |
| 140 | |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 141 | if ns != "": |
| 142 | ns = "ip netns exec %s " % (ns) |
| 143 | |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 144 | if include_stderr: |
| 145 | ret, stdout, stderr = cmd(ns + name + " " + params + args, |
| 146 | fail=fail, include_stderr=True) |
| 147 | else: |
| 148 | ret, stdout = cmd(ns + name + " " + params + args, |
| 149 | fail=fail, include_stderr=False) |
| 150 | |
| 151 | if JSON and len(stdout.strip()) != 0: |
| 152 | out = json.loads(stdout) |
| 153 | else: |
| 154 | out = stdout |
| 155 | |
| 156 | if include_stderr: |
| 157 | return ret, out, stderr |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 158 | else: |
| 159 | return ret, out |
| 160 | |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 161 | def bpftool(args, JSON=True, ns="", fail=True): |
| 162 | return tool("bpftool", args, {"json":"-p"}, JSON=JSON, ns=ns, fail=fail) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 163 | |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 164 | def bpftool_prog_list(expected=None, ns=""): |
| 165 | _, progs = bpftool("prog show", JSON=True, ns=ns, fail=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 166 | if expected is not None: |
| 167 | if len(progs) != expected: |
| 168 | fail(True, "%d BPF programs loaded, expected %d" % |
| 169 | (len(progs), expected)) |
| 170 | return progs |
| 171 | |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 172 | def bpftool_map_list(expected=None, ns=""): |
| 173 | _, maps = bpftool("map show", JSON=True, ns=ns, fail=True) |
| 174 | if expected is not None: |
| 175 | if len(maps) != expected: |
| 176 | fail(True, "%d BPF maps loaded, expected %d" % |
| 177 | (len(maps), expected)) |
| 178 | return maps |
| 179 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 180 | def bpftool_prog_list_wait(expected=0, n_retry=20): |
| 181 | for i in range(n_retry): |
| 182 | nprogs = len(bpftool_prog_list()) |
| 183 | if nprogs == expected: |
| 184 | return |
| 185 | time.sleep(0.05) |
| 186 | raise Exception("Time out waiting for program counts to stabilize want %d, have %d" % (expected, nprogs)) |
| 187 | |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 188 | def bpftool_map_list_wait(expected=0, n_retry=20): |
| 189 | for i in range(n_retry): |
| 190 | nmaps = len(bpftool_map_list()) |
| 191 | if nmaps == expected: |
| 192 | return |
| 193 | time.sleep(0.05) |
| 194 | raise Exception("Time out waiting for map counts to stabilize want %d, have %d" % (expected, nmaps)) |
| 195 | |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 196 | def ip(args, force=False, JSON=True, ns="", fail=True, include_stderr=False): |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 197 | if force: |
| 198 | args = "-force " + args |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 199 | return tool("ip", args, {"json":"-j"}, JSON=JSON, ns=ns, |
| 200 | fail=fail, include_stderr=include_stderr) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 201 | |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 202 | def tc(args, JSON=True, ns="", fail=True, include_stderr=False): |
| 203 | return tool("tc", args, {"json":"-p"}, JSON=JSON, ns=ns, |
| 204 | fail=fail, include_stderr=include_stderr) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 205 | |
| 206 | def ethtool(dev, opt, args, fail=True): |
| 207 | return cmd("ethtool %s %s %s" % (opt, dev["ifname"], args), fail=fail) |
| 208 | |
| 209 | def bpf_obj(name, sec=".text", path=bpf_test_dir,): |
| 210 | return "obj %s sec %s" % (os.path.join(path, name), sec) |
| 211 | |
| 212 | def bpf_pinned(name): |
| 213 | return "pinned %s" % (name) |
| 214 | |
| 215 | def bpf_bytecode(bytecode): |
| 216 | return "bytecode \"%s\"" % (bytecode) |
| 217 | |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 218 | def mknetns(n_retry=10): |
| 219 | for i in range(n_retry): |
| 220 | name = ''.join([random.choice(string.ascii_letters) for i in range(8)]) |
| 221 | ret, _ = ip("netns add %s" % (name), fail=False) |
| 222 | if ret == 0: |
| 223 | netns.append(name) |
| 224 | return name |
| 225 | return None |
| 226 | |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 227 | def int2str(fmt, val): |
| 228 | ret = [] |
| 229 | for b in struct.pack(fmt, val): |
| 230 | ret.append(int(b)) |
| 231 | return " ".join(map(lambda x: str(x), ret)) |
| 232 | |
| 233 | def str2int(strtab): |
| 234 | inttab = [] |
| 235 | for i in strtab: |
| 236 | inttab.append(int(i, 16)) |
| 237 | ba = bytearray(inttab) |
| 238 | if len(strtab) == 4: |
| 239 | fmt = "I" |
| 240 | elif len(strtab) == 8: |
| 241 | fmt = "Q" |
| 242 | else: |
| 243 | raise Exception("String array of len %d can't be unpacked to an int" % |
| 244 | (len(strtab))) |
| 245 | return struct.unpack(fmt, ba)[0] |
| 246 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 247 | class DebugfsDir: |
| 248 | """ |
| 249 | Class for accessing DebugFS directories as a dictionary. |
| 250 | """ |
| 251 | |
| 252 | def __init__(self, path): |
| 253 | self.path = path |
| 254 | self._dict = self._debugfs_dir_read(path) |
| 255 | |
| 256 | def __len__(self): |
| 257 | return len(self._dict.keys()) |
| 258 | |
| 259 | def __getitem__(self, key): |
| 260 | if type(key) is int: |
| 261 | key = list(self._dict.keys())[key] |
| 262 | return self._dict[key] |
| 263 | |
| 264 | def __setitem__(self, key, value): |
| 265 | log("DebugFS set %s = %s" % (key, value), "") |
| 266 | log_level_inc() |
| 267 | |
| 268 | cmd("echo '%s' > %s/%s" % (value, self.path, key)) |
| 269 | log_level_dec() |
| 270 | |
| 271 | _, out = cmd('cat %s/%s' % (self.path, key)) |
| 272 | self._dict[key] = out.strip() |
| 273 | |
| 274 | def _debugfs_dir_read(self, path): |
| 275 | dfs = {} |
| 276 | |
| 277 | log("DebugFS state for %s" % (path), "") |
| 278 | log_level_inc(add=2) |
| 279 | |
| 280 | _, out = cmd('ls ' + path) |
| 281 | for f in out.split(): |
| 282 | p = os.path.join(path, f) |
| 283 | if os.path.isfile(p): |
| 284 | _, out = cmd('cat %s/%s' % (path, f)) |
| 285 | dfs[f] = out.strip() |
| 286 | elif os.path.isdir(p): |
| 287 | dfs[f] = DebugfsDir(p) |
| 288 | else: |
| 289 | raise Exception("%s is neither file nor directory" % (p)) |
| 290 | |
| 291 | log_level_dec() |
| 292 | log("DebugFS state", dfs) |
| 293 | log_level_dec() |
| 294 | |
| 295 | return dfs |
| 296 | |
| 297 | class NetdevSim: |
| 298 | """ |
| 299 | Class for netdevsim netdevice and its attributes. |
| 300 | """ |
| 301 | |
| 302 | def __init__(self): |
| 303 | self.dev = self._netdevsim_create() |
| 304 | devs.append(self) |
| 305 | |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 306 | self.ns = "" |
| 307 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 308 | self.dfs_dir = '/sys/kernel/debug/netdevsim/%s' % (self.dev['ifname']) |
| 309 | self.dfs_refresh() |
| 310 | |
| 311 | def __getitem__(self, key): |
| 312 | return self.dev[key] |
| 313 | |
| 314 | def _netdevsim_create(self): |
| 315 | _, old = ip("link show") |
| 316 | ip("link add sim%d type netdevsim") |
| 317 | _, new = ip("link show") |
| 318 | |
| 319 | for dev in new: |
| 320 | f = filter(lambda x: x["ifname"] == dev["ifname"], old) |
| 321 | if len(list(f)) == 0: |
| 322 | return dev |
| 323 | |
| 324 | raise Exception("failed to create netdevsim device") |
| 325 | |
| 326 | def remove(self): |
| 327 | devs.remove(self) |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 328 | ip("link del dev %s" % (self.dev["ifname"]), ns=self.ns) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 329 | |
| 330 | def dfs_refresh(self): |
| 331 | self.dfs = DebugfsDir(self.dfs_dir) |
| 332 | return self.dfs |
| 333 | |
| 334 | def dfs_num_bound_progs(self): |
| 335 | path = os.path.join(self.dfs_dir, "bpf_bound_progs") |
| 336 | _, progs = cmd('ls %s' % (path)) |
| 337 | return len(progs.split()) |
| 338 | |
| 339 | def dfs_get_bound_progs(self, expected): |
| 340 | progs = DebugfsDir(os.path.join(self.dfs_dir, "bpf_bound_progs")) |
| 341 | if expected is not None: |
| 342 | if len(progs) != expected: |
| 343 | fail(True, "%d BPF programs bound, expected %d" % |
| 344 | (len(progs), expected)) |
| 345 | return progs |
| 346 | |
| 347 | def wait_for_flush(self, bound=0, total=0, n_retry=20): |
| 348 | for i in range(n_retry): |
| 349 | nbound = self.dfs_num_bound_progs() |
| 350 | nprogs = len(bpftool_prog_list()) |
| 351 | if nbound == bound and nprogs == total: |
| 352 | return |
| 353 | time.sleep(0.05) |
| 354 | raise Exception("Time out waiting for program counts to stabilize want %d/%d, have %d bound, %d loaded" % (bound, total, nbound, nprogs)) |
| 355 | |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 356 | def set_ns(self, ns): |
| 357 | name = "1" if ns == "" else ns |
| 358 | ip("link set dev %s netns %s" % (self.dev["ifname"], name), ns=self.ns) |
| 359 | self.ns = ns |
| 360 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 361 | def set_mtu(self, mtu, fail=True): |
| 362 | return ip("link set dev %s mtu %d" % (self.dev["ifname"], mtu), |
| 363 | fail=fail) |
| 364 | |
Quentin Monnet | 9045bdc | 2018-01-23 11:22:55 -0800 | [diff] [blame] | 365 | def set_xdp(self, bpf, mode, force=False, JSON=True, verbose=False, |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 366 | fail=True, include_stderr=False): |
Quentin Monnet | 9045bdc | 2018-01-23 11:22:55 -0800 | [diff] [blame] | 367 | if verbose: |
| 368 | bpf += " verbose" |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 369 | return ip("link set dev %s xdp%s %s" % (self.dev["ifname"], mode, bpf), |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 370 | force=force, JSON=JSON, |
| 371 | fail=fail, include_stderr=include_stderr) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 372 | |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 373 | def unset_xdp(self, mode, force=False, JSON=True, |
| 374 | fail=True, include_stderr=False): |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 375 | return ip("link set dev %s xdp%s off" % (self.dev["ifname"], mode), |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 376 | force=force, JSON=JSON, |
| 377 | fail=fail, include_stderr=include_stderr) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 378 | |
| 379 | def ip_link_show(self, xdp): |
| 380 | _, link = ip("link show dev %s" % (self['ifname'])) |
| 381 | if len(link) > 1: |
| 382 | raise Exception("Multiple objects on ip link show") |
| 383 | if len(link) < 1: |
| 384 | return {} |
| 385 | fail(xdp != "xdp" in link, |
| 386 | "XDP program not reporting in iplink (reported %s, expected %s)" % |
| 387 | ("xdp" in link, xdp)) |
| 388 | return link[0] |
| 389 | |
| 390 | def tc_add_ingress(self): |
| 391 | tc("qdisc add dev %s ingress" % (self['ifname'])) |
| 392 | |
| 393 | def tc_del_ingress(self): |
| 394 | tc("qdisc del dev %s ingress" % (self['ifname'])) |
| 395 | |
| 396 | def tc_flush_filters(self, bound=0, total=0): |
| 397 | self.tc_del_ingress() |
| 398 | self.tc_add_ingress() |
| 399 | self.wait_for_flush(bound=bound, total=total) |
| 400 | |
| 401 | def tc_show_ingress(self, expected=None): |
| 402 | # No JSON support, oh well... |
| 403 | flags = ["skip_sw", "skip_hw", "in_hw"] |
| 404 | named = ["protocol", "pref", "chain", "handle", "id", "tag"] |
| 405 | |
| 406 | args = "-s filter show dev %s ingress" % (self['ifname']) |
| 407 | _, out = tc(args, JSON=False) |
| 408 | |
| 409 | filters = [] |
| 410 | lines = out.split('\n') |
| 411 | for line in lines: |
| 412 | words = line.split() |
| 413 | if "handle" not in words: |
| 414 | continue |
| 415 | fltr = {} |
| 416 | for flag in flags: |
| 417 | fltr[flag] = flag in words |
| 418 | for name in named: |
| 419 | try: |
| 420 | idx = words.index(name) |
| 421 | fltr[name] = words[idx + 1] |
| 422 | except ValueError: |
| 423 | pass |
| 424 | filters.append(fltr) |
| 425 | |
| 426 | if expected is not None: |
| 427 | fail(len(filters) != expected, |
| 428 | "%d ingress filters loaded, expected %d" % |
| 429 | (len(filters), expected)) |
| 430 | return filters |
| 431 | |
Jakub Kicinski | 6d2d58f | 2018-01-23 11:22:56 -0800 | [diff] [blame^] | 432 | def cls_filter_op(self, op, qdisc="ingress", prio=None, handle=None, |
| 433 | cls="", params="", |
| 434 | fail=True, include_stderr=False): |
| 435 | spec = "" |
| 436 | if prio is not None: |
| 437 | spec += " prio %d" % (prio) |
| 438 | if handle: |
| 439 | spec += " handle %s" % (handle) |
| 440 | |
| 441 | return tc("filter {op} dev {dev} {qdisc} {spec} {cls} {params}"\ |
| 442 | .format(op=op, dev=self['ifname'], qdisc=qdisc, spec=spec, |
| 443 | cls=cls, params=params), |
| 444 | fail=fail, include_stderr=include_stderr) |
| 445 | |
| 446 | def cls_bpf_add_filter(self, bpf, op="add", prio=None, handle=None, |
| 447 | da=False, verbose=False, |
| 448 | skip_sw=False, skip_hw=False, |
| 449 | fail=True, include_stderr=False): |
| 450 | cls = "bpf " + bpf |
| 451 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 452 | params = "" |
| 453 | if da: |
| 454 | params += " da" |
Quentin Monnet | 9045bdc | 2018-01-23 11:22:55 -0800 | [diff] [blame] | 455 | if verbose: |
| 456 | params += " verbose" |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 457 | if skip_sw: |
| 458 | params += " skip_sw" |
| 459 | if skip_hw: |
| 460 | params += " skip_hw" |
Jakub Kicinski | 6d2d58f | 2018-01-23 11:22:56 -0800 | [diff] [blame^] | 461 | |
| 462 | return self.cls_filter_op(op=op, prio=prio, handle=handle, cls=cls, |
| 463 | params=params, |
| 464 | fail=fail, include_stderr=include_stderr) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 465 | |
| 466 | def set_ethtool_tc_offloads(self, enable, fail=True): |
| 467 | args = "hw-tc-offload %s" % ("on" if enable else "off") |
| 468 | return ethtool(self, "-K", args, fail=fail) |
| 469 | |
| 470 | ################################################################################ |
| 471 | def clean_up(): |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 472 | global files, netns, devs |
| 473 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 474 | for dev in devs: |
| 475 | dev.remove() |
| 476 | for f in files: |
| 477 | cmd("rm -f %s" % (f)) |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 478 | for ns in netns: |
| 479 | cmd("ip netns delete %s" % (ns)) |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 480 | files = [] |
| 481 | netns = [] |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 482 | |
| 483 | def pin_prog(file_name, idx=0): |
| 484 | progs = bpftool_prog_list(expected=(idx + 1)) |
| 485 | prog = progs[idx] |
| 486 | bpftool("prog pin id %d %s" % (prog["id"], file_name)) |
| 487 | files.append(file_name) |
| 488 | |
| 489 | return file_name, bpf_pinned(file_name) |
| 490 | |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 491 | def pin_map(file_name, idx=0, expected=1): |
| 492 | maps = bpftool_map_list(expected=expected) |
| 493 | m = maps[idx] |
| 494 | bpftool("map pin id %d %s" % (m["id"], file_name)) |
| 495 | files.append(file_name) |
| 496 | |
| 497 | return file_name, bpf_pinned(file_name) |
| 498 | |
| 499 | def check_dev_info_removed(prog_file=None, map_file=None): |
| 500 | bpftool_prog_list(expected=0) |
| 501 | ret, err = bpftool("prog show pin %s" % (prog_file), fail=False) |
| 502 | fail(ret == 0, "Showing prog with removed device did not fail") |
| 503 | fail(err["error"].find("No such device") == -1, |
| 504 | "Showing prog with removed device expected ENODEV, error is %s" % |
| 505 | (err["error"])) |
| 506 | |
| 507 | bpftool_map_list(expected=0) |
| 508 | ret, err = bpftool("map show pin %s" % (map_file), fail=False) |
| 509 | fail(ret == 0, "Showing map with removed device did not fail") |
| 510 | fail(err["error"].find("No such device") == -1, |
| 511 | "Showing map with removed device expected ENODEV, error is %s" % |
| 512 | (err["error"])) |
| 513 | |
| 514 | def check_dev_info(other_ns, ns, prog_file=None, map_file=None, removed=False): |
| 515 | progs = bpftool_prog_list(expected=1, ns=ns) |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 516 | prog = progs[0] |
| 517 | |
| 518 | fail("dev" not in prog.keys(), "Device parameters not reported") |
| 519 | dev = prog["dev"] |
| 520 | fail("ifindex" not in dev.keys(), "Device parameters not reported") |
| 521 | fail("ns_dev" not in dev.keys(), "Device parameters not reported") |
| 522 | fail("ns_inode" not in dev.keys(), "Device parameters not reported") |
| 523 | |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 524 | if not other_ns: |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 525 | fail("ifname" not in dev.keys(), "Ifname not reported") |
| 526 | fail(dev["ifname"] != sim["ifname"], |
| 527 | "Ifname incorrect %s vs %s" % (dev["ifname"], sim["ifname"])) |
| 528 | else: |
| 529 | fail("ifname" in dev.keys(), "Ifname is reported for other ns") |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 530 | |
| 531 | maps = bpftool_map_list(expected=2, ns=ns) |
| 532 | for m in maps: |
| 533 | fail("dev" not in m.keys(), "Device parameters not reported") |
| 534 | fail(dev != m["dev"], "Map's device different than program's") |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 535 | |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 536 | def check_extack(output, reference, args): |
| 537 | if skip_extack: |
| 538 | return |
| 539 | lines = output.split("\n") |
| 540 | comp = len(lines) >= 2 and lines[1] == reference |
| 541 | fail(not comp, "Missing or incorrect netlink extack message") |
| 542 | |
| 543 | def check_extack_nsim(output, reference, args): |
| 544 | check_extack(output, "Error: netdevsim: " + reference, args) |
| 545 | |
Quentin Monnet | 9045bdc | 2018-01-23 11:22:55 -0800 | [diff] [blame] | 546 | def check_verifier_log(output, reference): |
| 547 | lines = output.split("\n") |
| 548 | for l in reversed(lines): |
| 549 | if l == reference: |
| 550 | return |
| 551 | fail(True, "Missing or incorrect message from netdevsim in verifier log") |
| 552 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 553 | # Parse command line |
| 554 | parser = argparse.ArgumentParser() |
| 555 | parser.add_argument("--log", help="output verbose log to given file") |
| 556 | args = parser.parse_args() |
| 557 | if args.log: |
| 558 | logfile = open(args.log, 'w+') |
| 559 | logfile.write("# -*-Org-*-") |
| 560 | |
| 561 | log("Prepare...", "", level=1) |
| 562 | log_level_inc() |
| 563 | |
| 564 | # Check permissions |
| 565 | skip(os.getuid() != 0, "test must be run as root") |
| 566 | |
| 567 | # Check tools |
| 568 | ret, progs = bpftool("prog", fail=False) |
| 569 | skip(ret != 0, "bpftool not installed") |
| 570 | # Check no BPF programs are loaded |
| 571 | skip(len(progs) != 0, "BPF programs already loaded on the system") |
| 572 | |
| 573 | # Check netdevsim |
| 574 | ret, out = cmd("modprobe netdevsim", fail=False) |
| 575 | skip(ret != 0, "netdevsim module could not be loaded") |
| 576 | |
| 577 | # Check debugfs |
| 578 | _, out = cmd("mount") |
| 579 | if out.find("/sys/kernel/debug type debugfs") == -1: |
| 580 | cmd("mount -t debugfs none /sys/kernel/debug") |
| 581 | |
| 582 | # Check samples are compiled |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 583 | samples = ["sample_ret0.o", "sample_map_ret0.o"] |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 584 | for s in samples: |
| 585 | ret, out = cmd("ls %s/%s" % (bpf_test_dir, s), fail=False) |
| 586 | skip(ret != 0, "sample %s/%s not found, please compile it" % |
| 587 | (bpf_test_dir, s)) |
| 588 | |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 589 | # Check if iproute2 is built with libmnl (needed by extack support) |
| 590 | _, _, err = cmd("tc qdisc delete dev lo handle 0", |
| 591 | fail=False, include_stderr=True) |
| 592 | if err.find("Error: Failed to find qdisc with specified handle.") == -1: |
| 593 | print("Warning: no extack message in iproute2 output, libmnl missing?") |
| 594 | log("Warning: no extack message in iproute2 output, libmnl missing?", "") |
| 595 | skip_extack = True |
| 596 | |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 597 | # Check if net namespaces seem to work |
| 598 | ns = mknetns() |
| 599 | skip(ns is None, "Could not create a net namespace") |
| 600 | cmd("ip netns delete %s" % (ns)) |
| 601 | netns = [] |
| 602 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 603 | try: |
| 604 | obj = bpf_obj("sample_ret0.o") |
| 605 | bytecode = bpf_bytecode("1,6 0 0 4294967295,") |
| 606 | |
| 607 | start_test("Test destruction of generic XDP...") |
| 608 | sim = NetdevSim() |
| 609 | sim.set_xdp(obj, "generic") |
| 610 | sim.remove() |
| 611 | bpftool_prog_list_wait(expected=0) |
| 612 | |
| 613 | sim = NetdevSim() |
| 614 | sim.tc_add_ingress() |
| 615 | |
| 616 | start_test("Test TC non-offloaded...") |
| 617 | ret, _ = sim.cls_bpf_add_filter(obj, skip_hw=True, fail=False) |
| 618 | fail(ret != 0, "Software TC filter did not load") |
| 619 | |
| 620 | start_test("Test TC non-offloaded isn't getting bound...") |
| 621 | ret, _ = sim.cls_bpf_add_filter(obj, fail=False) |
| 622 | fail(ret != 0, "Software TC filter did not load") |
| 623 | sim.dfs_get_bound_progs(expected=0) |
| 624 | |
| 625 | sim.tc_flush_filters() |
| 626 | |
| 627 | start_test("Test TC offloads are off by default...") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 628 | ret, _, err = sim.cls_bpf_add_filter(obj, skip_sw=True, |
| 629 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 630 | fail(ret == 0, "TC filter loaded without enabling TC offloads") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 631 | check_extack(err, "Error: TC offload is disabled on net device.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 632 | sim.wait_for_flush() |
| 633 | |
| 634 | sim.set_ethtool_tc_offloads(True) |
| 635 | sim.dfs["bpf_tc_non_bound_accept"] = "Y" |
| 636 | |
| 637 | start_test("Test TC offload by default...") |
| 638 | ret, _ = sim.cls_bpf_add_filter(obj, fail=False) |
| 639 | fail(ret != 0, "Software TC filter did not load") |
| 640 | sim.dfs_get_bound_progs(expected=0) |
| 641 | ingress = sim.tc_show_ingress(expected=1) |
| 642 | fltr = ingress[0] |
| 643 | fail(not fltr["in_hw"], "Filter not offloaded by default") |
| 644 | |
| 645 | sim.tc_flush_filters() |
| 646 | |
| 647 | start_test("Test TC cBPF bytcode tries offload by default...") |
| 648 | ret, _ = sim.cls_bpf_add_filter(bytecode, fail=False) |
| 649 | fail(ret != 0, "Software TC filter did not load") |
| 650 | sim.dfs_get_bound_progs(expected=0) |
| 651 | ingress = sim.tc_show_ingress(expected=1) |
| 652 | fltr = ingress[0] |
| 653 | fail(not fltr["in_hw"], "Bytecode not offloaded by default") |
| 654 | |
| 655 | sim.tc_flush_filters() |
| 656 | sim.dfs["bpf_tc_non_bound_accept"] = "N" |
| 657 | |
| 658 | start_test("Test TC cBPF unbound bytecode doesn't offload...") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 659 | ret, _, err = sim.cls_bpf_add_filter(bytecode, skip_sw=True, |
| 660 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 661 | fail(ret == 0, "TC bytecode loaded for offload") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 662 | check_extack_nsim(err, "netdevsim configured to reject unbound programs.", |
| 663 | args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 664 | sim.wait_for_flush() |
| 665 | |
Jakub Kicinski | 6d2d58f | 2018-01-23 11:22:56 -0800 | [diff] [blame^] | 666 | start_test("Test TC replace...") |
| 667 | sim.cls_bpf_add_filter(obj, prio=1, handle=1) |
| 668 | sim.cls_bpf_add_filter(obj, op="replace", prio=1, handle=1) |
| 669 | sim.cls_filter_op(op="delete", prio=1, handle=1, cls="bpf") |
| 670 | |
| 671 | sim.cls_bpf_add_filter(obj, prio=1, handle=1, skip_sw=True) |
| 672 | sim.cls_bpf_add_filter(obj, op="replace", prio=1, handle=1, skip_sw=True) |
| 673 | sim.cls_filter_op(op="delete", prio=1, handle=1, cls="bpf") |
| 674 | |
| 675 | sim.cls_bpf_add_filter(obj, prio=1, handle=1, skip_hw=True) |
| 676 | sim.cls_bpf_add_filter(obj, op="replace", prio=1, handle=1, skip_hw=True) |
| 677 | sim.cls_filter_op(op="delete", prio=1, handle=1, cls="bpf") |
| 678 | |
| 679 | start_test("Test TC replace bad flags...") |
| 680 | for i in range(3): |
| 681 | for j in range(3): |
| 682 | ret, _ = sim.cls_bpf_add_filter(obj, op="replace", prio=1, handle=1, |
| 683 | skip_sw=(j == 1), skip_hw=(j == 2), |
| 684 | fail=False) |
| 685 | fail(bool(ret) != bool(j), |
| 686 | "Software TC incorrect load in replace test, iteration %d" % |
| 687 | (j)) |
| 688 | sim.cls_filter_op(op="delete", prio=1, handle=1, cls="bpf") |
| 689 | |
| 690 | sim.tc_flush_filters() |
| 691 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 692 | start_test("Test TC offloads work...") |
Quentin Monnet | 9045bdc | 2018-01-23 11:22:55 -0800 | [diff] [blame] | 693 | ret, _, err = sim.cls_bpf_add_filter(obj, verbose=True, skip_sw=True, |
| 694 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 695 | fail(ret != 0, "TC filter did not load with TC offloads enabled") |
Quentin Monnet | 9045bdc | 2018-01-23 11:22:55 -0800 | [diff] [blame] | 696 | check_verifier_log(err, "[netdevsim] Hello from netdevsim!") |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 697 | |
| 698 | start_test("Test TC offload basics...") |
| 699 | dfs = sim.dfs_get_bound_progs(expected=1) |
| 700 | progs = bpftool_prog_list(expected=1) |
| 701 | ingress = sim.tc_show_ingress(expected=1) |
| 702 | |
| 703 | dprog = dfs[0] |
| 704 | prog = progs[0] |
| 705 | fltr = ingress[0] |
| 706 | fail(fltr["skip_hw"], "TC does reports 'skip_hw' on offloaded filter") |
| 707 | fail(not fltr["in_hw"], "TC does not report 'in_hw' for offloaded filter") |
| 708 | fail(not fltr["skip_sw"], "TC does not report 'skip_sw' back") |
| 709 | |
| 710 | start_test("Test TC offload is device-bound...") |
| 711 | fail(str(prog["id"]) != fltr["id"], "Program IDs don't match") |
| 712 | fail(prog["tag"] != fltr["tag"], "Program tags don't match") |
| 713 | fail(fltr["id"] != dprog["id"], "Program IDs don't match") |
| 714 | fail(dprog["state"] != "xlated", "Offloaded program state not translated") |
| 715 | fail(dprog["loaded"] != "Y", "Offloaded program is not loaded") |
| 716 | |
| 717 | start_test("Test disabling TC offloads is rejected while filters installed...") |
| 718 | ret, _ = sim.set_ethtool_tc_offloads(False, fail=False) |
| 719 | fail(ret == 0, "Driver should refuse to disable TC offloads with filters installed...") |
| 720 | |
| 721 | start_test("Test qdisc removal frees things...") |
| 722 | sim.tc_flush_filters() |
| 723 | sim.tc_show_ingress(expected=0) |
| 724 | |
| 725 | start_test("Test disabling TC offloads is OK without filters...") |
| 726 | ret, _ = sim.set_ethtool_tc_offloads(False, fail=False) |
| 727 | fail(ret != 0, |
| 728 | "Driver refused to disable TC offloads without filters installed...") |
| 729 | |
| 730 | sim.set_ethtool_tc_offloads(True) |
| 731 | |
| 732 | start_test("Test destroying device gets rid of TC filters...") |
| 733 | sim.cls_bpf_add_filter(obj, skip_sw=True) |
| 734 | sim.remove() |
| 735 | bpftool_prog_list_wait(expected=0) |
| 736 | |
| 737 | sim = NetdevSim() |
| 738 | sim.set_ethtool_tc_offloads(True) |
| 739 | |
| 740 | start_test("Test destroying device gets rid of XDP...") |
| 741 | sim.set_xdp(obj, "offload") |
| 742 | sim.remove() |
| 743 | bpftool_prog_list_wait(expected=0) |
| 744 | |
| 745 | sim = NetdevSim() |
| 746 | sim.set_ethtool_tc_offloads(True) |
| 747 | |
| 748 | start_test("Test XDP prog reporting...") |
| 749 | sim.set_xdp(obj, "drv") |
| 750 | ipl = sim.ip_link_show(xdp=True) |
| 751 | progs = bpftool_prog_list(expected=1) |
| 752 | fail(ipl["xdp"]["prog"]["id"] != progs[0]["id"], |
| 753 | "Loaded program has wrong ID") |
| 754 | |
| 755 | start_test("Test XDP prog replace without force...") |
| 756 | ret, _ = sim.set_xdp(obj, "drv", fail=False) |
| 757 | fail(ret == 0, "Replaced XDP program without -force") |
| 758 | sim.wait_for_flush(total=1) |
| 759 | |
| 760 | start_test("Test XDP prog replace with force...") |
| 761 | ret, _ = sim.set_xdp(obj, "drv", force=True, fail=False) |
| 762 | fail(ret != 0, "Could not replace XDP program with -force") |
| 763 | bpftool_prog_list_wait(expected=1) |
| 764 | ipl = sim.ip_link_show(xdp=True) |
| 765 | progs = bpftool_prog_list(expected=1) |
| 766 | fail(ipl["xdp"]["prog"]["id"] != progs[0]["id"], |
| 767 | "Loaded program has wrong ID") |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 768 | fail("dev" in progs[0].keys(), |
| 769 | "Device parameters reported for non-offloaded program") |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 770 | |
| 771 | start_test("Test XDP prog replace with bad flags...") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 772 | ret, _, err = sim.set_xdp(obj, "offload", force=True, |
| 773 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 774 | fail(ret == 0, "Replaced XDP program with a program in different mode") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 775 | check_extack_nsim(err, "program loaded with different flags.", args) |
| 776 | ret, _, err = sim.set_xdp(obj, "", force=True, |
| 777 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 778 | fail(ret == 0, "Replaced XDP program with a program in different mode") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 779 | check_extack_nsim(err, "program loaded with different flags.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 780 | |
| 781 | start_test("Test XDP prog remove with bad flags...") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 782 | ret, _, err = sim.unset_xdp("offload", force=True, |
| 783 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 784 | fail(ret == 0, "Removed program with a bad mode mode") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 785 | check_extack_nsim(err, "program loaded with different flags.", args) |
| 786 | ret, _, err = sim.unset_xdp("", force=True, |
| 787 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 788 | fail(ret == 0, "Removed program with a bad mode mode") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 789 | check_extack_nsim(err, "program loaded with different flags.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 790 | |
| 791 | start_test("Test MTU restrictions...") |
| 792 | ret, _ = sim.set_mtu(9000, fail=False) |
| 793 | fail(ret == 0, |
| 794 | "Driver should refuse to increase MTU to 9000 with XDP loaded...") |
| 795 | sim.unset_xdp("drv") |
| 796 | bpftool_prog_list_wait(expected=0) |
| 797 | sim.set_mtu(9000) |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 798 | ret, _, err = sim.set_xdp(obj, "drv", fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 799 | fail(ret == 0, "Driver should refuse to load program with MTU of 9000...") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 800 | check_extack_nsim(err, "MTU too large w/ XDP enabled.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 801 | sim.set_mtu(1500) |
| 802 | |
| 803 | sim.wait_for_flush() |
| 804 | start_test("Test XDP offload...") |
Quentin Monnet | 9045bdc | 2018-01-23 11:22:55 -0800 | [diff] [blame] | 805 | _, _, err = sim.set_xdp(obj, "offload", verbose=True, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 806 | ipl = sim.ip_link_show(xdp=True) |
| 807 | link_xdp = ipl["xdp"]["prog"] |
| 808 | progs = bpftool_prog_list(expected=1) |
| 809 | prog = progs[0] |
| 810 | fail(link_xdp["id"] != prog["id"], "Loaded program has wrong ID") |
Quentin Monnet | 9045bdc | 2018-01-23 11:22:55 -0800 | [diff] [blame] | 811 | check_verifier_log(err, "[netdevsim] Hello from netdevsim!") |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 812 | |
| 813 | start_test("Test XDP offload is device bound...") |
| 814 | dfs = sim.dfs_get_bound_progs(expected=1) |
| 815 | dprog = dfs[0] |
| 816 | |
| 817 | fail(prog["id"] != link_xdp["id"], "Program IDs don't match") |
| 818 | fail(prog["tag"] != link_xdp["tag"], "Program tags don't match") |
| 819 | fail(str(link_xdp["id"]) != dprog["id"], "Program IDs don't match") |
| 820 | fail(dprog["state"] != "xlated", "Offloaded program state not translated") |
| 821 | fail(dprog["loaded"] != "Y", "Offloaded program is not loaded") |
| 822 | |
| 823 | start_test("Test removing XDP program many times...") |
| 824 | sim.unset_xdp("offload") |
| 825 | sim.unset_xdp("offload") |
| 826 | sim.unset_xdp("drv") |
| 827 | sim.unset_xdp("drv") |
| 828 | sim.unset_xdp("") |
| 829 | sim.unset_xdp("") |
| 830 | bpftool_prog_list_wait(expected=0) |
| 831 | |
| 832 | start_test("Test attempt to use a program for a wrong device...") |
| 833 | sim2 = NetdevSim() |
| 834 | sim2.set_xdp(obj, "offload") |
| 835 | pin_file, pinned = pin_prog("/sys/fs/bpf/tmp") |
| 836 | |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 837 | ret, _, err = sim.set_xdp(pinned, "offload", |
| 838 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 839 | fail(ret == 0, "Pinned program loaded for a different device accepted") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 840 | check_extack_nsim(err, "program bound to different dev.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 841 | sim2.remove() |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 842 | ret, _, err = sim.set_xdp(pinned, "offload", |
| 843 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 844 | fail(ret == 0, "Pinned program loaded for a removed device accepted") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 845 | check_extack_nsim(err, "xdpoffload of non-bound program.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 846 | rm(pin_file) |
| 847 | bpftool_prog_list_wait(expected=0) |
| 848 | |
| 849 | start_test("Test mixing of TC and XDP...") |
| 850 | sim.tc_add_ingress() |
| 851 | sim.set_xdp(obj, "offload") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 852 | ret, _, err = sim.cls_bpf_add_filter(obj, skip_sw=True, |
| 853 | fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 854 | fail(ret == 0, "Loading TC when XDP active should fail") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 855 | check_extack_nsim(err, "driver and netdev offload states mismatch.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 856 | sim.unset_xdp("offload") |
| 857 | sim.wait_for_flush() |
| 858 | |
| 859 | sim.cls_bpf_add_filter(obj, skip_sw=True) |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 860 | ret, _, err = sim.set_xdp(obj, "offload", fail=False, include_stderr=True) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 861 | fail(ret == 0, "Loading XDP when TC active should fail") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 862 | check_extack_nsim(err, "TC program is already loaded.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 863 | |
| 864 | start_test("Test binding TC from pinned...") |
| 865 | pin_file, pinned = pin_prog("/sys/fs/bpf/tmp") |
| 866 | sim.tc_flush_filters(bound=1, total=1) |
| 867 | sim.cls_bpf_add_filter(pinned, da=True, skip_sw=True) |
| 868 | sim.tc_flush_filters(bound=1, total=1) |
| 869 | |
| 870 | start_test("Test binding XDP from pinned...") |
| 871 | sim.set_xdp(obj, "offload") |
| 872 | pin_file, pinned = pin_prog("/sys/fs/bpf/tmp2", idx=1) |
| 873 | |
| 874 | sim.set_xdp(pinned, "offload", force=True) |
| 875 | sim.unset_xdp("offload") |
| 876 | sim.set_xdp(pinned, "offload", force=True) |
| 877 | sim.unset_xdp("offload") |
| 878 | |
| 879 | start_test("Test offload of wrong type fails...") |
| 880 | ret, _ = sim.cls_bpf_add_filter(pinned, da=True, skip_sw=True, fail=False) |
| 881 | fail(ret == 0, "Managed to attach XDP program to TC") |
| 882 | |
| 883 | start_test("Test asking for TC offload of two filters...") |
| 884 | sim.cls_bpf_add_filter(obj, da=True, skip_sw=True) |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 885 | ret, _, err = sim.cls_bpf_add_filter(obj, da=True, skip_sw=True, |
| 886 | fail=False, include_stderr=True) |
David S. Miller | fba961a | 2017-12-22 11:16:31 -0500 | [diff] [blame] | 887 | fail(ret == 0, "Managed to offload two TC filters at the same time") |
Quentin Monnet | caf9522 | 2018-01-23 11:22:53 -0800 | [diff] [blame] | 888 | check_extack_nsim(err, "driver and netdev offload states mismatch.", args) |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 889 | |
| 890 | sim.tc_flush_filters(bound=2, total=2) |
| 891 | |
| 892 | start_test("Test if netdev removal waits for translation...") |
| 893 | delay_msec = 500 |
| 894 | sim.dfs["bpf_bind_verifier_delay"] = delay_msec |
| 895 | start = time.time() |
| 896 | cmd_line = "tc filter add dev %s ingress bpf %s da skip_sw" % \ |
| 897 | (sim['ifname'], obj) |
| 898 | tc_proc = cmd(cmd_line, background=True, fail=False) |
| 899 | # Wait for the verifier to start |
| 900 | while sim.dfs_num_bound_progs() <= 2: |
| 901 | pass |
| 902 | sim.remove() |
| 903 | end = time.time() |
| 904 | ret, _ = cmd_result(tc_proc, fail=False) |
| 905 | time_diff = end - start |
| 906 | log("Time", "start:\t%s\nend:\t%s\ndiff:\t%s" % (start, end, time_diff)) |
| 907 | |
| 908 | fail(ret == 0, "Managed to load TC filter on a unregistering device") |
| 909 | delay_sec = delay_msec * 0.001 |
| 910 | fail(time_diff < delay_sec, "Removal process took %s, expected %s" % |
| 911 | (time_diff, delay_sec)) |
| 912 | |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 913 | # Remove all pinned files and reinstantiate the netdev |
| 914 | clean_up() |
| 915 | bpftool_prog_list_wait(expected=0) |
| 916 | |
| 917 | sim = NetdevSim() |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 918 | map_obj = bpf_obj("sample_map_ret0.o") |
| 919 | start_test("Test loading program with maps...") |
| 920 | sim.set_xdp(map_obj, "offload", JSON=False) # map fixup msg breaks JSON |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 921 | |
| 922 | start_test("Test bpftool bound info reporting (own ns)...") |
| 923 | check_dev_info(False, "") |
| 924 | |
| 925 | start_test("Test bpftool bound info reporting (other ns)...") |
| 926 | ns = mknetns() |
| 927 | sim.set_ns(ns) |
| 928 | check_dev_info(True, "") |
| 929 | |
| 930 | start_test("Test bpftool bound info reporting (remote ns)...") |
| 931 | check_dev_info(False, ns) |
| 932 | |
| 933 | start_test("Test bpftool bound info reporting (back to own ns)...") |
| 934 | sim.set_ns("") |
| 935 | check_dev_info(False, "") |
| 936 | |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 937 | prog_file, _ = pin_prog("/sys/fs/bpf/tmp_prog") |
| 938 | map_file, _ = pin_map("/sys/fs/bpf/tmp_map", idx=1, expected=2) |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 939 | sim.remove() |
| 940 | |
| 941 | start_test("Test bpftool bound info reporting (removed dev)...") |
Jakub Kicinski | 7fedbb7 | 2018-01-17 19:13:31 -0800 | [diff] [blame] | 942 | check_dev_info_removed(prog_file=prog_file, map_file=map_file) |
| 943 | |
| 944 | # Remove all pinned files and reinstantiate the netdev |
| 945 | clean_up() |
| 946 | bpftool_prog_list_wait(expected=0) |
| 947 | |
| 948 | sim = NetdevSim() |
| 949 | |
| 950 | start_test("Test map update (no flags)...") |
| 951 | sim.set_xdp(map_obj, "offload", JSON=False) # map fixup msg breaks JSON |
| 952 | maps = bpftool_map_list(expected=2) |
| 953 | array = maps[0] if maps[0]["type"] == "array" else maps[1] |
| 954 | htab = maps[0] if maps[0]["type"] == "hash" else maps[1] |
| 955 | for m in maps: |
| 956 | for i in range(2): |
| 957 | bpftool("map update id %d key %s value %s" % |
| 958 | (m["id"], int2str("I", i), int2str("Q", i * 3))) |
| 959 | |
| 960 | for m in maps: |
| 961 | ret, _ = bpftool("map update id %d key %s value %s" % |
| 962 | (m["id"], int2str("I", 3), int2str("Q", 3 * 3)), |
| 963 | fail=False) |
| 964 | fail(ret == 0, "added too many entries") |
| 965 | |
| 966 | start_test("Test map update (exists)...") |
| 967 | for m in maps: |
| 968 | for i in range(2): |
| 969 | bpftool("map update id %d key %s value %s exist" % |
| 970 | (m["id"], int2str("I", i), int2str("Q", i * 3))) |
| 971 | |
| 972 | for m in maps: |
| 973 | ret, err = bpftool("map update id %d key %s value %s exist" % |
| 974 | (m["id"], int2str("I", 3), int2str("Q", 3 * 3)), |
| 975 | fail=False) |
| 976 | fail(ret == 0, "updated non-existing key") |
| 977 | fail(err["error"].find("No such file or directory") == -1, |
| 978 | "expected ENOENT, error is '%s'" % (err["error"])) |
| 979 | |
| 980 | start_test("Test map update (noexist)...") |
| 981 | for m in maps: |
| 982 | for i in range(2): |
| 983 | ret, err = bpftool("map update id %d key %s value %s noexist" % |
| 984 | (m["id"], int2str("I", i), int2str("Q", i * 3)), |
| 985 | fail=False) |
| 986 | fail(ret == 0, "updated existing key") |
| 987 | fail(err["error"].find("File exists") == -1, |
| 988 | "expected EEXIST, error is '%s'" % (err["error"])) |
| 989 | |
| 990 | start_test("Test map dump...") |
| 991 | for m in maps: |
| 992 | _, entries = bpftool("map dump id %d" % (m["id"])) |
| 993 | for i in range(2): |
| 994 | key = str2int(entries[i]["key"]) |
| 995 | fail(key != i, "expected key %d, got %d" % (key, i)) |
| 996 | val = str2int(entries[i]["value"]) |
| 997 | fail(val != i * 3, "expected value %d, got %d" % (val, i * 3)) |
| 998 | |
| 999 | start_test("Test map getnext...") |
| 1000 | for m in maps: |
| 1001 | _, entry = bpftool("map getnext id %d" % (m["id"])) |
| 1002 | key = str2int(entry["next_key"]) |
| 1003 | fail(key != 0, "next key %d, expected %d" % (key, 0)) |
| 1004 | _, entry = bpftool("map getnext id %d key %s" % |
| 1005 | (m["id"], int2str("I", 0))) |
| 1006 | key = str2int(entry["next_key"]) |
| 1007 | fail(key != 1, "next key %d, expected %d" % (key, 1)) |
| 1008 | ret, err = bpftool("map getnext id %d key %s" % |
| 1009 | (m["id"], int2str("I", 1)), fail=False) |
| 1010 | fail(ret == 0, "got next key past the end of map") |
| 1011 | fail(err["error"].find("No such file or directory") == -1, |
| 1012 | "expected ENOENT, error is '%s'" % (err["error"])) |
| 1013 | |
| 1014 | start_test("Test map delete (htab)...") |
| 1015 | for i in range(2): |
| 1016 | bpftool("map delete id %d key %s" % (htab["id"], int2str("I", i))) |
| 1017 | |
| 1018 | start_test("Test map delete (array)...") |
| 1019 | for i in range(2): |
| 1020 | ret, err = bpftool("map delete id %d key %s" % |
| 1021 | (htab["id"], int2str("I", i)), fail=False) |
| 1022 | fail(ret == 0, "removed entry from an array") |
| 1023 | fail(err["error"].find("No such file or directory") == -1, |
| 1024 | "expected ENOENT, error is '%s'" % (err["error"])) |
| 1025 | |
| 1026 | start_test("Test map remove...") |
| 1027 | sim.unset_xdp("offload") |
| 1028 | bpftool_map_list_wait(expected=0) |
| 1029 | sim.remove() |
| 1030 | |
| 1031 | sim = NetdevSim() |
| 1032 | sim.set_xdp(map_obj, "offload", JSON=False) # map fixup msg breaks JSON |
| 1033 | sim.remove() |
| 1034 | bpftool_map_list_wait(expected=0) |
| 1035 | |
| 1036 | start_test("Test map creation fail path...") |
| 1037 | sim = NetdevSim() |
| 1038 | sim.dfs["bpf_map_accept"] = "N" |
| 1039 | ret, _ = sim.set_xdp(map_obj, "offload", JSON=False, fail=False) |
| 1040 | fail(ret == 0, |
| 1041 | "netdevsim didn't refuse to create a map with offload disabled") |
Jakub Kicinski | 752d7b4 | 2017-12-27 18:39:11 -0800 | [diff] [blame] | 1042 | |
Jakub Kicinski | 417ec26 | 2017-12-01 15:09:00 -0800 | [diff] [blame] | 1043 | print("%s: OK" % (os.path.basename(__file__))) |
| 1044 | |
| 1045 | finally: |
| 1046 | log("Clean up...", "", level=1) |
| 1047 | log_level_inc() |
| 1048 | clean_up() |