From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 25 Jul 2019 21:08:21 +0000 (-0700)
Subject: Add bug report for silo.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=fa128946f75608b44915138debb233670b72e1a6;p=c11concurrency-benchmarks.git

Add bug report for silo.
---

diff --git a/bugreports/silo.1 b/bugreports/silo.1
new file mode 100644
index 0000000..6b4c466
--- /dev/null
+++ b/bugreports/silo.1
@@ -0,0 +1,13 @@
+diff --git a/silo/ticker.h b/silo/ticker.h
+index 8277fd1..8096a71 100644
+--- a/silo/ticker.h
++++ b/silo/ticker.h
+@@ -28,7 +28,7 @@ public:
+   inline uint64_t
+   global_current_tick() const
+   {
+-    return current_tick_.load(std::memory_order_acquire);
++    return current_tick_.load();
+   }
+ 
+   inline uint64_t