edits

[c11concurrency-benchmarks.git] / iris / src / base_logger.cpp

diff --git a/iris/src/base_logger.cpp b/iris/src/base_logger.cpp
index a1a43ca2e3a13abf9d2331b9963fbf24740022a3..1357a9a8afa6c4a953ec745125b290fc52669eda 100644 (file)
--- a/iris/src/base_logger.cpp
+++ b/iris/src/base_logger.cpp
@@ -30,7 +30,9 @@ thread_logqueue::thread_logqueue(thread_logqueue *head, size_t queue_size, size_
         p = head->next.load(std::memory_order_acquire);
         this->next.store(p, std::memory_order_release);
         // head might have been modified or deleted cas until this is inserted
-        if (head->next.compare_exchange_weak(p, this, std::memory_order_release)) {
+        // Use seq_cst ordering is a temporary fix.  C11tester did not implement pipe (used in notifier.cpp) so that
+        // writing to/reading from a pipe establish a happens-before relation
+        if (head->next.compare_exchange_weak(p, this, std::memory_order_seq_cst /*std::memory_order_release*/)) {
             return;
         }
     } while (true);