From d1da7bb66eab25dfab97f46d9e2c34cdbf380a31 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Fri, 20 Nov 2015 13:07:46 -0800 Subject: [PATCH] edits --- benchmark/chase-lev-deque-bugfix/deque.c | 2 +- benchmark/chase-lev-deque-bugfix/deque.h | 1 + benchmark/notes.txt | 13 +++++++++++++ 3 files changed, 15 insertions(+), 1 deletion(-) create mode 100644 benchmark/notes.txt 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 -- 2.34.1