From: Peizhao Ou Date: Fri, 27 Feb 2015 02:22:30 +0000 (-0800) Subject: add notes X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=4accd45c5912fe2e0ea6f42d405ea9816b22e36b;p=model-checker-benchmarks.git add notes --- 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