Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Out_of_memory exception in output_value
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Richard Jones <rich@a...>
Subject: [Caml-list] Out_of_memory exception in output_value
I have a problem with a real program which tries to write an approx
200 MB data structure to disk using output_value.  The output_value
statement throws an Out_of_memory exception, even though the Unix
process itself is only using around 350 MB on a machine with plenty of
physical RAM and swap.

The test program below reproduces the problem.

Is there any way I can tell the memory allocator that it's allowed to
keep allocating memory, or work around this bug in another way?


(* ocamlopt -w s unix.cmxa -o memtest *)

let arraylen = 200000
let stringlen = 1000

let () =
  prerr_endline "Creating big structure ...";
  let data = Array.init arraylen (fun i -> String.create stringlen) in
  prerr_endline "Sleeping for 5 seconds ...";
  Unix.sleep 5;
  prerr_endline "Saving big structure to a file ...";
  let chan = open_out_bin "/tmp/test.dat" in
  output_value chan data;
  close_out chan;
  ignore (Sys.command "ls -lh /tmp/test.dat")

$ ./memtest 
Creating big structure ...
Sleeping for 5 seconds ...
Saving big structure to a file ...
Fatal error: exception Out_of_memory

During the sleep:

  PID USER      PR  NI  VIRT  RES  SHR S %CPU %MEM    TIME+  COMMAND           
 3098 rich      25   0  203m 198m 1640 S 43.4 42.0   0:03.21 memtest           

Just before the crash:

  PID USER      PR  NI  VIRT  RES  SHR S %CPU %MEM    TIME+  COMMAND           
 3103 rich      18   0  333m 301m 1640 D  1.7 63.7   0:04.49 memtest           

Richard Jones.
Merjis Ltd. - improving website return on investment - CRM improvement consultancy

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: