6 #ifndef BUFFER_MANAGEMENT_INTERFACE_HPP
7 #define BUFFER_MANAGEMENT_INTERFACE_HPP
16 namespace memory_recycling {
static void print_performance_counters()
Definition: buffer_management.hpp:165
static void clean_all()
Deallocate all buffers, no matter whether they are marked as used or not.
Definition: buffer_management.hpp:141
static void finalize()
Deallocate all buffers, no matter whether they are marked as used or not.
Definition: buffer_management.hpp:157
static void clean_unused_buffers()
Deallocated all currently unused buffer.
Definition: buffer_management.hpp:149
void finalize()
Definition: buffer_management_interface.hpp:32
void print_buffer_counters()
Print performance counters of all buffer managers to stdout.
Definition: buffer_management_interface.hpp:19
void unused_buffer_cleanup()
Deletes all buffers currently marked as unused.
Definition: buffer_management_interface.hpp:27
void force_buffer_cleanup()
Definition: buffer_management_interface.hpp:24
Definition: config.hpp:31