From: Greg Dietsche <[email protected]> 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.6.4 _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
