lkml.org 
[lkml]   [2008]   [Jul]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [patch 01/15] Kernel Tracepoints
    * Peter Zijlstra (peterz@infradead.org) wrote:
    > > > Anyway, does this still generate better code?
    > > >
    > >
    > > On x86_64 :
    > >
    > > 820: bf 01 00 00 00 mov $0x1,%edi
    > > 825: e8 00 00 00 00 callq 82a <thread_return+0x136>
    > > 82a: 48 8b 1d 00 00 00 00 mov 0x0(%rip),%rbx # 831 <thread_return+0x13d>
    > > 831: 48 85 db test %rbx,%rbx
    > > 834: 75 21 jne 857 <thread_return+0x163>
    > > 836: eb 27 jmp 85f <thread_return+0x16b>
    > > 838: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1)
    > > 83f: 00
    > > 840: 48 8b 95 68 ff ff ff mov -0x98(%rbp),%rdx
    > > 847: 48 8b b5 60 ff ff ff mov -0xa0(%rbp),%rsi
    > > 84e: 4c 89 e7 mov %r12,%rdi
    > > 851: 48 83 c3 08 add $0x8,%rbx
    > > 855: ff d0 callq *%rax
    > > 857: 48 8b 03 mov (%rbx),%rax
    > > 85a: 48 85 c0 test %rax,%rax
    > > 85d: 75 e1 jne 840 <thread_return+0x14c>
    > > 85f: bf 01 00 00 00 mov $0x1,%edi
    > > 864:
    > >
    > > for 68 bytes.
    > >
    > > My original implementation was 77 bytes, so yes, we have a win.
    >
    > Ah, good good ! :-)
    >

    For the same number of instruction bytes, here is yet another improvement. I
    removed the it_func[0] NULL test case, which is impossible. We never
    have an empty array. If the array is empty, the array pointer is set to
    NULL and the array is eventually freed when a quiescent state is reached.

    /*
    * it_func[0] is never NULL because there is at least one element in the array
    * when the array itself is non NULL.
    */
    #define __DO_TRACE(tp, proto, args) \
    do { \
    void **it_func; \
    \
    preempt_disable(); \
    it_func = rcu_dereference((tp)->funcs); \
    if (it_func) { \
    do { \
    ((void(*)(proto))(*it_func))(args); \
    } while (*(++it_func)); \
    } \
    preempt_enable(); \
    } while (0)

    P.S.: I'll change the preempt_enable/disable for rcu locks when I port
    this patchset to linux.next. I temporarily keep the preempt
    disable/enable statements.

    Mathieu

    --
    Mathieu Desnoyers
    OpenPGP key fingerprint: 8CD5 52C3 8E3C 4140 715F BA06 3F25 A8FE 3BAE 9A68


    \
     
     \ /
      Last update: 2008-07-15 19:53    [W:0.050 / U:0.416 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site