cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

test_lru_map.c (23619B)


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