From 104b96bb1581a376c2261b18384e3a26373c965c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 11 Apr 2006 10:02:32 +0000 Subject: [PATCH] CicEnvironment is emptied when a size treshold is reached. --- .../components/binaries/utilities/test_library.ml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/helm/software/components/binaries/utilities/test_library.ml b/helm/software/components/binaries/utilities/test_library.ml index 5cfb7c348..635b6bbd4 100644 --- a/helm/software/components/binaries/utilities/test_library.ml +++ b/helm/software/components/binaries/utilities/test_library.ml @@ -87,6 +87,15 @@ let _ = ignore (Unix.alarm deadline); ignore (CicTypeChecker.typecheck uri); ignore (Unix.alarm 0); + let memusage = (Gc.stat ()).Gc.live_words * 4 / 1024 / 1024 in + if memusage > 500 then + begin + prerr_endline ("MEMORIA ALLOCATA: " ^ string_of_int memusage ^ "Mb"); + CicEnvironment.empty (); + Gc.compact (); + let memusage = (Gc.stat ()).Gc.live_words * 4 / 1024 / 1024 in + prerr_endline ("DOPO CicEnvironment.empty: " ^ string_of_int memusage ^ "Mb"); + end; let after = Unix.gettimeofday () in let diff = after -. before in new_total := !new_total +. diff; -- 2.39.2