deque results

diff --git a/chase-lev-deque-bugfix/Makefile b/chase-lev-deque-bugfix/Makefile
index 91faa815d07412505a1ee669a75a605c5d4eface..750a0e47ab900e3f470240ae7474d9c79c93d29b 100644 (file)
--- 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 48acef284e26ff2e26ee838a608ea07e373c2676..34ec6299ff867d171dc971e34b1c559108e28bd7 100644 (file)
--- 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 1a38a48147d4e7bf0d6e435e873c700dc700166d..f54d934dca5f1ccf2fab8867b3bbed0674331732 100644 (file)
--- 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 46078a83381d761a5bfec815e2a734a7bd9c9113..be8390fdc9abfbe26d7d9dfcf8aaab46f864b1a3 100644 (file)
--- 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 637352b2b2c5007a7f0cde3965341aba43be04c1..f6af1b9f6d0fb8d3e8147491337f7f062125e61e 100644 (file)
--- 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 84d5a2c25efcee2988a23a5482b5b6bf2709a24d..d19d5fddc97552093f5067663fa2385ede6e405f 100644 (file)
--- 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 29479ace903928912332eef6943af2db85f4e06d..463d1335b658be8ac8a11193dcbef050a0ae5aad 100644 (file)
--- 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 d7eab19b708ff91afc41dde561c22505815baa04..5d8c42b70cc9e5bb119e4fee5dbd9b49facfa26b 100644 (file)
--- 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 142aa9e978c2864809a76bf457569caaf8405009..4218d43d2b02b80e1ecef160e2f6e1ece3d3cf84 100644 (file)
--- 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 fe77b178342953450f089ad6536b9d7595d21231..f3b22abefbf119c8403bb71d95c703aa1929d29f 100644 (file)
--- 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 93eaa526dc72e34902994ccd9240a8d37ea02f5a..5b0dfb4884e3fd65fed3a83c3ffb14d9d42b2dcf 100644 (file)
--- 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 25716bcd7e8168e2b35a954e72d09bee95931c1b..7baee41206798ccb8c7aa17e2a557c775ef95960 100644 (file)
--- 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 92f33ec409a27f4d2553057dcd0972d9857f3b2a..e621af9d2b31178583a244cd47faa89e64085475 100644 (file)
--- 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;