From: Matthew Wilcox <willy@infradead.org>
To: Alexander Duyck <alexander.duyck@gmail.com>
Cc: Andrew Morton <akpm@linux-foundation.org>,
Vlastimil Babka <vbabka@suse.cz>, linux-mm <linux-mm@kvack.org>
Subject: Re: [PATCH] mm: Make PageType more efficient
Date: Tue, 10 Mar 2020 13:37:32 -0700 [thread overview]
Message-ID: <20200310203732.GC22433@bombadil.infradead.org> (raw)
In-Reply-To: <CAKgT0Udqc2Nbodp1GpbqckPQNQh9fWmgwW_E420ACvNuxrLTag@mail.gmail.com>
On Tue, Mar 10, 2020 at 01:17:17PM -0700, Alexander Duyck wrote:
> On Tue, Mar 10, 2020 at 11:56 AM Matthew Wilcox <willy@infradead.org> wrote:
> > PageType is a little hard for GCC to reason about, By checking
> > ((~A) & flag) instead of (flag & (A | MASK) == MASK), GCC can do
> > better optimisations, saving 652 bytes in page_alloc.o (which is
> > a heavy user of PageBuddy).
> >
> > Signed-off-by: Matthew Wilcox (Oracle) <willy@infradead.org>
> > ---
> > include/linux/page-flags.h | 6 +++---
> > 1 file changed, 3 insertions(+), 3 deletions(-)
> >
> > diff --git a/include/linux/page-flags.h b/include/linux/page-flags.h
> > index 1bf83c8fcaa7..8fc0876e2794 100644
> > --- a/include/linux/page-flags.h
> > +++ b/include/linux/page-flags.h
> > @@ -725,14 +725,14 @@ PAGEFLAG_FALSE(DoubleMap)
> > #define PG_table 0x00000400
> > #define PG_guard 0x00000800
> >
> > -#define PageType(page, flag) \
> > - ((page->page_type & (PAGE_TYPE_BASE | flag)) == PAGE_TYPE_BASE)
> > -
> > static inline int page_has_type(struct page *page)
> > {
> > return (int)page->page_type < PAGE_MAPCOUNT_RESERVE;
> > }
> >
> > +#define PageType(page, flag) \
> > + (page_has_type(page) && (~page->page_type & flag))
> > +
> > #define PAGE_TYPE_OPS(uname, lname) \
> > static __always_inline int Page##uname(struct page *page) \
> > { \
>
> If I recall all the page type is doing is clearing a single bit to
> indicate the page type, and only one page type is supposed to be set
> at a time correct?
>
> Is there any reason why we couldn't just do an addition and test?
> Basically just add the flag + 1 and see if the value rolls over to 0.
> I would think that would reduce to an even simpler setup since that
> would be an addition with a test for carry flag or zero.
I think we already allow for both PageKmemcg and PageTable to be set
on the same page. I don't want to stop people from being able to do
combinations like that in the future.
next prev parent reply other threads:[~2020-03-10 20:37 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-03-10 18:56 [PATCH] mm: Make PageType more efficient Matthew Wilcox
2020-03-10 20:17 ` Alexander Duyck
2020-03-10 20:37 ` Matthew Wilcox [this message]
2020-03-10 21:50 ` Alexander Duyck
2020-03-11 13:13 ` Matthew Wilcox
2020-03-11 17:14 ` Ira Weiny
2020-03-11 17:22 ` Alexander Duyck
2020-03-11 1:10 ` Andrew Morton
2020-03-11 13:21 ` Matthew Wilcox
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=20200310203732.GC22433@bombadil.infradead.org \
--to=willy@infradead.org \
--cc=akpm@linux-foundation.org \
--cc=alexander.duyck@gmail.com \
--cc=linux-mm@kvack.org \
--cc=vbabka@suse.cz \
/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).