From 641051e162e49d1768a89e2b5550e5b7571c21d6 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Mon, 2 Dec 2024 03:45:35 -0800 Subject: [PATCH] [gc] set compaction interval default to zero Summary: It doesn't make sense to throttle compactions on the time axis when the objective is to avoid out-of-memory events. This diff sets the default minimum time between manual compactions (because the heap size exceeds the threshold set) to zero. Reviewed By: geralt-encore Differential Revision: D66630911 Privacy Context Container: L1208441 fbshipit-source-id: c936d2ad29b070ce132113489fb7a267429058e8 --- infer/man/man1/infer-full.txt | 3 +-- infer/src/base/Config.ml | 4 ++-- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index 1dca827dd2..e36f03deae 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -2652,8 +2652,7 @@ INTERNAL OPTIONS --compaction-minimum-interval-s int An analysis worker will only trigger compaction if this amount of - time (in seconds) has elapsed since last compaction. Defaults to - 15 + time (in seconds) has elapsed since last compaction. Defaults to 0 --compilation-database-escaped-reset Set --compilation-database-escaped to the empty list. diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 193e53c02a..9c4c81a77d 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1305,9 +1305,9 @@ and compaction_if_heap_greater_equal_to_GB = and compaction_minimum_interval_s = - CLOpt.mk_int ~long:"compaction-minimum-interval-s" ~default:15 ~meta:"int" + CLOpt.mk_int ~long:"compaction-minimum-interval-s" ~default:0 ~meta:"int" "An analysis worker will only trigger compaction if this amount of time (in seconds) has \ - elapsed since last compaction. Defaults to 15" + elapsed since last compaction. Defaults to 0" and compilation_database =