From: Peizhao Ou Date: Sat, 21 Mar 2015 22:03:29 +0000 (-0700) Subject: deque results X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=21fb4500f1589722d7f2228b02e049653c118aea;p=model-checker-benchmarks.git deque results --- diff --git a/chase-lev-deque-bugfix/Makefile b/chase-lev-deque-bugfix/Makefile index 91faa81..750a0e4 100644 --- a/chase-lev-deque-bugfix/Makefile +++ b/chase-lev-deque-bugfix/Makefile @@ -2,7 +2,8 @@ include ../benchmarks.mk BENCH := deque -NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 testcase6 testcase7 testcase8 testcase9 testcase10 +#NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 testcase6 testcase7 testcase8 testcase9 testcase10 +NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 testcase6 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS)) diff --git a/chase-lev-deque-bugfix/interesting.txt b/chase-lev-deque-bugfix/interesting.txt index 48acef2..34ec629 100644 --- a/chase-lev-deque-bugfix/interesting.txt +++ b/chase-lev-deque-bugfix/interesting.txt @@ -1,4 +1,4 @@ -Result 3: +Result 0: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed wildcard 3 -> memory_order_relaxed @@ -7,10 +7,50 @@ wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed wildcard 7 -> memory_order_relaxed wildcard 8 -> memory_order_seq_cst -wildcard 9 -> memory_order_relaxed +wildcard 9 -> memory_order_acquire wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed -wildcard 12 -> memory_order_acquire +wildcard 12 -> memory_order_relaxed +wildcard 14 -> memory_order_release +wildcard 15 -> memory_order_relaxed +wildcard 16 -> memory_order_relaxed +wildcard 17 -> memory_order_relaxed +wildcard 18 -> memory_order_relaxed +wildcard 19 -> memory_order_relaxed +wildcard 20 -> memory_order_relaxed +wildcard 21 -> memory_order_relaxed +wildcard 22 -> memory_order_relaxed +wildcard 23 -> memory_order_release +wildcard 24 -> memory_order_relaxed +wildcard 25 -> memory_order_relaxed +wildcard 26 -> memory_order_relaxed +wildcard 27 -> memory_order_relaxed +wildcard 28 -> memory_order_relaxed +wildcard 29 -> memory_order_relaxed +wildcard 30 -> memory_order_release +wildcard 31 -> memory_order_release +wildcard 32 -> memory_order_relaxed +wildcard 33 -> memory_order_relaxed +wildcard 34 -> memory_order_seq_cst +wildcard 35 -> memory_order_acquire +wildcard 36 -> memory_order_acquire +wildcard 37 -> memory_order_relaxed +wildcard 38 -> memory_order_acquire +wildcard 39 -> memory_order_seq_cst + +Result 1: +wildcard 1 -> memory_order_relaxed +wildcard 2 -> memory_order_relaxed +wildcard 3 -> memory_order_relaxed +wildcard 4 -> memory_order_relaxed +wildcard 5 -> memory_order_relaxed +wildcard 6 -> memory_order_relaxed +wildcard 7 -> memory_order_relaxed +wildcard 8 -> memory_order_seq_cst +wildcard 9 -> memory_order_acquire +wildcard 10 -> memory_order_relaxed +wildcard 11 -> memory_order_relaxed +wildcard 12 -> memory_order_relaxed wildcard 14 -> memory_order_release wildcard 15 -> memory_order_relaxed wildcard 16 -> memory_order_relaxed diff --git a/chase-lev-deque-bugfix/note.txt b/chase-lev-deque-bugfix/note.txt index 1a38a48..f54d934 100644 --- a/chase-lev-deque-bugfix/note.txt +++ b/chase-lev-deque-bugfix/note.txt @@ -60,3 +60,15 @@ fences. ################################################## testcase5.c is a testcase that has 2 threads, 1 of which has 1 steal() and the other has 3 push() followed by 2 take(). + + +By running our testcases from 1-6, it took: +0m0.013s (testcase1) +0m0.028s (testcase2) +0m6.264s (testcase3) +0m0.824s (testcase4) +0m0.054s (testcase5) +9m19.887s (testcase6) + +In total: 9m27.02s + diff --git a/chase-lev-deque-bugfix/result1.txt b/chase-lev-deque-bugfix/result1.txt index 46078a8..be8390f 100644 --- a/chase-lev-deque-bugfix/result1.txt +++ b/chase-lev-deque-bugfix/result1.txt @@ -1,3 +1,11 @@ +peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time +./run.sh chase-lev-deque-bugfix/testcase1_wildcard -m2 -y -u3 -tSCFENCE -o +weaken &> /scratch/a + +real 0m0.032s +user 0m0.013s +sys 0m0.010s + Result 0: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed diff --git a/chase-lev-deque-bugfix/result2.txt b/chase-lev-deque-bugfix/result2.txt index 637352b..f6af1b9 100644 --- a/chase-lev-deque-bugfix/result2.txt +++ b/chase-lev-deque-bugfix/result2.txt @@ -1,3 +1,12 @@ +peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time +./run.sh chase-lev-deque-bugfix/testcase2_wildcard -m2 -y -u3 -tSCFENCE -o +fchase-lev-deque-bugfix/result1.txt -o weaken &> /scratch/a + +real 0m0.061s +user 0m0.028s +sys 0m0.020s + + Result 0: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed diff --git a/chase-lev-deque-bugfix/result3.txt b/chase-lev-deque-bugfix/result3.txt index 84d5a2c..d19d5fd 100644 --- a/chase-lev-deque-bugfix/result3.txt +++ b/chase-lev-deque-bugfix/result3.txt @@ -1,3 +1,12 @@ +peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time +./run.sh chase-lev-deque-bugfix/testcase3_wildcard -m2 -y -u3 -tSCFENCE -o +fchase-lev-deque-bugfix/result2.txt -o weaken &> /scratch/a + +real 0m6.858s +user 0m6.264s +sys 0m0.577s + + Result 0: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed diff --git a/chase-lev-deque-bugfix/result4.txt b/chase-lev-deque-bugfix/result4.txt index 29479ac..463d133 100644 --- a/chase-lev-deque-bugfix/result4.txt +++ b/chase-lev-deque-bugfix/result4.txt @@ -1,3 +1,12 @@ +peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time +./run.sh chase-lev-deque-bugfix/testcase4_wildcard -m2 -y -u3 -tSCFENCE -o +fchase-lev-deque-bugfix/result3.txt -o weaken &> /scratch/a + +real 0m0.918s +user 0m0.824s +sys 0m0.080s + + Result 0: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed @@ -5,7 +14,7 @@ wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_relaxed +wildcard 7 -> memory_order_release wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed @@ -45,7 +54,7 @@ wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_relaxed +wildcard 7 -> memory_order_release wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed @@ -165,7 +174,7 @@ wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_relaxed +wildcard 7 -> memory_order_release wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed @@ -205,7 +214,7 @@ wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_relaxed +wildcard 7 -> memory_order_release wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed diff --git a/chase-lev-deque-bugfix/result5.txt b/chase-lev-deque-bugfix/result5.txt index d7eab19..5d8c42b 100644 --- a/chase-lev-deque-bugfix/result5.txt +++ b/chase-lev-deque-bugfix/result5.txt @@ -1,3 +1,11 @@ +peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time +./run.sh chase-lev-deque-bugfix/testcase5_wildcard -m2 -y -u3 -tSCFENCE -o +fchase-lev-deque-bugfix/result4.txt -o weaken &> /scratch/a + +real 0m0.088s +user 0m0.054s +sys 0m0.019s + Result 0: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed @@ -5,14 +13,14 @@ wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_relaxed +wildcard 7 -> memory_order_release wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed wildcard 12 -> memory_order_acquire -wildcard 14 -> memory_order_release -wildcard 15 -> memory_order_relaxed +wildcard 14 -> memory_order_relaxed +wildcard 15 -> memory_order_release wildcard 16 -> memory_order_relaxed wildcard 17 -> memory_order_relaxed wildcard 18 -> memory_order_relaxed @@ -45,6 +53,86 @@ wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed +wildcard 7 -> memory_order_release +wildcard 8 -> memory_order_seq_cst +wildcard 9 -> memory_order_relaxed +wildcard 10 -> memory_order_relaxed +wildcard 11 -> memory_order_relaxed +wildcard 12 -> memory_order_acquire +wildcard 14 -> memory_order_relaxed +wildcard 15 -> memory_order_release +wildcard 16 -> memory_order_relaxed +wildcard 17 -> memory_order_relaxed +wildcard 18 -> memory_order_relaxed +wildcard 19 -> memory_order_relaxed +wildcard 20 -> memory_order_relaxed +wildcard 21 -> memory_order_relaxed +wildcard 22 -> memory_order_relaxed +wildcard 23 -> memory_order_release +wildcard 24 -> memory_order_relaxed +wildcard 25 -> memory_order_acquire +wildcard 26 -> memory_order_relaxed +wildcard 27 -> memory_order_relaxed +wildcard 28 -> memory_order_relaxed +wildcard 29 -> memory_order_relaxed +wildcard 30 -> memory_order_relaxed +wildcard 31 -> memory_order_release +wildcard 32 -> memory_order_relaxed +wildcard 33 -> memory_order_relaxed +wildcard 34 -> memory_order_seq_cst +wildcard 35 -> memory_order_acquire +wildcard 36 -> memory_order_acquire +wildcard 37 -> memory_order_relaxed +wildcard 38 -> memory_order_relaxed +wildcard 39 -> memory_order_seq_cst + +Result 2: +wildcard 1 -> memory_order_relaxed +wildcard 2 -> memory_order_relaxed +wildcard 3 -> memory_order_relaxed +wildcard 4 -> memory_order_relaxed +wildcard 5 -> memory_order_relaxed +wildcard 6 -> memory_order_relaxed +wildcard 7 -> memory_order_relaxed +wildcard 8 -> memory_order_seq_cst +wildcard 9 -> memory_order_acquire +wildcard 10 -> memory_order_relaxed +wildcard 11 -> memory_order_relaxed +wildcard 12 -> memory_order_acquire +wildcard 14 -> memory_order_relaxed +wildcard 15 -> memory_order_relaxed +wildcard 16 -> memory_order_relaxed +wildcard 17 -> memory_order_relaxed +wildcard 18 -> memory_order_relaxed +wildcard 19 -> memory_order_relaxed +wildcard 20 -> memory_order_relaxed +wildcard 21 -> memory_order_relaxed +wildcard 22 -> memory_order_relaxed +wildcard 23 -> memory_order_release +wildcard 24 -> memory_order_relaxed +wildcard 25 -> memory_order_relaxed +wildcard 26 -> memory_order_relaxed +wildcard 27 -> memory_order_relaxed +wildcard 28 -> memory_order_relaxed +wildcard 29 -> memory_order_relaxed +wildcard 30 -> memory_order_release +wildcard 31 -> memory_order_release +wildcard 32 -> memory_order_relaxed +wildcard 33 -> memory_order_relaxed +wildcard 34 -> memory_order_seq_cst +wildcard 35 -> memory_order_acquire +wildcard 36 -> memory_order_acquire +wildcard 37 -> memory_order_relaxed +wildcard 38 -> memory_order_acquire +wildcard 39 -> memory_order_seq_cst + +Result 3: +wildcard 1 -> memory_order_relaxed +wildcard 2 -> memory_order_relaxed +wildcard 3 -> memory_order_relaxed +wildcard 4 -> memory_order_relaxed +wildcard 5 -> memory_order_relaxed +wildcard 6 -> memory_order_relaxed wildcard 7 -> memory_order_relaxed wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_acquire @@ -78,7 +166,7 @@ wildcard 37 -> memory_order_relaxed wildcard 38 -> memory_order_acquire wildcard 39 -> memory_order_seq_cst -Result 2: +Result 4: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed wildcard 3 -> memory_order_relaxed @@ -87,6 +175,86 @@ wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed wildcard 7 -> memory_order_relaxed wildcard 8 -> memory_order_seq_cst +wildcard 9 -> memory_order_acquire +wildcard 10 -> memory_order_relaxed +wildcard 11 -> memory_order_relaxed +wildcard 12 -> memory_order_acquire +wildcard 14 -> memory_order_relaxed +wildcard 15 -> memory_order_relaxed +wildcard 16 -> memory_order_relaxed +wildcard 17 -> memory_order_relaxed +wildcard 18 -> memory_order_relaxed +wildcard 19 -> memory_order_relaxed +wildcard 20 -> memory_order_relaxed +wildcard 21 -> memory_order_relaxed +wildcard 22 -> memory_order_relaxed +wildcard 23 -> memory_order_release +wildcard 24 -> memory_order_relaxed +wildcard 25 -> memory_order_acquire +wildcard 26 -> memory_order_relaxed +wildcard 27 -> memory_order_relaxed +wildcard 28 -> memory_order_relaxed +wildcard 29 -> memory_order_relaxed +wildcard 30 -> memory_order_relaxed +wildcard 31 -> memory_order_release +wildcard 32 -> memory_order_relaxed +wildcard 33 -> memory_order_relaxed +wildcard 34 -> memory_order_seq_cst +wildcard 35 -> memory_order_acquire +wildcard 36 -> memory_order_acquire +wildcard 37 -> memory_order_relaxed +wildcard 38 -> memory_order_relaxed +wildcard 39 -> memory_order_seq_cst + +Result 5: +wildcard 1 -> memory_order_relaxed +wildcard 2 -> memory_order_relaxed +wildcard 3 -> memory_order_relaxed +wildcard 4 -> memory_order_relaxed +wildcard 5 -> memory_order_relaxed +wildcard 6 -> memory_order_relaxed +wildcard 7 -> memory_order_relaxed +wildcard 8 -> memory_order_seq_cst +wildcard 9 -> memory_order_acquire +wildcard 10 -> memory_order_relaxed +wildcard 11 -> memory_order_relaxed +wildcard 12 -> memory_order_relaxed +wildcard 14 -> memory_order_release +wildcard 15 -> memory_order_relaxed +wildcard 16 -> memory_order_relaxed +wildcard 17 -> memory_order_relaxed +wildcard 18 -> memory_order_relaxed +wildcard 19 -> memory_order_relaxed +wildcard 20 -> memory_order_relaxed +wildcard 21 -> memory_order_relaxed +wildcard 22 -> memory_order_relaxed +wildcard 23 -> memory_order_release +wildcard 24 -> memory_order_relaxed +wildcard 25 -> memory_order_acquire +wildcard 26 -> memory_order_relaxed +wildcard 27 -> memory_order_relaxed +wildcard 28 -> memory_order_relaxed +wildcard 29 -> memory_order_relaxed +wildcard 30 -> memory_order_relaxed +wildcard 31 -> memory_order_release +wildcard 32 -> memory_order_relaxed +wildcard 33 -> memory_order_relaxed +wildcard 34 -> memory_order_seq_cst +wildcard 35 -> memory_order_acquire +wildcard 36 -> memory_order_acquire +wildcard 37 -> memory_order_relaxed +wildcard 38 -> memory_order_relaxed +wildcard 39 -> memory_order_seq_cst + +Result 6: +wildcard 1 -> memory_order_relaxed +wildcard 2 -> memory_order_relaxed +wildcard 3 -> memory_order_relaxed +wildcard 4 -> memory_order_relaxed +wildcard 5 -> memory_order_relaxed +wildcard 6 -> memory_order_relaxed +wildcard 7 -> memory_order_release +wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed @@ -118,21 +286,21 @@ wildcard 37 -> memory_order_relaxed wildcard 38 -> memory_order_acquire wildcard 39 -> memory_order_seq_cst -Result 3: +Result 7: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_relaxed +wildcard 7 -> memory_order_release wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed wildcard 12 -> memory_order_relaxed wildcard 14 -> memory_order_release -wildcard 15 -> memory_order_relaxed +wildcard 15 -> memory_order_release wildcard 16 -> memory_order_relaxed wildcard 17 -> memory_order_relaxed wildcard 18 -> memory_order_relaxed diff --git a/chase-lev-deque-bugfix/result6.txt b/chase-lev-deque-bugfix/result6.txt index 142aa9e..4218d43 100644 --- a/chase-lev-deque-bugfix/result6.txt +++ b/chase-lev-deque-bugfix/result6.txt @@ -1,3 +1,11 @@ +peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time +./run.sh chase-lev-deque-bugfix/testcase6_wildcard -m2 -y -u3 -tSCFENCE -o +fchase-lev-deque-bugfix/result5.txt -o weaken &> /scratch/a + +real 10m3.700s +user 9m19.887s +sys 0m43.309s + Result 0: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed @@ -5,14 +13,14 @@ wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_relaxed +wildcard 7 -> memory_order_release wildcard 8 -> memory_order_seq_cst -wildcard 9 -> memory_order_acquire +wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed wildcard 12 -> memory_order_relaxed wildcard 14 -> memory_order_release -wildcard 15 -> memory_order_relaxed +wildcard 15 -> memory_order_release wildcard 16 -> memory_order_relaxed wildcard 17 -> memory_order_relaxed wildcard 18 -> memory_order_relaxed @@ -22,12 +30,12 @@ wildcard 21 -> memory_order_relaxed wildcard 22 -> memory_order_relaxed wildcard 23 -> memory_order_release wildcard 24 -> memory_order_relaxed -wildcard 25 -> memory_order_relaxed +wildcard 25 -> memory_order_acquire wildcard 26 -> memory_order_relaxed wildcard 27 -> memory_order_relaxed wildcard 28 -> memory_order_relaxed wildcard 29 -> memory_order_relaxed -wildcard 30 -> memory_order_release +wildcard 30 -> memory_order_relaxed wildcard 31 -> memory_order_release wildcard 32 -> memory_order_relaxed wildcard 33 -> memory_order_relaxed @@ -35,7 +43,7 @@ wildcard 34 -> memory_order_seq_cst wildcard 35 -> memory_order_acquire wildcard 36 -> memory_order_acquire wildcard 37 -> memory_order_relaxed -wildcard 38 -> memory_order_acquire +wildcard 38 -> memory_order_relaxed wildcard 39 -> memory_order_seq_cst Result 1: @@ -52,7 +60,7 @@ wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed wildcard 12 -> memory_order_relaxed wildcard 14 -> memory_order_release -wildcard 15 -> memory_order_relaxed +wildcard 15 -> memory_order_release wildcard 16 -> memory_order_relaxed wildcard 17 -> memory_order_relaxed wildcard 18 -> memory_order_relaxed @@ -92,7 +100,7 @@ wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed wildcard 12 -> memory_order_relaxed wildcard 14 -> memory_order_release -wildcard 15 -> memory_order_relaxed +wildcard 15 -> memory_order_release wildcard 16 -> memory_order_relaxed wildcard 17 -> memory_order_relaxed wildcard 18 -> memory_order_relaxed @@ -125,94 +133,14 @@ wildcard 3 -> memory_order_relaxed wildcard 4 -> memory_order_relaxed wildcard 5 -> memory_order_relaxed wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_release -wildcard 8 -> memory_order_seq_cst -wildcard 9 -> memory_order_relaxed -wildcard 10 -> memory_order_relaxed -wildcard 11 -> memory_order_relaxed -wildcard 12 -> memory_order_relaxed -wildcard 14 -> memory_order_release -wildcard 15 -> memory_order_relaxed -wildcard 16 -> memory_order_relaxed -wildcard 17 -> memory_order_relaxed -wildcard 18 -> memory_order_relaxed -wildcard 19 -> memory_order_relaxed -wildcard 20 -> memory_order_relaxed -wildcard 21 -> memory_order_relaxed -wildcard 22 -> memory_order_relaxed -wildcard 23 -> memory_order_release -wildcard 24 -> memory_order_relaxed -wildcard 25 -> memory_order_acquire -wildcard 26 -> memory_order_relaxed -wildcard 27 -> memory_order_relaxed -wildcard 28 -> memory_order_relaxed -wildcard 29 -> memory_order_relaxed -wildcard 30 -> memory_order_relaxed -wildcard 31 -> memory_order_release -wildcard 32 -> memory_order_relaxed -wildcard 33 -> memory_order_relaxed -wildcard 34 -> memory_order_seq_cst -wildcard 35 -> memory_order_acquire -wildcard 36 -> memory_order_acquire -wildcard 37 -> memory_order_relaxed -wildcard 38 -> memory_order_relaxed -wildcard 39 -> memory_order_seq_cst - -Result 4: -wildcard 1 -> memory_order_relaxed -wildcard 2 -> memory_order_relaxed -wildcard 3 -> memory_order_relaxed -wildcard 4 -> memory_order_relaxed -wildcard 5 -> memory_order_relaxed -wildcard 6 -> memory_order_relaxed wildcard 7 -> memory_order_relaxed wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_acquire wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed -wildcard 12 -> memory_order_acquire -wildcard 14 -> memory_order_relaxed -wildcard 15 -> memory_order_relaxed -wildcard 16 -> memory_order_relaxed -wildcard 17 -> memory_order_relaxed -wildcard 18 -> memory_order_relaxed -wildcard 19 -> memory_order_relaxed -wildcard 20 -> memory_order_relaxed -wildcard 21 -> memory_order_relaxed -wildcard 22 -> memory_order_relaxed -wildcard 23 -> memory_order_release -wildcard 24 -> memory_order_relaxed -wildcard 25 -> memory_order_relaxed -wildcard 26 -> memory_order_relaxed -wildcard 27 -> memory_order_relaxed -wildcard 28 -> memory_order_relaxed -wildcard 29 -> memory_order_relaxed -wildcard 30 -> memory_order_release -wildcard 31 -> memory_order_release -wildcard 32 -> memory_order_relaxed -wildcard 33 -> memory_order_relaxed -wildcard 34 -> memory_order_seq_cst -wildcard 35 -> memory_order_acquire -wildcard 36 -> memory_order_acquire -wildcard 37 -> memory_order_relaxed -wildcard 38 -> memory_order_acquire -wildcard 39 -> memory_order_seq_cst - -Result 5: -wildcard 1 -> memory_order_relaxed -wildcard 2 -> memory_order_relaxed -wildcard 3 -> memory_order_relaxed -wildcard 4 -> memory_order_relaxed -wildcard 5 -> memory_order_relaxed -wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_release -wildcard 8 -> memory_order_seq_cst -wildcard 9 -> memory_order_relaxed -wildcard 10 -> memory_order_relaxed -wildcard 11 -> memory_order_relaxed -wildcard 12 -> memory_order_acquire -wildcard 14 -> memory_order_relaxed -wildcard 15 -> memory_order_relaxed +wildcard 12 -> memory_order_relaxed +wildcard 14 -> memory_order_release +wildcard 15 -> memory_order_release wildcard 16 -> memory_order_relaxed wildcard 17 -> memory_order_relaxed wildcard 18 -> memory_order_relaxed @@ -237,83 +165,3 @@ wildcard 36 -> memory_order_acquire wildcard 37 -> memory_order_relaxed wildcard 38 -> memory_order_acquire wildcard 39 -> memory_order_seq_cst - -Result 6: -wildcard 1 -> memory_order_relaxed -wildcard 2 -> memory_order_relaxed -wildcard 3 -> memory_order_relaxed -wildcard 4 -> memory_order_relaxed -wildcard 5 -> memory_order_relaxed -wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_relaxed -wildcard 8 -> memory_order_seq_cst -wildcard 9 -> memory_order_acquire -wildcard 10 -> memory_order_relaxed -wildcard 11 -> memory_order_relaxed -wildcard 12 -> memory_order_acquire -wildcard 14 -> memory_order_relaxed -wildcard 15 -> memory_order_relaxed -wildcard 16 -> memory_order_relaxed -wildcard 17 -> memory_order_relaxed -wildcard 18 -> memory_order_relaxed -wildcard 19 -> memory_order_relaxed -wildcard 20 -> memory_order_relaxed -wildcard 21 -> memory_order_relaxed -wildcard 22 -> memory_order_relaxed -wildcard 23 -> memory_order_release -wildcard 24 -> memory_order_relaxed -wildcard 25 -> memory_order_acquire -wildcard 26 -> memory_order_relaxed -wildcard 27 -> memory_order_relaxed -wildcard 28 -> memory_order_relaxed -wildcard 29 -> memory_order_relaxed -wildcard 30 -> memory_order_relaxed -wildcard 31 -> memory_order_release -wildcard 32 -> memory_order_relaxed -wildcard 33 -> memory_order_relaxed -wildcard 34 -> memory_order_seq_cst -wildcard 35 -> memory_order_acquire -wildcard 36 -> memory_order_acquire -wildcard 37 -> memory_order_relaxed -wildcard 38 -> memory_order_relaxed -wildcard 39 -> memory_order_seq_cst - -Result 7: -wildcard 1 -> memory_order_relaxed -wildcard 2 -> memory_order_relaxed -wildcard 3 -> memory_order_relaxed -wildcard 4 -> memory_order_relaxed -wildcard 5 -> memory_order_relaxed -wildcard 6 -> memory_order_relaxed -wildcard 7 -> memory_order_release -wildcard 8 -> memory_order_seq_cst -wildcard 9 -> memory_order_relaxed -wildcard 10 -> memory_order_relaxed -wildcard 11 -> memory_order_relaxed -wildcard 12 -> memory_order_acquire -wildcard 14 -> memory_order_relaxed -wildcard 15 -> memory_order_relaxed -wildcard 16 -> memory_order_relaxed -wildcard 17 -> memory_order_relaxed -wildcard 18 -> memory_order_relaxed -wildcard 19 -> memory_order_relaxed -wildcard 20 -> memory_order_relaxed -wildcard 21 -> memory_order_relaxed -wildcard 22 -> memory_order_relaxed -wildcard 23 -> memory_order_release -wildcard 24 -> memory_order_relaxed -wildcard 25 -> memory_order_acquire -wildcard 26 -> memory_order_relaxed -wildcard 27 -> memory_order_relaxed -wildcard 28 -> memory_order_relaxed -wildcard 29 -> memory_order_relaxed -wildcard 30 -> memory_order_relaxed -wildcard 31 -> memory_order_release -wildcard 32 -> memory_order_relaxed -wildcard 33 -> memory_order_relaxed -wildcard 34 -> memory_order_seq_cst -wildcard 35 -> memory_order_acquire -wildcard 36 -> memory_order_acquire -wildcard 37 -> memory_order_relaxed -wildcard 38 -> memory_order_relaxed -wildcard 39 -> memory_order_seq_cst diff --git a/chase-lev-deque-bugfix/testcase2.c b/chase-lev-deque-bugfix/testcase2.c index fe77b17..f3b22ab 100644 --- a/chase-lev-deque-bugfix/testcase2.c +++ b/chase-lev-deque-bugfix/testcase2.c @@ -14,7 +14,7 @@ int b; int c; /** - Making w39 seq_cst; the two steals and the take have the following: + Making the two fences (w8 & w34) seq_cst; the two steals and the take have the following: t.CAS() (in steal1) b.store (in take) fence() (in steal2) fence() (in take) b.load() (in steal2) t.load() (in take) diff --git a/chase-lev-deque-bugfix/testcase4.c b/chase-lev-deque-bugfix/testcase4.c index 93eaa52..5b0dfb4 100644 --- a/chase-lev-deque-bugfix/testcase4.c +++ b/chase-lev-deque-bugfix/testcase4.c @@ -30,8 +30,8 @@ int user_main(int argc, char **argv) push(q, 2); push(q, 3); //thrd_create(&t2, task, 0); - //a=take(q); - //c=take(q); + a=take(q); + c=take(q); thrd_join(t1); //thrd_join(t2); diff --git a/chase-lev-deque-bugfix/testcase5.c b/chase-lev-deque-bugfix/testcase5.c index 25716bc..7baee41 100644 --- a/chase-lev-deque-bugfix/testcase5.c +++ b/chase-lev-deque-bugfix/testcase5.c @@ -13,14 +13,12 @@ int a; int b; int c; -/** Making w14 & w15 release */ +/** Make w14 release, try to run with the following: + time ./run.sh chase-lev-deque-bugfix/testcase5_wildcard -m2 -y -u3 -tSCFENCE + -o fchase-lev-deque-bugfix/result4.txt -o weaken -x5000 +*/ -static void task1(void * param) { - b=steal(q); - //c=steal(q); -} - -static void task2(void * param) { +static void task(void * param) { b=steal(q); //c=steal(q); } @@ -31,15 +29,14 @@ int user_main(int argc, char **argv) q=create(); push(q, 1); - thrd_create(&t1, task1, 0); - thrd_create(&t2, task2, 0); - a=take(q); - push(q, 2); - c=take(q); //push(q, 2); //push(q, 3); + thrd_create(&t1, task, 0); + //thrd_create(&t2, task, 0); + a=take(q); + //c=take(q); thrd_join(t1); - thrd_join(t2); + //thrd_join(t2); /* bool correct=true; diff --git a/chase-lev-deque-bugfix/testcase6.c b/chase-lev-deque-bugfix/testcase6.c index 92f33ec..e621af9 100644 --- a/chase-lev-deque-bugfix/testcase6.c +++ b/chase-lev-deque-bugfix/testcase6.c @@ -13,25 +13,33 @@ int a; int b; int c; -static void task(void * param) { - a=steal(q); - printf("steal a=%d\n", a); +/** Making w15 release */ + +static void task1(void * param) { + b=steal(q); + //c=steal(q); +} + +static void task2(void * param) { + b=steal(q); + //c=steal(q); } int user_main(int argc, char **argv) { thrd_t t1, t2; q=create(); + push(q, 1); - thrd_create(&t1, task, 0); - //thrd_create(&t2, task, 0); + thrd_create(&t1, task1, 0); + thrd_create(&t2, task2, 0); + a=take(q); + push(q, 2); + c=take(q); //push(q, 2); - //push(q, 4); - b=take(q); - printf("take b=%d\n", b); - //c=take(q); + //push(q, 3); thrd_join(t1); - //thrd_join(t2); + thrd_join(t2); /* bool correct=true;