[Cocci] Checking run times for transformation of Linux source code with SmPL

Julia Lawall 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
being modified.

julia

>
>
> > 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?
>
> Regards,
> Markus
>


More information about the Cocci mailing list