diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-02-01 12:23:58 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-02-01 12:23:58 +0000 |
| commit | 15c25173cfd956592d37a7a7fe119cb0374437c7 (patch) | |
| tree | 5ec909e86640d6fcdfd626c3bc4484189ec4fc2b /stdlib/gc.ml | |
| parent | cb046b351af420933a158101e57112d9a6cd81d2 (diff) | |
ajout Gc.top_heap_words
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/gc.ml')
| -rw-r--r-- | stdlib/gc.ml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index a62714569..c50dbaef4 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -27,7 +27,8 @@ type stat = { free_blocks : int; largest_free : int; fragments : int; - compactions : int + compactions : int; + top_heap_words : int; };; type control = { @@ -36,7 +37,7 @@ type control = { mutable space_overhead : int; mutable verbose : int; mutable max_overhead : int; - mutable stack_limit : int + mutable stack_limit : int; };; external stat : unit -> stat = "gc_stat";; @@ -59,6 +60,7 @@ let print_stat c = fprintf c "major_collections: %d\n" st.major_collections; fprintf c "heap_words: %d\n" st.heap_words; fprintf c "heap_chunks: %d\n" st.heap_chunks; + fprintf c "top_heap_words: %d\n" st.top_heap_words; fprintf c "live_words: %d\n" st.live_words; fprintf c "live_blocks: %d\n" st.live_blocks; fprintf c "free_words: %d\n" st.free_words; @@ -76,9 +78,8 @@ let allocated_bytes () = external finalise : ('a -> unit) -> 'a -> unit = "final_register";; -type alarm_rec = {active : alarm; f : unit -> unit} -and alarm = bool ref -;; +type alarm = bool ref;; +type alarm_rec = {active : alarm; f : unit -> unit};; let rec call_alarm arec = if !(arec.active) then begin |