Re: [PATCH v5 20/36] locking/ww_mutex: Support Clang's context analysis

From: Bart Van Assche

Date: Fri Jan 09 2026 - 16:26:45 EST


(+Maarten)

On 1/9/26 2:06 PM, Marco Elver wrote:
If there's 1 out of N ww_mutex users that missed ww_acquire_done()
there's a good chance that 1 case is wrong.

$ git grep -w ww_acquire_done '**c'|wc -l
11
$ git grep -w ww_acquire_fini '**c'|wc -l
33

The above statistics show that there are more cases where
ww_acquire_done() is not called rather than cases where
ww_acquire_done() is called.

Maarten, since you introduced the ww_mutex code, do you perhaps prefer
that calling ww_acquire_done() is optional or rather that all users that
do not call ww_acquire_done() are modified such that they call
ww_acquire_done()? The full email conversation is available here:
https://lore.kernel.org/all/20251219154418.3592607-1-elver@xxxxxxxxxx/

Thanks,

Bart.