[lkml]   [2009]   [Dec]   [3]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [PATCH] x86: slightly shorten __ticket_spin_trylock() (v2)

    On Thu, 3 Dec 2009, Jan Beulich wrote:
    > -static __always_inline int __ticket_spin_trylock(raw_spinlock_t *lock)
    > +static __always_inline u8 __ticket_spin_trylock(raw_spinlock_t *lock)
    > {
    > int tmp, new;
    > @@ -88,12 +88,11 @@ static __always_inline int __ticket_spin
    > LOCK_PREFIX "cmpxchgw %w1,%2\n\t"
    > "1:"
    > "sete %b1\n\t"
    > - "movzbl %b1,%0\n\t"
    > : "=&a" (tmp), "=&q" (new), "+m" (lock->slock)
    > :
    > : "memory", "cc");
    > - return tmp;
    > + return new;

    This is fairly pessimal register allocation.

    It used to be that we returned the value in 'tmp', which is %eax, which is
    also the expected return register. Now that we use 'new', it's some random
    other register that is _not_ %eax, which means that while we avoid a
    'movzbl', the regular spin_trylock function call case will now have the
    compiler emitting a

    movb %X,%al

    at the end just to get the right return register.

    Which seems a bit annoying. It looks like we could have done that last
    instruction as just

    sete %b0

    instead, and then return 'tmp' instead of 'new', keeping the return value
    in %al and avoiding the unnecessary movement.

    > -static __always_inline int __ticket_spin_trylock(raw_spinlock_t *lock)
    > +static __always_inline u8 __ticket_spin_trylock(raw_spinlock_t *lock)

    Same thing here, afaik.

    NOTE! I haven't actually looked at the generated code, and if we actually
    inline it all the way to the caller, it won't matter (and picking another
    register may even help). But while these helpers are marked
    __always_inline, I _thought_ that the way we actually build the final
    'spin_trylock()' function we end up with a real function in the end.

    Maybe I'm wrong.


     \ /
      Last update: 2009-12-03 22:15    [W:0.022 / U:1.460 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site