Re: sockets exn- one day i'll learn to put things down

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

On 1 Nov 2011, at 18:42, Anil Madhavapeddy wrote:

> Firstly, lets add the record backtrace to the main function; very useful!

pull request sent :)

> On the Lwt front, you are hitting the fact that the backtrace is lost between 
> threads due to the Lwt monad. However, the pa_lwt syntax extension has an 
> option to preserve the backtrace.  I haven't turned this on due to a certain 
> difficulty with figuring out how to make it optional in ocamlbuild. 
> 
> However, I could just turn it on permanently, with us remembering to turn it 
> off when doing performance tests for production runs, where thread backtrace 
> recording may be too expensive.
> 
> Any objections to that?

aha. i have no objections - i'll start making use of that now anyway.  (presume 
you mean passing -lwt-debug to camlp4 as noted at 
<http://ocsigen.org/lwt/manual/> ?)

> On the general topic of debugging, what we really need is an interactive 
> toplevel. Lwt itself has a fantastic one if you install the Debian package 
> (lwt-toplevel) which could let you inspect the state of threads as it runs.  
> This is something that could be ported to Mirage at some point... there's 
> even a native code version of the toplevel now, so the Xen backend could get 
> in on the party too!

hm- perhaps a challenge for after ofelia tutorial is written :)
-- 
Cheers,

R.

This message and any attachment are intended solely for the addressee and may 
contain confidential information. If you have received this message in error, 
please send it back to me, and immediately delete it.   Please do not use, copy 
or disclose the information contained in this message or in any attachment.  
Any views or opinions expressed by the author of this email do not necessarily 
reflect the views of the University of Nottingham.

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.