X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=CodingStyle;h=2f24ee396f057ded30413ad71e80e46797d10be9;hb=86c1d8dcc38489c9b04ec242a14f6ec64c81fb24;hp=55b37a1cbc67361786864e844f9955460079d152;hpb=7aaeab4df24b7e9460705b1dad1010eef0354c50;p=sliver-openvswitch.git

diff --git a/CodingStyle b/CodingStyle
index 55b37a1cb..2f24ee396 100644
--- a/CodingStyle
+++ b/CodingStyle
@@ -298,6 +298,21 @@ the name of each enum.  For example:
     };
 
 
+THREAD SAFETY ANNOTATIONS
+
+  Use the macros in lib/compiler.h to annotate locking requirements.
+For example:
+
+    static struct ovs_mutex mutex = OVS_MUTEX_INITIALIZER;
+    static struct ovs_rwlock rwlock = OVS_RWLOCK_INITIALIZER;
+
+    void function_require_plain_mutex(void) OVS_REQUIRES(mutex);
+    void function_require_rwlock(void) OVS_REQ_RDLOCK(rwlock);
+
+  Pass lock objects, not their addresses, to the annotation macros.
+(Thus we have OVS_REQUIRES(mutex) above, not OVS_REQUIRES(&mutex).)
+
+
 SOURCE FILES
 
   Each source file should state its license in a comment at the very