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

Re: [MirageOS-devel] Mirage tracing

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

maybe it's a good time to resurrect the extreme tracing pa_trace stuff as well: 

MirageOS-devel mailing list



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