diff options
author | Sverker Eriksson <sverker@erlang.org> | 2019-09-19 13:34:30 +0200 |
---|---|---|
committer | Sverker Eriksson <sverker@erlang.org> | 2019-09-19 13:34:30 +0200 |
commit | 43d8e4299d49141bab2d1145de64c3593252b073 (patch) | |
tree | 1556afeabea1f925459707d7426c31e5a761d5d8 | |
parent | a8afcc355620458d0cf08044309f937b653a4d82 (diff) | |
parent | 8cc4577e5b0047030b3bc2ff91419378cb0eab9c (diff) | |
download | erlang-43d8e4299d49141bab2d1145de64c3593252b073.tar.gz |
Merge branch 'maint'
-rw-r--r-- | erts/etc/unix/cerl.src | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/erts/etc/unix/cerl.src b/erts/etc/unix/cerl.src index 59de9bdec8..d85a36acd4 100644 --- a/erts/etc/unix/cerl.src +++ b/erts/etc/unix/cerl.src @@ -315,8 +315,13 @@ if [ "x$GDB" = "x" ]; then ncpu=`cat /proc/cpuinfo | grep -w processor | wc -l` # Choose a random core in order to not collide with any other valgrind # run on the same machine. - taskset1=$((1 << (`shuf -i 1-$ncpu -n 1` - 1) )) - taskset1="taskset $taskset1" + cpu=`shuf -i 1-$ncpu -n 1` + mask=1 + while [ $cpu -gt 1 ]; do + mask=`expr $mask \* 2` + cpu=`expr $cpu - 1` + done + taskset1="taskset $mask" sched_arg="-S$ncpu:$ncpu" else taskset1= |