[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Mirage tracing

On 9 Oct 2014, at 11:25, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

> I think we were discussing having a special "Tracer" (or "Profiler") module 
> type, similar to the "Console" one. Or to extend the "Console" one with more 
> structured kinds of debug statement. Not sure what is the most practical, but 
> we should certainly do something to support what you have started to do at a 
> larger scale.
> And yes, having a dummy Profiler where no-op are optimised away is a good 
> idea. Hopefully, Pierre Chambart's patches for improving the inliner will be 
> in OCaml before Mirage 3.0 :-)

Yes -- this is one area where the camlp4/ppt pa_lwt syntax extension comes in 
quite useful.   We could have a different switch for profile-enabled or 
disabled libraries, and perform the additional logging registration there.  See 
the logging support that pa_lwt already has...


MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.