gc metrics every 20s

This commit is contained in:
Simon Cruanes 2022-11-30 17:08:08 -05:00
parent dbd08b7e0a
commit bc3ecbc30c
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 2 deletions

View file

@ -12,7 +12,7 @@ let needs_gc_metrics = Atomic.make false
let last_gc_metrics = Atomic.make (Mtime_clock.now ())
let timeout_gc_metrics = Mtime.Span.(10 * s)
let timeout_gc_metrics = Mtime.Span.(20 * s)
let gc_metrics = ref []
(* side channel for GC, appended to {!E_metrics}'s data *)

View file

@ -11,7 +11,7 @@ let needs_gc_metrics = Atomic.make false
let last_gc_metrics = Atomic.make (Mtime_clock.now ())
let timeout_gc_metrics = Mtime.Span.(10 * s)
let timeout_gc_metrics = Mtime.Span.(20 * s)
let gc_metrics = AList.make ()
(* side channel for GC, appended to {!E_metrics}'s data *)