Add bug report for silo.
authorBrian Demsky <bdemsky@uci.edu>
Thu, 25 Jul 2019 21:08:21 +0000 (14:08 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 25 Jul 2019 21:08:21 +0000 (14:08 -0700)
bugreports/silo.1 [new file with mode: 0644]

diff --git a/bugreports/silo.1 b/bugreports/silo.1
new file mode 100644 (file)
index 0000000..6b4c466
--- /dev/null
@@ -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