Add common/pool_allocators.h

dyninst · Apr 3, 2024 · 46bfcd6 · 46bfcd6
1 parent 0f924a1
commit 46bfcd6
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/docs/common/developer/pool_allocators.h.rst b/docs/common/developer/pool_allocators.h.rst
@@ -3,5 +3,18 @@
 pool_allocators.h
 #################
 
-.. cpp:namespace:: Dyninst
+.. cpp:class:: template <typename T> unlocked_fast_alloc
 
+  .. cpp:type:: boost::fast_pool_allocator<T, boost::default_user_allocator_new_delete, boost::details::pool::null_mutex> type
+
+.. cpp:class:: template <typename T> unlocked_pool_alloc
+
+  .. cpp:type:: boost::pool_allocator<T, boost::default_user_allocator_new_delete, boost::details::pool::null_mutex> type
+
+.. cpp:class:: template <typename T> pooled_set
+
+  .. cpp:type:: std::set<T, typename std::less<T>, typename unlocked_fast_alloc<T>::type> type
+
+.. cpp:class:: template <typename T> pooled_vector
+
+  .. cpp:type:: std::vector<T, typename unlocked_pool_alloc<T>::type> type