@@ -173,8 +173,9 @@ jobs:
173173 -progress_reports=false
174174 -compact_target_level=6
175175 )
176+ echo '$' "$TOPLING/bin/db_bench" "${args_fr[@]}" >"${logdir}/db_bench-fillrandom.log"
176177 /usr/bin/time -f 'max_rss_kb=%M' -o "${logdir}/time-fillrandom.txt" -- \
177- "$TOPLING/bin/db_bench" "${args_fr[@]}" >"${logdir}/db_bench-fillrandom.log" 2>&1
178+ "$TOPLING/bin/db_bench" "${args_fr[@]}" >> "${logdir}/db_bench-fillrandom.log" 2>&1
178179 cat "${logdir}/db_bench-fillrandom.log"
179180 args_omit=(
180181 -json "$yaml_fr"
@@ -188,8 +189,9 @@ jobs:
188189 -enable_zero_copy
189190 -progress_reports=false
190191 )
192+ echo '$' "$TOPLING/bin/db_bench" "${args_omit[@]}" >"${logdir}/db_bench-fillrandom-omit.log"
191193 /usr/bin/time -f 'max_rss_kb=%M' -o "${logdir}/time-fillrandom-omit.txt" -- \
192- "$TOPLING/bin/db_bench" "${args_omit[@]}" >"${logdir}/db_bench-fillrandom-omit.log" 2>&1
194+ "$TOPLING/bin/db_bench" "${args_omit[@]}" >> "${logdir}/db_bench-fillrandom-omit.log" 2>&1
193195 cat "${logdir}/db_bench-fillrandom-omit.log"
194196 record_rss fillrandom
195197 record_rss fillrandom-omit
@@ -216,8 +218,9 @@ jobs:
216218 -progress_reports=false
217219 -compact_target_level=6
218220 )
221+ echo '$' "$TOPLING/bin/db_bench" "${args[@]}" >"${logdir}/db_bench.log"
219222 /usr/bin/time -f 'max_rss_kb=%M' -o "${logdir}/time-fillseq.txt" -- \
220- "$TOPLING/bin/db_bench" "${args[@]}" >"${logdir}/db_bench.log" 2>&1
223+ "$TOPLING/bin/db_bench" "${args[@]}" >> "${logdir}/db_bench.log" 2>&1
221224 cat "${logdir}/db_bench.log"
222225 args_omit_fs=(
223226 -json "$yaml_fs"
@@ -231,8 +234,9 @@ jobs:
231234 -enable_zero_copy
232235 -progress_reports=false
233236 )
237+ echo '$' "$TOPLING/bin/db_bench" "${args_omit_fs[@]}" >"${logdir}/db_bench-fillseq-omit.log"
234238 /usr/bin/time -f 'max_rss_kb=%M' -o "${logdir}/time-fillseq-omit.txt" -- \
235- "$TOPLING/bin/db_bench" "${args_omit_fs[@]}" >"${logdir}/db_bench-fillseq-omit.log" 2>&1
239+ "$TOPLING/bin/db_bench" "${args_omit_fs[@]}" >> "${logdir}/db_bench-fillseq-omit.log" 2>&1
236240 cat "${logdir}/db_bench-fillseq-omit.log"
237241 record_rss fillseq
238242 record_rss fillseq-omit
@@ -329,8 +333,9 @@ jobs:
329333 -compact_target_level=6
330334 -options_file=.github/bench-conf/rocksdb_db_bench.ini
331335 )
336+ echo '$' "$ENG/bin/db_bench" "${args_fr[@]}" >"${LOGDIR}/db_bench-fillrandom.log"
332337 /usr/bin/time -f 'max_rss_kb=%M' -o "${LOGDIR}/time-fillrandom.txt" -- \
333- "$ENG/bin/db_bench" "${args_fr[@]}" >"${LOGDIR}/db_bench-fillrandom.log" 2>&1
338+ "$ENG/bin/db_bench" "${args_fr[@]}" >> "${LOGDIR}/db_bench-fillrandom.log" 2>&1
334339 cat "${LOGDIR}/db_bench-fillrandom.log"
335340 record_rss fillrandom
336341 cp "${LOGDIR}/rss_usage-fillrandom.txt" "${LOGDIR}/rss_usage-fillrandom-omit.txt" 2>/dev/null || true
@@ -351,8 +356,9 @@ jobs:
351356 -compact_target_level=6
352357 -options_file=.github/bench-conf/rocksdb_db_bench.ini
353358 )
359+ echo '$' "$ENG/bin/db_bench" "${args[@]}" >"${LOGDIR}/db_bench.log"
354360 /usr/bin/time -f 'max_rss_kb=%M' -o "${LOGDIR}/time-fillseq.txt" -- \
355- "$ENG/bin/db_bench" "${args[@]}" >"${LOGDIR}/db_bench.log" 2>&1
361+ "$ENG/bin/db_bench" "${args[@]}" >> "${LOGDIR}/db_bench.log" 2>&1
356362 cat "${LOGDIR}/db_bench.log"
357363 record_rss fillseq
358364 cp "${LOGDIR}/rss_usage-fillseq.txt" "${LOGDIR}/rss_usage-fillseq-omit.txt" 2>/dev/null || true
@@ -418,8 +424,9 @@ jobs:
418424 -compact_target_level=6
419425 -options_file=.github/bench-conf/rocksdb_db_bench.ini
420426 )
427+ echo '$' "$ENG/bin/db_bench" "${args_fr[@]}" >"${LOGDIR}/db_bench-fillrandom.log"
421428 /usr/bin/time -f 'max_rss_kb=%M' -o "${LOGDIR}/time-fillrandom.txt" -- \
422- "$ENG/bin/db_bench" "${args_fr[@]}" >"${LOGDIR}/db_bench-fillrandom.log" 2>&1
429+ "$ENG/bin/db_bench" "${args_fr[@]}" >> "${LOGDIR}/db_bench-fillrandom.log" 2>&1
423430 cat "${LOGDIR}/db_bench-fillrandom.log"
424431 record_rss fillrandom
425432 cp "${LOGDIR}/rss_usage-fillrandom.txt" "${LOGDIR}/rss_usage-fillrandom-omit.txt" 2>/dev/null || true
@@ -440,8 +447,9 @@ jobs:
440447 -compact_target_level=6
441448 -options_file=.github/bench-conf/rocksdb_db_bench.ini
442449 )
450+ echo '$' "$ENG/bin/db_bench" "${args[@]}" >"${LOGDIR}/db_bench.log"
443451 /usr/bin/time -f 'max_rss_kb=%M' -o "${LOGDIR}/time-fillseq.txt" -- \
444- "$ENG/bin/db_bench" "${args[@]}" >"${LOGDIR}/db_bench.log" 2>&1
452+ "$ENG/bin/db_bench" "${args[@]}" >> "${LOGDIR}/db_bench.log" 2>&1
445453 cat "${LOGDIR}/db_bench.log"
446454 record_rss fillseq
447455 cp "${LOGDIR}/rss_usage-fillseq.txt" "${LOGDIR}/rss_usage-fillseq-omit.txt" 2>/dev/null || true
0 commit comments