edits

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
        */
-       //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);

diff --git a/benchmark/chase-lev-deque-bugfix/deque.h b/benchmark/chase-lev-deque-bugfix/deque.h
index e652f2236fc57929e9566782dec092d6eded227e..9292e16c997dc8d539f9142d82e721ac8a4b8f23 100644 (file)
--- a/benchmark/chase-lev-deque-bugfix/deque.h
+++ b/benchmark/chase-lev-deque-bugfix/deque.h
@@ -42,6 +42,7 @@ typedef struct {
         Push -> Steal
        @Commutativity: Push <-> Steal: true
        @Commutativity: Take <-> Steal: true
+       @Commutativity: Steal <-> Steal: _Method1.__RET__ == ABORT || _Method2.__RET__ == ABORT
 
     @End
 */

diff --git a/benchmark/notes.txt b/benchmark/notes.txt
new file mode 100644 (file)
index 0000000..3a07f07
--- /dev/null
+++ b/benchmark/notes.txt
@@ -0,0 +1,13 @@
+#1: Lines of code (without comment and space):
+-------------------------------------------------------------------------------
+Language                     files          blank        comment           code
+-------------------------------------------------------------------------------
+C/C++ Header                     8            180            702            575
+C                                5             94            507            427
+C++                              6             76            129            285
+-------------------------------------------------------------------------------
+SUM:                            19            350           1338           1287
+
+---------------------
+In total: 1287
+average: 143