Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.34 as permitted sender) client-ip=23.128.96.34;
Message-ID: <a28542e2-4a5b-4c29-9d4a-12a0d2ab5527@intel.com>
Date:   Wed, 11 Oct 2023 11:33:25 +0200
User-Agent: Mozilla Thunderbird
Subject: Re: [PATCH 09/14] bitmap: extend bitmap_{get,set}_value8() to
 bitmap_{get,set}_bits()
Content-Language: en-US
To:     Yury Norov <yury.norov@gmail.com>
CC:     Andy Shevchenko <andriy.shevchenko@linux.intel.com>,
        Rasmus Villemoes <linux@rasmusvillemoes.dk>,
        Alexander Potapenko <glider@google.com>,
        "Jakub Kicinski" <kuba@kernel.org>,
        Eric Dumazet <edumazet@google.com>,
        David Ahern <dsahern@kernel.org>,
        Przemek Kitszel <przemyslaw.kitszel@intel.com>,
        "Simon Horman" <simon.horman@corigine.com>,
        <netdev@vger.kernel.org>, <linux-btrfs@vger.kernel.org>,
        <dm-devel@redhat.com>, <ntfs3@lists.linux.dev>,
        <linux-s390@vger.kernel.org>, <linux-kernel@vger.kernel.org>
References: <20231009151026.66145-1-aleksander.lobakin@intel.com>
 <20231009151026.66145-10-aleksander.lobakin@intel.com>
 <ZSQq02A9mTireK71@yury-ThinkPad>
From:   Alexander Lobakin <aleksander.lobakin@intel.com>
In-Reply-To: <ZSQq02A9mTireK71@yury-ThinkPad>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?cmlFaFRVdmpYMnZ1QWtrbVBYSmZpVEVGZXY5UGJDMDVBQ1dOUTlwMkNmVkdX?=
 =?utf-8?B?a0NFVmlJQ1FQeEVtcEwzQ2x0cVJRYUJ5TlplcFFWYzZBeENlRzYyS3BhM3ZP?=
 =?utf-8?B?cmJMVi9WS3lCUGc0OFR4QVNMWlZRYU5JZzh5T1hUem0xWms3VFVtVFhCNmNU?=
 =?utf-8?B?OExZMFN5Sjk1TDlNQnRrOU5EczBPRjcxVzFQdjd3aFl1cUlEUklkY3YyOGVL?=
 =?utf-8?B?dHVOTytBRW9FR1g0VGFEb0hOT04wTUFab2x5U1c4WkJZc082ekt4MlZ6eU12?=
 =?utf-8?B?WlAzZndsakFCRFUyZ29PdXg4OWsvSjNURVY4YjhQd3B2SytDREt5cmNVa2Q5?=
 =?utf-8?B?MjRQRW92YlVPY3p3dzc4Rzc0Tms3WU42dkNNYXozMThPVFpleGhTYnJ0d0Y5?=
 =?utf-8?B?K1ZycjJmY0k0M1Z0L0ovejdvbnFiVmdxVTVIRG9VbXBodGkvbXcyZFAzMXBJ?=
 =?utf-8?B?MmhBRzJYbllPdmZlT2d0ZlJIYlR3aEluam01em1VSlh1U01JcjF2WHdxWDJ3?=
 =?utf-8?B?dUdlTjlWQm1BL1Zmc09ibzVTK3kzN3lmQWx1dm4zaWdhVUdZMVExVVNkUWVj?=
 =?utf-8?B?ZmZMOTNaODFRMW5EMzZkeHNIVVNTd3E3ZTd1M09hdjVYbTRqeHlZZHBhTDU3?=
 =?utf-8?B?clFFUmsybTVoQys0V2oyRW53dFh4K3dBaVdqUTA4TjRHbm5wMnJJY0hxdWly?=
 =?utf-8?B?cWlQbGdnazJTSi93bVJHbnhOOWZwMlRCaTFiY0doSThwSjIxUE1FMmEvbk52?=
 =?utf-8?B?VU9ydU1FaFdOcmQwaDVqQVBZNCs3bkxPVzY5L1JuRVN3OXFxNmdwT0ZEaUcx?=
 =?utf-8?B?U2hodStwVHRrNjE3SDI4blY3ekRQM3dtbWx2bHpOSWRPNGlLQi81MFNiWWo1?=
 =?utf-8?B?T3dLcjhEYkZwdWExNDcxcGl4c28xSHVMeUpCY2s1d2VwMnhHWEdCeExFU0t2?=
 =?utf-8?B?LzRrZjBnOTdhZzloVlo5YkxPMmFFSUF1S1FrWkN0cG1PZm9QQkFFelRpeXhO?=
 =?utf-8?B?dWRNR1dvNFFPWnlDRzhmUlNYcUFLWkdwZjZ0VUdiUFNZK1pyMitQNFdLcWR4?=
 =?utf-8?B?TmhYeXVGVitubnJmSFBKRHZtN2ZMN3FzZitxK1ROQXZsaGlYNjBXL1pWNG9q?=
 =?utf-8?B?RVNjKzh1V0JrellEMDV1M1ZqMHB6c2ZLUG02b2QxdmRuL1M4OUdMUnFGSENY?=
 =?utf-8?B?Ykp5c0JMREM0Rm9nRlFud2Y4NGd3cCtSQkd2VzZ2L2pyY1JLY0N1V1hSSEFx?=
 =?utf-8?B?ZWZPM2drdFZsaHJ5RUxZNm15S1RzTFBCS2daTXZTeDFJbi90WE12ZTFuWEho?=
 =?utf-8?B?SkFiKyttRlZWcmtpNzhIKy9SdldyT2RvM0F1VDAyb2gzd2ttNW9LOHNkMXUy?=
 =?utf-8?B?T2JJbWhWR0tEY3hleFFJaTFrSit5RWtLTkxBNWhYS2RMNmxaV3RJYmVteHBP?=
 =?utf-8?B?NUlEWUd2empLSTRjbTFiYU5PRGI5aWFuNFZRbTVseXJvMHJ6Qitkb2dVSi9t?=
 =?utf-8?B?KzBMaUY4QmdpdnlCc1YzQVRRYS9Lc0VHVXVGRHh1aDQwRTdmWTNTcmJ3MDB5?=
 =?utf-8?B?SUdvYUJvMUFIcTk0T21IcmVFdVhPcjRLVXR5c2ZxNnNlNXJ2b3F3RElzTGRz?=
 =?utf-8?B?RkQwZzFvVFRmOFdSbitmbHVnVWpPV2ZHQXp0dytiTlNIVEF2QisxWnh2czlh?=
 =?utf-8?B?ODBJZ2dqcGJKYllEaDFmRVhCNG1MWjRRWjdiWFVQL0ViTE1PWnRoUmFCOXN4?=
 =?utf-8?B?MStyNDhLeFhaeWowUGJ4aGkwa3FZT2I1WDRNZVlLREUrUG1wT1RlSS9KcHdH?=
 =?utf-8?B?SUtMbUc4bzNDVTN6LzBYVFk2K0ZyNXhST0IxcTVLbkkybVVxYklYajJGM01q?=
 =?utf-8?B?REJXT3d3ZXF2cVhxMHFUa3F2M1F2WWVzT2dTbU9IdzdKY3hCR3VIcGxLTmhH?=
 =?utf-8?B?cHp5NWN1cEZxTzdERWhBc3JiS2MzSlZ5UzIvZmQ4U2g2T0JRZWhUTWlzcGJU?=
 =?utf-8?B?WU9jTEhwM1NWbkZYR1YwelVOVUNyRGJEWVRBZmJVRE5ncUdLZlptQ2dwY1Fs?=
 =?utf-8?B?VWp0ak1DOHN2RFUrQmVWS3h2NWJOczh4UXIzK1hwbTVaeVpCZHJMNitYQjJJ?=
 =?utf-8?B?YVM3VjJSL3RmOExzTURNb0FNWjkweFBLQ09lRndqL3ZYN0FabDNnT2VmRytI?=
 =?utf-8?B?T3c9PQ==?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 2f434655-90e9-432d-7679-08dbca3d4b60
X-MS-Exchange-CrossTenant-AuthSource: DM6PR11MB3625.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 11 Oct 2023 09:34:41.1636
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: GhAoJsJisUP5FiLarYDQigJLovwkkuyrc/0B/QAJra2/OdLxT58BFXR0K6mwd9KsnvKuAHcF26qQsW3s5R6wfyDR4n7+1EcmrGKvrfy8El0=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: IA1PR11MB7919
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=2.7 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED,
	DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,
	MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_NONE,SPF_PASS autolearn=no
	autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on howler.vger.email
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (howler.vger.email [0.0.0.0]); Wed, 11 Oct 2023 02:35:21 -0700 (PDT)
X-Spam-Level: **

From: Yury Norov <yury.norov@gmail.com>
Date: Mon, 9 Oct 2023 09:31:15 -0700

> + Alexander Potapenko <glider@google.com>
> 
> On Mon, Oct 09, 2023 at 05:10:21PM +0200, Alexander Lobakin wrote:
>> Sometimes there's need to get a 8/16/...-bit piece of a bitmap at a
>> particular offset. Currently, there are only bitmap_{get,set}_value8()
>> to do that for 8 bits and that's it.
> 
> And also a series from Alexander Potapenko, which I really hope will
> get into the -next really soon. It introduces bitmap_read/write which
> can set up to BITS_PER_LONG at once, with no limitations on alignment
> of position and length:
> 
> https://lore.kernel.org/linux-arm-kernel/ZRXbOoKHHafCWQCW@yury-ThinkPad/T/#mc311037494229647088b3a84b9f0d9b50bf227cb
> 
> Can you consider building your series on top of it?

Yeah, I mentioned in the cover letter that I'm aware of it and in fact
it doesn't conflict much, as the functions I'm adding here get optimized
as much as the original bitmap_{get,set}_value8(), while Alexander's
generic helpers are heavier.
I realize lots of calls will be optimized as well due to the offset and
the width being compile-time constants, but not all of them. The idea of
keeping two pairs of helpers initially came from Andy if I understood
him correctly.
What do you think? I can provide some bloat-o-meter stats after
rebasing. And either way, I see no issue in basing this series on top of
Alex' one.

> 
>> Instead of introducing a separate pair for u16 and so on, which doesn't
>> scale well, extend the existing functions to be able to pass the wanted
>> value width. Make both offset and width arbitrary, but in order to not
>> over complicate the current logic and keep the helpers as optimized as
>> the current ones, require the width to be a pow-2 value and the offset
>> to be a multiple of the width, while the target piece should not cross
>> a %BITS_PER_LONG boundary and stay within one long.
>> Avoid adjusting all the already existing callsites by defining oneliner
>> wrapper macros named after the former functions. bloat-o-meter shows
>> almost no difference (+1-2 bytes in a couple of places), meaning the

[...]

Thanks,
Olek