The patch titled
SRCU: add lock annotations to srcu_read_lock and srcu_read_unlock
has been removed from the -mm tree. Its filename is
srcu-3-rcu-variant-permitting-read-side-blocking-srcu-add-lock-annotations.patch
This patch was dropped because it was folded into srcu-3-rcu-variant-permitting-read-side-blocking.patch
------------------------------------------------------
Subject: SRCU: add lock annotations to srcu_read_lock and srcu_read_unlock
From: Josh Triplett <josht@xxxxxxxxxx>
Add an __acquires annotation to srcu_read_lock, and add a __releases
annotation to srcu_read_unlock. This allows static analysis tools to
detect improperly paired calls to these functions.
Signed-off-by: Josh Triplett <josh@xxxxxxxxxxxxxxx>
Cc: "Paul E. McKenney" <paulmck@xxxxxxxxxx>
Signed-off-by: Andrew Morton <akpm@xxxxxxxx>
---
include/linux/srcu.h | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff -puN include/linux/srcu.h~srcu-3-rcu-variant-permitting-read-side-blocking-srcu-add-lock-annotations include/linux/srcu.h
--- a/include/linux/srcu.h~srcu-3-rcu-variant-permitting-read-side-blocking-srcu-add-lock-annotations
+++ a/include/linux/srcu.h
@@ -42,8 +42,8 @@ struct srcu_struct {
void init_srcu_struct(struct srcu_struct *sp);
void cleanup_srcu_struct(struct srcu_struct *sp);
-int srcu_read_lock(struct srcu_struct *sp);
-void srcu_read_unlock(struct srcu_struct *sp, int idx);
+int srcu_read_lock(struct srcu_struct *sp) __acquires(sp);
+void srcu_read_unlock(struct srcu_struct *sp, int idx) __releases(sp);
void synchronize_srcu(struct srcu_struct *sp);
long srcu_batches_completed(struct srcu_struct *sp);
void cleanup_srcu_struct(struct srcu_struct *sp);
_
Patches currently in -mm which might be from josht@xxxxxxxxxx are
origin.patch
srcu-3-rcu-variant-permitting-read-side-blocking.patch
srcu-3-rcu-variant-permitting-read-side-blocking-srcu-add-lock-annotations.patch
rcu-add-module_author-to-rcutorture-module.patch
rcu-mention-rcu_bh-in-description-of-rcutortures.patch
rcu-avoid-kthread_stop-on-invalid-pointer-if-rcutorture.patch
rcu-fix-sign-bug-making-rcu_random-always-return-the-same.patch
rcu-add-fake-writers-to-rcutorture.patch
rcu-add-fake-writers-to-rcutorture-tidy.patch
rcu-refactor-srcu_torture_deferred_free-to-work-for.patch
rcu-add-rcu_sync-torture-type-to-rcutorture.patch
rcu-add-rcu_bh_sync-torture-type-to-rcutorture.patch
rcu-add-sched-torture-type-to-rcutorture.patch
rcu-credits-and-maintainers.patch
-
To unsubscribe from this list: send the line "unsubscribe mm-commits" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
