save

[cdsspec-compiler.git] / benchmark / mpmc-queue / mpmc-queue.h

diff --git a/benchmark/mpmc-queue/mpmc-queue.h b/benchmark/mpmc-queue/mpmc-queue.h
index 823603fe4a566abd1aa1d6bdf5fe40b881770729..0c94b6ef5133cf7226a2269dedacd53c9333b086 100644 (file)
--- a/benchmark/mpmc-queue/mpmc-queue.h
+++ b/benchmark/mpmc-queue/mpmc-queue.h
@@ -71,8 +71,8 @@ public:
                unsigned int rdwr = m_rdwr.load(mo_acquire);
                /**
                        @Begin
-                       @Potential_commit_point_define: true
-                       @Label: Fetch_Potential_Point
+                       @Commit_point_define_check: (unsigned int) ((rdwr>>16) & 0xFFFF) == (unsigned int) (rdwr & 0xFFFF)
+                       @Label: Fetch_Fail_Point
                        @End
                */
                unsigned int rd,wr;
@@ -80,14 +80,18 @@ public:
                        rd = (rdwr>>16) & 0xFFFF;
                        wr = rdwr & 0xFFFF;
 
+                       //model_print("cond: %d\n", (unsigned int) ((rdwr>>16) & 0xFFFF) ==
+                       //(unsigned int) (rdwr & 0xFFFF));
+                       //model_print("cond: %d\n", wr == rd);
                        if ( wr == rd ) { // empty
                                /**
-                                       @Begin
+                                       //@Begin
                                        @Commit_point_define: true
                                        @Potential_commit_point_label: Fetch_Potential_Point 
                                        @Label: Fetch_Fail_Point
                                        @End
                                */
+                               model_print("in cond\n");
                                return false;
                        }