Changeset 9019b14 for libcfa

Timestamp:

Jun 14, 2020, 3:00:31 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

016b1eb, fb19194

Parents:

79aae15

Message:

make "top" pointer volatile to prevent code movement

File:

• libcfa/src/containers/stackLockFree.hfa (modified) (3 diffs)

libcfa/src/containers/stackLockFree.hfa

@@ -9 +9 @@
 // Created On       : Wed May 13 20:58:58 2020
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jun 13 12:24:37 2020
-// Update Count     : 62
+// Last Modified On : Sun Jun 14 13:25:09 2020
+// Update Count     : 64
 // 
 
@@ -20 +20 @@
 union Link {
         struct {                                                                                        // 32/64-bit x 2
-                T * top;                                                                                // pointer to stack top
+                T * volatile top;                                                               // pointer to stack top
                 uintptr_t count;                                                                // count each push
         };
@@ -49 +49 @@
 
                 T * pop( StackLF(T) & this ) with(this) {
-                        Link(T) t @= {};
-                        t = stack;                                                                      // atomic assignment unnecessary, or use CAA
+                        Link(T) t @= stack;                                                     // atomic assignment unnecessary, or use CAA
                         for () {                                                                        // busy wait
                           if ( t.top == 0p ) return 0p;                         // empty stack ?