From 4accd45c5912fe2e0ea6f42d405ea9816b22e36b Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Thu, 26 Feb 2015 18:22:30 -0800 Subject: [PATCH] add notes --- dekker-fences/note.txt | 8 ++++ dekker-fences/result1.txt | 83 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 91 insertions(+) create mode 100644 dekker-fences/note.txt create mode 100644 dekker-fences/result1.txt diff --git a/dekker-fences/note.txt b/dekker-fences/note.txt new file mode 100644 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 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 -- 2.34.1