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

[Takashi Sakamoto]

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@xxxxxxxxxxxxx/


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(-)


base-commit: a8cf19ce243bf2cd0d338823fa79cd927e34b830
-- 
2.53.0