[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <b35eccec-130a-8848-d1b8-b41919ca05c1@bytedance.com>
Date: Mon, 25 Sep 2023 16:30:11 +0800
From: Peng Zhang <zhangpeng.00@...edance.com>
To: "Liam R. Howlett" <Liam.Howlett@...cle.com>,
Peng Zhang <zhangpeng.00@...edance.com>, corbet@....net,
akpm@...ux-foundation.org, willy@...radead.org, brauner@...nel.org,
surenb@...gle.com, michael.christie@...cle.com,
peterz@...radead.org, mathieu.desnoyers@...icios.com,
npiggin@...il.com, avagin@...il.com, linux-mm@...ck.org,
linux-doc@...r.kernel.org, linux-kernel@...r.kernel.org,
linux-fsdevel@...r.kernel.org
Subject: Re: [PATCH v2 3/6] maple_tree: Add test for mtree_dup()
在 2023/9/25 15:44, Liam R. Howlett 写道:
> * Peng Zhang <zhangpeng.00@...edance.com> [230925 00:06]:
>>
>>
>> 在 2023/9/8 04:13, Liam R. Howlett 写道:
>>> * Peng Zhang <zhangpeng.00@...edance.com> [230830 08:57]:
>>>> Add test for mtree_dup().
>>>
>>> Please add a better description of what tests are included.
>>>
>>>>
>>>> Signed-off-by: Peng Zhang <zhangpeng.00@...edance.com>
>>>> ---
>>>> tools/testing/radix-tree/maple.c | 344 +++++++++++++++++++++++++++++++
>>>> 1 file changed, 344 insertions(+)
>>>>
>>>> diff --git a/tools/testing/radix-tree/maple.c b/tools/testing/radix-tree/maple.c
>>>> index e5da1cad70ba..38455916331e 100644
>>>> --- a/tools/testing/radix-tree/maple.c
>>>> +++ b/tools/testing/radix-tree/maple.c
>>>
>>> Why not lib/test_maple_tree.c?
>>>
>>> If they are included there then they will be built into the test module.
>>> I try to include any tests that I can in the test module, within reason.
>>>
>>>
>>>> @@ -35857,6 +35857,346 @@ static noinline void __init check_locky(struct maple_tree *mt)
>>>> mt_clear_in_rcu(mt);
>>>> }
>>>> +/*
>>>> + * Compare two nodes and return 0 if they are the same, non-zero otherwise.
>>>
>>> The slots can be different, right? That seems worth mentioning here.
>>> It's also worth mentioning this is destructive.
>> I compared the type information in the slots, but the addresses cannot
>> be compared because they are different.
>
> Yes, but that is not what the comment says, it states that it will
> return 0 if they are the same. It doesn't check the memory addresses or
> the parent. I don't expect it to, but your comment is misleading.
OK, I have made the modifications in v3. Thanks.
>
>>>
>>>> + */
>>>> +static int __init compare_node(struct maple_enode *enode_a,
>>>> + struct maple_enode *enode_b)
>>>> +{
>>>> + struct maple_node *node_a, *node_b;
>>>> + struct maple_node a, b;
>>>> + void **slots_a, **slots_b; /* Do not use the rcu tag. */
>>>> + enum maple_type type;
>>>> + int i;
>>>> +
>>>> + if (((unsigned long)enode_a & MAPLE_NODE_MASK) !=
>>>> + ((unsigned long)enode_b & MAPLE_NODE_MASK)) {
>>>> + pr_err("The lower 8 bits of enode are different.\n");
>>>> + return -1;
>>>> + }
>>>> +
>>>> + type = mte_node_type(enode_a);
>>>> + node_a = mte_to_node(enode_a);
>>>> + node_b = mte_to_node(enode_b);
>>>> + a = *node_a;
>>>> + b = *node_b;
>>>> +
>>>> + /* Do not compare addresses. */
>>>> + if (ma_is_root(node_a) || ma_is_root(node_b)) {
>>>> + a.parent = (struct maple_pnode *)((unsigned long)a.parent &
>>>> + MA_ROOT_PARENT);
>>>> + b.parent = (struct maple_pnode *)((unsigned long)b.parent &
>>>> + MA_ROOT_PARENT);
>>>> + } else {
>>>> + a.parent = (struct maple_pnode *)((unsigned long)a.parent &
>>>> + MAPLE_NODE_MASK);
>>>> + b.parent = (struct maple_pnode *)((unsigned long)b.parent &
>>>> + MAPLE_NODE_MASK);
>>>> + }
>>>> +
>>>> + if (a.parent != b.parent) {
>>>> + pr_err("The lower 8 bits of parents are different. %p %p\n",
>>>> + a.parent, b.parent);
>>>> + return -1;
>>>> + }
>>>> +
>>>> + /*
>>>> + * If it is a leaf node, the slots do not contain the node address, and
>>>> + * no special processing of slots is required.
>>>> + */
>>>> + if (ma_is_leaf(type))
>>>> + goto cmp;
>>>> +
>>>> + slots_a = ma_slots(&a, type);
>>>> + slots_b = ma_slots(&b, type);
>>>> +
>>>> + for (i = 0; i < mt_slots[type]; i++) {
>>>> + if (!slots_a[i] && !slots_b[i])
>>>> + break;
>>>> +
>>>> + if (!slots_a[i] || !slots_b[i]) {
>>>> + pr_err("The number of slots is different.\n");
>>>> + return -1;
>>>> + }
>>>> +
>>>> + /* Do not compare addresses in slots. */
>>>> + ((unsigned long *)slots_a)[i] &= MAPLE_NODE_MASK;
>>>> + ((unsigned long *)slots_b)[i] &= MAPLE_NODE_MASK;
>>>> + }
>>>> +
>>>> +cmp:
>>>> + /*
>>>> + * Compare all contents of two nodes, including parent (except address),
>>>> + * slots (except address), pivots, gaps and metadata.
>>>> + */
>>>> + return memcmp(&a, &b, sizeof(struct maple_node));
>>>> +}
>>>> +
>>>> +/*
>>>> + * Compare two trees and return 0 if they are the same, non-zero otherwise.
>>>> + */
>>>> +static int __init compare_tree(struct maple_tree *mt_a, struct maple_tree *mt_b)
>>>> +{
>>>> + MA_STATE(mas_a, mt_a, 0, 0);
>>>> + MA_STATE(mas_b, mt_b, 0, 0);
>>>> +
>>>> + if (mt_a->ma_flags != mt_b->ma_flags) {
>>>> + pr_err("The flags of the two trees are different.\n");
>>>> + return -1;
>>>> + }
>>>> +
>>>> + mas_dfs_preorder(&mas_a);
>>>> + mas_dfs_preorder(&mas_b);
>>>> +
>>>> + if (mas_is_ptr(&mas_a) || mas_is_ptr(&mas_b)) {
>>>> + if (!(mas_is_ptr(&mas_a) && mas_is_ptr(&mas_b))) {
>>>> + pr_err("One is MAS_ROOT and the other is not.\n");
>>>> + return -1;
>>>> + }
>>>> + return 0;
>>>> + }
>>>> +
>>>> + while (!mas_is_none(&mas_a) || !mas_is_none(&mas_b)) {
>>>> +
>>>> + if (mas_is_none(&mas_a) || mas_is_none(&mas_b)) {
>>>> + pr_err("One is MAS_NONE and the other is not.\n");
>>>> + return -1;
>>>> + }
>>>> +
>>>> + if (mas_a.min != mas_b.min ||
>>>> + mas_a.max != mas_b.max) {
>>>> + pr_err("mas->min, mas->max do not match.\n");
>>>> + return -1;
>>>> + }
>>>> +
>>>> + if (compare_node(mas_a.node, mas_b.node)) {
>>>> + pr_err("The contents of nodes %p and %p are different.\n",
>>>> + mas_a.node, mas_b.node);
>>>> + mt_dump(mt_a, mt_dump_dec);
>>>> + mt_dump(mt_b, mt_dump_dec);
>>>> + return -1;
>>>> + }
>>>> +
>>>> + mas_dfs_preorder(&mas_a);
>>>> + mas_dfs_preorder(&mas_b);
>>>> + }
>>>> +
>>>> + return 0;
>>>> +}
>>>> +
>>>> +static __init void mas_subtree_max_range(struct ma_state *mas)
>>>> +{
>>>> + unsigned long limit = mas->max;
>>>> + MA_STATE(newmas, mas->tree, 0, 0);
>>>> + void *entry;
>>>> +
>>>> + mas_for_each(mas, entry, limit) {
>>>> + if (mas->last - mas->index >=
>>>> + newmas.last - newmas.index) {
>>>> + newmas = *mas;
>>>> + }
>>>> + }
>>>> +
>>>> + *mas = newmas;
>>>> +}
>>>> +
>>>> +/*
>>>> + * build_full_tree() - Build a full tree.
>>>> + * @mt: The tree to build.
>>>> + * @flags: Use @flags to build the tree.
>>>> + * @height: The height of the tree to build.
>>>> + *
>>>> + * Build a tree with full leaf nodes and internal nodes. Note that the height
>>>> + * should not exceed 3, otherwise it will take a long time to build.
>>>> + * Return: zero if the build is successful, non-zero if it fails.
>>>> + */
>>>> +static __init int build_full_tree(struct maple_tree *mt, unsigned int flags,
>>>> + int height)
>>>> +{
>>>> + MA_STATE(mas, mt, 0, 0);
>>>> + unsigned long step;
>>>> + int ret = 0, cnt = 1;
>>>> + enum maple_type type;
>>>> +
>>>> + mt_init_flags(mt, flags);
>>>> + mtree_insert_range(mt, 0, ULONG_MAX, xa_mk_value(5), GFP_KERNEL);
>>>> +
>>>> + mtree_lock(mt);
>>>> +
>>>> + while (1) {
>>>> + mas_set(&mas, 0);
>>>> + if (mt_height(mt) < height) {
>>>> + mas.max = ULONG_MAX;
>>>> + goto store;
>>>> + }
>>>> +
>>>> + while (1) {
>>>> + mas_dfs_preorder(&mas);
>>>> + if (mas_is_none(&mas))
>>>> + goto unlock;
>>>> +
>>>> + type = mte_node_type(mas.node);
>>>> + if (mas_data_end(&mas) + 1 < mt_slots[type]) {
>>>> + mas_set(&mas, mas.min);
>>>> + goto store;
>>>> + }
>>>> + }
>>>> +store:
>>>> + mas_subtree_max_range(&mas);
>>>> + step = mas.last - mas.index;
>>>> + if (step < 1) {
>>>> + ret = -1;
>>>> + goto unlock;
>>>> + }
>>>> +
>>>> + step /= 2;
>>>> + mas.last = mas.index + step;
>>>> + mas_store_gfp(&mas, xa_mk_value(5),
>>>> + GFP_KERNEL);
>>>> + ++cnt;
>>>> + }
>>>> +unlock:
>>>> + mtree_unlock(mt);
>>>> +
>>>> + MT_BUG_ON(mt, mt_height(mt) != height);
>>>> + /* pr_info("height:%u number of elements:%d\n", mt_height(mt), cnt); */
>>>> + return ret;
>>>> +}
>>>> +
>>>> +static noinline void __init check_mtree_dup(struct maple_tree *mt)
>>>> +{
>>>> + DEFINE_MTREE(new);
>>>> + int i, j, ret, count = 0;
>>>> + unsigned int rand_seed = 17, rand;
>>>> +
>>>> + /* store a value at [0, 0] */
>>>> + mt_init_flags(&tree, 0);
>>>> + mtree_store_range(&tree, 0, 0, xa_mk_value(0), GFP_KERNEL);
>>>> + ret = mtree_dup(&tree, &new, GFP_KERNEL);
>>>> + MT_BUG_ON(&new, ret);
>>>> + mt_validate(&new);
>>>> + if (compare_tree(&tree, &new))
>>>> + MT_BUG_ON(&new, 1);
>>>> +
>>>> + mtree_destroy(&tree);
>>>> + mtree_destroy(&new);
>>>> +
>>>> + /* The two trees have different attributes. */
>>>> + mt_init_flags(&tree, 0);
>>>> + mt_init_flags(&new, MT_FLAGS_ALLOC_RANGE);
>>>> + ret = mtree_dup(&tree, &new, GFP_KERNEL);
>>>> + MT_BUG_ON(&new, ret != -EINVAL);
>>>> + mtree_destroy(&tree);
>>>> + mtree_destroy(&new);
>>>> +
>>>> + /* The new tree is not empty */
>>>> + mt_init_flags(&tree, 0);
>>>> + mt_init_flags(&new, 0);
>>>> + mtree_store(&new, 5, xa_mk_value(5), GFP_KERNEL);
>>>> + ret = mtree_dup(&tree, &new, GFP_KERNEL);
>>>> + MT_BUG_ON(&new, ret != -EINVAL);
>>>> + mtree_destroy(&tree);
>>>> + mtree_destroy(&new);
>>>> +
>>>> + /* Test for duplicating full trees. */
>>>> + for (i = 1; i <= 3; i++) {
>>>> + ret = build_full_tree(&tree, 0, i);
>>>> + MT_BUG_ON(&tree, ret);
>>>> + mt_init_flags(&new, 0);
>>>> +
>>>> + ret = mtree_dup(&tree, &new, GFP_KERNEL);
>>>> + MT_BUG_ON(&new, ret);
>>>> + mt_validate(&new);
>>>> + if (compare_tree(&tree, &new))
>>>> + MT_BUG_ON(&new, 1);
>>>> +
>>>> + mtree_destroy(&tree);
>>>> + mtree_destroy(&new);
>>>> + }
>>>> +
>>>> + for (i = 1; i <= 3; i++) {
>>>> + ret = build_full_tree(&tree, MT_FLAGS_ALLOC_RANGE, i);
>>>> + MT_BUG_ON(&tree, ret);
>>>> + mt_init_flags(&new, MT_FLAGS_ALLOC_RANGE);
>>>> +
>>>> + ret = mtree_dup(&tree, &new, GFP_KERNEL);
>>>> + MT_BUG_ON(&new, ret);
>>>> + mt_validate(&new);
>>>> + if (compare_tree(&tree, &new))
>>>> + MT_BUG_ON(&new, 1);
>>>> +
>>>> + mtree_destroy(&tree);
>>>> + mtree_destroy(&new);
>>>> + }
>>>> +
>>>> + /* Test for normal duplicating. */
>>>> + for (i = 0; i < 1000; i += 3) {
>>>> + if (i & 1) {
>>>> + mt_init_flags(&tree, 0);
>>>> + mt_init_flags(&new, 0);
>>>> + } else {
>>>> + mt_init_flags(&tree, MT_FLAGS_ALLOC_RANGE);
>>>> + mt_init_flags(&new, MT_FLAGS_ALLOC_RANGE);
>>>> + }
>>>> +
>>>> + for (j = 0; j < i; j++) {
>>>> + mtree_store_range(&tree, j * 10, j * 10 + 5,
>>>> + xa_mk_value(j), GFP_KERNEL);
>>>> + }
>>>> +
>>>> + ret = mtree_dup(&tree, &new, GFP_KERNEL);
>>>> + MT_BUG_ON(&new, ret);
>>>> + mt_validate(&new);
>>>> + if (compare_tree(&tree, &new))
>>>> + MT_BUG_ON(&new, 1);
>>>> +
>>>> + mtree_destroy(&tree);
>>>> + mtree_destroy(&new);
>>>> + }
>>>> +
>>>> + /* Test memory allocation failed. */
>>>
>>> It might be worth while having specific allocations fail. At a leaf
>>> node, intermediate nodes, first node come to mind.
>> Memory allocation is only possible in non-leaf nodes. It is impossible
>> to fail in leaf nodes.
>
> I understand that's your intent and probably what happens today - but
> it'd be good to have testing for that, if not for this code then for
> future potential changes.
But currently, it's not possible to have tests that fail at leaf nodes
because they don't fail at leaf nodes. What is done at leaf nodes is
simply copying the node and replacing the parent pointer.
>
>>>
>>>> + for (i = 0; i < 1000; i += 3) {
>>>> + if (i & 1) {
>>>> + mt_init_flags(&tree, 0);
>>>> + mt_init_flags(&new, 0);
>>>> + } else {
>>>> + mt_init_flags(&tree, MT_FLAGS_ALLOC_RANGE);
>>>> + mt_init_flags(&new, MT_FLAGS_ALLOC_RANGE);
>>>> + }
>>>> +
>>>> + for (j = 0; j < i; j++) {
>>>> + mtree_store_range(&tree, j * 10, j * 10 + 5,
>>>> + xa_mk_value(j), GFP_KERNEL);
>>>> + }
>>>> + /*
>>>> + * The rand() library function is not used, so we can generate
>>>> + * the same random numbers on any platform.
>>>> + */
>>>> + rand_seed = rand_seed * 1103515245 + 12345;
>>>> + rand = rand_seed / 65536 % 128;
>>>> + mt_set_non_kernel(rand);
>>>> +
>>>> + ret = mtree_dup(&tree, &new, GFP_NOWAIT);
>>>> + mt_set_non_kernel(0);
>>>> + if (ret != 0) {
>>>> + MT_BUG_ON(&new, ret != -ENOMEM);
>>>> + count++;
>>>> + mtree_destroy(&tree);
>>>> + continue;
>>>> + }
>>>> +
>>>> + mt_validate(&new);
>>>> + if (compare_tree(&tree, &new))
>>>> + MT_BUG_ON(&new, 1);
>>>> +
>>>> + mtree_destroy(&tree);
>>>> + mtree_destroy(&new);
>>>> + }
>>>> +
>>>> + /* pr_info("mtree_dup() fail %d times\n", count); */
>>>> + BUG_ON(!count);
>>>> +}
>>>> +
>>>> extern void test_kmem_cache_bulk(void);
>>>> void farmer_tests(void)
>>>> @@ -35904,6 +36244,10 @@ void farmer_tests(void)
>>>> check_null_expand(&tree);
>>>> mtree_destroy(&tree);
>>>> + mt_init_flags(&tree, 0);
>>>> + check_mtree_dup(&tree);
>>>> + mtree_destroy(&tree);
>>>> +
>>>> /* RCU testing */
>>>> mt_init_flags(&tree, 0);
>>>> check_erase_testset(&tree);
>>>> --
>>>> 2.20.1
>>>>
Powered by blists - more mailing lists