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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).