Re: [PATCH RFC 03/33] locking: Introduce <linux/thread_safety.h>
From: Christoph Hellwig
Date: Thu Feb 06 2025 - 22:53:56 EST
> - a struct that represents a synchronization object is annotated with the
> CAPABILITY() attribute,
> - the operations on that synchronization object are annotated with the
> ACQUIRE() and RELEASE() attributes,
> - if variables or members that should be guarded by a synchronization
> object are annotated with GUARDED_BY(),
Those are all nasty shouting names, without and good prefixing.
But more importantly ACQUIRE() and RELEASE() seems to duplicate the
existing __acquires/__releases annotations from sparse. We really need
to find away to unify them instead of duplicating the annotations.