Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] signal handling problem
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Winfried Dreckmann <wd@l...>
Subject: [Caml-list] signal handling problem
Hi everyone,

I have a rather complicated program which uses the C interface a lot, with
lots of allocations from both Ocaml and C code. The program runs fine in
byte code and native code, but the native version breaks down as soon as I
add a trivial signal handler with a Unix timer:

let _ = Sys.set_signal Sys.sigalrm (Sys.Signal_handle (fun s -> ()))
let _ =
  Unix.setitimer
    Unix.ITIMER_REAL { Unix.it_interval = 0.25; Unix.it_value = 0.25 }

I cannot locate the problem, nor reproduce the problem with a simpler
program. I am running a rather old version of Linux (Suse 6.4, kernel
2.2.14) on PowerPC. Are there known issues with signal handling and old
Linux on PowerPC? Should I upgrade and try again, or file a big and
unspecific bug report now?

Winfried Dreckmann

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners