From bcc0e48cb71d6110a473c9526f6b52b199d3a07d Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Sat, 21 Mar 2015 21:38:58 -0700 Subject: [PATCH] result for spsc-queue --- spsc-queue-scfence/result.txt | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 spsc-queue-scfence/result.txt diff --git a/spsc-queue-scfence/result.txt b/spsc-queue-scfence/result.txt new file mode 100644 index 0000000..19ab37d --- /dev/null +++ b/spsc-queue-scfence/result.txt @@ -0,0 +1,16 @@ +peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time +./run.sh spsc-queue-scfence/spsc-queue -m2 -y -u3 -tSCFENCE -o weaken &> +/scratch/a + +real 0m0.050s +user 0m0.004s +sys 0m0.026s + +Result 0: +wildcard 1 -> memory_order_seq_cst +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_seq_cst +wildcard 7 -> memory_order_seq_cst -- 2.34.1