Messages in this thread | | | From | "Peter T. Breuer" <> | Subject | Re: kernel analyser to detect sleep under spinlock | Date | Mon, 22 Nov 2004 11:06:16 +0100 (MET) |
| |
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@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |