Re: [MirageOS-devel] Mirage tracing

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

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...

-anil



_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel