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

Julia Lawall julia.lawall at lip6.fr
Fri May 18 18:03:18 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.  More work takes more time.

>
> * How do you think about share any more information about the concrete
>   test environment?
>
>
> > That seems slower, but if I use the command line of 48 files, I get changes
> > in 27 files, while if I run it on the entire kernel, I get changes in 75 files.
>
> Did this try work without the command parameter “--file-groups”?

Yes.  --file-groups is not needed here.

>
>
> > If I run it on the entire kernel using 40 cores (-j 40), I get changes
> > in 75 files in 1.7 seconds.
>
> Have you got access to computation resources which are so powerful?

Yes.

julia


More information about the Cocci mailing list