add seqlock

[model-checker-benchmarks.git] / doc / scanalysis_result.txt

diff --git a/doc/scanalysis_result.txt b/doc/scanalysis_result.txt
new file mode 100644 (file)
index 0000000..c93472a
--- /dev/null
+++ b/doc/scanalysis_result.txt
@@ -0,0 +1,11 @@
+Chase-Lev (buggy)      65              24      0.0021  0.13    68      3.2*10^-5
+Chase-Lev (correct)    49              1       0.0016  0.06    75      3.2*10^-5
+SPSC (buggy)           10              2       0.0002  0.03    26      1.7*10^-5
+SPSC (correct)         15              0       0.0004  0.03    29      2.7*10^-5
+Barrier                                7               0       0.0002  0.01    23      2.9*10^-5
+Dekker                         2313    0       0.0793  10.19   52      3.4*10^-5       
+MCS lock                       12609   0       0.3409  4.85    65      2.7*10^-5
+MPMC queue                     11306
+M&S queue                      114
+Linux RW lock          1348
+Seqlock                                9124    0       0.4895  3.818   38      5.3*10^-5