tools/testing/selftests/bpf/libarena/selftests/test_rbtree.bpf.c
Source file repositories/reference/linux-study-clean/tools/testing/selftests/bpf/libarena/selftests/test_rbtree.bpf.c
File Facts
- System
- Linux kernel
- Corpus path
tools/testing/selftests/bpf/libarena/selftests/test_rbtree.bpf.c- Extension
.c- Size
- 19183 bytes
- Lines
- 969
- Domain
- Support Tooling And Documentation
- Bucket
- tools
- Inferred role
- Support Tooling And Documentation: implementation source
- Status
- source implementation candidate
Why This File Exists
Repository support layer: documentation, build tooling, samples, user-space helper tools, generated initramfs support, licenses, and validation utilities.
- Repository support layer: documentation, build tooling, samples, user-space helper tools, generated initramfs support, licenses, and validation utilities.
- Defines or uses C structs; map object ownership, embedded links, reference counts, and lock ownership.
Dependency Surface
libarena/common.hlibarena/asan.hlibarena/rbtree.h
Detected Declarations
struct node_ctxfunction test_rbtree_find_nonexistentfunction test_rbtree_insert_existingfunction test_rbtree_update_existingfunction test_rbtree_insert_onefunction test_rbtree_insert_tenfunction test_rbtree_duplicatefunction clean_up_noalloc_treefunction insert_manyfunction test_rbtree_remove_onefunction remove_many_verify_all_presentfunction remove_many_verify_remainingfunction remove_many_allocfunction remove_many_noallocfunction remove_manyfunction test_rbtree_insert_many_updatefunction test_rbtree_insert_many_noallocfunction test_rbtree_remove_many_updatefunction test_rbtree_remove_many_noallocfunction test_rbtree_add_remove_circularfunction test_rbtree_add_remove_circular_reversefunction test_rbtree_least_popfunction test_rbtree_noalloc_popfunction test_rbtree_alloc_check
Annotated Snippet
struct node_ctx {
struct rbnode rbnode;
node_ctx next;
};
static const u64 keys[] = { 51, 43, 37, 3, 301, 46, 383, 990, 776, 729, 871, 96, 189, 213,
376, 167, 131, 939, 626, 119, 374, 700, 772, 154, 883, 620, 641, 5,
428, 516, 105, 622, 988, 811, 931, 973, 246, 690, 934, 744, 210, 311,
32, 255, 960, 830, 523, 429, 541, 738, 705, 774, 715, 446, 98, 578,
777, 191, 279, 91, 767 };
static const u64 morekeys[] = { 173, 636, 1201, 8642, 5957, 3617, 4586, 8053, 6551, 7592, 1748, 1589, 8644, 9918, 6977,
4448, 5852, 4640, 9717, 2303, 7424, 7695, 2334, 8876, 8618, 5745, 7134, 2178, 5280, 2140, 1138,
5083, 8922, 1516, 2437, 2488, 4307, 4329, 5088, 8456, 5938, 1441, 1684, 5750, 721, 1107, 2089,
9737, 4687, 5016, 4849, 8193, 9603, 9147, 5992, 166, 6721, 812, 4144, 6237, 6509, 3466, 9255,
7767, 3960, 6759, 2968, 6046, 9784, 8395, 2619, 1711, 528, 6424, 9084, 3179, 1342, 5676, 9445,
5691, 6678, 8487, 1627, 998, 6178, 2229, 1987, 3319, 572, 169, 2161, 3018, 5439, 7287, 7265, 5995,
5003, 5857, 2836, 5634, 4735, 9261, 8287, 5359, 533, 1406, 9573, 4026, 714, 3956, 1722, 6395,
9648, 3887, 7185, 470, 4482, 4997, 841, 8913, 9946, 3999, 9357, 9847, 277, 8184, 8704, 6766, 3323,
5468, 8638, 7905, 8858, 6142, 3685, 3452, 4689, 8878, 8836, 158, 831, 7914, 3031, 8374, 4921,
4207, 3460, 5547, 3358, 1083, 4619, 7818, 2962, 4879, 4583, 2172, 8819, 9830, 1194, 2666, 9812,
5704, 8432, 5916, 6007, 6609, 4791, 1985, 3226, 2478, 9605, 5236, 8079, 3042, 1965, 3539, 9704,
4267, 6416, 760, 9968, 2983, 1190, 1964, 3211, 2870, 3106, 2794, 1542, 6916, 5986, 9096, 441,
5894, 8353, 7765, 3757, 5732, 88, 3091, 5637, 6042, 8447, 4073, 6923, 5491, 7010, 3663, 5029,
6162, 822, 4874, 7491, 5100, 3461, 6983, 2170, 1458, 1856, 648, 6272, 4887, 976, 2369, 5909, 4274,
3324, 6968, 2312, 2271, 8891, 6268, 6581, 1610, 8880, 6194, 6144, 9764, 6915, 829, 3774, 2265,
1752, 1314, 6377, 8760, 8004, 501, 4912, 9278, 1425, 9578, 7337, 307, 1885, 3151, 9617, 1647,
2458, 3702, 6091, 8902, 5663, 9378, 7640, 3336, 557, 1644, 6848, 1559, 8821, 266, 4330, 9790,
5920, 4222, 1143, 6248, 5792, 4847, 9726, 6303, 821, 6839, 6062, 7133, 3649, 9888, 2528, 1966,
5456, 4914, 3615, 1543, 3206, 3353, 6097, 2800, 1424, 9094, 7920, 7243, 1394, 5464, 1707, 576,
6524, 4261, 4187, 7889, 5336, 3377, 2921, 7244, 2766, 6584, 5514, 1387, 2957, 2258, 1077, 9979,
1128, 876, 4056, 4668, 4532, 1982, 7093, 4184, 5460, 7588, 4704, 6717, 61, 3959, 1826, 2294, 18,
8170, 9394, 8796, 7288, 7285, 7143, 148, 6676, 6603, 1051, 8225, 4169, 3230, 7697, 6971, 3454,
7501, 9514, 394, 2339, 4993, 5606, 6060, 1297, 8273, 3012, 157, 8181, 6765, 7207, 1005, 8833, 1914,
7456, 1846, 8375, 2741, 2074, 1712, 5286 };
SEC("syscall")
__weak int test_rbtree_find_nonexistent(void)
{
u64 key = 0xdeadbeef;
u64 value = 0;
int ret;
struct rbtree __arena *rbtree;
rbtree = rb_create(RB_ALLOC, RB_DEFAULT);
if (!rbtree)
return 1;
/* Should return -EINVAL */
ret = rb_find(rbtree, key, &value);
if (!ret)
return 2;
return rb_destroy(rbtree);
}
SEC("syscall")
__weak int test_rbtree_insert_existing(void)
{
u64 key = 525252;
u64 value = 24;
int ret;
struct rbtree __arena *rbtree;
rbtree = rb_create(RB_ALLOC, RB_DEFAULT);
if (!rbtree)
return 1;
ret = rb_insert(rbtree, key, value);
if (ret)
return 2;
/* Should return -EALREADY. */
ret = rb_insert(rbtree, key, value);
if (ret != -EALREADY) {
return 3;
}
return rb_destroy(rbtree);
}
SEC("syscall")
__weak int test_rbtree_update_existing(void)
{
u64 key = 33333;
u64 value;
int ret;
Annotation
- Immediate include surface: `libarena/common.h`, `libarena/asan.h`, `libarena/rbtree.h`.
- Detected declarations: `struct node_ctx`, `function test_rbtree_find_nonexistent`, `function test_rbtree_insert_existing`, `function test_rbtree_update_existing`, `function test_rbtree_insert_one`, `function test_rbtree_insert_ten`, `function test_rbtree_duplicate`, `function clean_up_noalloc_tree`, `function insert_many`, `function test_rbtree_remove_one`.
- Atlas domain: Support Tooling And Documentation / tools.
- Implementation status: source implementation candidate.
Implementation Notes
- This generated page is the file-by-file coverage layer; curated subsystem chapters should link here when they synthesize a multi-file control flow.
- Core OS pages should be promoted from atlas-only to deep-reviewed when they explain data structures, invariants, locking, lifecycle, and C implementation snippets.
- Driver-family pages are intentionally pattern-oriented unless they are part of the selected PCIe/NVMe representative device path.