From 6deabbf444b77daa17ef4404ecc08558cff33ab6 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 9 Feb 2001 12:34:50 +0000
Subject: option -m (utilisation memoire)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1366 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/util.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'lib/util.ml')

diff --git a/lib/util.ml b/lib/util.ml
index b5611c50b1..a518399937 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -561,4 +561,12 @@ let size_w = Size.size_w
 let size_b = Size.size_b
 let size_kb = Size.size_kb
 
+(*s Total size of the allocated ocaml heap. *)
 
+let heap_size () =
+  let stat = Gc.stat ()
+  and control = Gc.get () in
+  let max_words_total = stat.Gc.heap_words + control.Gc.minor_heap_size in
+  (max_words_total * Sys.word_size / 8)
+
+let heap_size_kb () = (heap_size () + 1023) / 1024
-- 
cgit v1.2.3