1967d7ba8SKees Cook /*
2967d7ba8SKees Cook * Strictly speaking, this is not a test. But it can report during test
3967d7ba8SKees Cook * runs so relative performace can be measured.
4967d7ba8SKees Cook */
5967d7ba8SKees Cook #define _GNU_SOURCE
6967d7ba8SKees Cook #include <assert.h>
7192cf322SKees Cook #include <limits.h>
8192cf322SKees Cook #include <stdbool.h>
9192cf322SKees Cook #include <stddef.h>
10967d7ba8SKees Cook #include <stdio.h>
11967d7ba8SKees Cook #include <stdlib.h>
12967d7ba8SKees Cook #include <time.h>
13967d7ba8SKees Cook #include <unistd.h>
14967d7ba8SKees Cook #include <linux/filter.h>
15967d7ba8SKees Cook #include <linux/seccomp.h>
16192cf322SKees Cook #include <sys/param.h>
17967d7ba8SKees Cook #include <sys/prctl.h>
18967d7ba8SKees Cook #include <sys/syscall.h>
19967d7ba8SKees Cook #include <sys/types.h>
20967d7ba8SKees Cook
21*6e5eba2eSShuah Khan #include "../kselftest.h"
22967d7ba8SKees Cook
timing(clockid_t clk_id,unsigned long long samples)23967d7ba8SKees Cook unsigned long long timing(clockid_t clk_id, unsigned long long samples)
24967d7ba8SKees Cook {
25967d7ba8SKees Cook struct timespec start, finish;
2681a0c8bcSKees Cook unsigned long long i;
2781a0c8bcSKees Cook pid_t pid, ret;
28967d7ba8SKees Cook
29967d7ba8SKees Cook pid = getpid();
30967d7ba8SKees Cook assert(clock_gettime(clk_id, &start) == 0);
31967d7ba8SKees Cook for (i = 0; i < samples; i++) {
32967d7ba8SKees Cook ret = syscall(__NR_getpid);
33967d7ba8SKees Cook assert(pid == ret);
34967d7ba8SKees Cook }
35967d7ba8SKees Cook assert(clock_gettime(clk_id, &finish) == 0);
36967d7ba8SKees Cook
37967d7ba8SKees Cook i = finish.tv_sec - start.tv_sec;
3881a0c8bcSKees Cook i *= 1000000000ULL;
39967d7ba8SKees Cook i += finish.tv_nsec - start.tv_nsec;
40967d7ba8SKees Cook
4181a0c8bcSKees Cook printf("%lu.%09lu - %lu.%09lu = %llu (%.1fs)\n",
42967d7ba8SKees Cook finish.tv_sec, finish.tv_nsec,
43967d7ba8SKees Cook start.tv_sec, start.tv_nsec,
4481a0c8bcSKees Cook i, (double)i / 1000000000.0);
45967d7ba8SKees Cook
46967d7ba8SKees Cook return i;
47967d7ba8SKees Cook }
48967d7ba8SKees Cook
calibrate(void)49967d7ba8SKees Cook unsigned long long calibrate(void)
50967d7ba8SKees Cook {
5181a0c8bcSKees Cook struct timespec start, finish;
5281a0c8bcSKees Cook unsigned long long i, samples, step = 9973;
5381a0c8bcSKees Cook pid_t pid, ret;
5481a0c8bcSKees Cook int seconds = 15;
55967d7ba8SKees Cook
5681a0c8bcSKees Cook printf("Calibrating sample size for %d seconds worth of syscalls ...\n", seconds);
57967d7ba8SKees Cook
5881a0c8bcSKees Cook samples = 0;
5981a0c8bcSKees Cook pid = getpid();
6081a0c8bcSKees Cook assert(clock_gettime(CLOCK_MONOTONIC, &start) == 0);
6181a0c8bcSKees Cook do {
6281a0c8bcSKees Cook for (i = 0; i < step; i++) {
6381a0c8bcSKees Cook ret = syscall(__NR_getpid);
6481a0c8bcSKees Cook assert(pid == ret);
65967d7ba8SKees Cook }
6681a0c8bcSKees Cook assert(clock_gettime(CLOCK_MONOTONIC, &finish) == 0);
6781a0c8bcSKees Cook
6881a0c8bcSKees Cook samples += step;
6981a0c8bcSKees Cook i = finish.tv_sec - start.tv_sec;
7081a0c8bcSKees Cook i *= 1000000000ULL;
7181a0c8bcSKees Cook i += finish.tv_nsec - start.tv_nsec;
7281a0c8bcSKees Cook } while (i < 1000000000ULL);
7381a0c8bcSKees Cook
7481a0c8bcSKees Cook return samples * seconds;
75967d7ba8SKees Cook }
76967d7ba8SKees Cook
approx(int i_one,int i_two)77192cf322SKees Cook bool approx(int i_one, int i_two)
78192cf322SKees Cook {
79192cf322SKees Cook double one = i_one, one_bump = one * 0.01;
80192cf322SKees Cook double two = i_two, two_bump = two * 0.01;
81192cf322SKees Cook
82192cf322SKees Cook one_bump = one + MAX(one_bump, 2.0);
83192cf322SKees Cook two_bump = two + MAX(two_bump, 2.0);
84192cf322SKees Cook
85192cf322SKees Cook /* Equal to, or within 1% or 2 digits */
86192cf322SKees Cook if (one == two ||
87192cf322SKees Cook (one > two && one <= two_bump) ||
88192cf322SKees Cook (two > one && two <= one_bump))
89192cf322SKees Cook return true;
90192cf322SKees Cook return false;
91192cf322SKees Cook }
92192cf322SKees Cook
le(int i_one,int i_two)93192cf322SKees Cook bool le(int i_one, int i_two)
94192cf322SKees Cook {
95192cf322SKees Cook if (i_one <= i_two)
96192cf322SKees Cook return true;
97192cf322SKees Cook return false;
98192cf322SKees Cook }
99192cf322SKees Cook
compare(const char * name_one,const char * name_eval,const char * name_two,unsigned long long one,bool (* eval)(int,int),unsigned long long two)100192cf322SKees Cook long compare(const char *name_one, const char *name_eval, const char *name_two,
101192cf322SKees Cook unsigned long long one, bool (*eval)(int, int), unsigned long long two)
102192cf322SKees Cook {
103192cf322SKees Cook bool good;
104192cf322SKees Cook
105192cf322SKees Cook printf("\t%s %s %s (%lld %s %lld): ", name_one, name_eval, name_two,
106192cf322SKees Cook (long long)one, name_eval, (long long)two);
107192cf322SKees Cook if (one > INT_MAX) {
108192cf322SKees Cook printf("Miscalculation! Measurement went negative: %lld\n", (long long)one);
109192cf322SKees Cook return 1;
110192cf322SKees Cook }
111192cf322SKees Cook if (two > INT_MAX) {
112192cf322SKees Cook printf("Miscalculation! Measurement went negative: %lld\n", (long long)two);
113192cf322SKees Cook return 1;
114192cf322SKees Cook }
115192cf322SKees Cook
116192cf322SKees Cook good = eval(one, two);
117192cf322SKees Cook printf("%s\n", good ? "✔️" : "❌");
118192cf322SKees Cook
119192cf322SKees Cook return good ? 0 : 1;
120192cf322SKees Cook }
121192cf322SKees Cook
main(int argc,char * argv[])122967d7ba8SKees Cook int main(int argc, char *argv[])
123967d7ba8SKees Cook {
124192cf322SKees Cook struct sock_filter bitmap_filter[] = {
125192cf322SKees Cook BPF_STMT(BPF_LD|BPF_W|BPF_ABS, offsetof(struct seccomp_data, nr)),
126192cf322SKees Cook BPF_STMT(BPF_RET|BPF_K, SECCOMP_RET_ALLOW),
127192cf322SKees Cook };
128192cf322SKees Cook struct sock_fprog bitmap_prog = {
129192cf322SKees Cook .len = (unsigned short)ARRAY_SIZE(bitmap_filter),
130192cf322SKees Cook .filter = bitmap_filter,
131192cf322SKees Cook };
132967d7ba8SKees Cook struct sock_filter filter[] = {
133192cf322SKees Cook BPF_STMT(BPF_LD|BPF_W|BPF_ABS, offsetof(struct seccomp_data, args[0])),
134967d7ba8SKees Cook BPF_STMT(BPF_RET|BPF_K, SECCOMP_RET_ALLOW),
135967d7ba8SKees Cook };
136967d7ba8SKees Cook struct sock_fprog prog = {
137967d7ba8SKees Cook .len = (unsigned short)ARRAY_SIZE(filter),
138967d7ba8SKees Cook .filter = filter,
139967d7ba8SKees Cook };
140192cf322SKees Cook
141192cf322SKees Cook long ret, bits;
142192cf322SKees Cook unsigned long long samples, calc;
143192cf322SKees Cook unsigned long long native, filter1, filter2, bitmap1, bitmap2;
144192cf322SKees Cook unsigned long long entry, per_filter1, per_filter2;
145967d7ba8SKees Cook
14662ddb91bSKees Cook setbuf(stdout, NULL);
14762ddb91bSKees Cook
1489a03abc1SKees Cook printf("Running on:\n");
1499a03abc1SKees Cook system("uname -a");
1509a03abc1SKees Cook
15181a0c8bcSKees Cook printf("Current BPF sysctl settings:\n");
1529a03abc1SKees Cook /* Avoid using "sysctl" which may not be installed. */
1539a03abc1SKees Cook system("grep -H . /proc/sys/net/core/bpf_jit_enable");
1549a03abc1SKees Cook system("grep -H . /proc/sys/net/core/bpf_jit_harden");
15581a0c8bcSKees Cook
156967d7ba8SKees Cook if (argc > 1)
157967d7ba8SKees Cook samples = strtoull(argv[1], NULL, 0);
158967d7ba8SKees Cook else
159967d7ba8SKees Cook samples = calibrate();
160967d7ba8SKees Cook
16181a0c8bcSKees Cook printf("Benchmarking %llu syscalls...\n", samples);
162967d7ba8SKees Cook
163d3a37ea9SKees Cook /* Native call */
164967d7ba8SKees Cook native = timing(CLOCK_PROCESS_CPUTIME_ID, samples) / samples;
165967d7ba8SKees Cook printf("getpid native: %llu ns\n", native);
166967d7ba8SKees Cook
167967d7ba8SKees Cook ret = prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0);
168967d7ba8SKees Cook assert(ret == 0);
169967d7ba8SKees Cook
170192cf322SKees Cook /* One filter resulting in a bitmap */
171192cf322SKees Cook ret = prctl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER, &bitmap_prog);
172192cf322SKees Cook assert(ret == 0);
173192cf322SKees Cook
174192cf322SKees Cook bitmap1 = timing(CLOCK_PROCESS_CPUTIME_ID, samples) / samples;
175192cf322SKees Cook printf("getpid RET_ALLOW 1 filter (bitmap): %llu ns\n", bitmap1);
176192cf322SKees Cook
177192cf322SKees Cook /* Second filter resulting in a bitmap */
178192cf322SKees Cook ret = prctl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER, &bitmap_prog);
179192cf322SKees Cook assert(ret == 0);
180192cf322SKees Cook
181192cf322SKees Cook bitmap2 = timing(CLOCK_PROCESS_CPUTIME_ID, samples) / samples;
182192cf322SKees Cook printf("getpid RET_ALLOW 2 filters (bitmap): %llu ns\n", bitmap2);
183192cf322SKees Cook
184192cf322SKees Cook /* Third filter, can no longer be converted to bitmap */
185967d7ba8SKees Cook ret = prctl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER, &prog);
186967d7ba8SKees Cook assert(ret == 0);
187967d7ba8SKees Cook
188d3a37ea9SKees Cook filter1 = timing(CLOCK_PROCESS_CPUTIME_ID, samples) / samples;
189192cf322SKees Cook printf("getpid RET_ALLOW 3 filters (full): %llu ns\n", filter1);
190967d7ba8SKees Cook
191192cf322SKees Cook /* Fourth filter, can not be converted to bitmap because of filter 3 */
192192cf322SKees Cook ret = prctl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER, &bitmap_prog);
193d3a37ea9SKees Cook assert(ret == 0);
194d3a37ea9SKees Cook
195d3a37ea9SKees Cook filter2 = timing(CLOCK_PROCESS_CPUTIME_ID, samples) / samples;
196192cf322SKees Cook printf("getpid RET_ALLOW 4 filters (full): %llu ns\n", filter2);
197d3a37ea9SKees Cook
198192cf322SKees Cook /* Estimations */
199192cf322SKees Cook #define ESTIMATE(fmt, var, what) do { \
200192cf322SKees Cook var = (what); \
201192cf322SKees Cook printf("Estimated " fmt ": %llu ns\n", var); \
202192cf322SKees Cook if (var > INT_MAX) \
203192cf322SKees Cook goto more_samples; \
204192cf322SKees Cook } while (0)
205192cf322SKees Cook
206192cf322SKees Cook ESTIMATE("total seccomp overhead for 1 bitmapped filter", calc,
207192cf322SKees Cook bitmap1 - native);
208192cf322SKees Cook ESTIMATE("total seccomp overhead for 2 bitmapped filters", calc,
209192cf322SKees Cook bitmap2 - native);
210192cf322SKees Cook ESTIMATE("total seccomp overhead for 3 full filters", calc,
211d3a37ea9SKees Cook filter1 - native);
212192cf322SKees Cook ESTIMATE("total seccomp overhead for 4 full filters", calc,
213d3a37ea9SKees Cook filter2 - native);
214192cf322SKees Cook ESTIMATE("seccomp entry overhead", entry,
215192cf322SKees Cook bitmap1 - native - (bitmap2 - bitmap1));
216192cf322SKees Cook ESTIMATE("seccomp per-filter overhead (last 2 diff)", per_filter1,
217d3a37ea9SKees Cook filter2 - filter1);
218192cf322SKees Cook ESTIMATE("seccomp per-filter overhead (filters / 4)", per_filter2,
219192cf322SKees Cook (filter2 - native - entry) / 4);
220d3a37ea9SKees Cook
221192cf322SKees Cook printf("Expectations:\n");
222192cf322SKees Cook ret |= compare("native", "≤", "1 bitmap", native, le, bitmap1);
223192cf322SKees Cook bits = compare("native", "≤", "1 filter", native, le, filter1);
224192cf322SKees Cook if (bits)
225192cf322SKees Cook goto more_samples;
226967d7ba8SKees Cook
227192cf322SKees Cook ret |= compare("per-filter (last 2 diff)", "≈", "per-filter (filters / 4)",
228192cf322SKees Cook per_filter1, approx, per_filter2);
229192cf322SKees Cook
230192cf322SKees Cook bits = compare("1 bitmapped", "≈", "2 bitmapped",
231192cf322SKees Cook bitmap1 - native, approx, bitmap2 - native);
232192cf322SKees Cook if (bits) {
233192cf322SKees Cook printf("Skipping constant action bitmap expectations: they appear unsupported.\n");
234192cf322SKees Cook goto out;
235192cf322SKees Cook }
236192cf322SKees Cook
237192cf322SKees Cook ret |= compare("entry", "≈", "1 bitmapped", entry, approx, bitmap1 - native);
238192cf322SKees Cook ret |= compare("entry", "≈", "2 bitmapped", entry, approx, bitmap2 - native);
239192cf322SKees Cook ret |= compare("native + entry + (per filter * 4)", "≈", "4 filters total",
240192cf322SKees Cook entry + (per_filter1 * 4) + native, approx, filter2);
241192cf322SKees Cook if (ret == 0)
242192cf322SKees Cook goto out;
243192cf322SKees Cook
244192cf322SKees Cook more_samples:
245192cf322SKees Cook printf("Saw unexpected benchmark result. Try running again with more samples?\n");
246192cf322SKees Cook out:
247967d7ba8SKees Cook return 0;
248967d7ba8SKees Cook }
249