Messages in this thread | | | Date | Wed, 22 Sep 2010 15:43:31 -0400 | From | Mathieu Desnoyers <> | Subject | Re: [PATCH 2/2] Rewrite jump_label.c to use binary search |
| |
* H. Peter Anvin (hpa@zytor.com) wrote: > On 09/22/2010 03:08 AM, Andi Kleen wrote: >> >> I believe it's also much cleaner than before. >> >> I did some performance tests comparing the hash implementation >> with the binary search. This was with a moderate config x86-64 >> kernel with 68 modules loaded and about 480 trace points active >> in several modules and 1340 dynamic debug statements. >> > > Now, the ideal data structure for this stuff is something called a > minimal perfect hash. This is something that would have to be generated > (for each module and for the monolithic kernel) at compile time -- > presumably in modpost -- because the static generation of them is fairly > complex. > > That would provide extremely simple handling in the kernel (just do some > shifts and a table lookup and you have your answer) and if combined with > an AVL or red-black tree holding the module addresses it would give > extremely fast address-to-metadata lookup, not just for this but also > for things like exception handling. > > I have used MPH's in other projects and pitched them to Linus at one > point for exception handling. What is clear, though, is that we should > do the same thing for exceptions, trace points, and any other similar > things that depend on exact PC.
That's a very interesting idea, which applies very well to exception handlers, but tracepoints and static jumps suffer from the problem that there are many possible instances of the same key.
Tracepoints use a lookup by tracepoint name. Static jumps use a lookup by associated variable address (but this variable can be associated with many instances, e.g. in the case of static inline functions, or just when the same variable is used to control many instances of static jumps).
But maybe we could find a way to do an initial sort phase, so the perfect hash could point to the first entry corresponding to the looked up key ?
Thanks,
Mathieu
-- Mathieu Desnoyers Operating System Efficiency R&D Consultant EfficiOS Inc. http://www.efficios.com
| |