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

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

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

The downside if that approach is that you need a GC to collect dead symbols 
regularly. Dave's newer versions removed that cache of symbols to keep things 
simple.

Thomas 


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