summaryrefslogtreecommitdiff
path: root/stdlib/gc.ml
diff options
context:
space:
mode:
authorLeo White <leo@lpw25.net>2020-06-12 15:42:05 +0100
committerLeo White <leo@lpw25.net>2020-06-25 14:24:41 +0100
commitdfd0c0cc777f4df14ad371cad3b67344968ba622 (patch)
treeea0f712ab6a5fe422ec23b98221e62847ee792f3 /stdlib/gc.ml
parentbd510cdf93628952750fbf52ef5ee8cf05c4e721 (diff)
downloadocaml-dfd0c0cc777f4df14ad371cad3b67344968ba622.tar.gz
Report full major collections in Gc stats
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r--stdlib/gc.ml8
1 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml
index 9a5c004e64..75c13a3785 100644
--- a/stdlib/gc.ml
+++ b/stdlib/gc.ml
@@ -31,6 +31,7 @@ type stat = {
compactions : int;
top_heap_words : int;
stack_size : int;
+ forced_major_collections: int;
}
type control = {
@@ -70,9 +71,10 @@ open Printf
let print_stat c =
let st = stat () in
- fprintf c "minor_collections: %d\n" st.minor_collections;
- fprintf c "major_collections: %d\n" st.major_collections;
- fprintf c "compactions: %d\n" st.compactions;
+ fprintf c "minor_collections: %d\n" st.minor_collections;
+ fprintf c "major_collections: %d\n" st.major_collections;
+ fprintf c "compactions: %d\n" st.compactions;
+ fprintf c "forced_major_collections: %d\n" st.forced_major_collections;
fprintf c "\n";
let l1 = String.length (sprintf "%.0f" st.minor_words) in
fprintf c "minor_words: %*.0f\n" l1 st.minor_words;