luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Increase MAX_VIVADO_PROCESS to use more of available memory. 

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
This commit is contained in:
Keith Rothman 2020-02-18 15:23:44 -08:00
parent bc00250f90
commit ceb5b2679b
2 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.github/kokoro/db-full.sh vendored
View File

@ -44,13 +44,6 @@ echo "----------------------------------------"
echo "----------------------------------------"
# Run the fuzzers
#
# Cap MAX_VIVADO_PROCESS at 20 to limit memory usage of 074 fuzzer.
# At MAX_VIVADO_PROCESS=20:
# - 072 completes in ~35 minutes
# - 074 completes in ~60 minutes
# which is well before the 05x INT fuzzers complete.
export MAX_VIVADO_PROCESS=$((CORES/2 < 20 ? CORES/2 : 20))
set -x +e
tmp=`mktemp`
script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$MAX_VIVADO_PROCESS db-${XRAY_SETTINGS}-all" $tmp

3
.github/kokoro/steps/hostinfo.sh vendored
View File

@ -24,8 +24,9 @@ export MEM_GB=$(($(awk '/MemTotal/ {print $2}' /proc/meminfo)/(1024*1024)))
echo "Total Memory (GB): $MEM_GB"
# Approx memory per grid process
export MEM_PER_GRID=8
export MEM_PER_RUN=8
export MAX_CPU_PER_GRID=$(($MEM_GB/$MEM_PER_RUN))
export MAX_VIVADO_PROCESS=$(($MEM_GB/$MEM_PER_RUN))
echo
echo "========================================"