Changeset 64ed0bb3 in rtems for cpukit/score/include/rtems/score/smplockseq.h

Timestamp:

Jul 14, 2016, 12:55:49 PM (5 years ago)

Author:

Sebastian Huber <sebastian.huber@…>

Branches:

5, master

Children:

992494e

Parents:

059529e

git-author:

Sebastian Huber <sebastian.huber@…> (07/14/16 12:55:49)

git-committer:

Sebastian Huber <sebastian.huber@…> (07/22/16 09:24:53)

Message:

score: Assert proper seqlock writer state

Helps to detect invalid concurrent writes.

File:

• cpukit/score/include/rtems/score/smplockseq.h (modified) (2 diffs)

cpukit/score/include/rtems/score/smplockseq.h

@@ -22 +22 @@
 #if defined(RTEMS_SMP)
 
+#include <rtems/score/assert.h>
 #include <rtems/score/atomic.h>
 
@@ -103 +104 @@
 
   seq = _Atomic_Load_uint( &lock->sequence, ATOMIC_ORDER_RELAXED );
+  _Assert( seq % 2 == 0 );
+
   _Atomic_Store_uint( &lock->sequence, seq + 1, ATOMIC_ORDER_RELAXED );