On Wed, Jul 27, 2011 at 12:36 AM, Greg Dietsche <[email protected]> wrote: > For example to process 6 SmPL patches at the same time: > make coccicheck PARALLEL=6 > > Results are held in /tmp until the scripts finish. By doing this the > script is able to collate the results from each SmPL patch instead of > interleaving them in the output. > > Version 2: change pkill -P $$ to pkill -s 0 > > Signed-off-by: Greg Dietsche <[email protected]> Acked-by: Nicolas Palix <[email protected]> > --- > scripts/coccicheck | 27 ++++++++++++++++++++++++++- > 1 files changed, 26 insertions(+), 1 deletions(-) > > diff --git a/scripts/coccicheck b/scripts/coccicheck > index 1bb1a1b..c2a04c2 100755 > --- a/scripts/coccicheck > +++ b/scripts/coccicheck > @@ -97,10 +97,35 @@ coccinelle () { > > } > > +parallel_cleanup () { > + pkill -s 0 > /dev/null > + rm /tmp/cocci_parallel_$$_* 2>/dev/null > + exit > +} > + > +trap parallel_cleanup SIGINT > +PARALLEL_ID=0 > + > if [ "$COCCI" = "" ] ; then > for f in `find $srctree/scripts/coccinelle/ -name '*.cocci' -type f | > sort`; do > - coccinelle $f > + if [ "$PARALLEL" -eq "$PARALLEL" 2>/dev/null ] ; then > + if [ "$ONLINE" = "0" ] ; then > + echo Processing: `basename $f` > + fi > + coccinelle $f>/tmp/cocci_parallel_$$_$PARALLEL_ID 2>&1 & > + PARALLEL_ID=$(($PARALLEL_ID + 1)) > + while [ "`jobs -p | wc -l`" -ge "$PARALLEL" ] ; do > + sleep 3 > + done > + else > + coccinelle $f > + fi > done > + wait > + if [ "$PARALLEL_ID" -ge "0" ] ; then > + cat /tmp/cocci_parallel_$$_* > + parallel_cleanup > + fi > else > coccinelle $COCCI > fi > -- > 1.7.2.5 > >
-- Nicolas Palix http://sardes.inrialpes.fr/~npalix/ _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
