changes to the spec of deque
[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / deque.c
index d174122..fbd723b 100644 (file)
@@ -62,7 +62,7 @@ int take(Deque *q) {
                        bool succ = atomic_compare_exchange_strong_explicit(&q->top, &t, t +
                                1, memory_order_seq_cst, memory_order_relaxed);
                        /**
-                               @Begin
+                               //@Begin
                                @Commit_point_define_check: succ 
                                @Label: Take_CAS_Top
                                @End
@@ -70,7 +70,7 @@ int take(Deque *q) {
 
                        /**
                                @Begin
-                               @Additional_ordering_point_define_check: !succ
+                               @Additional_ordering_point_define_check: true
                                @Label: Take_Additional_Point
                                @End
                        */
@@ -201,7 +201,7 @@ int steal(Deque *q) {
                bool succ = atomic_compare_exchange_strong_explicit(&q->top, &t, t + 1,
                        memory_order_seq_cst, memory_order_relaxed);
                /**
-                       @Begin
+                       //@Begin
                        @Commit_point_define_check: succ
                        @Label: Steal_CAS_Top
                        @End
@@ -209,7 +209,7 @@ int steal(Deque *q) {
 
                /**
                        @Begin
-                       @Additional_ordering_point_define_check: !succ
+                       @Additional_ordering_point_define_check: true 
                        @Label: Steal_Additional_Point
                        @End
                */