edits
authorPeizhao Ou <peizhaoo@uci.edu>
Fri, 20 Nov 2015 21:07:46 +0000 (13:07 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Fri, 20 Nov 2015 21:07:46 +0000 (13:07 -0800)
benchmark/chase-lev-deque-bugfix/deque.c
benchmark/chase-lev-deque-bugfix/deque.h
benchmark/notes.txt [new file with mode: 0644]

index 4fc9ff3..bb12be0 100644 (file)
@@ -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);
index e652f22..9292e16 100644 (file)
@@ -42,6 +42,7 @@ typedef struct {
         Push -> Steal
        @Commutativity: Push <-> Steal: true
        @Commutativity: Take <-> Steal: true
         Push -> Steal
        @Commutativity: Push <-> Steal: true
        @Commutativity: Take <-> Steal: true
+       @Commutativity: Steal <-> Steal: _Method1.__RET__ == ABORT || _Method2.__RET__ == ABORT
 
     @End
 */
 
     @End
 */
diff --git a/benchmark/notes.txt b/benchmark/notes.txt
new file mode 100644 (file)
index 0000000..3a07f07
--- /dev/null
@@ -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