Received: by 2002:a05:6a10:f347:0:0:0:0 with SMTP id d7csp3013506pxu; Tue, 8 Dec 2020 00:49:32 -0800 (PST) X-Google-Smtp-Source: ABdhPJwVK+rLMGtuxzIpZFEGSMp+Krl4DdYXI8d17zXWE/INFws9g9MiPNm7Oe4qEq8mpGPm2Zf4 X-Received: by 2002:a17:906:ce2b:: with SMTP id sd11mr22912844ejb.334.1607417372677; Tue, 08 Dec 2020 00:49:32 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1607417372; cv=none; d=google.com; s=arc-20160816; b=WKbcX3mHmt3NS8uigINlrYbJ3oPLXxrJFMXAUEofxDGQKsBeLC5JKITBPutT4ClaTO co2AbFWlBpuauz2z38204F+fXoVqHCjiz7lmDurcS2AkSeA0kr1UEcyBJ0pkJzf7vDCX LPN9wBTGC3LFHdQB2zkCelJsOs2BUJ3LhYnklcDQ5CePU9J/wLLDM6KC0AY/BHr6OpDL PHmD7UEmK/iXcFiEmMqFHoGx8xvygBrfUYvL1j8ndhQThZpj826Qd/z3QjVu4v9KnYXf +CJJHvI99BUVhsqGc6ULIdFVaNVmDPbdsjntYxZJxxSLfwRy3K4T77NFAfDyJOv1Qke/ vz4w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:content-language :in-reply-to:mime-version:user-agent:date:message-id:from:references :cc:to:subject; bh=hMgVVcCXxUgba6WToP4iJWaqzQKW4o2C+FbH56Cmat8=; b=NAX/tZRPna46BuQMwTzpRWW9MkLZZ4JQU8RRSBcdyOZ/Jp6AAAef7DoCimEyYJMOGC gbOhi4J75UymmoYptq8BIQOskFDYHyagMbevLb/yAbnKHj7cDYvkvWyonJshpZ+zSFQC 7Keuo8Mk0SJAxP7JZC7wRZQN4y2c4iRRt1KdxCeBA+TP6sYyKPaLxbZhq4lfQpX4iUfu g+bEXhBsxsNGc5AmCnFmxg0YFMvUCRnx+qFJLLfwdGoHjuOJ0L0ymg5oLaqqqI4SvVkH 1nOU8pUaj0nej7Hkwrq/GByNAbBJLeo9ZL9u2xMRwTNEEcdcWr6Qz7/SCXxPaNFKV+W6 j+mQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id t12si11433232edc.181.2020.12.08.00.49.08; Tue, 08 Dec 2020 00:49:32 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728294AbgLHIo7 (ORCPT + 99 others); Tue, 8 Dec 2020 03:44:59 -0500 Received: from szxga07-in.huawei.com ([45.249.212.35]:9395 "EHLO szxga07-in.huawei.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727735AbgLHIo7 (ORCPT ); Tue, 8 Dec 2020 03:44:59 -0500 Received: from DGGEMS408-HUB.china.huawei.com (unknown [172.30.72.60]) by szxga07-in.huawei.com (SkyGuard) with ESMTP id 4Cqtxr3wy0z7BJh; Tue, 8 Dec 2020 16:43:44 +0800 (CST) Received: from [10.136.114.67] (10.136.114.67) by smtp.huawei.com (10.3.19.208) with Microsoft SMTP Server (TLS) id 14.3.487.0; Tue, 8 Dec 2020 16:44:13 +0800 Subject: Re: [PATCH v2 1/3] erofs: get rid of magical Z_EROFS_MAPPING_STAGING To: Gao Xiang CC: , LKML , "Chao Yu" References: <20201207012346.2713857-1-hsiangkao@redhat.com> <0fc43d3f-9c79-c7a1-6e41-b5b6932fe571@huawei.com> <20201208082319.GB3006985@xiangao.remote.csb> From: Chao Yu Message-ID: <7da6fe17-1257-67e7-379c-99a0ebbe6ba4@huawei.com> Date: Tue, 8 Dec 2020 16:44:12 +0800 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: <20201208082319.GB3006985@xiangao.remote.csb> Content-Type: text/plain; charset="utf-8"; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Originating-IP: [10.136.114.67] X-CFilter-Loop: Reflected Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi Xiang, On 2020/12/8 16:23, Gao Xiang wrote: > Hi Chao, > > On Tue, Dec 08, 2020 at 04:15:59PM +0800, Chao Yu wrote: >> On 2020/12/7 9:23, Gao Xiang wrote: >>> Previously, we played around with magical page->mapping for short-lived >>> temporary pages since we need to identify different types of pages in >>> the same pcluster but both invalidated and short-lived temporary pages >>> can have page->mapping == NULL. It was considered as safe because that >>> temporary pages are all non-LRU / non-movable pages. >>> >>> This patch tends to use specific page->private to identify short-lived >>> pages instead so it won't rely on page->mapping anymore. Details are >>> described in "compress.h" as well. >>> >>> Signed-off-by: Gao Xiang >>> --- >>> tested with ro_fsstress for a whole night. >>> >>> The old "[PATCH 4/4] erofs: complete a missing case for inplace I/O" is >>> temporarily dropped since ro_fsstress failed with such modification, >>> will look into later. >>> >>> fs/erofs/compress.h | 50 ++++++++++++++++++++++++++++++----------- >>> fs/erofs/decompressor.c | 2 +- >>> fs/erofs/zdata.c | 42 +++++++++++++++++++++------------- >>> fs/erofs/zdata.h | 1 + >>> 4 files changed, 65 insertions(+), 30 deletions(-) >>> >>> diff --git a/fs/erofs/compress.h b/fs/erofs/compress.h >>> index 3d452443c545..2bbf47f353ef 100644 >>> --- a/fs/erofs/compress.h >>> +++ b/fs/erofs/compress.h >>> @@ -26,30 +26,54 @@ struct z_erofs_decompress_req { >>> bool inplace_io, partial_decoding; >>> }; >>> +#define Z_EROFS_SHORTLIVED_PAGE (-1UL << 2) >>> + >>> /* >>> - * - 0x5A110C8D ('sallocated', Z_EROFS_MAPPING_STAGING) - >>> - * used to mark temporary allocated pages from other >>> - * file/cached pages and NULL mapping pages. >>> + * For all pages in a pcluster, page->private should be one of >>> + * Type Last 2bits page->private >>> + * short-lived page 00 Z_EROFS_SHORTLIVED_PAGE >>> + * cached/managed page 00 pointer to z_erofs_pcluster >>> + * online page (file-backed, 01/10/11 sub-index << 2 | count >>> + * some pages can be used for inplace I/O) >>> + * >>> + * page->mapping should be one of >>> + * Type page->mapping >>> + * short-lived page NULL >>> + * cached/managed page non-NULL or NULL (invalidated/truncated page) >>> + * online page non-NULL >>> + * >>> + * For all managed pages, PG_private should be set with 1 extra refcount, >>> + * which is used for page reclaim / migration. >> >> FYI, there is a generic way to set/clear page_private, it binds the private >> value set and page count operation in one function: >> >> attach_page_private() >> detach_page_private() >> >> If there are use cases, let's try to use them as much as possible. > > I discussed this case in the original thread, > https://lore.kernel.org/r/20200519100612.GA3687@hsiangkao-HP-ZHAN-66-Pro-G1 > > The previous conclusion is that for EROFS case (see Matthew's reply) this > pair won't have too much usage. since EROFS pattern saves extra page > reference count (- and +) by cases. Alright, I see. > > I could use attach_page_private() and detach_page_private() if possible, > but the problem is I'm not not its such pair internal implementation is > stable (but the PG_Private rule is stable for decades); > >> >>> */ >>> -#define Z_EROFS_MAPPING_STAGING ((void *)0x5A110C8D) >>> -/* check if a page is marked as staging */ >>> -static inline bool z_erofs_page_is_staging(struct page *page) >>> +/* >>> + * short-lived pages are pages directly from buddy system with specific >>> + * page->private (no need to set PagePrivate since these are non-LRU / >>> + * non-movable pages and bypass reclaim / migration code). >>> + */ >>> +static inline bool z_erofs_is_shortlived_page(struct page *page) >>> { >>> - return page->mapping == Z_EROFS_MAPPING_STAGING; >>> + if (page->private != Z_EROFS_SHORTLIVED_PAGE) >>> + return false; >>> + >>> + DBG_BUGON(page->mapping); >>> + return true; >>> } >>> -static inline bool z_erofs_put_stagingpage(struct list_head *pagepool, >>> - struct page *page) >>> +static inline bool z_erofs_put_shortlivedpage(struct list_head *pagepool, >>> + struct page *page) >>> { >>> - if (!z_erofs_page_is_staging(page)) >>> + if (!z_erofs_is_shortlived_page(page)) >>> return false; >>> - /* staging pages should not be used by others at the same time */ >>> - if (page_ref_count(page) > 1) >>> + /* short-lived pages should not be used by others at the same time */ >>> + if (page_ref_count(page) > 1) { >> >> Does this be a possible case? > > Yes, see decompress.c, if will get_page(page); Yup, > >> >>> put_page(page); >>> - else >>> + } else { >>> + /* follow the pcluster rule above. */ >>> + set_page_private(page, 0); >>> list_add(&page->lru, pagepool); >>> + } >>> return true; >>> } >>> diff --git a/fs/erofs/decompressor.c b/fs/erofs/decompressor.c >>> index cbadbf55c6c2..1cb1ffd10569 100644 >>> --- a/fs/erofs/decompressor.c >>> +++ b/fs/erofs/decompressor.c >>> @@ -76,7 +76,7 @@ static int z_erofs_lz4_prepare_destpages(struct z_erofs_decompress_req *rq, >>> victim = erofs_allocpage(pagepool, GFP_KERNEL); >>> if (!victim) >>> return -ENOMEM; >>> - victim->mapping = Z_EROFS_MAPPING_STAGING; >>> + set_page_private(victim, Z_EROFS_SHORTLIVED_PAGE); >>> } >>> rq->out[i] = victim; >>> } >>> diff --git a/fs/erofs/zdata.c b/fs/erofs/zdata.c >>> index 86fd3bf62af6..afeadf413c2c 100644 >>> --- a/fs/erofs/zdata.c >>> +++ b/fs/erofs/zdata.c >>> @@ -255,6 +255,7 @@ int erofs_try_to_free_cached_page(struct address_space *mapping, >>> erofs_workgroup_unfreeze(&pcl->obj, 1); >>> if (ret) { >>> + set_page_private(page, 0); >>> ClearPagePrivate(page); >>> put_page(page); >> >> detach_page_private()? > > The same as the above. Reviewed-by: Chao Yu Thanks, > > Thanks, > Gao Xiang > >> >> Thanks, >> >>> } >>> @@ -648,12 +649,12 @@ static int z_erofs_do_read_page(struct z_erofs_decompress_frontend *fe, >>> retry: >>> err = z_erofs_attach_page(clt, page, page_type); >>> - /* should allocate an additional staging page for pagevec */ >>> + /* should allocate an additional short-lived page for pagevec */ >>> if (err == -EAGAIN) { >>> struct page *const newpage = >>> alloc_page(GFP_NOFS | __GFP_NOFAIL); >>> - newpage->mapping = Z_EROFS_MAPPING_STAGING; >>> + set_page_private(newpage, Z_EROFS_SHORTLIVED_PAGE); >>> err = z_erofs_attach_page(clt, newpage, >>> Z_EROFS_PAGE_TYPE_EXCLUSIVE); >>> if (!err) >>> @@ -710,6 +711,11 @@ static void z_erofs_decompress_kickoff(struct z_erofs_decompressqueue *io, >>> queue_work(z_erofs_workqueue, &io->u.work); >>> } >>> +static bool z_erofs_page_is_invalidated(struct page *page) >>> +{ >>> + return !page->mapping && !z_erofs_is_shortlived_page(page); >>> +} >>> + >>> static void z_erofs_decompressqueue_endio(struct bio *bio) >>> { >>> tagptr1_t t = tagptr_init(tagptr1_t, bio->bi_private); >>> @@ -722,7 +728,7 @@ static void z_erofs_decompressqueue_endio(struct bio *bio) >>> struct page *page = bvec->bv_page; >>> DBG_BUGON(PageUptodate(page)); >>> - DBG_BUGON(!page->mapping); >>> + DBG_BUGON(z_erofs_page_is_invalidated(page)); >>> if (err) >>> SetPageError(page); >>> @@ -795,9 +801,9 @@ static int z_erofs_decompress_pcluster(struct super_block *sb, >>> /* all pages in pagevec ought to be valid */ >>> DBG_BUGON(!page); >>> - DBG_BUGON(!page->mapping); >>> + DBG_BUGON(z_erofs_page_is_invalidated(page)); >>> - if (z_erofs_put_stagingpage(pagepool, page)) >>> + if (z_erofs_put_shortlivedpage(pagepool, page)) >>> continue; >>> if (page_type == Z_EROFS_VLE_PAGE_TYPE_HEAD) >>> @@ -831,9 +837,9 @@ static int z_erofs_decompress_pcluster(struct super_block *sb, >>> /* all compressed pages ought to be valid */ >>> DBG_BUGON(!page); >>> - DBG_BUGON(!page->mapping); >>> + DBG_BUGON(z_erofs_page_is_invalidated(page)); >>> - if (!z_erofs_page_is_staging(page)) { >>> + if (!z_erofs_is_shortlived_page(page)) { >>> if (erofs_page_is_managed(sbi, page)) { >>> if (!PageUptodate(page)) >>> err = -EIO; >>> @@ -858,7 +864,7 @@ static int z_erofs_decompress_pcluster(struct super_block *sb, >>> overlapped = true; >>> } >>> - /* PG_error needs checking for inplaced and staging pages */ >>> + /* PG_error needs checking for all non-managed pages */ >>> if (PageError(page)) { >>> DBG_BUGON(PageUptodate(page)); >>> err = -EIO; >>> @@ -897,8 +903,8 @@ static int z_erofs_decompress_pcluster(struct super_block *sb, >>> if (erofs_page_is_managed(sbi, page)) >>> continue; >>> - /* recycle all individual staging pages */ >>> - (void)z_erofs_put_stagingpage(pagepool, page); >>> + /* recycle all individual short-lived pages */ >>> + (void)z_erofs_put_shortlivedpage(pagepool, page); >>> WRITE_ONCE(compressed_pages[i], NULL); >>> } >>> @@ -908,10 +914,10 @@ static int z_erofs_decompress_pcluster(struct super_block *sb, >>> if (!page) >>> continue; >>> - DBG_BUGON(!page->mapping); >>> + DBG_BUGON(z_erofs_page_is_invalidated(page)); >>> - /* recycle all individual staging pages */ >>> - if (z_erofs_put_stagingpage(pagepool, page)) >>> + /* recycle all individual short-lived pages */ >>> + if (z_erofs_put_shortlivedpage(pagepool, page)) >>> continue; >>> if (err < 0) >>> @@ -1011,13 +1017,17 @@ static struct page *pickup_page_for_submission(struct z_erofs_pcluster *pcl, >>> mapping = READ_ONCE(page->mapping); >>> /* >>> - * unmanaged (file) pages are all locked solidly, >>> + * file-backed online pages in plcuster are all locked steady, >>> * therefore it is impossible for `mapping' to be NULL. >>> */ >>> if (mapping && mapping != mc) >>> /* ought to be unmanaged pages */ >>> goto out; >>> + /* directly return for shortlived page as well */ >>> + if (z_erofs_is_shortlived_page(page)) >>> + goto out; >>> + >>> lock_page(page); >>> /* only true if page reclaim goes wrong, should never happen */ >>> @@ -1062,8 +1072,8 @@ static struct page *pickup_page_for_submission(struct z_erofs_pcluster *pcl, >>> out_allocpage: >>> page = erofs_allocpage(pagepool, gfp | __GFP_NOFAIL); >>> if (!tocache || add_to_page_cache_lru(page, mc, index + nr, gfp)) { >>> - /* non-LRU / non-movable temporary page is needed */ >>> - page->mapping = Z_EROFS_MAPPING_STAGING; >>> + /* turn into temporary page if fails */ >>> + set_page_private(page, Z_EROFS_SHORTLIVED_PAGE); >>> tocache = false; >>> } >>> diff --git a/fs/erofs/zdata.h b/fs/erofs/zdata.h >>> index 68c9b29fc0ca..b503b353d4ab 100644 >>> --- a/fs/erofs/zdata.h >>> +++ b/fs/erofs/zdata.h >>> @@ -173,6 +173,7 @@ static inline void z_erofs_onlinepage_endio(struct page *page) >>> v = atomic_dec_return(u.o); >>> if (!(v & Z_EROFS_ONLINEPAGE_COUNT_MASK)) { >>> + set_page_private(page, 0); >>> ClearPagePrivate(page); >>> if (!PageError(page)) >>> SetPageUptodate(page); >>> >> > > . >