From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: linux-kernel@vger.kernel.org
Cc: mingo@elte.hu, laijs@cn.fujitsu.com, dipankar@in.ibm.com,
akpm@linux-foundation.org, mathieu.desnoyers@polymtl.ca,
josh@joshtriplett.org, dvhltc@us.ibm.com, niv@us.ibm.com,
tglx@linutronix.de, peterz@infradead.org, rostedt@goodmis.org,
Valdis.Kletnieks@vt.edu, dhowells@redhat.com,
eric.dumazet@gmail.com
Subject: [PATCH tip/core/rcu 0/23] infrastructure for sparse checks for RCU usage
Date: Wed, 12 May 2010 14:33:17 -0700 [thread overview]
Message-ID: <20100512213317.GA15085@linux.vnet.ibm.com> (raw)
Hello!
This patchset pulls Arnd's sparse-checking commits out of the earlier
patchbomb (http://lkml.org/lkml/2010/5/4/298):
1. Add an rcu_dereference_check() API in order to continue supporting
the array-index use cases that would otherwise be invalidated
by this change.
2. Add an empty __rcu annotation API to reduce inter-commit dependency.
3-5. Updates to vfs, net, and mce to avoid breakage by later commits.
6. Introduce sparse __rcu functionality.
7. Update rculist primitives to avoid false positives.
8-22. Introduce __rcu annotations to cgroups, credentials, keys, nfs,
net, perf_event, notifiers, radix-tree, idr, input, net-netfilter,
kvm, and kernel.
23. Introduce __rcu annotations and checks to vhost.
These have been reordered and consolidated to reduce inter-commit
dependencies.
Thanx, Paul
b/arch/x86/include/asm/kvm_host.h | 2
b/arch/x86/kernel/cpu/mcheck/mce.c | 2
b/drivers/input/evdev.c | 2
b/drivers/net/bnx2.h | 2
b/drivers/net/bnx2x.h | 2
b/drivers/net/cnic.h | 2
b/drivers/net/macvtap.c | 2
b/drivers/vhost/net.c | 11 -
b/drivers/vhost/vhost.c | 14 -
b/drivers/vhost/vhost.h | 4
b/include/linux/cgroup.h | 4
b/include/linux/compiler.h | 2
b/include/linux/cred.h | 2
b/include/linux/fdtable.h | 1
b/include/linux/fs.h | 2
b/include/linux/genhd.h | 6
b/include/linux/idr.h | 4
b/include/linux/if_bridge.h | 3
b/include/linux/if_macvlan.h | 2
b/include/linux/igmp.h | 4
b/include/linux/init_task.h | 4
b/include/linux/input.h | 2
b/include/linux/iocontext.h | 2
b/include/linux/key.h | 3
b/include/linux/kvm_host.h | 2
b/include/linux/mm_types.h | 2
b/include/linux/netdevice.h | 12 -
b/include/linux/nfs_fs.h | 2
b/include/linux/notifier.h | 10
b/include/linux/perf_event.h | 6
b/include/linux/radix-tree.h | 4
b/include/linux/rculist.h | 53 +++-
b/include/linux/rculist_nulls.h | 16 +
b/include/linux/rcupdate.h | 33 +++
b/include/linux/sched.h | 2
b/include/linux/srcu.h | 27 ++
b/include/linux/sunrpc/auth_gss.h | 4
b/include/net/dst.h | 2
b/include/net/fib_rules.h | 2
b/include/net/garp.h | 2
b/include/net/inet_sock.h | 2
b/include/net/ip6_tunnel.h | 2
b/include/net/ipip.h | 6
b/include/net/net_namespace.h | 2
b/include/net/netfilter/nf_conntrack.h | 2
b/include/net/netns/xfrm.h | 2
b/include/net/sock.h | 4
b/kernel/cgroup.c | 2
b/kernel/pid.c | 2
b/kernel/rcupdate.c | 6
b/kernel/sched.c | 2
b/lib/Kconfig.debug | 13 +
b/lib/radix-tree.c | 2
b/net/802/stp.c | 4
b/net/bridge/br_fdb.c | 2
b/net/bridge/br_private.h | 8
b/net/bridge/netfilter/ebt_redirect.c | 2
b/net/bridge/netfilter/ebt_ulog.c | 4
b/net/bridge/netfilter/ebtables.c | 4
b/net/ipv4/ip_gre.c | 2
b/net/ipv4/ipip.c | 10
b/net/ipv4/netfilter/nf_nat_core.c | 2
b/net/ipv4/protocol.c | 2
b/net/ipv4/route.c | 2
b/net/ipv4/tcp.c | 4
b/net/ipv6/ip6_tunnel.c | 6
b/net/ipv6/protocol.c | 2
b/net/ipv6/sit.c | 10
b/net/mac80211/ieee80211_i.h | 15 -
b/net/mac80211/sta_info.h | 4
b/net/netfilter/core.c | 2
b/net/netfilter/nf_conntrack_ecache.c | 4
b/net/netfilter/nf_conntrack_extend.c | 2
b/net/netfilter/nf_conntrack_proto.c | 4
b/net/netfilter/nf_log.c | 2
b/net/netfilter/nf_queue.c | 2
b/net/netfilter/nfnetlink_log.c | 4
b/net/netfilter/nfnetlink_queue.c | 4
b/net/netlabel/netlabel_domainhash.c | 4
b/net/netlabel/netlabel_unlabeled.c | 4
b/net/netlink/af_netlink.c | 2
b/net/phonet/af_phonet.c | 2
b/net/phonet/pn_dev.c | 2
b/net/socket.c | 2
include/linux/compiler.h | 4
include/linux/fdtable.h | 6
include/linux/kvm_host.h | 4
include/linux/rcupdate.h | 352 +++++++++++++++++++--------------
include/linux/sched.h | 6
89 files changed, 498 insertions(+), 307 deletions(-)
next reply other threads:[~2010-05-12 21:33 UTC|newest]
Thread overview: 55+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-12 21:33 Paul E. McKenney [this message]
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 01/23] rcu: add an rcu_dereference_index_check() Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 02/23] rcu: add __rcu API for later sparse checking Paul E. McKenney
2010-05-13 20:53 ` Matt Helsley
2010-05-13 21:48 ` Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 03/23] vfs: add fs.h to define struct file Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 04/23] net: Make accesses to ->br_port safe for sparse RCU Paul E. McKenney
2010-05-12 21:44 ` Stephen Hemminger
2010-05-12 22:35 ` Paul E. McKenney
2010-05-13 1:33 ` Stephen Hemminger
2010-05-13 2:00 ` Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 05/23] mce: convert to rcu_dereference_index_check() Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 06/23] rcu: define __rcu address space modifier for sparse Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 07/23] rculist: avoid __rcu annotations Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 08/23] cgroups: " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 09/23] credentials: rcu annotation Paul E. McKenney
2010-05-13 10:04 ` David Howells
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 10/23] keys: __rcu annotations Paul E. McKenney
2010-05-13 10:05 ` David Howells
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 11/23] nfs: " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 12/23] net: __rcu annotations for drivers Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 13/23] perf_event: __rcu annotations Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 14/23] notifiers: " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 15/23] radix-tree: " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 16/23] idr: " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 17/23] input: " Paul E. McKenney
2010-05-13 7:40 ` Dmitry Torokhov
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 18/23] net/netfilter: " Paul E. McKenney
2010-05-13 13:21 ` Patrick McHardy
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 19/23] kvm: add " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 20/23] kernel: " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 21/23] net: " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 22/23] kvm: more " Paul E. McKenney
2010-05-12 21:33 ` [PATCH RFC tip/core/rcu 23/23] vhost: add " Paul E. McKenney
2010-05-12 21:48 ` Michael S. Tsirkin
2010-05-12 23:00 ` Paul E. McKenney
2010-05-13 3:53 ` Michael S. Tsirkin
2010-05-13 4:49 ` Paul E. McKenney
2010-05-13 4:50 ` Michael S. Tsirkin
2010-05-13 19:55 ` Paul E. McKenney
2010-05-13 13:07 ` Peter Zijlstra
2010-05-13 15:23 ` Paul E. McKenney
2010-05-17 20:33 ` Michael S. Tsirkin
2010-05-17 21:06 ` Paul E. McKenney
2010-05-17 22:00 ` Mathieu Desnoyers
2010-05-17 23:05 ` Paul E. McKenney
2010-05-17 23:08 ` Michael S. Tsirkin
2010-05-17 23:40 ` Mathieu Desnoyers
2010-05-18 0:34 ` Paul E. McKenney
2010-05-18 1:35 ` Mathieu Desnoyers
2010-05-18 14:20 ` Paul E. McKenney
2010-05-18 14:25 ` Michael S. Tsirkin
2010-05-18 15:07 ` Paul E. McKenney
2010-05-18 14:47 ` Mathieu Desnoyers
2010-05-18 15:11 ` Paul E. McKenney
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20100512213317.GA15085@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.com \
--cc=Valdis.Kletnieks@vt.edu \
--cc=akpm@linux-foundation.org \
--cc=dhowells@redhat.com \
--cc=dipankar@in.ibm.com \
--cc=dvhltc@us.ibm.com \
--cc=eric.dumazet@gmail.com \
--cc=josh@joshtriplett.org \
--cc=laijs@cn.fujitsu.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mathieu.desnoyers@polymtl.ca \
--cc=mingo@elte.hu \
--cc=niv@us.ibm.com \
--cc=peterz@infradead.org \
--cc=rostedt@goodmis.org \
--cc=tglx@linutronix.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.