Re: [PATCH v5 20/36] locking/ww_mutex: Support Clang's context analysis
Bart Van Assche <[email protected]> Fri, 9 Jan 2026 13:26:23 -0800
| Newsgroups | org.kernel.vger.linux-sparse,dev.linux.lists.llvm,org.kernel.vger.linux-crypto,org.kernel.vger.linux-doc,org.kernel.vger.linux-kbuild,org.kernel.vger.linux-kernel,org.kernel.vger.linux-security-module,org.kernel.vger.linux-wireless,org.kernel.vger.rcu,org.kvack.linux-mm |
|---|---|
| Message-ID | <[email protected]> |
(+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/[email protected]/ Thanks, Bart.