Tools for checking incorrect usage of locking techniques in k-space

[Srivatsa Bhat]

Hi,

On Sat, Oct 27, 2012 at 10:11 AM, Kumar amit mehta <gmate.amit at gmail.com> wrote:
> Hi,
>
> I recently came across this tool called KEDR[1] for checking memory leak in
> kernel modules. I'm using it to check If my trivial kernel modules (based on
> LDD3 examples) are leaking memory. I was wondering if there exist a similar
> tool for checking incorrect usage of locking techniques implemented by kernel
> module.
>

You can make use of the in-kernel "lockdep" framework to check your locking.
Just enable it in your .config, and build and boot your kernel. Lockdep detects
a variety of locking problems at run time and warns you if there is a
possibility
of deadlock etc.

Regards,
Srivatsa S. Bhat