From: Andy Shevchenko <andriy.shevchenko@intel.com>
To: Dmitry Torokhov <dmitry.torokhov@gmail.com>
Cc: Linus Walleij <linusw@kernel.org>,
Bartosz Golaszewski <brgl@kernel.org>,
Andy Shevchenko <andy@kernel.org>,
Janusz Krzysztofik <jmkrzyszt@gmail.com>,
linux-gpio@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH 5/5] gpiolib: avoid krealloc() in gpiod_get_array()
Date: Wed, 21 Oct 2026 22:34:01 +0300 [thread overview]
Message-ID: <atkTqWUn-2tzRw69@ashevche-desk.local> (raw)
In-Reply-To: <20261021190212.2237804-5-dmitry.torokhov@gmail.com>
On Wed, Oct 21, 2026 at 12:02:10PM -0700, Dmitry Torokhov wrote:
> Instead of allocating descs before the loop and reallocating it via
> krealloc() when candidate hardware array matching is detected on the
> first iteration, defer allocation of descs until the first descriptor
> is retrieved.
>
> Factor descriptor allocation and fast-path validation into helper
> functions gpio_descs_alloc() and gpio_descs_check_fastpath(). Inside
> the loop, acquire the descriptor using __free(gpiod_put), allocate
> descs once on the first iteration, check fast-path candidate
> suitability, and transfer descriptor ownership using no_free_ptr().
...
> +static struct gpio_descs *gpio_descs_alloc(unsigned int count, struct gpio_desc *first_desc)
> +{
> + struct gpio_device *gdev = gpiod_to_gpio_device(first_desc);
> + struct gpio_array *array_info;
> + struct gpio_descs *descs;
> + size_t descs_size, alloc_size;
> + unsigned int bitmap_size;
> +
> + /*
> + * If pin hardware number of array member 0 is also 0, select
> + * its chip as a candidate for fast bitmap processing path.
> + */
> + if (gpiod_hwgpio(first_desc) != 0)
> + return kzalloc_flex(*descs, desc, count);
> +
> + descs_size = struct_size(descs, desc, count);
> + bitmap_size = BITS_TO_LONGS(max(gdev->ngpio, count));
> + alloc_size = descs_size + struct_size(array_info, invert_mask, 3 * bitmap_size);
> +
> + descs = kzalloc(alloc_size, GFP_KERNEL);
> + if (!descs)
> + return NULL;
> +
> + array_info = (void *)descs + descs_size;
> + array_info->get_mask = array_info->invert_mask + bitmap_size;
> + array_info->set_mask = array_info->get_mask + bitmap_size;
> + array_info->desc = descs->desc;
> + array_info->size = count;
> + array_info->gdev = gdev;
> + bitmap_set(array_info->get_mask, 0, count);
> + bitmap_set(array_info->set_mask, 0, count);
With the above being done, I would rather see bitmap_zalloc() for bitmaps.
> + descs->info = array_info;
> +
> + return descs;
> +}
...
> count = gpiod_count(dev, con_id);
> - if (count < 0)
> - return ERR_PTR(count);
Leave this and simply add
> - struct gpio_descs *descs __free(gpiod_put_array) =
> - kzalloc_flex(*descs, desc, count);
> - if (!descs)
> - return ERR_PTR(-ENOMEM);
> + if (count <= 0)
> + return ERR_PTR(count ?: -ENOENT);
if (count == 0)
return -ENOENT;
The currently proposed code is less readable.
...
> for (i = 0; i < count; i++) {
> - desc = gpiod_get_index(dev, con_id, i, flags);
> + struct gpio_desc *desc __free(gpiod_put) =
> + gpiod_get_index(dev, con_id, i, flags);
> if (IS_ERR(desc))
> return ERR_CAST(desc);
>
> - descs->desc[descs->ndescs++] = desc;
> -
> - gdev = gpiod_to_gpio_device(desc);
> - /*
> - * If pin hardware number of array member 0 is also 0, select
> - * its chip as a candidate for fast bitmap processing path.
> - */
> - if (i == 0 && gpiod_hwgpio(desc) == 0) {
> - struct gpio_descs *array;
> - size_t descs_size = struct_size(descs, desc, count);
> -
> - bitmap_size = BITS_TO_LONGS(gdev->ngpio > count ?
> - gdev->ngpio : count);
> -
> - array = krealloc(descs, descs_size +
> - struct_size(array_info, invert_mask, 3 * bitmap_size),
> - GFP_KERNEL | __GFP_ZERO);
> - if (!array)
> +> if (i == 0) {
This is almost invariant to the loop. Can we move it out?
> + descs = gpio_descs_alloc(count, desc);
> + if (!descs)
> return ERR_PTR(-ENOMEM);
> -
> - descs = array;
> -
> - array_info = (void *)descs + descs_size;
> - array_info->get_mask = array_info->invert_mask +
> - bitmap_size;
> - array_info->set_mask = array_info->get_mask +
> - bitmap_size;
> -
> - array_info->desc = descs->desc;
> - array_info->size = count;
> - array_info->gdev = gdev;
> - bitmap_set(array_info->get_mask, 0, count);
> - bitmap_set(array_info->set_mask, 0, count);
> - descs->info = array_info;
> }
>
> - /* If there is no cache for fast bitmap processing path, continue */
> - if (!array_info)
> - continue;
> + gpio_descs_check_fastpath(descs, desc);
>
> - /* Unmark array members which don't belong to the 'fast' chip */
> - if (array_info->gdev != gdev) {
> - __clear_bit(i, array_info->get_mask);
> - __clear_bit(i, array_info->set_mask);
> - }
> - /*
> - * Detect array members which belong to the 'fast' chip
> - * but their pins are not in hardware order.
> - */
> - else if (gpiod_hwgpio(desc) != i) {
> - /*
> - * Don't use fast path if all array members processed so
> - * far belong to the same chip as this one but its pin
> - * hardware number is different from its array index.
> - */
> - if (bitmap_full(array_info->get_mask, i)) {
> - descs->info = NULL;
> - array_info = NULL;
> - } else {
> - __clear_bit(i, array_info->get_mask);
> - __clear_bit(i, array_info->set_mask);
> - }
> - } else {
> - dflags = READ_ONCE(desc->flags);
> - /* Exclude open drain or open source from fast output */
> - if (test_bit(GPIOD_FLAG_OPEN_DRAIN, &dflags) ||
> - test_bit(GPIOD_FLAG_OPEN_SOURCE, &dflags))
> - __clear_bit(i, array_info->set_mask);
> - /* Identify 'fast' pins which require invertion */
> - if (gpiod_is_active_low(desc))
> - __set_bit(i, array_info->invert_mask);
> - }
> + descs->desc[descs->ndescs++] = no_free_ptr(desc);
> }
--
With Best Regards,
Andy Shevchenko
next prev parent reply other threads:[~2026-10-21 19:34 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-21 19:02 [PATCH 1/5] gpiolib: fix GPIO descriptor leak " Dmitry Torokhov
2026-10-21 19:02 ` [PATCH 2/5] gpiolib: fix fast-path cancellation " Dmitry Torokhov
2026-10-21 19:02 ` [PATCH 3/5] gpiolib: add support for scope-based management of GPIO descriptors Dmitry Torokhov
2026-10-21 19:02 ` [PATCH 4/5] gpiolib: use __free(gpiod_put_array) in gpiod_get_array() Dmitry Torokhov
2026-10-21 19:02 ` [PATCH 5/5] gpiolib: avoid krealloc() " Dmitry Torokhov
2026-10-21 19:34 ` Andy Shevchenko [this message]
2026-10-21 20:39 ` Dmitry Torokhov
2026-10-21 20:54 ` Andy Shevchenko
2026-10-21 19:39 ` Andy Shevchenko
2026-10-21 19:36 ` [PATCH 1/5] gpiolib: fix GPIO descriptor leak " Andy Shevchenko
2026-10-21 19:43 ` Dmitry Torokhov
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=atkTqWUn-2tzRw69@ashevche-desk.local \
--to=andriy.shevchenko@intel.com \
--cc=andy@kernel.org \
--cc=brgl@kernel.org \
--cc=dmitry.torokhov@gmail.com \
--cc=jmkrzyszt@gmail.com \
--cc=linusw@kernel.org \
--cc=linux-gpio@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
/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®