From: Qu Wenruo <quwenruo.btrfs@gmx.com>
To: Nikolay Borisov <nborisov@suse.com>, Qu Wenruo <wqu@suse.com>,
linux-btrfs@vger.kernel.org
Subject: Re: [PATCH 1/8] btrfs: delayed-ref: Introduce better documented delayed ref structures
Date: Mon, 10 Dec 2018 19:20:19 +0800 [thread overview]
Message-ID: <fc949474-f177-0d8c-2773-8112ff06c3c4@gmx.com> (raw)
In-Reply-To: <235ca34f-bcda-128d-dc3d-7465766271c7@suse.com>
On 2018/12/10 下午5:48, Nikolay Borisov wrote:
>
>
> On 6.12.18 г. 8:58 ч., Qu Wenruo wrote:
>> Current delayed ref interface has several problems:
>> - Longer and longer parameter lists
>> bytenr
>> num_bytes
>> parent
>> ref_root
>> owner
>> offset
>> for_reloc << Only qgroup code cares.
>>
>> - Different interpretation for the same parameter
>> Above @owner for data ref is ino owning this extent,
>> while for tree ref, it's level. They are even in different size range.
>> For level we only need 0~8, while for ino it's
>> BTRFS_FIRST_FREE_OBJECTID~BTRFS_LAST_FREE_OBJECTID.
>>
>> And @offset doesn't even makes sense for tree ref.
>>
>> Such parameter reuse may look clever as an hidden union, but it
>> destroys code readability.
>>
>> To solve both problems, we introduce a new structure, btrfs_ref to solve
>> them:
>>
>> - Structure instead of long parameter list
>> This makes later expansion easier, and better documented.
>>
>> - Use btrfs_ref::type to distinguish data and tree ref
>>
>> - Use proper union to store data/tree ref specific structures.
>>
>> - Use separate functions to fill data/tree ref data, with a common generic
>> function to fill common bytenr/num_bytes members.
>>
>> All parameters will find its place in btrfs_ref, and an extra member,
>> real_root, inspired by ref-verify code, is newly introduced for later
>> qgroup code, to record which tree is triggered this extent modification.
>>
>> This patch doesn't touch any code, but provides the basis for incoming
>> refactors.
>>
>> Signed-off-by: Qu Wenruo <wqu@suse.com>
>> ---
>> fs/btrfs/delayed-ref.h | 109 +++++++++++++++++++++++++++++++++++++++++
>> 1 file changed, 109 insertions(+)
>>
>> diff --git a/fs/btrfs/delayed-ref.h b/fs/btrfs/delayed-ref.h
>> index d8fa12d3f2cc..e36d6b05d85e 100644
>> --- a/fs/btrfs/delayed-ref.h
>> +++ b/fs/btrfs/delayed-ref.h
>> @@ -176,6 +176,81 @@ struct btrfs_delayed_ref_root {
>> u64 qgroup_to_skip;
>> };
>>
>> +enum btrfs_ref_type {
>> + BTRFS_REF_NOT_SET = 0,
>
> No need for explicit initialisation when your enums start from 0.
Forgot that.
>
>> + BTRFS_REF_DATA,
>> + BTRFS_REF_METADATA,
>> + BTRFS_REF_LAST,
>> +};
>> +
>> +struct btrfs_data_ref {
>> + /*
>> + * For EXTENT_DATA_REF
>> + *
>> + * @ref_root: current owner of the extent.
>> + * may differ from btrfs_ref::real_root.
>
> Here 'owner' is a bit ambiguous. Isn't this the root of the owner
Well, the @ref_root is a little confusing.
Here it could mean "the current btrfs_header_owner(eb)".
I don't really know the correct term here.
>
>> + * @ino: inode number of the owner.
>
> And the owner is really the owning inode?
Yes, the owning inode.
>
>> + * @offset: *CALCULATED* offset. Not EXTENT_DATA key offset.
>
> What does calculated mean here?
Because btrfs data backref instead of using the offset of the owning
EXTENT_DATA key, it uses key->offset - extent_offset.
>
>> + *
>> + */
>
> Ugh, this is ugly, why not have a single /* */ line above each member
> and document them like that?
Because the complexity of @ref_root can't really go one line.
>
>> + u64 ref_root;
>> + u64 ino;
>> + u64 offset;
>> +};
>> +
>> +struct btrfs_tree_ref {
>> + /* Common for all sub types and skinny combination */
>> + int level;
>
> Like you've done here. Mention that this is the level in the tree that
> this reference is located at.
>
>> +
>> + /*
>> + * For TREE_BLOCK_REF (skinny metadata, either inline or keyed)
>> + *
>> + * root here may differ from btrfs_ref::real_root.
>> + */
>
> Make it refer to the documentation of the generic btrfs_ref structure
> because if someone reads this comment and doesn't read the one in
> btrfs_ref then it's not clear under what conditions they might differ.
>
>> + u64 root;
>> +
>> + /* For non-skinny metadata, no special member needed */
>> +};
>> +
>> +struct btrfs_ref {
>> + enum btrfs_ref_type type;
>> + int action;
>> +
>> + /*
>> + * Use full backref(SHARED_BLOCK_REF or SHARED_DATA_REF) for this
>> + * extent and its children.
>> + * Set for reloc trees.
>> + */
>> + unsigned int use_fullback:1;
>
> 'fullback' is too terse, use_backreferences or something conveying more
> information?
@use_backreferences looks even stranger to me.
Here the point is, if this bit set, all backref will use
SHARED_BLOCK_REF or SHARED_DATA_REF subtype, and just leave a pointer to
its parent.
Any good idea for explaining this?
> Also please use explicit bool type:
>
> bool xxxx:1
Is this valid? Haven't seen such usage in kernel code IIRC.
>
>> +
>> + /*
>> + * Whether this extent should go through qgroup record.
>> + * Normally false, but for certain case like delayed subtree scan,
>> + * this can hugely reduce qgroup overhead.
>> + */
>> + unsigned int skip_qgroup:1;
>
> again, explicit bool type please.
>
>> +
>> + /*
>> + * Who owns this reference modification, optional.
>> + *
>> + * One example:
>> + * When creating reloc tree for source fs, it will increase tree block
>> + * ref for children tree blocks.
>> + * In that case, btrfs_ref::real_root = reloc tree,
>> + * while btrfs_ref::tree_ref::root = fs tree.
>> + */
>> + u64 real_root;
>> + u64 bytenr;
>> + u64 len;
>> +
>> + /* Common @parent for SHARED_DATA_REF/SHARED_BLOCK_REF */
>
> OK, it's common but what does it really contain? Either document it or
> rename it to parent_block or something.
>
>> + u64 parent;
>> + union {
>> + struct btrfs_data_ref data_ref;
>> + struct btrfs_tree_ref tree_ref;
>> + };
>> +};
>> +
>> extern struct kmem_cache *btrfs_delayed_ref_head_cachep;
>> extern struct kmem_cache *btrfs_delayed_tree_ref_cachep;
>> extern struct kmem_cache *btrfs_delayed_data_ref_cachep;
>> @@ -184,6 +259,40 @@ extern struct kmem_cache *btrfs_delayed_extent_op_cachep;
>> int __init btrfs_delayed_ref_init(void);
>> void __cold btrfs_delayed_ref_exit(void);
>>
>> +static inline void btrfs_init_generic_ref(struct btrfs_ref *generic_ref,
>> + int action, u64 bytenr, u64 len, u64 real_root,
>> + u64 parent)
>> +{
>> + generic_ref->action = action;
>
> IMO it makes sense in this series to have a patch which converts the
> action defines to an enum and subsequently modify functions/structs to
> actually be of enum type.
Makes sense.
Thanks,
Qu
>
>> + generic_ref->bytenr = bytenr;
>> + generic_ref->len = len;
>> + generic_ref->real_root = real_root;
>> + generic_ref->parent = parent;
>> +}
>> +
>> +static inline void btrfs_init_tree_ref(struct btrfs_ref *generic_ref,
>> + int level, u64 root)
>> +{
>> + /* If @real_root not set, use @root as fallback */
>> + if (!generic_ref->real_root)
>> + generic_ref->real_root = root;
>> + generic_ref->tree_ref.level = level;
>> + generic_ref->tree_ref.root = root;
>> + generic_ref->type = BTRFS_REF_METADATA;
>> +}
>> +
>> +static inline void btrfs_init_data_ref(struct btrfs_ref *generic_ref,
>> + u64 ref_root, u64 ino, u64 offset)
>> +{
>> + /* If @real_root not set, use @root as fallback */
>> + if (!generic_ref->real_root)
>> + generic_ref->real_root = ref_root;
>> + generic_ref->data_ref.ref_root = ref_root;
>> + generic_ref->data_ref.ino = ino;
>> + generic_ref->data_ref.offset = offset;
>> + generic_ref->type = BTRFS_REF_DATA;
>> +}
>> +
>> static inline struct btrfs_delayed_extent_op *
>> btrfs_alloc_delayed_extent_op(void)
>> {
>>
next prev parent reply other threads:[~2018-12-10 11:20 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-12-06 6:58 [PATCH 0/8] btrfs: Refactor delayed ref parameter list Qu Wenruo
2018-12-06 6:58 ` [PATCH 1/8] btrfs: delayed-ref: Introduce better documented delayed ref structures Qu Wenruo
2018-12-10 9:48 ` Nikolay Borisov
2018-12-10 11:20 ` Qu Wenruo [this message]
2018-12-10 11:32 ` Nikolay Borisov
2018-12-10 11:37 ` Qu Wenruo
2018-12-10 17:03 ` David Sterba
2018-12-12 5:09 ` About enum convert (Old "Re: [PATCH 1/8] btrfs: delayed-ref: Introduce better documented delayed ref structures") Qu Wenruo
2018-12-06 6:58 ` [PATCH 2/8] btrfs: extent-tree: Open-code process_func in __btrfs_mod_ref Qu Wenruo
2018-12-07 17:39 ` Nikolay Borisov
2018-12-06 6:58 ` [PATCH 3/8] btrfs: delayed-ref: Use btrfs_ref to refactor btrfs_add_delayed_tree_ref() Qu Wenruo
2018-12-10 9:21 ` Nikolay Borisov
2018-12-12 5:50 ` Qu Wenruo
2018-12-06 6:58 ` [PATCH 4/8] btrfs: delayed-ref: Use btrfs_ref to refactor btrfs_add_delayed_data_ref() Qu Wenruo
2018-12-10 9:23 ` Nikolay Borisov
2018-12-06 6:59 ` [PATCH 5/8] btrfs: ref-verify: Use btrfs_ref to refactor btrfs_ref_tree_mod() Qu Wenruo
2018-12-06 6:59 ` [PATCH 6/8] btrfs: extent-tree: Use btrfs_ref to refactor add_pinned_bytes() Qu Wenruo
2018-12-10 9:45 ` Nikolay Borisov
2018-12-06 6:59 ` [PATCH 7/8] btrfs: extent-tree: Use btrfs_ref to refactor btrfs_inc_extent_ref() Qu Wenruo
2018-12-10 9:52 ` Nikolay Borisov
2018-12-10 17:28 ` David Sterba
2018-12-11 2:02 ` Qu Wenruo
2018-12-06 6:59 ` [PATCH 8/8] btrfs: extent-tree: Use btrfs_ref to refactor btrfs_free_extent() Qu Wenruo
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=fc949474-f177-0d8c-2773-8112ff06c3c4@gmx.com \
--to=quwenruo.btrfs@gmx.com \
--cc=linux-btrfs@vger.kernel.org \
--cc=nborisov@suse.com \
--cc=wqu@suse.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).