Re: Question about freeing of empty per-CPU partial slabs in SLUB

[Vlastimil Babka]

On 9/10/24 18:38, Andrey Konovalov wrote:
> Hi Vlastimil

Hi!

> (and other SLUB maintainers),

you didn't CC them, so doing it at least for the active ones...

> I have a question about freeing of empty per-CPU partial slabs in the
> SLUB allocator.
> 
> The "Linux SLUB Allocator Internals and Debugging" article [1] states:

And we can Cc Imran too :)

> "If the partial slab becomes an empty slab after freeing up the
> object, it will be left in its current list if the number of partial
> slabs for the concerned node is within the limits (i.e < slab cache’s
> min_partial). This applies to both slabs belonging to a per-cpu
> partial slab list and slabs belonging to a per-node partial slab list.
> If the number of partial slabs are outside the limit (i.e >= slab
> cache’s min partial) then the newly available empty slab is freed and
> is removed from the corresponding partial slab list."
> 
> The part that seems wrong to me here is the statement that this
> applies to the per-CPU partial list. Based on the code in __slab_free,
> it looks like it cannot reach the slab_empty label for a slab that is
> on the per-CPU partial list.
> 
> (I know that an empty per-CPU partial slab can be freed when the list
> overflows or via shrinking, the question is about the slab being freed
> directly by __slab_free.)
> 
> Is the article wrong with regards to this case? Or did this behavior
> change recently (I failed found any traces of this)?

I don't think the behavior changed recently in this aspect, only in some
other details like tracking on_node_partial with a page flag for better
performance, and slabs on per-cpu partial list are no longer frozen.

I think the paragraph you quoted can be interpreted together with this part
of the preceding one: "However while putting this partial slab on a per-cpu
partial slab list if it is found that the per-cpu partial slab list is
already full, then all slabs from the per-cpu partial slab list are unfrozen
i.e they are moved to a per-node partial slab list and this new partial slab
is put on the per-cpu partial slab list."

So while flushing the per-cpu partial list, the per-cpu partial slabs are
moved to per-node partial list, and when __put_partials() finds some of them
are empty, it applies the same s->min_partial threshold to decide whether to
keep them in node partial list or free them. So in that sense "This applies
to both..." part is correct, although as you say it cannot immediately
affect a slab on partial list we are freeing to.

> Other than this statement, the article seems to be correct about all
> other small details that I looked into, so I'm not sure whether my
> understanding of the code is wrong of the article is.

Yeah I like the articles too. Checking the code as well is a good strategy
as it may always evolve further since publishing :)

> I hope you could clarify this.

Hope that helps!
Vlastimil

> Thank you!
> 
> [1] https://blogs.oracle.com/linux/post/linux-slub-allocator-internals-and-debugging-1