Re: [patch 0/2] Immediate Values - jump patching update

From: Ingo Molnar
Date: Tue Apr 29 2008 - 08:08:58 EST



* H. Peter Anvin <hpa@xxxxxxxxx> wrote:

>> At least one complication though is that in the case of markers,
>> tracing parameter evaluation is itself conditional (and placed out of
>> the hot path due to -freorder-blocks). With your suggested kind of
>> assembly ("g" constraints for all the expressions), those expressions
>> would be evaluated unconditionally, just to make them live somewhere.
>> That unconditional evaluation can easily entail memory reads and
>> dependent arithmetic, which could swamp the savings of eliminating
>> the marker-style conditional branch.
>
> Well, it depends a bit on what kind of expressions you put in there.
> You don't really want to put *expressions* in there as much as you
> want to put *data* references in there, although, of course, if your
> have something like "foo->bar[baz]->quux" then it's easy to trip upon.

and that's exactly what was tripped upon in sched.o and analyzed.

Furthermore, the suggestion of doing this exclusively within the DWARF2
space - besides the not particularly minor complication of it not being
implemented yet - is:

- quite substantially complex on its own

- would make Linux instrumentation dependent on all sorts of DWARF2
details which we had our 'fun' with before. (I proffer that that's
more fragile than any code patching can ever be.)

- if done self-sufficiently (i.e. if a kernel image can be used to
trace things, which i believe any usable kernel tracer must offer),
it would, with the current debug info format, enlargen the kernel RAM
image with quite a substantial amount of unswappable kernel memory.

But i would not mind such a scheme at all (it is in essence SystemTap
integrated into the core kernel) - in fact if your scheme gets
implemented then the current marker facilities could be ported to that
scheme transparently.

So i dont see how it can be a loss to stick with the current markers for
the time being. If the super-optimized runtime patching in this thread
is deemed too fragile we simply wont do that and live with the (small)
runtime overhead that current markers have.

This is a sane plan IMO, basically all the instrumentation folks agree
with it (SystemTap, LTTNG, kprobes, ftrace), the scheduler folks agree
with it as well and we'd like to move on.

Ingo
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/