[lkml]   [2009]   [Nov]   [18]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [RFC PATCH 0/6] jump label v3
    This looks like another good iteration, still imperfect but getting there.

    There are three aspects of this work that are largely separable.

    1. the actual instruction-poking for runtime switching

    Masami, Mathieu, et al are hashing this out and I have stopped trying to
    keep track of the details.

    2. optimal compiled hot path code

    You and Richard have been working on this in gcc and we know the state
    of it now. When we get the cold labels feature done, it will be ideal
    for -O(2?). But people mostly use -Os and there no block reordering
    gets done now (I think perhaps this even means likely/unlikely don't
    really change which path is the straight line, just the source order
    of the blocks still determines it). So we hope for more incremental
    improvements here, and maybe even really optimal code for -O2 soon.
    But at least for -Os it may not be better than "unconditional jump
    around" as the "straight line" path in the foreseeable future. As
    noted, that alone is still a nice savings over the status quo for the
    disabled case. (You gave an "average cycles saved" for this vs a load
    and test, but do you have any comparisons of how those two compare to
    no tracepoint at all?)

    3. bookkeeping magic to find all the jumps to enable for a given tracepoint

    Here you have a working first draft, but it looks pretty clunky.
    That strcmp just makes me gag. For a first version that's still
    pretty simple, I think it should be trivial to use a pointer
    comparison there. For tracepoints, it can be the address of the
    struct tracepoint. For the general case, it can be the address of
    the global that would be flag variable in case of no asm goto support.

    For more incremental improvements, we could cut down on running
    through the entire table for every switch. If there are many
    different switches (as there are already for many different
    tracepoints), then you really just want to run through the
    insn-patch list for the particular switch when you toggle it.

    It's possible to group this all statically at link time, but all
    the linker magic hacking required to get that to go is probably
    more trouble than it's worth.

    A simple hack is to run through the big unsorted table at boot time
    and turn it into a contiguous table for each switch. Then
    e.g. hang each table off the per-switch global variable by the same
    name that in a no-asm-goto build would be the simple global flag.

    Finally, for using this for general purposes unrelated to tracepoints,
    I envision something like:


    foo(int x, int y)
    if (x > y && mostly_not(foobar))
    do_foobar(x - y);

    ... set_mostly_not(foobar, onoff);

    where it's:

    #define DECLARE_MOSTLY_NOT(name) ... __something_##name
    #define mostly_not(name) ({ int _doit = 0; __label__ _yes; \
    JUMP_LABEL(name, _yes, __something_##name); \
    if (0) _yes: __cold _doit = 1; \
    unlikely (_doit); })

    I don't think we've tried to figure out how well this compiles yet.
    But it shows the sort of thing that we can do to expose this feature
    in a way that's simple and unrestrictive for kernel code to use casually.


     \ /
      Last update: 2009-11-19 04:57    [W:0.022 / U:16.756 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site