add notes

diff --git a/dekker-fences/note.txt b/dekker-fences/note.txt
new file mode 100644 (file)
index 0000000..15f5b6b
--- /dev/null
+++ b/dekker-fences/note.txt
@@ -0,0 +1,8 @@
+We first ran dekker-fences-wildcard1 to get result1.txt, then we we run
+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
+
+./run.sh benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -x150 -tSCFENCE -o fresult1.txt

diff --git a/dekker-fences/result1.txt b/dekker-fences/result1.txt
new file mode 100644 (file)
index 0000000..e351bc5
--- /dev/null
+++ b/dekker-fences/result1.txt
@@ -0,0 +1,83 @@
+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
+
+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
+
+Result 2:
+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_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