From: Peizhao Ou Date: Sun, 22 Mar 2015 03:28:28 +0000 (-0700) Subject: results for dekker-fences X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d0674989bbe9a25e05a4ee35d74800bccf07cd31;p=model-checker-benchmarks.git results for dekker-fences --- diff --git a/dekker-fences/dekker-fences-wildcard b/dekker-fences/dekker-fences-wildcard new file mode 100755 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 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 15f5b6b..03b7632 100644 --- 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 e351bc5..20c6aca 100644 --- 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 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