Hi Matthew, On Mon, Nov 16, 2020 at 03:37:29PM +0000, Matthew Wilcox wrote: [...] > > It's not just about lockdep for semaphores. Mutexes will spin if the > current owner is still running, so to convert an interrupt-released > semaphore to a mutex, we need a way to mark the mutex as being released
Could you provide an example for the conversion from interrupt-released semaphore to a mutex? I'd like to see if we can improve lockdep to help on that case. Regards, Boqun > by the new owner. > > I really don't think you want to report subsequent lockdep splats.
