replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

perf-test: benchexec can use all NUMA nodes 

Benchexec limits itself to the memory on a single NUMA node if cores==1.
Just permit use of all cores instead.
This commit is contained in:
Michael Tautschnig 2018-12-25 21:05:22 +00:00
parent 66d6934f4e
commit c37290f8e4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/perf-test/run-on-ec2.sh
View File

@ -170,7 +170,7 @@ do
if [ $cfg != "profiling" ]
then
../benchexec/bin/benchexec cbmc.xml --no-container \
--task $t -T 900s -M 15GB -o logs-$t/ -N $max_par -c 1
--task $t -T 900s -M 15GB -o logs-$t/ -N $max_par -c -1
if [ -d logs-$t/cbmc.*.logfiles ]
then
cd logs-$t
@ -234,7 +234,7 @@ do
else
rm -f gmon.sum gmon.out *.gmon.out.*
../benchexec/bin/benchexec cbmc.xml --no-container \
--task $t -T 600s -M 7GB -o logs-$t/ -N $max_par -c 1
--task $t -T 600s -M 7GB -o logs-$t/ -N $max_par -c -1
if ls *.gmon.out.* >/dev/null 2>&1
then
gprof --sum ./cbmc-binary cbmc*.gmon.out.*