Re: [MirageOS-devel] Tracing and profiling blog post

[Len Maxwell <len@xxxxxxxx>]

On Thu, Oct 30, 2014 at 12:57 PM, Thomas Leonard <talex5@xxxxxxxxx> wrote:
>
> I've been looking at LTT links in that post. Here's the format spec:
>
>   http://www.efficios.com/ctf
>
> I would like to move to a less GC-heavy logging format in
> mirage-profile, and this is one candidate.
>
>
> --
> Dr Thomas Leonard        http://0install.net/
> GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
> GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA


A recent Jane Street blog describes their new Core_profiler library,
with some hints about how they avoid allocation:

https://blogs.janestreet.com/what-the-interns-have-wrought-rpc_parallel-and-core_profiler/

--
Len

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