Traditional lock-based thread safety for HeapBasedPoolAllocator

libuavcan/include/uavcan/helpers/heap_based_pool_allocator.hpp

@@ -18,25 +18,9 @@ namespace uavcan
  *  - Call @ref shrink() - this method frees all blocks that are unused at the moment.
  *  - Destroy the object - the desctructor calls @ref shrink().
  *
- * All operations are thread-safe, the safety is obtained through the standard atomic compare-and-swap operator (CAS).
+ * TODO: notes on thread-safety.
- * If thread safety is not required, the CAS operator can be replaced with a dummy version that simply performs the
- * assignment without any checks.
- * If thread safety is required, but the hardware does not support atomic exchange operations, CAS can be emulated
- * with a mutex or a critical section roughly as follows:
- *
- *     bool softwareAtomicCompareAndSwap(void** address, void* expected, void* replacement)
- *     {
- *         RaiiSynchronizationPrimitive lock;
- *         if (*address != expected)
- *         {
- *             return false;
- *         }
- *         *address = replacement;
- *         return true;
- *     }
  */
-template <std::size_t BlockSize,
+template <std::size_t BlockSize, typename RaiiSynchronizer = char>
-          bool (*AtomicCompareAndSwap)(void** address, void* expected, void* replacement)>
 class UAVCAN_EXPORT HeapBasedPoolAllocator : public IPoolAllocator, Noncopyable
 {
     union Node
@@ -53,21 +37,22 @@ class UAVCAN_EXPORT HeapBasedPoolAllocator : public IPoolAllocator, Noncopyable
 
     Node* popCache()
     {
-        // http://www.ibm.com/developerworks/aix/library/au-multithreaded_structures2/
+        RaiiSynchronizer lock;
-        for (;;)
+        (void)lock;
+        Node* const p = cache_;
+        if (p != NULL)
         {
-            Node* volatile const result = cache_;
+            cache_ = cache_->next;
-            if (result == NULL)
-            {
-                break;
-            }
-            if ((cache_ != NULL) &&
-                AtomicCompareAndSwap(reinterpret_cast<void**>(const_cast<Node**>(&cache_)), result, result->next))
-            {
-                return result;
-            }
         }
-        return NULL;
+        return p;
+    }
+
+    void pushCache(Node* node)
+    {
+        RaiiSynchronizer lock;
+        (void)lock;
+        node->next = cache_;
+        cache_ = node;
     }
 
 public:
@@ -111,17 +96,10 @@ public:
      */
     virtual void deallocate(const void* ptr)
     {
-        if (ptr == NULL)
+        if (ptr != NULL)
         {
-            return;
+            pushCache(static_cast<Node*>(const_cast<void*>(ptr)));
         }
-
-        Node* volatile const n = static_cast<Node*>(const_cast<void*>(ptr));
-        do
-        {
-            n->next = cache_;
-        }
-        while (!AtomicCompareAndSwap(reinterpret_cast<void**>(const_cast<Node**>(&cache_)), n->next, n));
     }
 
     /**

libuavcan/test/helpers/heap_based_pool_allocator.cpp

@@ -6,17 +6,13 @@
 #include <uavcan/helpers/heap_based_pool_allocator.hpp>
 #include <malloc.h>
 
-inline bool atomicCompareAndSwap(void** address, void* expected, void* replacement)
-{
-    return __sync_bool_compare_and_swap(address, expected, replacement);
-}
 
 TEST(HeapBasedPoolAllocator, Basic)
 {
     std::cout << ">>> HEAP BEFORE:" << std::endl;
     malloc_stats();
 
-    uavcan::HeapBasedPoolAllocator<uavcan::MemPoolBlockSize, atomicCompareAndSwap> al(64);
+    uavcan::HeapBasedPoolAllocator<uavcan::MemPoolBlockSize> al(64);
 
     ASSERT_EQ(0, al.getNumCachedBlocks());
 
@@ -63,25 +59,22 @@ TEST(HeapBasedPoolAllocator, Basic)
 #if UAVCAN_CPP_VERSION >= UAVCAN_CPP11
 
 #include <thread>
+#include <mutex>
 
-inline bool atomicCompareAndSwapWithRescheduling(void** address, void* expected, void* replacement)
+struct RaiiSynchronizer
 {
-    /*
+    static std::mutex mutex;
-     * Yield is added for testing reasons, making CAS failure more likely
+    std::lock_guard<std::mutex> guard{mutex};
-     */
+};
-    if ((float(std::rand()) / float(RAND_MAX)) < 0.05)
+
-    {
+std::mutex RaiiSynchronizer::mutex;
-        std::this_thread::yield();
-    }
-    return __sync_bool_compare_and_swap(address, expected, replacement);
-}
 
 TEST(HeapBasedPoolAllocator, Concurrency)
 {
     std::cout << ">>> HEAP BEFORE:" << std::endl;
     malloc_stats();
 
-    uavcan::HeapBasedPoolAllocator<uavcan::MemPoolBlockSize, atomicCompareAndSwapWithRescheduling> al(1);
+    uavcan::HeapBasedPoolAllocator<uavcan::MemPoolBlockSize, RaiiSynchronizer> al(1);
 
     volatile bool terminate = false;