From: Peizhao Ou <peizhaoo@uci.edu>
Date: Fri, 20 Nov 2015 21:07:46 +0000 (-0800)
Subject: edits
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d1da7bb66eab25dfab97f46d9e2c34cdbf380a31;p=cdsspec-compiler.git
edits
---
diff --git a/benchmark/chase-lev-deque-bugfix/deque.c b/benchmark/chase-lev-deque-bugfix/deque.c
index 4fc9ff3..bb12be0 100644
--- 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 e652f22..9292e16 100644
--- 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
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