| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-Id: <1156272745.4360.61.camel@josh-work.beaverton.ibm.com> Date: Tue, 22 Aug 2006 11:52:25 -0700 From: Josh Triplett <josht@...ibm.com> To: linux-kernel@...r.kernel.org Cc: Andrew Morton <akpm@...l.org>, Paul McKenney <paulmck@...ibm.com>, Dipkanar Sarma <dipankar@...ibm.com> Subject: [PATCH] SRCU: add lock annotations to srcu_read_lock and srcu_read_unlock 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@...edesktop.org> --- include/linux/srcu.h | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/include/linux/srcu.h b/include/linux/srcu.h index a950d26..aca0eee 100644 --- a/include/linux/srcu.h +++ b/include/linux/srcu.h @@ -45,8 +45,8 @@ #endif /* #else #ifndef CONFIG_PREEMPT * int 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); - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@...r.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists