[Cocci] Checking run times for transformation of Linux source code with SmPL
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?
More information about the Cocci