Re: [PATCH v3 0/6] firewire: core: make execution context assumptions explicit for transaction layer

[Takashi Sakamoto <o-takashi@sakamocchi.jp>]

On Sun, Oct 11, 2026 at 03:31:40PM +0900, Takashi Sakamoto wrote:
> Hi,
> 
> This series is take 3 of the previous series[1].
> 
> Recent code changes have guaranteed the execution contexts of several
> functions in the transaction layer. Based on this, this series adds
> might_sleep() calls where appropriate. It also adds context analysis
> annotations and lockdep checks for several locks to document the expected
> locking context and help detect incorrect locking behavior.
> 
> Chanes from v2:
> * Switch from sparse to Compiler-based context analysis assisted by Thread
>   Safety Analysis in LLVM/Clang v23 or later.
> 
> [1][PATCH v2 0/5] firewire: core: make execution context assumptions explicit
> https://lore.kernel.org/lkml/20261009121048.282982-1-o-takashi@sakamocchi.jp/
> 
> 
> Takashi Sakamoto (6):
>   firewire: core: add might_sleep() checks to transaction layer
>   firewire: core: enable context analysis for transaction layer
>   firewire: core: use context analysis annotations and lockdep checks
>     for transactions lock
>   firewire: core: use context analysis annotations and lockdep checks
>     for split timeout lock
>   firewire: core: use context analysis annotations and lockdep checks
>     for topology map lock
>   firewire: core: narrow the card lock scope when accessing node_id
> 
>  drivers/firewire/Makefile           |  2 +
>  drivers/firewire/core-topology.c    |  3 +
>  drivers/firewire/core-transaction.c | 97 +++++++++++++++++++++++------
>  include/linux/firewire.h            | 16 ++---
>  4 files changed, 91 insertions(+), 27 deletions(-)

Applied to for-next branch.


Regards

Takashi Sakamoto