[Cocci] Checking run times for transformation of Linux source code with SmPL
julia.lawall at lip6.fr
Fri May 18 18:49:20 CEST 2018
On Fri, 18 May 2018, SF Markus Elfring wrote:
> >>> In terms of the running time, I get a running time of 11 seconds with the
> >>> command line of 48 files and I get a running time of 22 seconds if I just
> >>> run spatch on the entire kernel.
> >> * Can such a comparison result be amazing?
> > No, I don't see anything suprising about it.
> I suggest to take another look at these performance numbers from your
> powerful test environment. All Linux source files were checked to some degree
> according to another specific search pattern.
> The half of this execution time was taken by only a tiny fraction
> of update candidates.
The 48 files are all parsed. Coccinelle doesn't parse every file in the
kernel. It only parses the files that contain the name of the function
> > More work takes more time.
> This usual in principle. It seems that I got a bit of understanding difficulties
> for this simple test report.
> How reasonable is it that a lot of more work could be performed somehow
> in the double time range?
More information about the Cocci