commit fa77e8fb1cc8a87a4a31792698e7200c4195583e
author Dave Barach <dave@barachs.net> Sun Oct 15 17:20:40 2017 -0400
committer Florin Coras <florin.coras@gmail.com> Sun Oct 15 22:14:15 2017 +0000
tree 6dfa3d416173dbd3dde063f5d7db9c5b10d18086
parent d172a62365523427aebd34444736632c9a68a463

Fix minor issues in clib_spinlock_unlock()

Change-Id: I20ce799c9dd57332c06003b466ee7c36169bce98
Signed-off-by: Dave Barach <dave@barachs.net>

src/vppinfra/lock.h

diff --git a/src/vppinfra/lock.h b/src/vppinfra/lock.h
index 0cd2b4f..7d24167 100644
--- a/src/vppinfra/lock.h
+++ b/src/vppinfra/lock.h
@@ -71,12 +71,14 @@
 static_always_inline void
 clib_spinlock_unlock (clib_spinlock_t * p)
 {
-  (*p)->lock = 0;
 #if CLIB_DEBUG > 0
   (*p)->frame_address = 0;
   (*p)->pid = 0;
   (*p)->thread_index = 0;
 #endif
+  /* Make sure all writes are complete before releasing the lock */
+  CLIB_MEMORY_BARRIER ();
+  (*p)->lock = 0;
 }
 
 static_always_inline void