blob: 8283ef86d39292247ba5d811f0d9ef2133b19228 [file] [log] [blame]
Daniel Mackd8c5b172016-11-23 16:52:30 +01001/* eBPF example program:
2 *
3 * - Creates arraymap in kernel with 4 bytes keys and 8 byte values
4 *
5 * - Loads eBPF program
6 *
7 * The eBPF program accesses the map passed in to store two pieces of
8 * information. The number of invocations of the program, which maps
9 * to the number of packets received, is stored to key 0. Key 1 is
10 * incremented on each iteration by the number of bytes stored in
11 * the skb.
12 *
Daniel Mackd8c5b172016-11-23 16:52:30 +010013 * - Attaches the new program to a cgroup using BPF_PROG_ATTACH
14 *
15 * - Every second, reads map[0] and map[1] to see how many bytes and
16 * packets were seen on any socket of tasks in the given cgroup.
17 */
18
19#define _GNU_SOURCE
20
21#include <stdio.h>
22#include <stdlib.h>
23#include <stddef.h>
24#include <string.h>
25#include <unistd.h>
26#include <assert.h>
27#include <errno.h>
28#include <fcntl.h>
29
30#include <linux/bpf.h>
31
32#include "libbpf.h"
33
34enum {
35 MAP_KEY_PACKETS,
36 MAP_KEY_BYTES,
37};
38
Joe Stringerd40fc182016-12-14 14:43:38 -080039char bpf_log_buf[BPF_LOG_BUF_SIZE];
40
Daniel Mackd8c5b172016-11-23 16:52:30 +010041static int prog_load(int map_fd, int verdict)
42{
43 struct bpf_insn prog[] = {
44 BPF_MOV64_REG(BPF_REG_6, BPF_REG_1), /* save r6 so it's not clobbered by BPF_CALL */
45
46 /* Count packets */
47 BPF_MOV64_IMM(BPF_REG_0, MAP_KEY_PACKETS), /* r0 = 0 */
48 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -4), /* *(u32 *)(fp - 4) = r0 */
49 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
50 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), /* r2 = fp - 4 */
51 BPF_LD_MAP_FD(BPF_REG_1, map_fd), /* load map fd to r1 */
52 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem),
53 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),
54 BPF_MOV64_IMM(BPF_REG_1, 1), /* r1 = 1 */
55 BPF_RAW_INSN(BPF_STX | BPF_XADD | BPF_DW, BPF_REG_0, BPF_REG_1, 0, 0), /* xadd r0 += r1 */
56
57 /* Count bytes */
58 BPF_MOV64_IMM(BPF_REG_0, MAP_KEY_BYTES), /* r0 = 1 */
59 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -4), /* *(u32 *)(fp - 4) = r0 */
60 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
61 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), /* r2 = fp - 4 */
62 BPF_LD_MAP_FD(BPF_REG_1, map_fd),
63 BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem),
64 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),
65 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_6, offsetof(struct __sk_buff, len)), /* r1 = skb->len */
66 BPF_RAW_INSN(BPF_STX | BPF_XADD | BPF_DW, BPF_REG_0, BPF_REG_1, 0, 0), /* xadd r0 += r1 */
67
68 BPF_MOV64_IMM(BPF_REG_0, verdict), /* r0 = verdict */
69 BPF_EXIT_INSN(),
70 };
71
Joe Stringerd40fc182016-12-14 14:43:38 -080072 return bpf_load_program(BPF_PROG_TYPE_CGROUP_SKB,
73 prog, sizeof(prog), "GPL", 0,
74 bpf_log_buf, BPF_LOG_BUF_SIZE);
Daniel Mackd8c5b172016-11-23 16:52:30 +010075}
76
77static int usage(const char *argv0)
78{
Sargun Dhillon1379fd32016-11-28 14:52:42 -080079 printf("Usage: %s [-d] [-D] <cg-path> <egress|ingress>\n", argv0);
80 printf(" -d Drop Traffic\n");
81 printf(" -D Detach filter, and exit\n");
Daniel Mackd8c5b172016-11-23 16:52:30 +010082 return EXIT_FAILURE;
83}
84
Sargun Dhillon1379fd32016-11-28 14:52:42 -080085static int attach_filter(int cg_fd, int type, int verdict)
Daniel Mackd8c5b172016-11-23 16:52:30 +010086{
Sargun Dhillon1379fd32016-11-28 14:52:42 -080087 int prog_fd, map_fd, ret, key;
Daniel Mackd8c5b172016-11-23 16:52:30 +010088 long long pkt_cnt, byte_cnt;
Daniel Mackd8c5b172016-11-23 16:52:30 +010089
90 map_fd = bpf_create_map(BPF_MAP_TYPE_ARRAY,
91 sizeof(key), sizeof(byte_cnt),
92 256, 0);
93 if (map_fd < 0) {
94 printf("Failed to create map: '%s'\n", strerror(errno));
95 return EXIT_FAILURE;
96 }
97
98 prog_fd = prog_load(map_fd, verdict);
99 printf("Output from kernel verifier:\n%s\n-------\n", bpf_log_buf);
100
101 if (prog_fd < 0) {
102 printf("Failed to load prog: '%s'\n", strerror(errno));
103 return EXIT_FAILURE;
104 }
105
Daniel Mackd8c5b172016-11-23 16:52:30 +0100106 ret = bpf_prog_attach(prog_fd, cg_fd, type);
107 if (ret < 0) {
108 printf("Failed to attach prog to cgroup: '%s'\n",
109 strerror(errno));
110 return EXIT_FAILURE;
111 }
Daniel Mackd8c5b172016-11-23 16:52:30 +0100112 while (1) {
113 key = MAP_KEY_PACKETS;
Joe Stringerd40fc182016-12-14 14:43:38 -0800114 assert(bpf_map_lookup_elem(map_fd, &key, &pkt_cnt) == 0);
Daniel Mackd8c5b172016-11-23 16:52:30 +0100115
116 key = MAP_KEY_BYTES;
Joe Stringerd40fc182016-12-14 14:43:38 -0800117 assert(bpf_map_lookup_elem(map_fd, &key, &byte_cnt) == 0);
Daniel Mackd8c5b172016-11-23 16:52:30 +0100118
119 printf("cgroup received %lld packets, %lld bytes\n",
120 pkt_cnt, byte_cnt);
121 sleep(1);
122 }
123
124 return EXIT_SUCCESS;
125}
Sargun Dhillon1379fd32016-11-28 14:52:42 -0800126
127int main(int argc, char **argv)
128{
129 int detach_only = 0, verdict = 1;
130 enum bpf_attach_type type;
131 int opt, cg_fd, ret;
132
133 while ((opt = getopt(argc, argv, "Dd")) != -1) {
134 switch (opt) {
135 case 'd':
136 verdict = 0;
137 break;
138 case 'D':
139 detach_only = 1;
140 break;
141 default:
142 return usage(argv[0]);
143 }
144 }
145
146 if (argc - optind < 2)
147 return usage(argv[0]);
148
149 if (strcmp(argv[optind + 1], "ingress") == 0)
150 type = BPF_CGROUP_INET_INGRESS;
151 else if (strcmp(argv[optind + 1], "egress") == 0)
152 type = BPF_CGROUP_INET_EGRESS;
153 else
154 return usage(argv[0]);
155
156 cg_fd = open(argv[optind], O_DIRECTORY | O_RDONLY);
157 if (cg_fd < 0) {
158 printf("Failed to open cgroup path: '%s'\n", strerror(errno));
159 return EXIT_FAILURE;
160 }
161
162 if (detach_only) {
163 ret = bpf_prog_detach(cg_fd, type);
164 printf("bpf_prog_detach() returned '%s' (%d)\n",
165 strerror(errno), errno);
166 } else
167 ret = attach_filter(cg_fd, type, verdict);
168
169 return ret;
170}