Messages in this thread Patch in this message | | | From | Greg Dietsche <> | Subject | [PATCH v2] coccicheck: add parallel execution | Date | Tue, 26 Jul 2011 17:36:57 -0500 |
| |
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 <Gregory.Dietsche@cuw.edu> --- 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
| |