All of lore.kernel.org
 help / color / mirror / Atom feed
From: Qu Wenruo <quwenruo.btrfs@gmx.com>
To: Josef Bacik <josef@toxicpanda.com>, Qu Wenruo <wqu@suse.com>,
	linux-btrfs@vger.kernel.org
Subject: Re: [PATCH v4 08/18] btrfs: introduce helper for subpage uptodate status
Date: Thu, 21 Jan 2021 08:49:30 +0800	[thread overview]
Message-ID: <3118cc60-2337-49da-648d-aa3b8cdcd70d@gmx.com> (raw)
In-Reply-To: <812a4f48-3210-926f-cf59-de63bfcc4c0d@toxicpanda.com>



On 2021/1/20 下午11:00, Josef Bacik wrote:
> On 1/16/21 2:15 AM, Qu Wenruo wrote:
>> This patch introduce the following functions to handle btrfs subpage
>> uptodate status:
>> - btrfs_subpage_set_uptodate()
>> - btrfs_subpage_clear_uptodate()
>> - btrfs_subpage_test_uptodate()
>>    Those helpers can only be called when the range is ensured to be
>>    inside the page.
>>
>> - btrfs_page_set_uptodate()
>> - btrfs_page_clear_uptodate()
>> - btrfs_page_test_uptodate()
>>    Those helpers can handle both regular sector size and subpage without
>>    problem.
>>    Although caller should still ensure that the range is inside the page.
>>
>> Signed-off-by: Qu Wenruo <wqu@suse.com>
>> ---
>>   fs/btrfs/subpage.h | 115 +++++++++++++++++++++++++++++++++++++++++++++
>>   1 file changed, 115 insertions(+)
>>
>> diff --git a/fs/btrfs/subpage.h b/fs/btrfs/subpage.h
>> index d8b34879368d..3373ef4ffec1 100644
>> --- a/fs/btrfs/subpage.h
>> +++ b/fs/btrfs/subpage.h
>> @@ -23,6 +23,7 @@
>>   struct btrfs_subpage {
>>       /* Common members for both data and metadata pages */
>>       spinlock_t lock;
>> +    u16 uptodate_bitmap;
>>       union {
>>           /* Structures only used by metadata */
>>           bool under_alloc;
>> @@ -78,4 +79,118 @@ static inline void 
>> btrfs_page_end_meta_alloc(struct btrfs_fs_info *fs_info,
>>   int btrfs_attach_subpage(struct btrfs_fs_info *fs_info, struct page 
>> *page);
>>   void btrfs_detach_subpage(struct btrfs_fs_info *fs_info, struct page 
>> *page);
>> +/*
>> + * Convert the [start, start + len) range into a u16 bitmap
>> + *
>> + * E.g. if start == page_offset() + 16K, len = 16K, we get 0x00f0.
>> + */
>> +static inline u16 btrfs_subpage_calc_bitmap(struct btrfs_fs_info 
>> *fs_info,
>> +            struct page *page, u64 start, u32 len)
>> +{
>> +    int bit_start = offset_in_page(start) >> fs_info->sectorsize_bits;
>> +    int nbits = len >> fs_info->sectorsize_bits;
>> +
>> +    /* Basic checks */
>> +    ASSERT(PagePrivate(page) && page->private);
>> +    ASSERT(IS_ALIGNED(start, fs_info->sectorsize) &&
>> +           IS_ALIGNED(len, fs_info->sectorsize));
>> +
>> +    /*
>> +     * The range check only works for mapped page, we can
>> +     * still have unampped page like dummy extent buffer pages.
>> +     */
>> +    if (page->mapping)
>> +        ASSERT(page_offset(page) <= start &&
>> +            start + len <= page_offset(page) + PAGE_SIZE);
>> +    /*
>> +     * Here nbits can be 16, thus can go beyond u16 range. Here we 
>> make the
>> +     * first left shift to be calculated in unsigned long (u32), then
>> +     * truncate the result to u16.
>> +     */
>> +    return (u16)(((1UL << nbits) - 1) << bit_start);
>> +}
>> +
>> +static inline void btrfs_subpage_set_uptodate(struct btrfs_fs_info 
>> *fs_info,
>> +            struct page *page, u64 start, u32 len)
>> +{
>> +    struct btrfs_subpage *subpage = (struct btrfs_subpage 
>> *)page->private;
>> +    u16 tmp = btrfs_subpage_calc_bitmap(fs_info, page, start, len);
>> +    unsigned long flags;
>> +
>> +    spin_lock_irqsave(&subpage->lock, flags);
>> +    subpage->uptodate_bitmap |= tmp;
>> +    if (subpage->uptodate_bitmap == U16_MAX)
>> +        SetPageUptodate(page);
>> +    spin_unlock_irqrestore(&subpage->lock, flags);
>> +}
>> +
>> +static inline void btrfs_subpage_clear_uptodate(struct btrfs_fs_info 
>> *fs_info,
>> +            struct page *page, u64 start, u32 len)
>> +{
>> +    struct btrfs_subpage *subpage = (struct btrfs_subpage 
>> *)page->private;
>> +    u16 tmp = btrfs_subpage_calc_bitmap(fs_info, page, start, len);
>> +    unsigned long flags;
>> +
>> +    spin_lock_irqsave(&subpage->lock, flags);
>> +    subpage->uptodate_bitmap &= ~tmp;
>> +    ClearPageUptodate(page);
>> +    spin_unlock_irqrestore(&subpage->lock, flags);
>> +}
>> +
>> +/*
>> + * Unlike set/clear which is dependent on each page status, for test 
>> all bits
>> + * are tested in the same way.
>> + */
>> +#define DECLARE_BTRFS_SUBPAGE_TEST_OP(name)                \
>> +static inline bool btrfs_subpage_test_##name(struct btrfs_fs_info 
>> *fs_info, \
>> +            struct page *page, u64 start, u32 len)        \
>> +{                                    \
>> +    struct btrfs_subpage *subpage = (struct btrfs_subpage 
>> *)page->private; \
>> +    u16 tmp = btrfs_subpage_calc_bitmap(fs_info, page, start, len); \
>> +    unsigned long flags;                        \
>> +    bool ret;                            \
>> +                                    \
>> +    spin_lock_irqsave(&subpage->lock, flags);            \
>> +    ret = ((subpage->name##_bitmap & tmp) == tmp);            \
>> +    spin_unlock_irqrestore(&subpage->lock, flags);            \
>> +    return ret;                            \
>> +}
>> +DECLARE_BTRFS_SUBPAGE_TEST_OP(uptodate);
>> +
>> +/*
>> + * Note that, in selftest, especially extent-io-tests, we can have empty
>> + * fs_info passed in.
>> + * Thankfully in selftest, we only test sectorsize == PAGE_SIZE cases 
>> so far,
>> + * thus we can fall back to regular sectorsize branch.
>> + */
>> +#define DECLARE_BTRFS_PAGE_OPS(name, set_page_func, 
>> clear_page_func,    \
>> +                   test_page_func)                \
>> +static inline void btrfs_page_set_##name(struct btrfs_fs_info 
>> *fs_info,    \
>> +            struct page *page, u64 start, u32 len)        \
>> +{                                    \
>> +    if (unlikely(!fs_info) || fs_info->sectorsize == PAGE_SIZE) {    \
>> +        set_page_func(page);                    \
>> +        return;                            \
>> +    }                                \
>> +    btrfs_subpage_set_##name(fs_info, page, start, len);        \
>> +}                                    \
>> +static inline void btrfs_page_clear_##name(struct btrfs_fs_info 
>> *fs_info, \
>> +            struct page *page, u64 start, u32 len)        \
>> +{                                    \
>> +    if (unlikely(!fs_info) || fs_info->sectorsize == PAGE_SIZE) {    \
>> +        clear_page_func(page);                    \
>> +        return;                            \
>> +    }                                \
>> +    btrfs_subpage_clear_##name(fs_info, page, start, len);        \
>> +}                                    \
>> +static inline bool btrfs_page_test_##name(struct btrfs_fs_info 
>> *fs_info, \
>> +            struct page *page, u64 start, u32 len)        \
>> +{                                    \
>> +    if (unlikely(!fs_info) || fs_info->sectorsize == PAGE_SIZE)    \
>> +        return test_page_func(page);                \
>> +    return btrfs_subpage_test_##name(fs_info, page, start, len);    \
>> +}
> 
> Another thing I just realized is you're doing this
> 
> btrfs_page_set_uptodate(fs_info, page, eb->start, eb->len);
> 
> but we default to a nodesize > PAGE_SIZE on x86.  This is fine, because 
> you're checking fs_info->sectorsize == PAGE_SIZE, which will mean we do 
> the right thing.
> 
> But what happens if fs_info->nodesize < PAGE_SIZE && fs_info->sectorsize 
> == PAGE_SIZE?  We by default have fs'es that ->nodesize != ->sectorsize, 
> so really what we should be doing is checking if len == PAGE_SIZE here, 
> but then you need to take into account the case that eb->len > 
> PAGE_SIZE.  Fix this to do the right thing in either of those cases.  
> Thanks,

Impossible.

Nodesize must be >= sectorsize.

As sectorsize is currently the minimal access unit for both data and 
metadata.

Thanks,
Qu

> 
> Josef

  reply	other threads:[~2021-01-21  5:26 UTC|newest]

Thread overview: 68+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-01-16  7:15 [PATCH v4 00/18] btrfs: add read-only support for subpage sector size Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 01/18] btrfs: update locked page dirty/writeback/error bits in __process_pages_contig() Qu Wenruo
2021-01-19 21:41   ` Josef Bacik
2021-01-21  6:32     ` Qu Wenruo
2021-01-21  6:51       ` Qu Wenruo
2021-01-23 19:13         ` David Sterba
2021-01-24  0:35           ` Qu Wenruo
2021-01-24 11:49             ` David Sterba
2021-01-16  7:15 ` [PATCH v4 02/18] btrfs: merge PAGE_CLEAR_DIRTY and PAGE_SET_WRITEBACK into PAGE_START_WRITEBACK Qu Wenruo
2021-01-19 21:43   ` Josef Bacik
2021-01-19 21:45   ` Josef Bacik
2021-01-16  7:15 ` [PATCH v4 03/18] btrfs: introduce the skeleton of btrfs_subpage structure Qu Wenruo
2021-01-18 22:46   ` David Sterba
2021-01-18 22:54     ` Qu Wenruo
2021-01-19 15:51       ` David Sterba
2021-01-19 16:06         ` David Sterba
2021-01-20  0:19           ` Qu Wenruo
2021-01-23 19:37             ` David Sterba
2021-01-24  0:24               ` Qu Wenruo
2021-01-18 23:01   ` David Sterba
2021-01-16  7:15 ` [PATCH v4 04/18] btrfs: make attach_extent_buffer_page() to handle subpage case Qu Wenruo
2021-01-18 22:51   ` David Sterba
2021-01-19 21:54   ` Josef Bacik
2021-01-19 22:35     ` David Sterba
2021-01-26  7:29       ` Qu Wenruo
2021-01-27 19:58         ` David Sterba
2021-01-20  0:27     ` Qu Wenruo
2021-01-20 14:22       ` Josef Bacik
2021-01-21  1:20         ` Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 05/18] btrfs: make grab_extent_buffer_from_page() " Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 06/18] btrfs: support subpage for extent buffer page release Qu Wenruo
2021-01-20 14:44   ` Josef Bacik
2021-01-21  0:45     ` Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 07/18] btrfs: attach private to dummy extent buffer pages Qu Wenruo
2021-01-20 14:48   ` Josef Bacik
2021-01-21  0:47     ` Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 08/18] btrfs: introduce helper for subpage uptodate status Qu Wenruo
2021-01-19 19:45   ` David Sterba
2021-01-20 14:55   ` Josef Bacik
2021-01-26  7:21     ` Qu Wenruo
2021-01-20 15:00   ` Josef Bacik
2021-01-21  0:49     ` Qu Wenruo [this message]
2021-01-21  1:28       ` Josef Bacik
2021-01-21  1:38         ` Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 09/18] btrfs: introduce helper for subpage error status Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 10/18] btrfs: make set/clear_extent_buffer_uptodate() to support subpage size Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 11/18] btrfs: make btrfs_clone_extent_buffer() to be subpage compatible Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 12/18] btrfs: implement try_release_extent_buffer() for subpage metadata support Qu Wenruo
2021-01-20 15:05   ` Josef Bacik
2021-01-21  0:51     ` Qu Wenruo
2021-01-23 20:36     ` David Sterba
2021-01-25 20:02       ` Josef Bacik
2021-01-16  7:15 ` [PATCH v4 13/18] btrfs: introduce read_extent_buffer_subpage() Qu Wenruo
2021-01-20 15:08   ` Josef Bacik
2021-01-16  7:15 ` [PATCH v4 14/18] btrfs: extent_io: make endio_readpage_update_page_status() to handle subpage case Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 15/18] btrfs: disk-io: introduce subpage metadata validation check Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 16/18] btrfs: introduce btrfs_subpage for data inodes Qu Wenruo
2021-01-19 20:48   ` David Sterba
2021-01-20 15:28   ` Josef Bacik
2021-01-26  7:05     ` Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 17/18] btrfs: integrate page status update for data read path into begin/end_page_read() Qu Wenruo
2021-01-20 15:41   ` Josef Bacik
2021-01-21  1:05     ` Qu Wenruo
2021-01-16  7:15 ` [PATCH v4 18/18] btrfs: allow RO mount of 4K sector size fs on 64K page system Qu Wenruo
2021-01-18 23:17 ` [PATCH v4 00/18] btrfs: add read-only support for subpage sector size David Sterba
2021-01-18 23:26   ` Qu Wenruo
2021-01-24 12:29     ` David Sterba
2021-01-25  1:19       ` 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=3118cc60-2337-49da-648d-aa3b8cdcd70d@gmx.com \
    --to=quwenruo.btrfs@gmx.com \
    --cc=josef@toxicpanda.com \
    --cc=linux-btrfs@vger.kernel.org \
    --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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.