On Wed, 1 Aug 2012, Peter Senna Tschudin wrote:

Dear List,

Can I tell spatch to run multiple parallel processes when run with
'-dir', like -j on make? Actually it is starting only one process.

This previous discussion should give you all the information you need:

http://comments.gmane.org/gmane.comp.version-control.coccinelle/680

Basically, you tell each instance of spatch to look at a different portion of the files, which can be either the first 1/n the second 1/n etc or can be done in a round robin fashion, and then you just run all the different instances of spatch in parallel. At the end, it is useful to collect the standard errors in one file and the standard outputs in another. I made a program for doing this, which you can find in tools/distributed, but the mail discussion also proposes a script, which is probably just as good.

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to