results for dekker-fences

diff --git a/dekker-fences/dekker-fences-wildcard b/dekker-fences/dekker-fences-wildcard
new file mode 100755 (executable)
index 0000000..18d2194
Binary files /dev/null and b/dekker-fences/dekker-fences-wildcard differ

diff --git a/dekker-fences/interesting.txt b/dekker-fences/interesting.txt
new file mode 100644 (file)
index 0000000..ef29e74
--- /dev/null
+++ b/dekker-fences/interesting.txt
@@ -0,0 +1,13 @@
+Result 0:
+wildcard 1 -> memory_order_relaxed
+wildcard 2 -> memory_order_seq_cst
+wildcard 3 -> memory_order_acquire
+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_relaxed
+wildcard 10 -> memory_order_relaxed
+wildcard 11 -> memory_order_release
+wildcard 12 -> memory_order_relaxed

diff --git a/dekker-fences/note.txt b/dekker-fences/note.txt
index 15f5b6be40c313c6bafddbdeaca3072fc42489fb..03b7632f873cd14114843880b61fd7a9a5d9adc2 100644 (file)
--- a/dekker-fences/note.txt
+++ b/dekker-fences/note.txt
@@ -3,6 +3,12 @@ dekker-fences-wildcard2 to get get result2.txt. In result2.txt, those results
 that do not impose ordering to fences should be dropped, so we got the correct
 result.
 
-./run.sh benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -x500 -tSCFENCE &> result1.txt
+time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -u3 -tSCFENCE -o weaken &> /scratch/a
 
-./run.sh benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -x150 -tSCFENCE -o fresult1.txt
+We got result1.txt, and it took 1m20.790s.
+
+time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -u3 -tSCFENCE -o weaken -o fbenchmarks/dekker-fences/result1.txt -x10000 &> /scratch/a
+
+We got result2.txt, and it took 5m19.538s
+
+In total, it took 6m40.328s.

diff --git a/dekker-fences/result1.txt b/dekker-fences/result1.txt
index e351bc54cb75f76f77996e80aac5cf43f2a7d580..20c6aca95a8639d3dbb687442d1347a292628845 100644 (file)
--- a/dekker-fences/result1.txt
+++ b/dekker-fences/result1.txt
@@ -1,32 +1,12 @@
-Result 0:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-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_relaxed
-wildcard 9 -> memory_order_acquire
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_release
-wildcard 12 -> memory_order_relaxed
+peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv$ time ./run.sh
+benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -u3 -tSCFENCE -o weaken
+&> /scratch/a
 
-Result 1:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-wildcard 3 -> memory_order_acquire
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_relaxed
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_release
-wildcard 12 -> memory_order_relaxed
+real   1m27.052s
+user   1m20.790s
+sys    0m6.189s
 
-Result 2:
+Result 0:
 wildcard 1 -> memory_order_relaxed
 wildcard 2 -> memory_order_seq_cst
 wildcard 3 -> memory_order_relaxed
@@ -37,47 +17,5 @@ wildcard 7 -> memory_order_relaxed
 wildcard 8 -> memory_order_relaxed
 wildcard 9 -> memory_order_acquire
 wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release
-
-Result 3:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-wildcard 3 -> memory_order_acquire
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_relaxed
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release
-
-Result 4:
-wildcard 1 -> memory_order_seq_cst
-wildcard 2 -> memory_order_relaxed
-wildcard 3 -> memory_order_seq_cst
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_seq_cst
-wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_release
 wildcard 12 -> memory_order_relaxed
-
-Result 5:
-wildcard 1 -> memory_order_seq_cst
-wildcard 2 -> memory_order_relaxed
-wildcard 3 -> memory_order_seq_cst
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_seq_cst
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release

diff --git a/dekker-fences/result2.txt b/dekker-fences/result2.txt
new file mode 100644 (file)
index 0000000..9d3d5f1
--- /dev/null
+++ b/dekker-fences/result2.txt
@@ -0,0 +1,21 @@
+peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv$ time ./run.sh
+benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -u3 -tSCFENCE -o weaken
+-o fbenchmarks/dekker-fences/result1.txt -x10000 &> /scratch/a
+
+real   5m43.236s
+user   5m19.538s
+sys    0m23.429s
+
+Result 0:
+wildcard 1 -> memory_order_relaxed
+wildcard 2 -> memory_order_seq_cst
+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_release
+wildcard 12 -> memory_order_relaxed