[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20080715175025.GA1936@Krystal>
Date: Tue, 15 Jul 2008 13:50:25 -0400
From: Mathieu Desnoyers <mathieu.desnoyers@...ymtl.ca>
To: Peter Zijlstra <peterz@...radead.org>
Cc: akpm@...ux-foundation.org, Ingo Molnar <mingo@...e.hu>,
linux-kernel@...r.kernel.org,
Masami Hiramatsu <mhiramat@...hat.com>,
"Frank Ch. Eigler" <fche@...hat.com>,
Hideo AOKI <haoki@...hat.com>,
Takashi Nishiie <t-nishiie@...css.fujitsu.com>,
Steven Rostedt <rostedt@...dmis.org>,
Alexander Viro <viro@...iv.linux.org.uk>,
Eduard - Gabriel Munteanu <eduard.munteanu@...ux360.ro>,
Paul E McKenney <paulmck@...ux.vnet.ibm.com>
Subject: Re: [patch 01/15] Kernel Tracepoints
* Peter Zijlstra (peterz@...radead.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
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists