From 3ccda8f6174a320544bc8a3752f0d81b8383de2f Mon Sep 17 00:00:00 2001 From: Helmut Eller Date: Wed, 29 May 2024 10:21:04 +0200 Subject: [PATCH 5/5] Return information about the arena for igc-info * src/igc.c (Figc_info): Include mps_arena_committed and other arena related information. --- src/igc.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/src/igc.c b/src/igc.c index 54052375977..f8df5616020 100644 --- a/src/igc.c +++ b/src/igc.c @@ -3319,6 +3319,24 @@ DEFUN ("igc-info", Figc_info, Sigc_info, 0, 0, 0, doc : /* */) make_int (st.pvec[i].nobjs), make_int (st.pvec[i].nwords)); result = Fcons (e, result); } + result = Fcons (list2 (build_string ("pause-time"), + make_float (mps_arena_pause_time (gc->arena))), + result); + result = Fcons (list2 (build_string ("reserved"), + make_int (mps_arena_reserved (gc->arena))), + result); + result = Fcons (list2 (build_string ("spare"), + make_float (mps_arena_spare (gc->arena))), + result); + result = Fcons (list2 (build_string ("spare-committed"), + make_int (mps_arena_spare_committed (gc->arena))), + result); + result = Fcons (list2 (build_string ("commit-limit"), + make_int (mps_arena_commit_limit (gc->arena))), + result); + result = Fcons (list2 (build_string ("committed"), + make_int (mps_arena_committed (gc->arena))), + result); return result; } -- 2.39.2