On Sat, 5 Nov 2011, [email protected] wrote:
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]>
Acked-by: Julia Lawall <[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)
