Garbage collection qustion

From: Ohad Rodeh (orodeh@cs.huji.ac.il)
Date: Mon Jun 29 1998 - 09:51:27 MET DST


Date: Mon, 29 Jun 1998 10:51:27 +0300 (IDT)
From: Ohad Rodeh <orodeh@cs.huji.ac.il>
To: Ocaml Mailing List <caml-list@inria.fr>
Subject: Garbage collection qustion

Hi,
  I have a problem with the Ocaml garbage collector. The included program
allocates memory from the heap and does nothing with it. The heap keeps
growing without bound although memory is not being used and no refrences
to it exist.

Running the program with the following parameters:
        ttt -nrounds 1000 -status 3 -chunk 10000

Will go through 1000 rounds of allocating a string of size 10000. The
status flag describes how many GC status reports you would like.

Why does the heap grow without bound?
        Ohad.
-------------------------------

(*ttt.ml
*)
open Printf

let nrounds = ref 100
let status = ref 10
let chunk = ref 1000

(* Status of the heap
*)
let string_list_of_gc_stat s =
  let alloc_promote_pct = (s.Gc.promoted_words * 100) / s.Gc.minor_words in
  let alloc_major_direct = s.Gc.major_words - s.Gc.promoted_words in
  let blocks_total = s.Gc.live_blocks + s.Gc.free_blocks in
  let blocks_live_pct = (s.Gc.live_blocks * 100) / blocks_total in
  let words_live_pct = (s.Gc.live_words * 100) / s.Gc.heap_words in
  [ sprintf "allocation: minor=%.1fM (%d%% promoted) (direct major=%dK)"
    ((float s.Gc.minor_words) /. 1000000.0) alloc_promote_pct (alloc_major_direct/1000) ;
    sprintf "collections: minor=%d, major=%d, compact=%d" s.Gc.minor_collections s.Gc.major_collections s.Gc.compactions ;
    sprintf "words: %d (%d%% live) (%d chunks)" s.Gc.heap_words words_live_pct s.Gc.heap_chunks ;
    sprintf "blocks: %d (%d%% live) (largest_free=%d)" blocks_total blocks_live_pct s.Gc.largest_free
  ]

let string_of_list f l = sprintf "[%s]" (String.concat "|" (List.map f l))

(* Print the heap status?
*)
let chp i =
        if (i mod (!nrounds / !status) = 0) then (
                let stat = Gc.stat () in
                printf "%s\n" (string_of_list (fun x -> x) (string_list_of_gc_stat stat));
                Gc.minor();
                Gc.major()
        )

let _ =
 Arg.parse [
        "-nrounds",Arg.Int(fun i -> nrounds := i), "nrounds";
        "-status",Arg.Int(fun i -> status := i), "How may heap status reports";
        "-chunk",Arg.Int(fun i -> chunk := i), "The size of string allocated in each round";
  ] (fun _ -> ()) "perf-crypto";

  let r = Gc.get () in
        r.Gc.verbose <- true;
        Gc.set r;

        for i=0 to !nrounds do
                chp i;
                let cccc = String.create !chunk in ()
        done



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET