Re: [RFC PATCH]rcu,alpha: avoid smp_read_barrier_depends inrcu_dereference when pointer==NULL
From: Peter Zijlstra
Date: Sat Jun 21 2008 - 08:53:48 EST
On Sat, 2008-06-21 at 17:54 +0800, Lai Jiangshan wrote:
> Hi, Paul and Alpha hackers
>
> memory barrier is expensive, I think it's worth that adding an if-statement
> to avoid it when pointer == NULL.
>
> This patch change nothing in UP or in other architectures for compiler's
> optimization.
I suspect this optimization is invalid in the case where the loaded
value is used as an offset (either pointer or array index). But I'm
afraid I'll have to defer to Paul for explanations..
> Thanks, Lai Jiangshan
>
>
> Signed-off-by: Lai Jiangshan <laijs@xxxxxxxxxxxxxx>
> ---
> diff --git a/include/linux/rcupdate.h b/include/linux/rcupdate.h
> index d42dbec..8979f29 100644
> --- a/include/linux/rcupdate.h
> +++ b/include/linux/rcupdate.h
> @@ -143,7 +143,8 @@ struct rcu_head {
>
> #define rcu_dereference(p) ({ \
> typeof(p) _________p1 = ACCESS_ONCE(p); \
> - smp_read_barrier_depends(); \
> + if (_________p1) \
> + smp_read_barrier_depends(); \
> (_________p1); \
> })
>
>
>
>
> --
> 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/
--
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/