Re: kernel analyser to detect sleep under spinlock

[Peter T. Breuer]

Another minor functional update to the kernel source code analysis tool,
though actually I reorganised it thoroughly internally in order to run
off externally defined trigger-action rules instead of a mess of gunky C
code.

   ftp://oboe.it.uc3m.es/pub/Programs/c-1.2.3.tgz

This tool locates "sleep under spinlock" abuses in the kernel.

The latest revision eliminates some false positives, by taking notice of
the second argument to kmalloc where it can.

% ./c -nostdinc -iwithprefix include -D__KERNEL__
 -I/usr/local/src/linux-2.6.3/include -D__KERNEL__ -Wall
 -Wstrict-prototypes -Wno-trigraphs
 -I/usr/local/src/linux-2.6.8.1-uml/include/asm-i386/mach-default -O2
 -DMODULE /usr/local/src/linux-2.6.8.1-uml/drivers/block/nbd.c
 /usr/local/src/linux-2.6.8.1-uml/drivers/block/nbd.c
/************** sleep calls ************************************
 *  function                     line    calls (locks)
 *
 * - /usr/local/src/linux-2.6.3/include/linux/slab.h
 *  kmalloc                      98      __kmalloc (0)
 *
 * - /usr/local/src/linux-2.6.3/include/linux/fs.h
 *  lock_super                   741     down (0)
 *
 * - /usr/local/src/linux-2.6.8.1-uml/drivers/block/nbd.c
 *  nbd_send_req                 245     down (0)
 *  nbd_ioctl                    548     down (0)
 *
 *
 * *** found 0 instances of sleep under spinlock ***
 *
 **************************************************************/



GPL, LGPL, etc.

This is also useful for locating functions which can sleep, though of
course that can be done in other ways.


Peter (ptb (at) inv.it.uc3m.es)
 
 
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/