[PATCH tip/core/rcu 0/3] Documentation updates for 4.2

From: Paul E. McKenney
Date: Tue May 12 2015 - 17:31:00 EST


This series provides a few documentation updates:

1. Fix description of smp_mb__before_spinlock() semantics, courtesy
of Will Deacon.

2. Add another caveat to the list regarding the care and feeding
of pointers returned by rcu_derefence(). You cannot let the
compiler know too much.

3. Explicitly state that each instance of rcu_dereference() will
reload the pointer, courtesy of Milos Vyletel.

Thanx, Paul


b/Documentation/RCU/rcu_dereference.txt | 5 +++++
b/Documentation/RCU/whatisRCU.txt | 4 +++-
b/Documentation/memory-barriers.txt | 7 +++----
b/include/linux/spinlock.h | 2 +-
4 files changed, 12 insertions(+), 6 deletions(-)

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/