[Caml-list] exception tracing with Threads

[Caml-list] exception tracing with Threads

[Ohad Rodeh]

List,
  I've just tried to use the exception tracing
mechanism for threads. Unfortunately, when using
threads this option is not enabled. 

For example: 

let _ = 
    let i=1 in
    let b=2 in 
    let c=3 in
    failwith "Sanity"

fails with the trace:
  Fatal error: uncaught exception Failure("Sanity")
  Raised at module Pervasives, character 1012
  Called from module Xx, character 68

While the equivalent program with threads:

let _ = 
  let _ = Thread.create (fun () -> 
    let i=1 in
    let b=2 in 
    let c=3 in
    failwith "Sanity"
  ) () in

  Thread.delay 4.0;
  ()

fails without a trace. 

Any ideas? 

   Thanks, 
	Ohad.

----------------------------------------------------------
orodeh@cs.huji.ac.il
www.cs.huji.ac.il/~orodeh



-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr

Re: [Caml-list] exception tracing with Threads

[Xavier Leroy]

>   I've just tried to use the exception tracing
> mechanism for threads. Unfortunately, when using
> threads this option is not enabled. 

Right.  That's an oversight.  I agree it would be useful to have a
stack backtrace for threads that terminate on an exception.  It's not
absolutely trivial to implement, though.  I push this on my to do stack.

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr