From: Gao Xiang <gaoxiang25@huawei.com>
To: Jan Kara <jack@suse.cz>
Cc: Alexander Viro <viro@zeniv.linux.org.uk>,
Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
Andrew Morton <akpm@linux-foundation.org>,
Stephen Rothwell <sfr@canb.auug.org.au>,
Theodore Ts'o <tytso@mit.edu>, "David Sterba" <dsterba@suse.cz>,
Amir Goldstein <amir73il@gmail.com>,
"Christoph Hellwig" <hch@infradead.org>,
"Darrick J . Wong" <darrick.wong@oracle.com>,
Dave Chinner <david@fromorbit.com>,
Jaegeuk Kim <jaegeuk@kernel.org>,
"Linus Torvalds" <torvalds@linux-foundation.org>,
<linux-fsdevel@vger.kernel.org>, <devel@driverdev.osuosl.org>,
LKML <linux-kernel@vger.kernel.org>,
<linux-erofs@lists.ozlabs.org>, Chao Yu <yuchao0@huawei.com>,
Miao Xie <miaoxie@huawei.com>,
Li Guifu <bluce.liguifu@huawei.com>,
Fang Wei <fangwei1@huawei.com>
Subject: Re: [PATCH v5 12/24] erofs: introduce tagged pointer
Date: Wed, 31 Jul 2019 21:20:23 +0800 [thread overview]
Message-ID: <204b7fcc-a54b-ebd6-ff4c-2d5e2e6d4a8c@huawei.com> (raw)
In-Reply-To: <20190731130148.GE15806@quack2.suse.cz>
Hi Jan,
On 2019/7/31 21:01, Jan Kara wrote:
> On Tue 30-07-19 15:14:01, Gao Xiang wrote:
>> Currently kernel has scattered tagged pointer usages
>> hacked by hand in plain code, without a unique and
>> portable functionset to highlight the tagged pointer
>> itself and wrap these hacked code in order to clean up
>> all over meaningless magic masks.
>>
>> This patch introduces simple generic methods to fold
>> tags into a pointer integer. Currently it supports
>> the last n bits of the pointer for tags, which can be
>> selected by users.
>>
>> In addition, it will also be used for the upcoming EROFS
>> filesystem, which heavily uses tagged pointer pproach
>> to reduce extra memory allocation.
>>
>> Link: https://en.wikipedia.org/wiki/Tagged_pointer
>>
>> Signed-off-by: Gao Xiang <gaoxiang25@huawei.com>
>
> I'm not sure the generic approach you take is really needed here... You can
> rely on getting at most two unused bits in the pointer anyway (and on mk68
> architecture I've heard even that is not true but I guess you don't care).
Yes, and currently erofs uses 1-bit tags at most...
> So why not just define a single pointer type representing pointer with as
> many tags as you can get?
I think the primary use is to decide if the tag is beyond the bit boundary,
such as use tag 2, 3 on tagptr1_t, we can BUG_ON or check it at compile time....
BTW, my first patch is the only one fixed tagged pointer type(2-bit even if m64k) as below:
https://lore.kernel.org/lkml/1530176789-107541-1-git-send-email-gaoxiang25@huawei.com/
and Willy raised another problem is about static variable, therefore I decided to leave
multiple tagptr types for users to decide for specific situations...
https://lore.kernel.org/lkml/20180628092303.GD7646@bombadil.infradead.org/
> Also what I find bad about your tagptr approach
> is that the way you've implemented it you loose the information about the
> original pointer type.
Yes, I think that is about coding style, but the legacy way we have to do
type cast as well, I think...
struct b *ptr = tagptr_unfold_tags(tptr);
vs
struct b *ptr = (struct b *)((unsigned long)tptr & ~2);
> So overall I'm not sure the benefits outweight the
> downsides but I guess that's a matter of taste and ultimately your call as
> a maintainer of this code.
I think I wouldn't generalize this implementations in this series...
It will be used for EROFS only for now :)
Thanks,
Gao Xiang
>
> Honza
>
>> ---
>> fs/erofs/tagptr.h | 110 ++++++++++++++++++++++++++++++++++++++++++++++
>> 1 file changed, 110 insertions(+)
>> create mode 100644 fs/erofs/tagptr.h
>>
>> diff --git a/fs/erofs/tagptr.h b/fs/erofs/tagptr.h
>> new file mode 100644
>> index 000000000000..a72897c86744
>> --- /dev/null
>> +++ b/fs/erofs/tagptr.h
>> @@ -0,0 +1,110 @@
>> +/* SPDX-License-Identifier: GPL-2.0-only */
>> +/*
>> + * A tagged pointer implementation
>> + *
>> + * Copyright (C) 2018 Gao Xiang <gaoxiang25@huawei.com>
>> + */
>> +#ifndef __EROFS_FS_TAGPTR_H
>> +#define __EROFS_FS_TAGPTR_H
>> +
>> +#include <linux/types.h>
>> +#include <linux/build_bug.h>
>> +
>> +/*
>> + * the name of tagged pointer types are tagptr{1, 2, 3...}_t
>> + * avoid directly using the internal structs __tagptr{1, 2, 3...}
>> + */
>> +#define __MAKE_TAGPTR(n) \
>> +typedef struct __tagptr##n { \
>> + uintptr_t v; \
>> +} tagptr##n##_t;
>> +
>> +__MAKE_TAGPTR(1)
>> +__MAKE_TAGPTR(2)
>> +__MAKE_TAGPTR(3)
>> +__MAKE_TAGPTR(4)
>> +
>> +#undef __MAKE_TAGPTR
>> +
>> +extern void __compiletime_error("bad tagptr tags")
>> + __bad_tagptr_tags(void);
>> +
>> +extern void __compiletime_error("bad tagptr type")
>> + __bad_tagptr_type(void);
>> +
>> +/* fix the broken usage of "#define tagptr2_t tagptr3_t" by users */
>> +#define __tagptr_mask_1(ptr, n) \
>> + __builtin_types_compatible_p(typeof(ptr), struct __tagptr##n) ? \
>> + (1UL << (n)) - 1 :
>> +
>> +#define __tagptr_mask(ptr) (\
>> + __tagptr_mask_1(ptr, 1) ( \
>> + __tagptr_mask_1(ptr, 2) ( \
>> + __tagptr_mask_1(ptr, 3) ( \
>> + __tagptr_mask_1(ptr, 4) ( \
>> + __bad_tagptr_type(), 0)))))
>> +
>> +/* generate a tagged pointer from a raw value */
>> +#define tagptr_init(type, val) \
>> + ((typeof(type)){ .v = (uintptr_t)(val) })
>> +
>> +/*
>> + * directly cast a tagged pointer to the native pointer type, which
>> + * could be used for backward compatibility of existing code.
>> + */
>> +#define tagptr_cast_ptr(tptr) ((void *)(tptr).v)
>> +
>> +/* encode tagged pointers */
>> +#define tagptr_fold(type, ptr, _tags) ({ \
>> + const typeof(_tags) tags = (_tags); \
>> + if (__builtin_constant_p(tags) && (tags & ~__tagptr_mask(type))) \
>> + __bad_tagptr_tags(); \
>> +tagptr_init(type, (uintptr_t)(ptr) | tags); })
>> +
>> +/* decode tagged pointers */
>> +#define tagptr_unfold_ptr(tptr) \
>> + ((void *)((tptr).v & ~__tagptr_mask(tptr)))
>> +
>> +#define tagptr_unfold_tags(tptr) \
>> + ((tptr).v & __tagptr_mask(tptr))
>> +
>> +/* operations for the tagger pointer */
>> +#define tagptr_eq(_tptr1, _tptr2) ({ \
>> + typeof(_tptr1) tptr1 = (_tptr1); \
>> + typeof(_tptr2) tptr2 = (_tptr2); \
>> + (void)(&tptr1 == &tptr2); \
>> +(tptr1).v == (tptr2).v; })
>> +
>> +/* lock-free CAS operation */
>> +#define tagptr_cmpxchg(_ptptr, _o, _n) ({ \
>> + typeof(_ptptr) ptptr = (_ptptr); \
>> + typeof(_o) o = (_o); \
>> + typeof(_n) n = (_n); \
>> + (void)(&o == &n); \
>> + (void)(&o == ptptr); \
>> +tagptr_init(o, cmpxchg(&ptptr->v, o.v, n.v)); })
>> +
>> +/* wrap WRITE_ONCE if atomic update is needed */
>> +#define tagptr_replace_tags(_ptptr, tags) ({ \
>> + typeof(_ptptr) ptptr = (_ptptr); \
>> + *ptptr = tagptr_fold(*ptptr, tagptr_unfold_ptr(*ptptr), tags); \
>> +*ptptr; })
>> +
>> +#define tagptr_set_tags(_ptptr, _tags) ({ \
>> + typeof(_ptptr) ptptr = (_ptptr); \
>> + const typeof(_tags) tags = (_tags); \
>> + if (__builtin_constant_p(tags) && (tags & ~__tagptr_mask(*ptptr))) \
>> + __bad_tagptr_tags(); \
>> + ptptr->v |= tags; \
>> +*ptptr; })
>> +
>> +#define tagptr_clear_tags(_ptptr, _tags) ({ \
>> + typeof(_ptptr) ptptr = (_ptptr); \
>> + const typeof(_tags) tags = (_tags); \
>> + if (__builtin_constant_p(tags) && (tags & ~__tagptr_mask(*ptptr))) \
>> + __bad_tagptr_tags(); \
>> + ptptr->v &= ~tags; \
>> +*ptptr; })
>> +
>> +#endif /* __EROFS_FS_TAGPTR_H */
>> +
>> --
>> 2.17.1
>>
next prev parent reply other threads:[~2019-07-31 13:20 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-07-30 7:13 [PATCH v5 00/24] erofs: promote erofs from staging Gao Xiang
2019-07-30 7:13 ` [PATCH v5 01/24] erofs: add on-disk layout Gao Xiang
2019-07-30 7:13 ` [PATCH v5 02/24] erofs: add erofs in-memory stuffs Gao Xiang
2019-07-30 7:13 ` [PATCH v5 03/24] erofs: add super block operations Gao Xiang
2019-07-30 7:13 ` [PATCH v5 04/24] erofs: add raw address_space operations Gao Xiang
2019-07-30 7:13 ` [PATCH v5 05/24] erofs: add inode operations Gao Xiang
2019-07-30 7:13 ` [PATCH v5 06/24] erofs: support special inode Gao Xiang
2019-07-30 7:13 ` [PATCH v5 07/24] erofs: add directory operations Gao Xiang
2019-07-30 7:13 ` [PATCH v5 08/24] erofs: add namei functions Gao Xiang
2019-07-30 7:13 ` [PATCH v5 09/24] erofs: support tracepoint Gao Xiang
2019-07-30 7:13 ` [PATCH v5 10/24] erofs: update Kconfig and Makefile Gao Xiang
2019-07-30 7:14 ` [PATCH v5 11/24] erofs: introduce xattr & posixacl support Gao Xiang
2019-07-30 7:14 ` [PATCH v5 12/24] erofs: introduce tagged pointer Gao Xiang
2019-07-31 13:01 ` Jan Kara
2019-07-31 13:20 ` Gao Xiang [this message]
2019-07-31 13:30 ` Gao Xiang
2019-07-31 13:52 ` Gao Xiang
2019-07-30 7:14 ` [PATCH v5 13/24] erofs: add compression indexes support Gao Xiang
2019-07-30 7:14 ` [PATCH v5 14/24] erofs: introduce superblock registration Gao Xiang
2019-07-30 7:14 ` [PATCH v5 15/24] erofs: introduce erofs shrinker Gao Xiang
2019-07-30 7:14 ` [PATCH v5 16/24] erofs: introduce workstation for decompression Gao Xiang
2019-07-30 7:14 ` [PATCH v5 17/24] erofs: introduce per-CPU buffers implementation Gao Xiang
2019-07-30 7:14 ` [PATCH v5 18/24] erofs: introduce pagevec for decompression subsystem Gao Xiang
2019-07-30 7:14 ` [PATCH v5 19/24] erofs: add erofs_allocpage() Gao Xiang
2019-07-30 7:14 ` [PATCH v5 20/24] erofs: introduce generic decompression backend Gao Xiang
2019-07-30 7:14 ` [PATCH v5 21/24] erofs: introduce LZ4 decompression inplace Gao Xiang
2019-07-30 7:14 ` [PATCH v5 22/24] erofs: introduce the decompression frontend Gao Xiang
2019-07-30 7:14 ` [PATCH v5 23/24] erofs: introduce cached decompression Gao Xiang
2019-07-30 7:14 ` [PATCH v5 24/24] erofs: add document Gao Xiang
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=204b7fcc-a54b-ebd6-ff4c-2d5e2e6d4a8c@huawei.com \
--to=gaoxiang25@huawei.com \
--cc=akpm@linux-foundation.org \
--cc=amir73il@gmail.com \
--cc=bluce.liguifu@huawei.com \
--cc=darrick.wong@oracle.com \
--cc=david@fromorbit.com \
--cc=devel@driverdev.osuosl.org \
--cc=dsterba@suse.cz \
--cc=fangwei1@huawei.com \
--cc=gregkh@linuxfoundation.org \
--cc=hch@infradead.org \
--cc=jack@suse.cz \
--cc=jaegeuk@kernel.org \
--cc=linux-erofs@lists.ozlabs.org \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=miaoxie@huawei.com \
--cc=sfr@canb.auug.org.au \
--cc=torvalds@linux-foundation.org \
--cc=tytso@mit.edu \
--cc=viro@zeniv.linux.org.uk \
--cc=yuchao0@huawei.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
all inboxes | Powered by JetHome®