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 a0797bc28bd5435ca101181d0a66c20514dab48b..5d20f3067f4674dde6b5dc936bdbd41e7c45eedf 100644 (file)
--- a/benchmark/mpmc-queue/mpmc-queue.h
+++ b/benchmark/mpmc-queue/mpmc-queue.h
@@ -63,7 +63,7 @@ public:
        /**
                @Begin
                @Interface: Fetch
-               @Commit_point_set: Fetch_Succ_Point
+               @Commit_point_set: Fetch_Succ_Point | Fetch_Fail_Point
                @ID: (call_id_t) __RET__
                @End
        */
@@ -71,8 +71,8 @@ public:
                unsigned int rdwr = m_rdwr.load(mo_acquire);
                /**
                        @Begin
-                       @Commit_point_define_check: (rdwr>>16) & 0xFFFF == rdwr & 0xFFFF
-                       @Label: Fetch_Succ_Point1
+                       @Potential_commit_point_define: true
+                       @Label: Fetch_Potential_Point
                        @End
                */
                unsigned int rd,wr;
@@ -81,6 +81,13 @@ public:
                        wr = rdwr & 0xFFFF;
 
                        if ( wr == rd ) { // empty
+                               /**
+                                       @Begin
+                                       @Commit_point_define: true
+                                       @Potential_commit_point_label: Fetch_Potential_Point 
+                                       @Label: Fetch_Fail_Point
+                                       @End
+                               */
                                return false;
                        }
                        
@@ -99,7 +106,7 @@ public:
                        /**
                                @Begin
                                @Commit_point_define_check: (tmp & 0xFFFF) == wr
-                               @Label: Fetch_Succ_Point2
+                               @Label: Fetch_Succ_Point
                                @End
                        */
                        if ((tmp & 0xFFFF) == wr)