Hi,

On Sat, Oct 27, 2012 at 10:11 AM, Kumar amit mehta [off-list ref] 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