[splint-discuss] Splint run time
Rothweiler, Steven (Steve)
sr7 at agere.com
Wed Aug 31 09:29:04 EDT 2005
> I have a directory of 109 source files, maybe 300,000 lines
> of code. When I run splint on *.c, it churns away for hours.
> After 10 hours, it's processed about half the files. Smaller
> directories (e.g. 44 source files) run in minutes.
> I'm running the latest splint version on recent P4 WinXP
> machine. The disk churns a lot - one possibility is limited
> memory and lots of page faults.
> Is this likely to be a Windows issue? Are there
> characteristics of the code that can dramatically increase
> run time like this?
> Any insights or ideas would be appreciated.
I'd bet a lot of money that the splint process is thrashing.
Check the Task Manager, to see if the splint process is getting
any of the CPU. If it's getting less than 3% or so, then the
splint process is thrashing. Try splitting up the splint runs
into two runs, each on half the files. Then try splitting it
into quarters, etc...
More information about the splint-discuss