Re: [PATCH v3 00/35] Compiler-Based Capability- and Locking-Analysis

Christoph Hellwig
2025-09-22T17:12:32Z

On Fri, Sep 19, 2025 at 10:20:37AM -0700, Bart Van Assche wrote:
> locking annotations to kernel code. I ended up annotating multiple XFS
> functions with NO_THREAD_SAFETY_ANALYSIS. Maybe the locking patterns in
> XFS are too complex for compile-time analysis?

If our locking patterns are too complex for analysis, either the code or
the analysis has problems that need addressing. Potentially both.