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

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

On 30 Oct 2014, at 09:36, Thomas Leonard <talex5@xxxxxxxxx> wrote:
> On 28 October 2014 22:36, Daniel BÃnzli <daniel.buenzli@xxxxxxxxxxxx> wrote:
>> Le mardi, 28 octobre 2014 Ã 23:21, Anil Madhavapeddy a Ãcrit :
>>> Assemblage is still undergoing 'rapid iteration', so I'd suggest
>>> switching to OASIS until we have a more stable version. ThomasG or
>>> Daniel Buenzli can correct me if that's not accurate.
>> That's accurate. If we agree with Thomas on the PR I'm going to make next 
>> week, the current API completely changes and assemble.ml files will need 
>> rewriting. We need time to design a great system and it's better if we don't 
>> encumber ourselves with users at the moment.
> OK, done (thanks to Thomas for some OPAM help!). I think the main
> thing now is to agree the API for libraries to record tracing events.
> Here's what I have so far:
> https://github.com/talex5/mirage-profile/blob/new-api/lib/trace_stubs.mli
> https://github.com/talex5/mirage-profile/blob/new-api/lib/counter.mli

Does note_suspend/note_resume here refer to dropping in the scheduler (the
equivalent of blocking the domain)?  It could easily be conflated with
VM suspend/resume (which is a higher-level protocol).  The actual state
transition is "waiting for I/O", so perhaps we should name it after that?

To echo Mort's comment, istr in Xenstore that there was a problem with many
duplicate strings for labels, so it has a module somewhere that creates
a Symbol.t that dedups similar strings, and also has the benefit that
comparison can be done via fast equality rather than byte-by-byte checking.
It also allows errors to be flagged up if (for example) duplicate symbol
names are used in different programs.

MirageOS-devel mailing list



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