Francisco cdf72248f3 Reimplement batch-based background object/memory pool ... Main changes: - addition of pool utilities - The node size/alignment and batch allocation threshold are now runtime arguments - object pool and memory pool are not anymore based on the same class. The object pool cannot use intrusive free list because it would overwrite the object memory		2021-04-07 12:02:22 +01:00
..
index_sequence.h	refactor - increase code reuse in adt files	2021-03-29 22:11:25 +01:00
type_storage.h	Reimplement batch-based background object/memory pool	2021-04-07 12:02:22 +01:00
type_utils.h	refactor - increase code reuse in adt files	2021-03-29 22:11:25 +01:00