xref: /OK3568_Linux_fs/kernel/tools/testing/selftests/bpf/test_lru_map.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-only
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun  * Copyright (c) 2016 Facebook
4*4882a593Smuzhiyun  */
5*4882a593Smuzhiyun #define _GNU_SOURCE
6*4882a593Smuzhiyun #include <stdio.h>
7*4882a593Smuzhiyun #include <unistd.h>
8*4882a593Smuzhiyun #include <errno.h>
9*4882a593Smuzhiyun #include <string.h>
10*4882a593Smuzhiyun #include <assert.h>
11*4882a593Smuzhiyun #include <sched.h>
12*4882a593Smuzhiyun #include <stdlib.h>
13*4882a593Smuzhiyun #include <time.h>
14*4882a593Smuzhiyun 
15*4882a593Smuzhiyun #include <sys/wait.h>
16*4882a593Smuzhiyun 
17*4882a593Smuzhiyun #include <bpf/bpf.h>
18*4882a593Smuzhiyun #include <bpf/libbpf.h>
19*4882a593Smuzhiyun 
20*4882a593Smuzhiyun #include "bpf_util.h"
21*4882a593Smuzhiyun #include "bpf_rlimit.h"
22*4882a593Smuzhiyun #include "../../../include/linux/filter.h"
23*4882a593Smuzhiyun 
24*4882a593Smuzhiyun #define LOCAL_FREE_TARGET	(128)
25*4882a593Smuzhiyun #define PERCPU_FREE_TARGET	(4)
26*4882a593Smuzhiyun 
27*4882a593Smuzhiyun static int nr_cpus;
28*4882a593Smuzhiyun 
create_map(int map_type,int map_flags,unsigned int size)29*4882a593Smuzhiyun static int create_map(int map_type, int map_flags, unsigned int size)
30*4882a593Smuzhiyun {
31*4882a593Smuzhiyun 	int map_fd;
32*4882a593Smuzhiyun 
33*4882a593Smuzhiyun 	map_fd = bpf_create_map(map_type, sizeof(unsigned long long),
34*4882a593Smuzhiyun 				sizeof(unsigned long long), size, map_flags);
35*4882a593Smuzhiyun 
36*4882a593Smuzhiyun 	if (map_fd == -1)
37*4882a593Smuzhiyun 		perror("bpf_create_map");
38*4882a593Smuzhiyun 
39*4882a593Smuzhiyun 	return map_fd;
40*4882a593Smuzhiyun }
41*4882a593Smuzhiyun 
bpf_map_lookup_elem_with_ref_bit(int fd,unsigned long long key,void * value)42*4882a593Smuzhiyun static int bpf_map_lookup_elem_with_ref_bit(int fd, unsigned long long key,
43*4882a593Smuzhiyun 					    void *value)
44*4882a593Smuzhiyun {
45*4882a593Smuzhiyun 	struct bpf_load_program_attr prog;
46*4882a593Smuzhiyun 	struct bpf_create_map_attr map;
47*4882a593Smuzhiyun 	struct bpf_insn insns[] = {
48*4882a593Smuzhiyun 		BPF_LD_MAP_VALUE(BPF_REG_9, 0, 0),
49*4882a593Smuzhiyun 		BPF_LD_MAP_FD(BPF_REG_1, fd),
50*4882a593Smuzhiyun 		BPF_LD_IMM64(BPF_REG_3, key),
51*4882a593Smuzhiyun 		BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
52*4882a593Smuzhiyun 		BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
53*4882a593Smuzhiyun 		BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_3, 0),
54*4882a593Smuzhiyun 		BPF_EMIT_CALL(BPF_FUNC_map_lookup_elem),
55*4882a593Smuzhiyun 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
56*4882a593Smuzhiyun 		BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_0, 0),
57*4882a593Smuzhiyun 		BPF_STX_MEM(BPF_DW, BPF_REG_9, BPF_REG_1, 0),
58*4882a593Smuzhiyun 		BPF_MOV64_IMM(BPF_REG_0, 42),
59*4882a593Smuzhiyun 		BPF_JMP_IMM(BPF_JA, 0, 0, 1),
60*4882a593Smuzhiyun 		BPF_MOV64_IMM(BPF_REG_0, 1),
61*4882a593Smuzhiyun 		BPF_EXIT_INSN(),
62*4882a593Smuzhiyun 	};
63*4882a593Smuzhiyun 	__u8 data[64] = {};
64*4882a593Smuzhiyun 	int mfd, pfd, ret, zero = 0;
65*4882a593Smuzhiyun 	__u32 retval = 0;
66*4882a593Smuzhiyun 
67*4882a593Smuzhiyun 	memset(&map, 0, sizeof(map));
68*4882a593Smuzhiyun 	map.map_type = BPF_MAP_TYPE_ARRAY;
69*4882a593Smuzhiyun 	map.key_size = sizeof(int);
70*4882a593Smuzhiyun 	map.value_size = sizeof(unsigned long long);
71*4882a593Smuzhiyun 	map.max_entries = 1;
72*4882a593Smuzhiyun 
73*4882a593Smuzhiyun 	mfd = bpf_create_map_xattr(&map);
74*4882a593Smuzhiyun 	if (mfd < 0)
75*4882a593Smuzhiyun 		return -1;
76*4882a593Smuzhiyun 
77*4882a593Smuzhiyun 	insns[0].imm = mfd;
78*4882a593Smuzhiyun 
79*4882a593Smuzhiyun 	memset(&prog, 0, sizeof(prog));
80*4882a593Smuzhiyun 	prog.prog_type = BPF_PROG_TYPE_SCHED_CLS;
81*4882a593Smuzhiyun 	prog.insns = insns;
82*4882a593Smuzhiyun 	prog.insns_cnt = ARRAY_SIZE(insns);
83*4882a593Smuzhiyun 	prog.license = "GPL";
84*4882a593Smuzhiyun 
85*4882a593Smuzhiyun 	pfd = bpf_load_program_xattr(&prog, NULL, 0);
86*4882a593Smuzhiyun 	if (pfd < 0) {
87*4882a593Smuzhiyun 		close(mfd);
88*4882a593Smuzhiyun 		return -1;
89*4882a593Smuzhiyun 	}
90*4882a593Smuzhiyun 
91*4882a593Smuzhiyun 	ret = bpf_prog_test_run(pfd, 1, data, sizeof(data),
92*4882a593Smuzhiyun 				NULL, NULL, &retval, NULL);
93*4882a593Smuzhiyun 	if (ret < 0 || retval != 42) {
94*4882a593Smuzhiyun 		ret = -1;
95*4882a593Smuzhiyun 	} else {
96*4882a593Smuzhiyun 		assert(!bpf_map_lookup_elem(mfd, &zero, value));
97*4882a593Smuzhiyun 		ret = 0;
98*4882a593Smuzhiyun 	}
99*4882a593Smuzhiyun 	close(pfd);
100*4882a593Smuzhiyun 	close(mfd);
101*4882a593Smuzhiyun 	return ret;
102*4882a593Smuzhiyun }
103*4882a593Smuzhiyun 
map_subset(int map0,int map1)104*4882a593Smuzhiyun static int map_subset(int map0, int map1)
105*4882a593Smuzhiyun {
106*4882a593Smuzhiyun 	unsigned long long next_key = 0;
107*4882a593Smuzhiyun 	unsigned long long value0[nr_cpus], value1[nr_cpus];
108*4882a593Smuzhiyun 	int ret;
109*4882a593Smuzhiyun 
110*4882a593Smuzhiyun 	while (!bpf_map_get_next_key(map1, &next_key, &next_key)) {
111*4882a593Smuzhiyun 		assert(!bpf_map_lookup_elem(map1, &next_key, value1));
112*4882a593Smuzhiyun 		ret = bpf_map_lookup_elem(map0, &next_key, value0);
113*4882a593Smuzhiyun 		if (ret) {
114*4882a593Smuzhiyun 			printf("key:%llu not found from map. %s(%d)\n",
115*4882a593Smuzhiyun 			       next_key, strerror(errno), errno);
116*4882a593Smuzhiyun 			return 0;
117*4882a593Smuzhiyun 		}
118*4882a593Smuzhiyun 		if (value0[0] != value1[0]) {
119*4882a593Smuzhiyun 			printf("key:%llu value0:%llu != value1:%llu\n",
120*4882a593Smuzhiyun 			       next_key, value0[0], value1[0]);
121*4882a593Smuzhiyun 			return 0;
122*4882a593Smuzhiyun 		}
123*4882a593Smuzhiyun 	}
124*4882a593Smuzhiyun 	return 1;
125*4882a593Smuzhiyun }
126*4882a593Smuzhiyun 
map_equal(int lru_map,int expected)127*4882a593Smuzhiyun static int map_equal(int lru_map, int expected)
128*4882a593Smuzhiyun {
129*4882a593Smuzhiyun 	return map_subset(lru_map, expected) && map_subset(expected, lru_map);
130*4882a593Smuzhiyun }
131*4882a593Smuzhiyun 
sched_next_online(int pid,int * next_to_try)132*4882a593Smuzhiyun static int sched_next_online(int pid, int *next_to_try)
133*4882a593Smuzhiyun {
134*4882a593Smuzhiyun 	cpu_set_t cpuset;
135*4882a593Smuzhiyun 	int next = *next_to_try;
136*4882a593Smuzhiyun 	int ret = -1;
137*4882a593Smuzhiyun 
138*4882a593Smuzhiyun 	while (next < nr_cpus) {
139*4882a593Smuzhiyun 		CPU_ZERO(&cpuset);
140*4882a593Smuzhiyun 		CPU_SET(next++, &cpuset);
141*4882a593Smuzhiyun 		if (!sched_setaffinity(pid, sizeof(cpuset), &cpuset)) {
142*4882a593Smuzhiyun 			ret = 0;
143*4882a593Smuzhiyun 			break;
144*4882a593Smuzhiyun 		}
145*4882a593Smuzhiyun 	}
146*4882a593Smuzhiyun 
147*4882a593Smuzhiyun 	*next_to_try = next;
148*4882a593Smuzhiyun 	return ret;
149*4882a593Smuzhiyun }
150*4882a593Smuzhiyun 
151*4882a593Smuzhiyun /* Size of the LRU map is 2
152*4882a593Smuzhiyun  * Add key=1 (+1 key)
153*4882a593Smuzhiyun  * Add key=2 (+1 key)
154*4882a593Smuzhiyun  * Lookup Key=1
155*4882a593Smuzhiyun  * Add Key=3
156*4882a593Smuzhiyun  *   => Key=2 will be removed by LRU
157*4882a593Smuzhiyun  * Iterate map.  Only found key=1 and key=3
158*4882a593Smuzhiyun  */
test_lru_sanity0(int map_type,int map_flags)159*4882a593Smuzhiyun static void test_lru_sanity0(int map_type, int map_flags)
160*4882a593Smuzhiyun {
161*4882a593Smuzhiyun 	unsigned long long key, value[nr_cpus];
162*4882a593Smuzhiyun 	int lru_map_fd, expected_map_fd;
163*4882a593Smuzhiyun 	int next_cpu = 0;
164*4882a593Smuzhiyun 
165*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
166*4882a593Smuzhiyun 	       map_flags);
167*4882a593Smuzhiyun 
168*4882a593Smuzhiyun 	assert(sched_next_online(0, &next_cpu) != -1);
169*4882a593Smuzhiyun 
170*4882a593Smuzhiyun 	if (map_flags & BPF_F_NO_COMMON_LRU)
171*4882a593Smuzhiyun 		lru_map_fd = create_map(map_type, map_flags, 2 * nr_cpus);
172*4882a593Smuzhiyun 	else
173*4882a593Smuzhiyun 		lru_map_fd = create_map(map_type, map_flags, 2);
174*4882a593Smuzhiyun 	assert(lru_map_fd != -1);
175*4882a593Smuzhiyun 
176*4882a593Smuzhiyun 	expected_map_fd = create_map(BPF_MAP_TYPE_HASH, 0, 2);
177*4882a593Smuzhiyun 	assert(expected_map_fd != -1);
178*4882a593Smuzhiyun 
179*4882a593Smuzhiyun 	value[0] = 1234;
180*4882a593Smuzhiyun 
181*4882a593Smuzhiyun 	/* insert key=1 element */
182*4882a593Smuzhiyun 
183*4882a593Smuzhiyun 	key = 1;
184*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
185*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(expected_map_fd, &key, value,
186*4882a593Smuzhiyun 				    BPF_NOEXIST));
187*4882a593Smuzhiyun 
188*4882a593Smuzhiyun 	/* BPF_NOEXIST means: add new element if it doesn't exist */
189*4882a593Smuzhiyun 	assert(bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST) == -1
190*4882a593Smuzhiyun 	       /* key=1 already exists */
191*4882a593Smuzhiyun 	       && errno == EEXIST);
192*4882a593Smuzhiyun 
193*4882a593Smuzhiyun 	assert(bpf_map_update_elem(lru_map_fd, &key, value, -1) == -1 &&
194*4882a593Smuzhiyun 	       errno == EINVAL);
195*4882a593Smuzhiyun 
196*4882a593Smuzhiyun 	/* insert key=2 element */
197*4882a593Smuzhiyun 
198*4882a593Smuzhiyun 	/* check that key=2 is not found */
199*4882a593Smuzhiyun 	key = 2;
200*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
201*4882a593Smuzhiyun 	       errno == ENOENT);
202*4882a593Smuzhiyun 
203*4882a593Smuzhiyun 	/* BPF_EXIST means: update existing element */
204*4882a593Smuzhiyun 	assert(bpf_map_update_elem(lru_map_fd, &key, value, BPF_EXIST) == -1 &&
205*4882a593Smuzhiyun 	       /* key=2 is not there */
206*4882a593Smuzhiyun 	       errno == ENOENT);
207*4882a593Smuzhiyun 
208*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
209*4882a593Smuzhiyun 
210*4882a593Smuzhiyun 	/* insert key=3 element */
211*4882a593Smuzhiyun 
212*4882a593Smuzhiyun 	/* check that key=3 is not found */
213*4882a593Smuzhiyun 	key = 3;
214*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
215*4882a593Smuzhiyun 	       errno == ENOENT);
216*4882a593Smuzhiyun 
217*4882a593Smuzhiyun 	/* check that key=1 can be found and mark the ref bit to
218*4882a593Smuzhiyun 	 * stop LRU from removing key=1
219*4882a593Smuzhiyun 	 */
220*4882a593Smuzhiyun 	key = 1;
221*4882a593Smuzhiyun 	assert(!bpf_map_lookup_elem_with_ref_bit(lru_map_fd, key, value));
222*4882a593Smuzhiyun 	assert(value[0] == 1234);
223*4882a593Smuzhiyun 
224*4882a593Smuzhiyun 	key = 3;
225*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
226*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(expected_map_fd, &key, value,
227*4882a593Smuzhiyun 				    BPF_NOEXIST));
228*4882a593Smuzhiyun 
229*4882a593Smuzhiyun 	/* key=2 has been removed from the LRU */
230*4882a593Smuzhiyun 	key = 2;
231*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
232*4882a593Smuzhiyun 	       errno == ENOENT);
233*4882a593Smuzhiyun 
234*4882a593Smuzhiyun 	assert(map_equal(lru_map_fd, expected_map_fd));
235*4882a593Smuzhiyun 
236*4882a593Smuzhiyun 	close(expected_map_fd);
237*4882a593Smuzhiyun 	close(lru_map_fd);
238*4882a593Smuzhiyun 
239*4882a593Smuzhiyun 	printf("Pass\n");
240*4882a593Smuzhiyun }
241*4882a593Smuzhiyun 
242*4882a593Smuzhiyun /* Size of the LRU map is 1.5*tgt_free
243*4882a593Smuzhiyun  * Insert 1 to tgt_free (+tgt_free keys)
244*4882a593Smuzhiyun  * Lookup 1 to tgt_free/2
245*4882a593Smuzhiyun  * Insert 1+tgt_free to 2*tgt_free (+tgt_free keys)
246*4882a593Smuzhiyun  * => 1+tgt_free/2 to LOCALFREE_TARGET will be removed by LRU
247*4882a593Smuzhiyun  */
test_lru_sanity1(int map_type,int map_flags,unsigned int tgt_free)248*4882a593Smuzhiyun static void test_lru_sanity1(int map_type, int map_flags, unsigned int tgt_free)
249*4882a593Smuzhiyun {
250*4882a593Smuzhiyun 	unsigned long long key, end_key, value[nr_cpus];
251*4882a593Smuzhiyun 	int lru_map_fd, expected_map_fd;
252*4882a593Smuzhiyun 	unsigned int batch_size;
253*4882a593Smuzhiyun 	unsigned int map_size;
254*4882a593Smuzhiyun 	int next_cpu = 0;
255*4882a593Smuzhiyun 
256*4882a593Smuzhiyun 	if (map_flags & BPF_F_NO_COMMON_LRU)
257*4882a593Smuzhiyun 		/* This test is only applicable to common LRU list */
258*4882a593Smuzhiyun 		return;
259*4882a593Smuzhiyun 
260*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
261*4882a593Smuzhiyun 	       map_flags);
262*4882a593Smuzhiyun 
263*4882a593Smuzhiyun 	assert(sched_next_online(0, &next_cpu) != -1);
264*4882a593Smuzhiyun 
265*4882a593Smuzhiyun 	batch_size = tgt_free / 2;
266*4882a593Smuzhiyun 	assert(batch_size * 2 == tgt_free);
267*4882a593Smuzhiyun 
268*4882a593Smuzhiyun 	map_size = tgt_free + batch_size;
269*4882a593Smuzhiyun 	lru_map_fd = create_map(map_type, map_flags, map_size);
270*4882a593Smuzhiyun 	assert(lru_map_fd != -1);
271*4882a593Smuzhiyun 
272*4882a593Smuzhiyun 	expected_map_fd = create_map(BPF_MAP_TYPE_HASH, 0, map_size);
273*4882a593Smuzhiyun 	assert(expected_map_fd != -1);
274*4882a593Smuzhiyun 
275*4882a593Smuzhiyun 	value[0] = 1234;
276*4882a593Smuzhiyun 
277*4882a593Smuzhiyun 	/* Insert 1 to tgt_free (+tgt_free keys) */
278*4882a593Smuzhiyun 	end_key = 1 + tgt_free;
279*4882a593Smuzhiyun 	for (key = 1; key < end_key; key++)
280*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
281*4882a593Smuzhiyun 					    BPF_NOEXIST));
282*4882a593Smuzhiyun 
283*4882a593Smuzhiyun 	/* Lookup 1 to tgt_free/2 */
284*4882a593Smuzhiyun 	end_key = 1 + batch_size;
285*4882a593Smuzhiyun 	for (key = 1; key < end_key; key++) {
286*4882a593Smuzhiyun 		assert(!bpf_map_lookup_elem_with_ref_bit(lru_map_fd, key, value));
287*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
288*4882a593Smuzhiyun 					    BPF_NOEXIST));
289*4882a593Smuzhiyun 	}
290*4882a593Smuzhiyun 
291*4882a593Smuzhiyun 	/* Insert 1+tgt_free to 2*tgt_free
292*4882a593Smuzhiyun 	 * => 1+tgt_free/2 to LOCALFREE_TARGET will be
293*4882a593Smuzhiyun 	 * removed by LRU
294*4882a593Smuzhiyun 	 */
295*4882a593Smuzhiyun 	key = 1 + tgt_free;
296*4882a593Smuzhiyun 	end_key = key + tgt_free;
297*4882a593Smuzhiyun 	for (; key < end_key; key++) {
298*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
299*4882a593Smuzhiyun 					    BPF_NOEXIST));
300*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
301*4882a593Smuzhiyun 					    BPF_NOEXIST));
302*4882a593Smuzhiyun 	}
303*4882a593Smuzhiyun 
304*4882a593Smuzhiyun 	assert(map_equal(lru_map_fd, expected_map_fd));
305*4882a593Smuzhiyun 
306*4882a593Smuzhiyun 	close(expected_map_fd);
307*4882a593Smuzhiyun 	close(lru_map_fd);
308*4882a593Smuzhiyun 
309*4882a593Smuzhiyun 	printf("Pass\n");
310*4882a593Smuzhiyun }
311*4882a593Smuzhiyun 
312*4882a593Smuzhiyun /* Size of the LRU map 1.5 * tgt_free
313*4882a593Smuzhiyun  * Insert 1 to tgt_free (+tgt_free keys)
314*4882a593Smuzhiyun  * Update 1 to tgt_free/2
315*4882a593Smuzhiyun  *   => The original 1 to tgt_free/2 will be removed due to
316*4882a593Smuzhiyun  *      the LRU shrink process
317*4882a593Smuzhiyun  * Re-insert 1 to tgt_free/2 again and do a lookup immeidately
318*4882a593Smuzhiyun  * Insert 1+tgt_free to tgt_free*3/2
319*4882a593Smuzhiyun  * Insert 1+tgt_free*3/2 to tgt_free*5/2
320*4882a593Smuzhiyun  *   => Key 1+tgt_free to tgt_free*3/2
321*4882a593Smuzhiyun  *      will be removed from LRU because it has never
322*4882a593Smuzhiyun  *      been lookup and ref bit is not set
323*4882a593Smuzhiyun  */
test_lru_sanity2(int map_type,int map_flags,unsigned int tgt_free)324*4882a593Smuzhiyun static void test_lru_sanity2(int map_type, int map_flags, unsigned int tgt_free)
325*4882a593Smuzhiyun {
326*4882a593Smuzhiyun 	unsigned long long key, value[nr_cpus];
327*4882a593Smuzhiyun 	unsigned long long end_key;
328*4882a593Smuzhiyun 	int lru_map_fd, expected_map_fd;
329*4882a593Smuzhiyun 	unsigned int batch_size;
330*4882a593Smuzhiyun 	unsigned int map_size;
331*4882a593Smuzhiyun 	int next_cpu = 0;
332*4882a593Smuzhiyun 
333*4882a593Smuzhiyun 	if (map_flags & BPF_F_NO_COMMON_LRU)
334*4882a593Smuzhiyun 		/* This test is only applicable to common LRU list */
335*4882a593Smuzhiyun 		return;
336*4882a593Smuzhiyun 
337*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
338*4882a593Smuzhiyun 	       map_flags);
339*4882a593Smuzhiyun 
340*4882a593Smuzhiyun 	assert(sched_next_online(0, &next_cpu) != -1);
341*4882a593Smuzhiyun 
342*4882a593Smuzhiyun 	batch_size = tgt_free / 2;
343*4882a593Smuzhiyun 	assert(batch_size * 2 == tgt_free);
344*4882a593Smuzhiyun 
345*4882a593Smuzhiyun 	map_size = tgt_free + batch_size;
346*4882a593Smuzhiyun 	lru_map_fd = create_map(map_type, map_flags, map_size);
347*4882a593Smuzhiyun 	assert(lru_map_fd != -1);
348*4882a593Smuzhiyun 
349*4882a593Smuzhiyun 	expected_map_fd = create_map(BPF_MAP_TYPE_HASH, 0, map_size);
350*4882a593Smuzhiyun 	assert(expected_map_fd != -1);
351*4882a593Smuzhiyun 
352*4882a593Smuzhiyun 	value[0] = 1234;
353*4882a593Smuzhiyun 
354*4882a593Smuzhiyun 	/* Insert 1 to tgt_free (+tgt_free keys) */
355*4882a593Smuzhiyun 	end_key = 1 + tgt_free;
356*4882a593Smuzhiyun 	for (key = 1; key < end_key; key++)
357*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
358*4882a593Smuzhiyun 					    BPF_NOEXIST));
359*4882a593Smuzhiyun 
360*4882a593Smuzhiyun 	/* Any bpf_map_update_elem will require to acquire a new node
361*4882a593Smuzhiyun 	 * from LRU first.
362*4882a593Smuzhiyun 	 *
363*4882a593Smuzhiyun 	 * The local list is running out of free nodes.
364*4882a593Smuzhiyun 	 * It gets from the global LRU list which tries to
365*4882a593Smuzhiyun 	 * shrink the inactive list to get tgt_free
366*4882a593Smuzhiyun 	 * number of free nodes.
367*4882a593Smuzhiyun 	 *
368*4882a593Smuzhiyun 	 * Hence, the oldest key 1 to tgt_free/2
369*4882a593Smuzhiyun 	 * are removed from the LRU list.
370*4882a593Smuzhiyun 	 */
371*4882a593Smuzhiyun 	key = 1;
372*4882a593Smuzhiyun 	if (map_type == BPF_MAP_TYPE_LRU_PERCPU_HASH) {
373*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
374*4882a593Smuzhiyun 					    BPF_NOEXIST));
375*4882a593Smuzhiyun 		assert(!bpf_map_delete_elem(lru_map_fd, &key));
376*4882a593Smuzhiyun 	} else {
377*4882a593Smuzhiyun 		assert(bpf_map_update_elem(lru_map_fd, &key, value,
378*4882a593Smuzhiyun 					   BPF_EXIST));
379*4882a593Smuzhiyun 	}
380*4882a593Smuzhiyun 
381*4882a593Smuzhiyun 	/* Re-insert 1 to tgt_free/2 again and do a lookup
382*4882a593Smuzhiyun 	 * immeidately.
383*4882a593Smuzhiyun 	 */
384*4882a593Smuzhiyun 	end_key = 1 + batch_size;
385*4882a593Smuzhiyun 	value[0] = 4321;
386*4882a593Smuzhiyun 	for (key = 1; key < end_key; key++) {
387*4882a593Smuzhiyun 		assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
388*4882a593Smuzhiyun 		       errno == ENOENT);
389*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
390*4882a593Smuzhiyun 					    BPF_NOEXIST));
391*4882a593Smuzhiyun 		assert(!bpf_map_lookup_elem_with_ref_bit(lru_map_fd, key, value));
392*4882a593Smuzhiyun 		assert(value[0] == 4321);
393*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
394*4882a593Smuzhiyun 					    BPF_NOEXIST));
395*4882a593Smuzhiyun 	}
396*4882a593Smuzhiyun 
397*4882a593Smuzhiyun 	value[0] = 1234;
398*4882a593Smuzhiyun 
399*4882a593Smuzhiyun 	/* Insert 1+tgt_free to tgt_free*3/2 */
400*4882a593Smuzhiyun 	end_key = 1 + tgt_free + batch_size;
401*4882a593Smuzhiyun 	for (key = 1 + tgt_free; key < end_key; key++)
402*4882a593Smuzhiyun 		/* These newly added but not referenced keys will be
403*4882a593Smuzhiyun 		 * gone during the next LRU shrink.
404*4882a593Smuzhiyun 		 */
405*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
406*4882a593Smuzhiyun 					    BPF_NOEXIST));
407*4882a593Smuzhiyun 
408*4882a593Smuzhiyun 	/* Insert 1+tgt_free*3/2 to  tgt_free*5/2 */
409*4882a593Smuzhiyun 	end_key = key + tgt_free;
410*4882a593Smuzhiyun 	for (; key < end_key; key++) {
411*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
412*4882a593Smuzhiyun 					    BPF_NOEXIST));
413*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
414*4882a593Smuzhiyun 					    BPF_NOEXIST));
415*4882a593Smuzhiyun 	}
416*4882a593Smuzhiyun 
417*4882a593Smuzhiyun 	assert(map_equal(lru_map_fd, expected_map_fd));
418*4882a593Smuzhiyun 
419*4882a593Smuzhiyun 	close(expected_map_fd);
420*4882a593Smuzhiyun 	close(lru_map_fd);
421*4882a593Smuzhiyun 
422*4882a593Smuzhiyun 	printf("Pass\n");
423*4882a593Smuzhiyun }
424*4882a593Smuzhiyun 
425*4882a593Smuzhiyun /* Size of the LRU map is 2*tgt_free
426*4882a593Smuzhiyun  * It is to test the active/inactive list rotation
427*4882a593Smuzhiyun  * Insert 1 to 2*tgt_free (+2*tgt_free keys)
428*4882a593Smuzhiyun  * Lookup key 1 to tgt_free*3/2
429*4882a593Smuzhiyun  * Add 1+2*tgt_free to tgt_free*5/2 (+tgt_free/2 keys)
430*4882a593Smuzhiyun  *  => key 1+tgt_free*3/2 to 2*tgt_free are removed from LRU
431*4882a593Smuzhiyun  */
test_lru_sanity3(int map_type,int map_flags,unsigned int tgt_free)432*4882a593Smuzhiyun static void test_lru_sanity3(int map_type, int map_flags, unsigned int tgt_free)
433*4882a593Smuzhiyun {
434*4882a593Smuzhiyun 	unsigned long long key, end_key, value[nr_cpus];
435*4882a593Smuzhiyun 	int lru_map_fd, expected_map_fd;
436*4882a593Smuzhiyun 	unsigned int batch_size;
437*4882a593Smuzhiyun 	unsigned int map_size;
438*4882a593Smuzhiyun 	int next_cpu = 0;
439*4882a593Smuzhiyun 
440*4882a593Smuzhiyun 	if (map_flags & BPF_F_NO_COMMON_LRU)
441*4882a593Smuzhiyun 		/* This test is only applicable to common LRU list */
442*4882a593Smuzhiyun 		return;
443*4882a593Smuzhiyun 
444*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
445*4882a593Smuzhiyun 	       map_flags);
446*4882a593Smuzhiyun 
447*4882a593Smuzhiyun 	assert(sched_next_online(0, &next_cpu) != -1);
448*4882a593Smuzhiyun 
449*4882a593Smuzhiyun 	batch_size = tgt_free / 2;
450*4882a593Smuzhiyun 	assert(batch_size * 2 == tgt_free);
451*4882a593Smuzhiyun 
452*4882a593Smuzhiyun 	map_size = tgt_free * 2;
453*4882a593Smuzhiyun 	lru_map_fd = create_map(map_type, map_flags, map_size);
454*4882a593Smuzhiyun 	assert(lru_map_fd != -1);
455*4882a593Smuzhiyun 
456*4882a593Smuzhiyun 	expected_map_fd = create_map(BPF_MAP_TYPE_HASH, 0, map_size);
457*4882a593Smuzhiyun 	assert(expected_map_fd != -1);
458*4882a593Smuzhiyun 
459*4882a593Smuzhiyun 	value[0] = 1234;
460*4882a593Smuzhiyun 
461*4882a593Smuzhiyun 	/* Insert 1 to 2*tgt_free (+2*tgt_free keys) */
462*4882a593Smuzhiyun 	end_key = 1 + (2 * tgt_free);
463*4882a593Smuzhiyun 	for (key = 1; key < end_key; key++)
464*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
465*4882a593Smuzhiyun 					    BPF_NOEXIST));
466*4882a593Smuzhiyun 
467*4882a593Smuzhiyun 	/* Lookup key 1 to tgt_free*3/2 */
468*4882a593Smuzhiyun 	end_key = tgt_free + batch_size;
469*4882a593Smuzhiyun 	for (key = 1; key < end_key; key++) {
470*4882a593Smuzhiyun 		assert(!bpf_map_lookup_elem_with_ref_bit(lru_map_fd, key, value));
471*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
472*4882a593Smuzhiyun 					    BPF_NOEXIST));
473*4882a593Smuzhiyun 	}
474*4882a593Smuzhiyun 
475*4882a593Smuzhiyun 	/* Add 1+2*tgt_free to tgt_free*5/2
476*4882a593Smuzhiyun 	 * (+tgt_free/2 keys)
477*4882a593Smuzhiyun 	 */
478*4882a593Smuzhiyun 	key = 2 * tgt_free + 1;
479*4882a593Smuzhiyun 	end_key = key + batch_size;
480*4882a593Smuzhiyun 	for (; key < end_key; key++) {
481*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
482*4882a593Smuzhiyun 					    BPF_NOEXIST));
483*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
484*4882a593Smuzhiyun 					    BPF_NOEXIST));
485*4882a593Smuzhiyun 	}
486*4882a593Smuzhiyun 
487*4882a593Smuzhiyun 	assert(map_equal(lru_map_fd, expected_map_fd));
488*4882a593Smuzhiyun 
489*4882a593Smuzhiyun 	close(expected_map_fd);
490*4882a593Smuzhiyun 	close(lru_map_fd);
491*4882a593Smuzhiyun 
492*4882a593Smuzhiyun 	printf("Pass\n");
493*4882a593Smuzhiyun }
494*4882a593Smuzhiyun 
495*4882a593Smuzhiyun /* Test deletion */
test_lru_sanity4(int map_type,int map_flags,unsigned int tgt_free)496*4882a593Smuzhiyun static void test_lru_sanity4(int map_type, int map_flags, unsigned int tgt_free)
497*4882a593Smuzhiyun {
498*4882a593Smuzhiyun 	int lru_map_fd, expected_map_fd;
499*4882a593Smuzhiyun 	unsigned long long key, value[nr_cpus];
500*4882a593Smuzhiyun 	unsigned long long end_key;
501*4882a593Smuzhiyun 	int next_cpu = 0;
502*4882a593Smuzhiyun 
503*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
504*4882a593Smuzhiyun 	       map_flags);
505*4882a593Smuzhiyun 
506*4882a593Smuzhiyun 	assert(sched_next_online(0, &next_cpu) != -1);
507*4882a593Smuzhiyun 
508*4882a593Smuzhiyun 	if (map_flags & BPF_F_NO_COMMON_LRU)
509*4882a593Smuzhiyun 		lru_map_fd = create_map(map_type, map_flags,
510*4882a593Smuzhiyun 					3 * tgt_free * nr_cpus);
511*4882a593Smuzhiyun 	else
512*4882a593Smuzhiyun 		lru_map_fd = create_map(map_type, map_flags, 3 * tgt_free);
513*4882a593Smuzhiyun 	assert(lru_map_fd != -1);
514*4882a593Smuzhiyun 
515*4882a593Smuzhiyun 	expected_map_fd = create_map(BPF_MAP_TYPE_HASH, 0,
516*4882a593Smuzhiyun 				     3 * tgt_free);
517*4882a593Smuzhiyun 	assert(expected_map_fd != -1);
518*4882a593Smuzhiyun 
519*4882a593Smuzhiyun 	value[0] = 1234;
520*4882a593Smuzhiyun 
521*4882a593Smuzhiyun 	for (key = 1; key <= 2 * tgt_free; key++)
522*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
523*4882a593Smuzhiyun 					    BPF_NOEXIST));
524*4882a593Smuzhiyun 
525*4882a593Smuzhiyun 	key = 1;
526*4882a593Smuzhiyun 	assert(bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
527*4882a593Smuzhiyun 
528*4882a593Smuzhiyun 	for (key = 1; key <= tgt_free; key++) {
529*4882a593Smuzhiyun 		assert(!bpf_map_lookup_elem_with_ref_bit(lru_map_fd, key, value));
530*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
531*4882a593Smuzhiyun 					    BPF_NOEXIST));
532*4882a593Smuzhiyun 	}
533*4882a593Smuzhiyun 
534*4882a593Smuzhiyun 	for (; key <= 2 * tgt_free; key++) {
535*4882a593Smuzhiyun 		assert(!bpf_map_delete_elem(lru_map_fd, &key));
536*4882a593Smuzhiyun 		assert(bpf_map_delete_elem(lru_map_fd, &key));
537*4882a593Smuzhiyun 	}
538*4882a593Smuzhiyun 
539*4882a593Smuzhiyun 	end_key = key + 2 * tgt_free;
540*4882a593Smuzhiyun 	for (; key < end_key; key++) {
541*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
542*4882a593Smuzhiyun 					    BPF_NOEXIST));
543*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
544*4882a593Smuzhiyun 					    BPF_NOEXIST));
545*4882a593Smuzhiyun 	}
546*4882a593Smuzhiyun 
547*4882a593Smuzhiyun 	assert(map_equal(lru_map_fd, expected_map_fd));
548*4882a593Smuzhiyun 
549*4882a593Smuzhiyun 	close(expected_map_fd);
550*4882a593Smuzhiyun 	close(lru_map_fd);
551*4882a593Smuzhiyun 
552*4882a593Smuzhiyun 	printf("Pass\n");
553*4882a593Smuzhiyun }
554*4882a593Smuzhiyun 
do_test_lru_sanity5(unsigned long long last_key,int map_fd)555*4882a593Smuzhiyun static void do_test_lru_sanity5(unsigned long long last_key, int map_fd)
556*4882a593Smuzhiyun {
557*4882a593Smuzhiyun 	unsigned long long key, value[nr_cpus];
558*4882a593Smuzhiyun 
559*4882a593Smuzhiyun 	/* Ensure the last key inserted by previous CPU can be found */
560*4882a593Smuzhiyun 	assert(!bpf_map_lookup_elem_with_ref_bit(map_fd, last_key, value));
561*4882a593Smuzhiyun 	value[0] = 1234;
562*4882a593Smuzhiyun 
563*4882a593Smuzhiyun 	key = last_key + 1;
564*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(map_fd, &key, value, BPF_NOEXIST));
565*4882a593Smuzhiyun 	assert(!bpf_map_lookup_elem_with_ref_bit(map_fd, key, value));
566*4882a593Smuzhiyun 
567*4882a593Smuzhiyun 	/* Cannot find the last key because it was removed by LRU */
568*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(map_fd, &last_key, value) == -1 &&
569*4882a593Smuzhiyun 	       errno == ENOENT);
570*4882a593Smuzhiyun }
571*4882a593Smuzhiyun 
572*4882a593Smuzhiyun /* Test map with only one element */
test_lru_sanity5(int map_type,int map_flags)573*4882a593Smuzhiyun static void test_lru_sanity5(int map_type, int map_flags)
574*4882a593Smuzhiyun {
575*4882a593Smuzhiyun 	unsigned long long key, value[nr_cpus];
576*4882a593Smuzhiyun 	int next_cpu = 0;
577*4882a593Smuzhiyun 	int map_fd;
578*4882a593Smuzhiyun 
579*4882a593Smuzhiyun 	if (map_flags & BPF_F_NO_COMMON_LRU)
580*4882a593Smuzhiyun 		return;
581*4882a593Smuzhiyun 
582*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
583*4882a593Smuzhiyun 	       map_flags);
584*4882a593Smuzhiyun 
585*4882a593Smuzhiyun 	map_fd = create_map(map_type, map_flags, 1);
586*4882a593Smuzhiyun 	assert(map_fd != -1);
587*4882a593Smuzhiyun 
588*4882a593Smuzhiyun 	value[0] = 1234;
589*4882a593Smuzhiyun 	key = 0;
590*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(map_fd, &key, value, BPF_NOEXIST));
591*4882a593Smuzhiyun 
592*4882a593Smuzhiyun 	while (sched_next_online(0, &next_cpu) != -1) {
593*4882a593Smuzhiyun 		pid_t pid;
594*4882a593Smuzhiyun 
595*4882a593Smuzhiyun 		pid = fork();
596*4882a593Smuzhiyun 		if (pid == 0) {
597*4882a593Smuzhiyun 			do_test_lru_sanity5(key, map_fd);
598*4882a593Smuzhiyun 			exit(0);
599*4882a593Smuzhiyun 		} else if (pid == -1) {
600*4882a593Smuzhiyun 			printf("couldn't spawn process to test key:%llu\n",
601*4882a593Smuzhiyun 			       key);
602*4882a593Smuzhiyun 			exit(1);
603*4882a593Smuzhiyun 		} else {
604*4882a593Smuzhiyun 			int status;
605*4882a593Smuzhiyun 
606*4882a593Smuzhiyun 			assert(waitpid(pid, &status, 0) == pid);
607*4882a593Smuzhiyun 			assert(status == 0);
608*4882a593Smuzhiyun 			key++;
609*4882a593Smuzhiyun 		}
610*4882a593Smuzhiyun 	}
611*4882a593Smuzhiyun 
612*4882a593Smuzhiyun 	close(map_fd);
613*4882a593Smuzhiyun 	/* At least one key should be tested */
614*4882a593Smuzhiyun 	assert(key > 0);
615*4882a593Smuzhiyun 
616*4882a593Smuzhiyun 	printf("Pass\n");
617*4882a593Smuzhiyun }
618*4882a593Smuzhiyun 
619*4882a593Smuzhiyun /* Test list rotation for BPF_F_NO_COMMON_LRU map */
test_lru_sanity6(int map_type,int map_flags,int tgt_free)620*4882a593Smuzhiyun static void test_lru_sanity6(int map_type, int map_flags, int tgt_free)
621*4882a593Smuzhiyun {
622*4882a593Smuzhiyun 	int lru_map_fd, expected_map_fd;
623*4882a593Smuzhiyun 	unsigned long long key, value[nr_cpus];
624*4882a593Smuzhiyun 	unsigned int map_size = tgt_free * 2;
625*4882a593Smuzhiyun 	int next_cpu = 0;
626*4882a593Smuzhiyun 
627*4882a593Smuzhiyun 	if (!(map_flags & BPF_F_NO_COMMON_LRU))
628*4882a593Smuzhiyun 		return;
629*4882a593Smuzhiyun 
630*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
631*4882a593Smuzhiyun 	       map_flags);
632*4882a593Smuzhiyun 
633*4882a593Smuzhiyun 	assert(sched_next_online(0, &next_cpu) != -1);
634*4882a593Smuzhiyun 
635*4882a593Smuzhiyun 	expected_map_fd = create_map(BPF_MAP_TYPE_HASH, 0, map_size);
636*4882a593Smuzhiyun 	assert(expected_map_fd != -1);
637*4882a593Smuzhiyun 
638*4882a593Smuzhiyun 	lru_map_fd = create_map(map_type, map_flags, map_size * nr_cpus);
639*4882a593Smuzhiyun 	assert(lru_map_fd != -1);
640*4882a593Smuzhiyun 
641*4882a593Smuzhiyun 	value[0] = 1234;
642*4882a593Smuzhiyun 
643*4882a593Smuzhiyun 	for (key = 1; key <= tgt_free; key++) {
644*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
645*4882a593Smuzhiyun 					    BPF_NOEXIST));
646*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
647*4882a593Smuzhiyun 					    BPF_NOEXIST));
648*4882a593Smuzhiyun 	}
649*4882a593Smuzhiyun 
650*4882a593Smuzhiyun 	for (; key <= tgt_free * 2; key++) {
651*4882a593Smuzhiyun 		unsigned long long stable_key;
652*4882a593Smuzhiyun 
653*4882a593Smuzhiyun 		/* Make ref bit sticky for key: [1, tgt_free] */
654*4882a593Smuzhiyun 		for (stable_key = 1; stable_key <= tgt_free; stable_key++) {
655*4882a593Smuzhiyun 			/* Mark the ref bit */
656*4882a593Smuzhiyun 			assert(!bpf_map_lookup_elem_with_ref_bit(lru_map_fd,
657*4882a593Smuzhiyun 								 stable_key, value));
658*4882a593Smuzhiyun 		}
659*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
660*4882a593Smuzhiyun 					    BPF_NOEXIST));
661*4882a593Smuzhiyun 	}
662*4882a593Smuzhiyun 
663*4882a593Smuzhiyun 	for (; key <= tgt_free * 3; key++) {
664*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(lru_map_fd, &key, value,
665*4882a593Smuzhiyun 					    BPF_NOEXIST));
666*4882a593Smuzhiyun 		assert(!bpf_map_update_elem(expected_map_fd, &key, value,
667*4882a593Smuzhiyun 					    BPF_NOEXIST));
668*4882a593Smuzhiyun 	}
669*4882a593Smuzhiyun 
670*4882a593Smuzhiyun 	assert(map_equal(lru_map_fd, expected_map_fd));
671*4882a593Smuzhiyun 
672*4882a593Smuzhiyun 	close(expected_map_fd);
673*4882a593Smuzhiyun 	close(lru_map_fd);
674*4882a593Smuzhiyun 
675*4882a593Smuzhiyun 	printf("Pass\n");
676*4882a593Smuzhiyun }
677*4882a593Smuzhiyun 
678*4882a593Smuzhiyun /* Size of the LRU map is 2
679*4882a593Smuzhiyun  * Add key=1 (+1 key)
680*4882a593Smuzhiyun  * Add key=2 (+1 key)
681*4882a593Smuzhiyun  * Lookup Key=1 (datapath)
682*4882a593Smuzhiyun  * Lookup Key=2 (syscall)
683*4882a593Smuzhiyun  * Add Key=3
684*4882a593Smuzhiyun  *   => Key=2 will be removed by LRU
685*4882a593Smuzhiyun  * Iterate map.  Only found key=1 and key=3
686*4882a593Smuzhiyun  */
test_lru_sanity7(int map_type,int map_flags)687*4882a593Smuzhiyun static void test_lru_sanity7(int map_type, int map_flags)
688*4882a593Smuzhiyun {
689*4882a593Smuzhiyun 	unsigned long long key, value[nr_cpus];
690*4882a593Smuzhiyun 	int lru_map_fd, expected_map_fd;
691*4882a593Smuzhiyun 	int next_cpu = 0;
692*4882a593Smuzhiyun 
693*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
694*4882a593Smuzhiyun 	       map_flags);
695*4882a593Smuzhiyun 
696*4882a593Smuzhiyun 	assert(sched_next_online(0, &next_cpu) != -1);
697*4882a593Smuzhiyun 
698*4882a593Smuzhiyun 	if (map_flags & BPF_F_NO_COMMON_LRU)
699*4882a593Smuzhiyun 		lru_map_fd = create_map(map_type, map_flags, 2 * nr_cpus);
700*4882a593Smuzhiyun 	else
701*4882a593Smuzhiyun 		lru_map_fd = create_map(map_type, map_flags, 2);
702*4882a593Smuzhiyun 	assert(lru_map_fd != -1);
703*4882a593Smuzhiyun 
704*4882a593Smuzhiyun 	expected_map_fd = create_map(BPF_MAP_TYPE_HASH, 0, 2);
705*4882a593Smuzhiyun 	assert(expected_map_fd != -1);
706*4882a593Smuzhiyun 
707*4882a593Smuzhiyun 	value[0] = 1234;
708*4882a593Smuzhiyun 
709*4882a593Smuzhiyun 	/* insert key=1 element */
710*4882a593Smuzhiyun 
711*4882a593Smuzhiyun 	key = 1;
712*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
713*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(expected_map_fd, &key, value,
714*4882a593Smuzhiyun 				    BPF_NOEXIST));
715*4882a593Smuzhiyun 
716*4882a593Smuzhiyun 	/* BPF_NOEXIST means: add new element if it doesn't exist */
717*4882a593Smuzhiyun 	assert(bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST) == -1
718*4882a593Smuzhiyun 	       /* key=1 already exists */
719*4882a593Smuzhiyun 	       && errno == EEXIST);
720*4882a593Smuzhiyun 
721*4882a593Smuzhiyun 	/* insert key=2 element */
722*4882a593Smuzhiyun 
723*4882a593Smuzhiyun 	/* check that key=2 is not found */
724*4882a593Smuzhiyun 	key = 2;
725*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
726*4882a593Smuzhiyun 	       errno == ENOENT);
727*4882a593Smuzhiyun 
728*4882a593Smuzhiyun 	/* BPF_EXIST means: update existing element */
729*4882a593Smuzhiyun 	assert(bpf_map_update_elem(lru_map_fd, &key, value, BPF_EXIST) == -1 &&
730*4882a593Smuzhiyun 	       /* key=2 is not there */
731*4882a593Smuzhiyun 	       errno == ENOENT);
732*4882a593Smuzhiyun 
733*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
734*4882a593Smuzhiyun 
735*4882a593Smuzhiyun 	/* insert key=3 element */
736*4882a593Smuzhiyun 
737*4882a593Smuzhiyun 	/* check that key=3 is not found */
738*4882a593Smuzhiyun 	key = 3;
739*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
740*4882a593Smuzhiyun 	       errno == ENOENT);
741*4882a593Smuzhiyun 
742*4882a593Smuzhiyun 	/* check that key=1 can be found and mark the ref bit to
743*4882a593Smuzhiyun 	 * stop LRU from removing key=1
744*4882a593Smuzhiyun 	 */
745*4882a593Smuzhiyun 	key = 1;
746*4882a593Smuzhiyun 	assert(!bpf_map_lookup_elem_with_ref_bit(lru_map_fd, key, value));
747*4882a593Smuzhiyun 	assert(value[0] == 1234);
748*4882a593Smuzhiyun 
749*4882a593Smuzhiyun 	/* check that key=2 can be found and do _not_ mark ref bit.
750*4882a593Smuzhiyun 	 * this will be evicted on next update.
751*4882a593Smuzhiyun 	 */
752*4882a593Smuzhiyun 	key = 2;
753*4882a593Smuzhiyun 	assert(!bpf_map_lookup_elem(lru_map_fd, &key, value));
754*4882a593Smuzhiyun 	assert(value[0] == 1234);
755*4882a593Smuzhiyun 
756*4882a593Smuzhiyun 	key = 3;
757*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
758*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(expected_map_fd, &key, value,
759*4882a593Smuzhiyun 				    BPF_NOEXIST));
760*4882a593Smuzhiyun 
761*4882a593Smuzhiyun 	/* key=2 has been removed from the LRU */
762*4882a593Smuzhiyun 	key = 2;
763*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
764*4882a593Smuzhiyun 	       errno == ENOENT);
765*4882a593Smuzhiyun 
766*4882a593Smuzhiyun 	assert(map_equal(lru_map_fd, expected_map_fd));
767*4882a593Smuzhiyun 
768*4882a593Smuzhiyun 	close(expected_map_fd);
769*4882a593Smuzhiyun 	close(lru_map_fd);
770*4882a593Smuzhiyun 
771*4882a593Smuzhiyun 	printf("Pass\n");
772*4882a593Smuzhiyun }
773*4882a593Smuzhiyun 
774*4882a593Smuzhiyun /* Size of the LRU map is 2
775*4882a593Smuzhiyun  * Add key=1 (+1 key)
776*4882a593Smuzhiyun  * Add key=2 (+1 key)
777*4882a593Smuzhiyun  * Lookup Key=1 (syscall)
778*4882a593Smuzhiyun  * Lookup Key=2 (datapath)
779*4882a593Smuzhiyun  * Add Key=3
780*4882a593Smuzhiyun  *   => Key=1 will be removed by LRU
781*4882a593Smuzhiyun  * Iterate map.  Only found key=2 and key=3
782*4882a593Smuzhiyun  */
test_lru_sanity8(int map_type,int map_flags)783*4882a593Smuzhiyun static void test_lru_sanity8(int map_type, int map_flags)
784*4882a593Smuzhiyun {
785*4882a593Smuzhiyun 	unsigned long long key, value[nr_cpus];
786*4882a593Smuzhiyun 	int lru_map_fd, expected_map_fd;
787*4882a593Smuzhiyun 	int next_cpu = 0;
788*4882a593Smuzhiyun 
789*4882a593Smuzhiyun 	printf("%s (map_type:%d map_flags:0x%X): ", __func__, map_type,
790*4882a593Smuzhiyun 	       map_flags);
791*4882a593Smuzhiyun 
792*4882a593Smuzhiyun 	assert(sched_next_online(0, &next_cpu) != -1);
793*4882a593Smuzhiyun 
794*4882a593Smuzhiyun 	if (map_flags & BPF_F_NO_COMMON_LRU)
795*4882a593Smuzhiyun 		lru_map_fd = create_map(map_type, map_flags, 2 * nr_cpus);
796*4882a593Smuzhiyun 	else
797*4882a593Smuzhiyun 		lru_map_fd = create_map(map_type, map_flags, 2);
798*4882a593Smuzhiyun 	assert(lru_map_fd != -1);
799*4882a593Smuzhiyun 
800*4882a593Smuzhiyun 	expected_map_fd = create_map(BPF_MAP_TYPE_HASH, 0, 2);
801*4882a593Smuzhiyun 	assert(expected_map_fd != -1);
802*4882a593Smuzhiyun 
803*4882a593Smuzhiyun 	value[0] = 1234;
804*4882a593Smuzhiyun 
805*4882a593Smuzhiyun 	/* insert key=1 element */
806*4882a593Smuzhiyun 
807*4882a593Smuzhiyun 	key = 1;
808*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
809*4882a593Smuzhiyun 
810*4882a593Smuzhiyun 	/* BPF_NOEXIST means: add new element if it doesn't exist */
811*4882a593Smuzhiyun 	assert(bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST) == -1
812*4882a593Smuzhiyun 	       /* key=1 already exists */
813*4882a593Smuzhiyun 	       && errno == EEXIST);
814*4882a593Smuzhiyun 
815*4882a593Smuzhiyun 	/* insert key=2 element */
816*4882a593Smuzhiyun 
817*4882a593Smuzhiyun 	/* check that key=2 is not found */
818*4882a593Smuzhiyun 	key = 2;
819*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
820*4882a593Smuzhiyun 	       errno == ENOENT);
821*4882a593Smuzhiyun 
822*4882a593Smuzhiyun 	/* BPF_EXIST means: update existing element */
823*4882a593Smuzhiyun 	assert(bpf_map_update_elem(lru_map_fd, &key, value, BPF_EXIST) == -1 &&
824*4882a593Smuzhiyun 	       /* key=2 is not there */
825*4882a593Smuzhiyun 	       errno == ENOENT);
826*4882a593Smuzhiyun 
827*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
828*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(expected_map_fd, &key, value,
829*4882a593Smuzhiyun 				    BPF_NOEXIST));
830*4882a593Smuzhiyun 
831*4882a593Smuzhiyun 	/* insert key=3 element */
832*4882a593Smuzhiyun 
833*4882a593Smuzhiyun 	/* check that key=3 is not found */
834*4882a593Smuzhiyun 	key = 3;
835*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
836*4882a593Smuzhiyun 	       errno == ENOENT);
837*4882a593Smuzhiyun 
838*4882a593Smuzhiyun 	/* check that key=1 can be found and do _not_ mark ref bit.
839*4882a593Smuzhiyun 	 * this will be evicted on next update.
840*4882a593Smuzhiyun 	 */
841*4882a593Smuzhiyun 	key = 1;
842*4882a593Smuzhiyun 	assert(!bpf_map_lookup_elem(lru_map_fd, &key, value));
843*4882a593Smuzhiyun 	assert(value[0] == 1234);
844*4882a593Smuzhiyun 
845*4882a593Smuzhiyun 	/* check that key=2 can be found and mark the ref bit to
846*4882a593Smuzhiyun 	 * stop LRU from removing key=2
847*4882a593Smuzhiyun 	 */
848*4882a593Smuzhiyun 	key = 2;
849*4882a593Smuzhiyun 	assert(!bpf_map_lookup_elem_with_ref_bit(lru_map_fd, key, value));
850*4882a593Smuzhiyun 	assert(value[0] == 1234);
851*4882a593Smuzhiyun 
852*4882a593Smuzhiyun 	key = 3;
853*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(lru_map_fd, &key, value, BPF_NOEXIST));
854*4882a593Smuzhiyun 	assert(!bpf_map_update_elem(expected_map_fd, &key, value,
855*4882a593Smuzhiyun 				    BPF_NOEXIST));
856*4882a593Smuzhiyun 
857*4882a593Smuzhiyun 	/* key=1 has been removed from the LRU */
858*4882a593Smuzhiyun 	key = 1;
859*4882a593Smuzhiyun 	assert(bpf_map_lookup_elem(lru_map_fd, &key, value) == -1 &&
860*4882a593Smuzhiyun 	       errno == ENOENT);
861*4882a593Smuzhiyun 
862*4882a593Smuzhiyun 	assert(map_equal(lru_map_fd, expected_map_fd));
863*4882a593Smuzhiyun 
864*4882a593Smuzhiyun 	close(expected_map_fd);
865*4882a593Smuzhiyun 	close(lru_map_fd);
866*4882a593Smuzhiyun 
867*4882a593Smuzhiyun 	printf("Pass\n");
868*4882a593Smuzhiyun }
869*4882a593Smuzhiyun 
main(int argc,char ** argv)870*4882a593Smuzhiyun int main(int argc, char **argv)
871*4882a593Smuzhiyun {
872*4882a593Smuzhiyun 	int map_types[] = {BPF_MAP_TYPE_LRU_HASH,
873*4882a593Smuzhiyun 			     BPF_MAP_TYPE_LRU_PERCPU_HASH};
874*4882a593Smuzhiyun 	int map_flags[] = {0, BPF_F_NO_COMMON_LRU};
875*4882a593Smuzhiyun 	int t, f;
876*4882a593Smuzhiyun 
877*4882a593Smuzhiyun 	setbuf(stdout, NULL);
878*4882a593Smuzhiyun 
879*4882a593Smuzhiyun 	nr_cpus = bpf_num_possible_cpus();
880*4882a593Smuzhiyun 	assert(nr_cpus != -1);
881*4882a593Smuzhiyun 	printf("nr_cpus:%d\n\n", nr_cpus);
882*4882a593Smuzhiyun 
883*4882a593Smuzhiyun 	for (f = 0; f < sizeof(map_flags) / sizeof(*map_flags); f++) {
884*4882a593Smuzhiyun 		unsigned int tgt_free = (map_flags[f] & BPF_F_NO_COMMON_LRU) ?
885*4882a593Smuzhiyun 			PERCPU_FREE_TARGET : LOCAL_FREE_TARGET;
886*4882a593Smuzhiyun 
887*4882a593Smuzhiyun 		for (t = 0; t < sizeof(map_types) / sizeof(*map_types); t++) {
888*4882a593Smuzhiyun 			test_lru_sanity0(map_types[t], map_flags[f]);
889*4882a593Smuzhiyun 			test_lru_sanity1(map_types[t], map_flags[f], tgt_free);
890*4882a593Smuzhiyun 			test_lru_sanity2(map_types[t], map_flags[f], tgt_free);
891*4882a593Smuzhiyun 			test_lru_sanity3(map_types[t], map_flags[f], tgt_free);
892*4882a593Smuzhiyun 			test_lru_sanity4(map_types[t], map_flags[f], tgt_free);
893*4882a593Smuzhiyun 			test_lru_sanity5(map_types[t], map_flags[f]);
894*4882a593Smuzhiyun 			test_lru_sanity6(map_types[t], map_flags[f], tgt_free);
895*4882a593Smuzhiyun 			test_lru_sanity7(map_types[t], map_flags[f]);
896*4882a593Smuzhiyun 			test_lru_sanity8(map_types[t], map_flags[f]);
897*4882a593Smuzhiyun 
898*4882a593Smuzhiyun 			printf("\n");
899*4882a593Smuzhiyun 		}
900*4882a593Smuzhiyun 	}
901*4882a593Smuzhiyun 
902*4882a593Smuzhiyun 	return 0;
903*4882a593Smuzhiyun }
904