edits

[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / deque.c

diff --git a/benchmark/chase-lev-deque-bugfix/deque.c b/benchmark/chase-lev-deque-bugfix/deque.c
index 4fc9ff3e248281b4ae0385fd71f15ad6fdd93b10..bb12be0b09a222cfd2bbd1cca1fa0e329fa3a39a 100644 (file)
--- a/benchmark/chase-lev-deque-bugfix/deque.c
+++ b/benchmark/chase-lev-deque-bugfix/deque.c
@@ -154,7 +154,7 @@ int steal(Deque *q) {
                @Label: StealReadTop1
                @End
        */
                @Label: StealReadTop1
                @End
        */

-       //FIXME: remove the fence causes no error and fewer executions..
+       /********** SPEC error (testcase3.c) **********/

        atomic_thread_fence(memory_order_seq_cst);
        /**** SPEC & UL ****/
        size_t b = atomic_load_explicit(&q->bottom, memory_order_acquire);
        atomic_thread_fence(memory_order_seq_cst);
        /**** SPEC & UL ****/
        size_t b = atomic_load_explicit(&q->bottom, memory_order_acquire);