diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-04 13:15:56 +0000 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-04 13:15:56 +0000 |
| commit | 21f059cb57f21a11e2b2bd3537c53737a83269d5 (patch) | |
| tree | 7b3a7835fee4363a2e3edaf95ce4935429c03ada /stdlib/gc.ml | |
| parent | 30ae40f35e8f639dd6bf25e368d72b26a4bdfed3 (diff) | |
| parent | c4851b0ff0070bca3b5ebbb3ec51941a249031cc (diff) | |
| download | ocaml-21f059cb57f21a11e2b2bd3537c53737a83269d5.tar.gz | |
Merge commit 'c4851b0ff0070bca3b5ebbb3ec51941a249031cc' into parallel_minor_gc_4_12
Diffstat (limited to 'stdlib/gc.ml')
| -rw-r--r-- | stdlib/gc.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 162baaf5ab..496cd24207 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; |